Approach space

Last updated

In topology, a branch of mathematics, 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.

Contents

Definition

Given a metric space (X, d), or more generally, an extended pseudo quasimetric (which will be abbreviated ∞pq-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,

  1. d(x, {x}) = 0,
  2. d(x, Ø) = ∞,
  3. d(x, A∪B) = min(d(x, A), d(x, B)),
  4. For all 0 ≤ ε ≤ ∞, d(x, A) ≤ d(x, A(ε)) + ε,

where we define A(ε) = {x : d(x, A) ≤ ε}.

(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 and A ⊆ X.

Examples

Every ∞pq-metric space (X, d) can be distanced 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 d(x, A) = ∞ 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 d(x, A) = ∞ 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 d(x, A) = ∞ otherwise. The induced topology is the original topology. In fact, the only two-valued distances are the topological distances.

Let P = [0, ∞] be the extended non-negative 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.

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

  1. 0 ∈ G, where 0 is the zero metric, that is, 0(x, y) = 0 for all x, y,
  2. e ≤ d ∈ G implies e ∈ G,
  3. d, e ∈ G implies max(d,e) ∈ G (the "max" here is the pointwise maximum),
  4. 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 and δ, ε ≥ 0

  1. A ⊆ A[ε],
  2. Ø[ε] = Ø,
  3. (A ∪ B)[ε] = A[ε] ∪ B[ε],
  4. A[ε][δ] ⊆ A[ε+δ],
  5. 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, 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.

Related Research Articles

In mathematics, a continuous function is a function that does not have any abrupt changes in value, known as discontinuities. More precisely, sufficiently small changes in the input of a continuous function result in arbitrarily small changes in its output. If not continuous, a function is said to be discontinuous. Up until the 19th century, mathematicians largely relied on intuitive notions of continuity, during which attempts such as the epsilon–delta definition were made to formalize it.

In mathematical analysis, a metric space M is called complete if every Cauchy sequence of points in M has a limit that is also in M or, alternatively, if every Cauchy sequence in M converges in M.

In mathematics, a metric space is a set together with a metric on the set. The metric is a function that defines a concept of distance between any two members of the set, which are usually called points. The metric satisfies a few simple properties. Informally:

In mathematics, more specifically in general topology and related branches, a net or Moore–Smith sequence is a generalization of the notion of a sequence. In essence, a sequence is a function with domain the natural numbers, and in the context of topology, the codomain of this function is usually any topological space. However, in the context of topology, sequences do not fully encode all information about a function between topological spaces. In particular, the following two conditions are not equivalent in general for a map f between topological spaces X and Y:

  1. The map f is continuous in the topological sense;
  2. Given any point x in X, and any sequence in X converging to x, the composition of f with this sequence converges to f(x).

In topology and related branches of mathematics, Tychonoff spaces and completely regular spaces are kinds of topological spaces. These conditions are examples of separation axioms.

This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also fundamental to algebraic topology, differential topology and geometric topology.

Uniform continuity Function limiting the "growth" of distances of outputs uniformly across its domain

In mathematics, a function f is uniformly continuous if, roughly speaking, it is possible to guarantee that f(x) and f(y) be as close to each other as we please by requiring only that x and y are sufficiently close to each other; unlike ordinary continuity, where the maximum distance between f(x) and f(y) may depend on x and y themselves.

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. The Stone–Čech compactification βX of a topological space X is the largest, most general compact Hausdorff space "generated" by X, in the sense that any continuous map from X to a compact Hausdorff space factors through βX. If X is a Tychonoff space then the map from X to its image in βX is a homeomorphism, so X can be thought of as a (dense) subspace of βX; every other compact Hausdorff space that densely contains X is a quotient of βX. For general topological spaces X, the map from X to βX need not be injective.

In topology, a discrete space is a particularly simple example of a topological space or similar structure, one in which the points form a discontinuous sequence, meaning they are isolated from each other in a certain sense. The discrete topology is the finest topology that can be given on a set, i.e., it defines all subsets as open sets. In particular, each singleton is an open set in the discrete topology.

General topology

In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology. Another name for general topology is point-set topology.

In the area of mathematics known as functional analysis, a reflexive space is a locally convex topological vector space (TVS) such that the canonical evaluation map from X into its bidual is an isomorphism of TVSs. Since a normable TVS is reflexive if and only if it is semi-reflexive, every normed space X is reflexive if and only if the canonical evaluation map from X into its bidual is surjective; in this case the normed space is necessarily also a Banach space. Note that in 1951, R. C. James discovered a non-reflexive Banach space that is isometrically isomorphic to its bidual.

In mathematical analysis, a family of functions is equicontinuous if all the functions are continuous and they have equal variation over a given neighbourhood, in a precise sense described herein.

Oscillation (mathematics)

In mathematics, the oscillation of a function or a sequence is a number that quantifies how much that sequence or function varies between its extreme values as it approaches infinity or a point. As is the case with limits, there are several definitions that put the intuitive concept into a form suitable for a mathematical treatment: oscillation of a sequence of real numbers, oscillation of a real-valued function at a point, and oscillation of a function on an interval.

In functional analysis and related areas of mathematics, locally convex topological vector spaces (LCTVS) or locally convex spaces are examples of topological vector spaces (TVS) that generalize normed spaces. They can be defined as topological vector spaces whose topology is generated by translations of balanced, absorbent, convex sets. Alternatively they can be defined as a vector space with a family of seminorms, and a topology can be defined in terms of that family. Although in general such spaces are not necessarily normable, the existence of a convex local base for the zero vector is strong enough for the Hahn–Banach theorem to hold, yielding a sufficiently rich theory of continuous linear functionals.

In the mathematical fields of geometry and topology, a coarse structure on a set X is a collection of subsets of the cartesian product X × X with certain properties which allow the large-scale structure of metric spaces and topological spaces to be defined.

In the mathematical subject of geometric group theory, the Culler–Vogtmann Outer space or just Outer space of a free group Fn is a topological space consisting of the so-called "marked metric graph structures" of volume 1 on Fn. The Outer space, denoted Xn or CVn, comes equipped with a natural action of the group of outer automorphisms Out(Fn) of Fn. The Outer space was introduced in a 1986 paper, of Marc Culler and Karen Vogtmann and it serves as a free group analog of the Teichmüller space of a hyperbolic surface. Outer space is used to study homology and cohomology groups of Out(Fn) and to obtain information about algebraic, geometric and dynamical properties of Out(Fn), of its subgroups and individual outer automorphisms of Fn. The space Xn can also be thought of as the set of Fn-equivariant isometry types of minimal free discrete isometric actions of Fn on Fn on R-treesT such that the quotient metric graph T/Fn has volume 1.

Quasi-isometry

In mathematics, a quasi-isometry is a function between two metric spaces that respects large-scale geometry of these spaces and ignores their small-scale details. Two metric spaces are quasi-isometric if there exists a quasi-isometry between them. The property of being quasi-isometric behaves like an equivalence relation on the class of metric spaces.

Near sets

In mathematics, near sets are either spatially close or descriptively close. Spatially close sets have nonempty intersection. In other words, spatially close sets are not disjoint sets, since they always have at least one element in common. Descriptively close sets contain elements that have matching descriptions. Such sets can be either disjoint or non-disjoint sets. Spatially near sets are also descriptively near sets.

In mathematics, a càdlàg, RCLL, or corlol function is a function defined on the real numbers that is everywhere right-continuous and has left limits everywhere. Càdlàg functions are important in the study of stochastic processes that admit jumps, unlike Brownian motion, which has continuous sample paths. The collection of càdlàg functions on a given domain is known as Skorokhod space.

In functional analysis and related areas of mathematics, a metrizable topological vector spaces (TVS) is a TVS whose topology is induced by a metric. An LM-space is an inductive limit of a sequence of locally convex metrizable TVS.

References

    This page is based on this Wikipedia article
    Text is available under the CC BY-SA 4.0 license; additional terms may apply.
    Images, videos and audio are available under their respective licenses.