![](http://image.absoluteastronomy.com/images//topicimages/noimage.gif)
Approach space
Encyclopedia
In topology
, approach spaces are a generalization of metric space
s, based on point-to-set distances, instead of point-to-point distances. They were introduced by Robert Lowen in 1989.
quasimetric (which will be abbreviated xpq-metric here), one can define an induced map d:X×P(X)→[0,∞] by d(x,A) = inf { d(x,a ) : a ∈ A }. With this example in mind, a distance on X is defined to be a map X×P(X)→[0,∞] satisfying for all x in X and A, B ⊆ X,
where A(ε) = { x : d(x,A) ≤ ε } by definition.
(The "empty infimum is positive infinity" convention is like the nullary intersection is everything convention.)
An approach space is defined to be a pair (X,d) where d is a distance function on X. Every approach space has a topology, given by treating A → A(0) as a Kuratowski closure operator
.
The appropriate maps between approach spaces are the contractions. A map f:(X,d)→(Y,e) is a contraction if e(f(x),f[A]) ≤ d(x,A) for all x ∈ X, A ⊆ X.
Given a set X, the discrete distance is given by d(x,A) = 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(x,A) = 0 if A is non-empty, and = ∞ if A is empty. The induced topology is the indiscrete topology.
Given a topological space X, a topological distance is given by d(x,A) = 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=[0,∞], the extended positive reals. Let d+(x,A) = max (x−sup A,0) for x∈P and A⊆P. Given any approach space (X,d), the maps (for each A⊆X) d(.,A) : (X,d) → (P,d+) are contractions.
On P, let e(x,A) = inf { |x−a| : a∈A } for x<∞, let e(∞,A) = 0 if A is unbounded, and let e(∞,A) = ∞ if A is bounded. Then (P,e) is an approach space. Topologically, P is the one-point compactification of[0,∞) . 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 filter F(A)=∩{U:U∈A}. Let b(U,A) = sup { inf { |n-j| : n∈X, j∈E } : X∈U, E∈F(A) }. Then (βN,b) is an approach space that extends the ordinary Euclidean distance on N. In contrast, βN is not metrizable.
Let XPQ(X) denote the set of xpq-metrics on X. A subfamily G of XPQ(X) is called a gauge if
If G is a gauge on X, then d(x,A) = sup { e(x,a) } : e ∈ G } is a distance function on X. Conversely, given a distance function d on X, the set of e ∈ XPQ(X) such that e ≤ d is a gauge on X. The two operations are inverse to each other.
A contraction f:(X,d)→(Y,e) is, in terms of associated gauges G and H respectively, a map such that for all d∈H, d(f(.),f(.))∈G.
A tower on X is a set of maps A→A[ε] for A⊆X, ε≥0, satisfying for all A, B⊆X, δ, ε ≥ 0
Given a distance d, the associated A→A(ε) is a tower. Conversely, given a tower, the map d(x,A) = inf { ε : x ∈ A[ε] } is a distance, and these two operations are inverses of each other.
A contraction f:(X,d)→(Y,e) is, in terms of associated towers, a map such that for all ε≥0, f[A[ε]] ⊆ f[A][ε].
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.
Topology
Topology is a major area of mathematics concerned with properties that are preserved under continuous deformations of objects, such as deformations that involve stretching, but no tearing or gluing...
, approach spaces are a generalization of metric space
Metric space
In mathematics, a metric space is a set where a notion of distance between elements of the set is defined.The metric space which most closely corresponds to our intuitive understanding of space is the 3-dimensional Euclidean space...
s, based on point-to-set distances, instead of point-to-point distances. They were introduced by Robert Lowen in 1989.
Definition
Given a metric space (X,d), or more generally, an extended pseudoPseudometric space
In mathematics, a pseudometric space is a generalized metric space in which the distance between two distinct points can be zero. In the same way as every normed space is a metric space, every seminormed space is a pseudometric space...
quasimetric (which will be abbreviated xpq-metric here), one can define an induced map d:X×P(X)→[0,∞] by d(x,A) = inf { d(x,a ) : a ∈ A }. With this example in mind, a distance on X is defined to be a map X×P(X)→[0,∞] satisfying for all x in X and A, B ⊆ X,
- d(x,{x}) = 0 ;
- d(x,Ø) = ∞ ;
- d(x,A∪B) = min d(x,A),d(x,B) ;
- For all ε, 0≤ε≤∞, d(x,A) ≤ d(x,A(ε)) + ε ;
where A(ε) = { x : d(x,A) ≤ ε } by definition.
(The "empty infimum is positive infinity" convention is like the nullary intersection is everything convention.)
An approach space is defined to be a pair (X,d) where d is a distance function on X. Every approach space has a topology, given by treating A → A(0) as a Kuratowski closure operator
Kuratowski closure axioms
In topology and related branches of mathematics, the Kuratowski closure axioms are a set of axioms which can be used to define a topological structure on a set. They are equivalent to the more commonly used open set definition...
.
The appropriate maps between approach spaces are the contractions. A map f:(X,d)→(Y,e) is a contraction if e(f(x),f[A]) ≤ d(x,A) for all x ∈ X, A ⊆ X.
Examples
Every xpq-metric space (X,d) can be distancized to (X,d), as described at the beginning of the definition.Given a set X, the discrete distance is given by d(x,A) = 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(x,A) = 0 if A is non-empty, and = ∞ if A is empty. The induced topology is the indiscrete topology.
Given a topological space X, a topological distance is given by d(x,A) = 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=[0,∞], the extended positive reals. Let d+(x,A) = max (x−sup A,0) for x∈P and A⊆P. Given any approach space (X,d), the maps (for each A⊆X) d(.,A) : (X,d) → (P,d+) are contractions.
On P, let e(x,A) = inf { |x−a| : a∈A } for x<∞, let e(∞,A) = 0 if A is unbounded, and let e(∞,A) = ∞ if A is bounded. Then (P,e) is an approach space. Topologically, P is the one-point compactification of
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 filter F(A)=∩{U:U∈A}. Let b(U,A) = sup { inf { |n-j| : n∈X, j∈E } : X∈U, E∈F(A) }. Then (βN,b) is an approach space that extends the ordinary Euclidean distance on N. In contrast, βN is not metrizable.
Equivalent definitions
Lowen has offered at least seven equivalent formulations. Two of them are below.Let XPQ(X) denote the set of xpq-metrics on X. A subfamily G of XPQ(X) is called a gauge if
- 0 ∈ G, where 0 is the zero metric, that is, 0(x,y)=0, all x,y ;
- e ≤ d ∈ G implies e ∈ G ;
- d, e ∈ G implies max d,e ∈ G (the "max" here is the pointwise maximum);
- For all d ∈ XPQ(X), if for all x ∈ X, ε>0, N<∞ there is e ∈ G such that min(d(x,y),N) ≤ e(x,y) + ε for all y, then d ∈ G .
If G is a gauge on X, then d(x,A) = sup { e(x,a) } : e ∈ G } is a distance function on X. Conversely, given a distance function d on X, the set of e ∈ XPQ(X) such that e ≤ d is a gauge on X. The two operations are inverse to each other.
A contraction f:(X,d)→(Y,e) is, in terms of associated gauges G and H respectively, a map such that for all d∈H, d(f(.),f(.))∈G.
A tower on X is a set of maps A→A[ε] for A⊆X, ε≥0, satisfying for all A, B⊆X, δ, ε ≥ 0
- A ⊆ A[ε] ;
- Ø[ε] = Ø ;
- (A∪B)[ε] = A[ε]∪B[ε] ;
- A[ε][δ] ⊆ A[ε+δ] ;
- A[ε] = ∩δ>εA[δ] .
Given a distance d, the associated A→A(ε) is a tower. Conversely, given a tower, the map d(x,A) = inf { ε : x ∈ A[ε] } is a distance, and these two operations are inverses of each other.
A contraction f:(X,d)→(Y,e) is, in terms of associated towers, a map such that for all ε≥0, f[A[ε]] ⊆ f[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 and 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 compactificationStone–Cech compactification
In the mathematical discipline of general topology, Stone–Čech compactification is a technique for constructing a universal map from a topological space X to a compact Hausdorff space βX...
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.