Abstract:The main purpose of this paper is to explore normality in terms of distances between points and sets. We prove some important consequences on realvalued contractions, i.e. functions not enlarging the distance, showing that as in the classical context of closures and continuous maps, normality in terms of distances based on an appropriate numerical notion of $\gamma$-separation of sets, has far reaching consequences on real valued contractive maps, where the real line is endowed with the Euclidean metric. We show that normality is equivalent to (1) separation of $\gamma$-separated sets by some Urysohn contractive map, (2) to Katětov-Tong's interpolation, stating that for bounded positive realvalued functions, between an upper and a larger lower regular function, there exists a contractive interpolating map and (3) to Tietze's extension theorem stating that certain contractions defined on a subspace can be contractively extended to the whole space. The appropriate setting for these investigations is the category of approach spaces, but the results have (quasi)-metric counterparts in terms of non-expansive maps. Moreover when restricted to topological spaces, classical normality and its equivalence to separation by a Urysohn continuous map, to Katětov-Tong's interpolation for semicontinuous maps and to Tietze's extension theorem for continuous maps are recovered.

Extension theorems for large scale spaces via coarse neighbourhoods

A Full-Invariant Theorem and Some Applications

Normality conditions of structures in coarse geometry and an alternative description of coarse proximities

The Dual Normal Chip and Linear Regularity for Infinite Systems of Convex Sets in Banach Spaces

Nonstandard methods in large-scale topology II

On coarse geometry of separable dual Banach spaces

The Bounded Isomorphism Conjecture for Spaces of Graphs with Large Girth

An extension result for (LB)-spaces and the surjectivity of tensorized mappings

The scale function for locally compact groups acting on non-positively curved spaces

An extension result for $(LB)$-spaces and the surjectivity of tensorized mappings

Coarse homological invariants of metric spaces

Large-Scale Sublinearly Lipschitz Geometry Of Hyperbolic Spaces

Scale Structures and C*-algebras

Coarse separation and large-scale geometry of wreath products

Weakly Dually Lindelöf Spaces

Normality in terms of distances and contractions

On the small scale nonlinear theory of operator spaces

Notes on the Cheeger and Colding version of the Reifenberg theorem for metric spaces

A Toponogov globalisation result for Lorentzian length spaces

Extension of holomorphic functions and cohomology classes from non reduced analytic subvarieties

Hybrid Maximal Filter Spaces