In topology, approach spaces are a generalization of metric spaces, based on point-to-set distances, instead of point-to-point distances. They were introduced by Robert Lowen in 1989, in a series of papers on approach theory between 1988 and 1995.
Definition
Given a metric space, or more generally, an extended pseudoquasimetric, one can define an induced mapd:X×P→ by d = inf. With this example in mind, a distance on X is defined to be a map X×P→ satisfying for all x in X and A, B ⊆ X,
where A = by definition. An approach space is defined to be a pair where d is a distance function on X. Every approach space has a topology, given by treatingA → A as a Kuratowski closure operator. The appropriate maps between approach spaces are the contractions. A map f:→ is a contraction if e ≤ d for all x ∈ X, A ⊆ X.
Examples
Every ∞pq-metric space can be distanced to, as described at the beginning of the definition. Given a set X, the discrete distance is given by d = 0 if x ∈ A and = ∞ if x ∉ A. The induced topology is the discrete topology. Given a set X, the indiscrete distance is given by d = 0 if A is non-empty, and = ∞ if A is empty. The induced topology is the indiscrete topology. Given a topological spaceX, a topological distance is given by d = 0 if x ∈ A, and = ∞ if not. The induced topology is the original topology. In fact, the only two-valued distances are the topological distances. Let P=, the extended positive reals. Let d+ = max for x∈P and A⊆P. Given any approach space, the maps d : → are contractions. On P, let e = inf for x<∞, let e = 0 if A is unbounded, and let e = ∞ if A is bounded. Then . Note that e extends the ordinary Euclidean distance. This cannot be done with the ordinary Euclidean metric. Let βN be the Stone–Čech compactification of the integers. A point U∈βN is an ultrafilter on N. A subset A⊆βN induces a filterF=∩. Let b = sup. Then is an approach space that extends the ordinary Euclidean distance on N. In contrast, βN is not metrizable.
Lowen has offered at least seven equivalent formulations. Two of them are below. Let XPQ denote the set of xpq-metrics on X. A subfamily G of XPQ is called a gauge if
0 ∈ G, where 0 is the zero metric, that is, 0=0, all x,y ;
e ≤ d ∈ G implies e ∈ G ;
d, e ∈ G implies max d,e ∈ G ;
For all d ∈ XPQ, if for all x ∈ X, ε>0, N<∞ there is e ∈ G such that min ≤ e + ε for all y, then d ∈ G.
If G is a gauge on X, then d = sup : e ∈ G ε : x ∈ A
Categorical properties
The main interest in approach spaces and their contractions is that they form a category with good properties, while still being quantitative like metric spaces. One can take arbitrary products, coproducts, and quotients, and the results appropriately generalize the corresponding results for topologies. One can even "distancize" such badly non-metrizable spaces like βN, the Stone–Čech compactification of the integers. Certain hyperspaces, measure spaces, and probabilistic metric spaces turn out to be naturally endowed with a distance. Applications have also been made to approximation theory.