Ultralimit

Last updated April 25, 2024

In mathematics, an ultralimit is a geometric construction that assigns a limit metric space to a sequence of metric spaces $X_{n}$ . The concept captures the limiting behavior of finite configurations in the $X_{n}$ spaces employing an ultrafilter to bypass the need for repeatedly consideration of subsequences to ensure convergence. Ultralimits generalize Gromov–Hausdorff convergence in metric spaces.

Ultrafilters

An ultrafilter, denoted as ω, on the set of natural numbers $\mathbb {N}$ is a set of nonempty subsets of $\mathbb {N}$ (whose inclusion function can be thought of as a measure) which is closed under finite intersection, upwards-closed, and also which, given any subset X of $\mathbb {N}$ , contains either X or $\mathbb {N}$ . An ultrafilter on $\mathbb {N}$ is non-principal if it contains no finite set.

Limit of a sequence of points with respect to an ultrafilter

In the following, ω is a non-principal ultrafilter on $\mathbb {N}$ .

If $(x_{n})_{n\in \mathbb {N} }$ is a sequence of points in a metric space (X,d) and x∈ X, then the point x is called ω-limit of x_n, denoted as $x=\lim _{\omega }x_{n}$ , if for every $\epsilon >0$ it holds that

\{n:d(x_{n},x)\leq \epsilon \}\in \omega .

It is observed that,

If an ω-limit of a sequence of points exists, it is unique.
If $x=\lim _{n\to \infty }x_{n}$ in the standard sense, $x=\lim _{\omega }x_{n}$ . (For this property to hold, it is crucial that the ultrafilter should be non-principal.)

A fundamental fact^[1] states that, if (X,d) is compact and ω is a non-principal Ultrafilter on $\mathbb {N}$ , the ω-limit of any sequence of points in X exists (and is necessarily unique).

In particular, any bounded sequence of real numbers has a well-defined ω-limit in $\mathbb {R}$ , as closed intervals are compact.

Ultralimit of metric spaces with specified base-points

Let ω be a non-principal ultrafilter on $\mathbb {N}$ . Let (X_n ,d_n) be a sequence of metric spaces with specified base-points p_n ∈ X_n.

Suppose that a sequence $(x_{n})_{n\in \mathbb {N} }$ , where x_n ∈ X_n, is admissible. If the sequence of real numbers (d_n(x_n ,p_n))_n is bounded, that is, if there exists a positive real number C such that $d_{n}(x_{n},p_{n})\leq C$ , then denote the set of all admissible sequences by ${\mathcal {A}}$ .

It follows from the triangle inequality that for any two admissible sequences $\mathbf {x} =(x_{n})_{n\in \mathbb {N} }$ and $\mathbf {y} =(y_{n})_{n\in \mathbb {N} }$ the sequence (d_n(x_n,y_n))_n is bounded and hence there exists an ω-limit ${\hat {d}}_{\infty }(\mathbf {x} ,\mathbf {y} ):=\lim _{\omega }d_{n}(x_{n},y_{n})$ . One can define a relation $\sim$ on the set ${\mathcal {A}}$ of all admissible sequences as follows. For $\mathbf {x} ,\mathbf {y} \in {\mathcal {A}}$ , there is $\mathbf {x} \sim \mathbf {y}$ whenever ${\hat {d}}_{\infty }(\mathbf {x} ,\mathbf {y} )=0.$ This helps to show that $\sim$ is an equivalence relation on ${\mathcal {A}}.$

The ultralimit with respect to ω of the sequence (X_n,d_n, p_n) is a metric space $(X_{\infty },d_{\infty })$ defined as follows.^[2]

Written as a set, $X_{\infty }={\mathcal {A}}/{\sim }$ .

For two $\sim$ -equivalence classes $[\mathbf {x} ],[\mathbf {y} ]$ of admissible sequences $\mathbf {x} =(x_{n})_{n\in \mathbb {N} }$ and $\mathbf {y} =(y_{n})_{n\in \mathbb {N} }$ , there is $d_{\infty }([\mathbf {x} ],[\mathbf {y} ]):={\hat {d}}_{\infty }(\mathbf {x} ,\mathbf {y} )=\lim _{\omega }d_{n}(x_{n},y_{n}).$

This shows that $d_{\infty }$ is well-defined and that it is a metric on the set $X_{\infty }$ .

Denote $(X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})$ .

On base points in the case of uniformly bounded spaces

Suppose that (X_n ,d_n) is a sequence of metric spaces of uniformly bounded diameter, that is, there exists a real number C > 0 such that diam(X_n) ≤ C for every $n\in \mathbb {N}$ . Then for any choice p_n of base-points in X_nevery sequence $(x_{n})_{n},x_{n}\in X_{n}$ is admissible. Therefore, in this situation the choice of base-points does not have to be specified when defining an ultralimit, and the ultralimit $(X_{\infty },d_{\infty })$ depends only on (X_n,d_n) and on ω but does not depend on the choice of a base-point sequence $p_{n}\in X_{n}$ . In this case one writes $(X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n})$ .

Basic properties of ultralimits

If (X_n,d_n) are geodesic metric spaces then $(X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})$ is also a geodesic metric space.^[1]
If (X_n,d_n) are complete metric spaces then $(X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})$ is also a complete metric space.^[3]^[4]

Actually, by construction, the limit space is always complete, even when (X_n,d_n) is a repeating sequence of a space (X,d) which is not complete.^[5]

If (X_n,d_n) are compact metric spaces that converge to a compact metric space (X,d) in the Gromov–Hausdorff sense (this automatically implies that the spaces (X_n,d_n) have uniformly bounded diameter), then the ultralimit $(X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n})$ is isometric to (X,d).
Suppose that (X_n,d_n) are proper metric spaces and that $p_{n}\in X_{n}$ are base-points such that the pointed sequence (X_n,d_n,p_n) converges to a proper metric space (X,d) in the Gromov–Hausdorff sense. Then the ultralimit $(X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})$ is isometric to (X,d).^[1]
Let κ≤0 and let (X_n,d_n) be a sequence of CAT(κ)-metric spaces. Then the ultralimit $(X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})$ is also a CAT(κ)-space.^[1]
Let (X_n,d_n) be a sequence of CAT(κ_n)-metric spaces where $\lim _{n\to \infty }\kappa _{n}=-\infty .$ Then the ultralimit $(X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})$ is real tree.^[1]

Asymptotic cones

An important class of ultralimits are the so-called asymptotic cones of metric spaces. Let (X,d) be a metric space, let ω be a non-principal ultrafilter on $\mathbb {N}$ and let p_n ∈ X be a sequence of base-points. Then the ω–ultralimit of the sequence $(X,{\frac {d}{n}},p_{n})$ is called the asymptotic cone of X with respect to ω and $(p_{n})_{n}\,$ and is denoted $Cone_{\omega }(X,d,(p_{n})_{n})\,$ . One often takes the base-point sequence to be constant, p_n = p for some p ∈ X; in this case the asymptotic cone does not depend on the choice of p ∈ X and is denoted by $Cone_{\omega }(X,d)\,$ or just $Cone_{\omega }(X)\,$ .

The notion of an asymptotic cone plays an important role in geometric group theory since asymptotic cones (or, more precisely, their topological types and bi-Lipschitz types) provide quasi-isometry invariants of metric spaces in general and of finitely generated groups in particular.^[6] Asymptotic cones also turn out to be a useful tool in the study of relatively hyperbolic groups and their generalizations.^[7]

Examples

Let (X,d) be a compact metric space and put (X_n,d_n)=(X,d) for every $n\in \mathbb {N}$ . Then the ultralimit $(X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n})$ is isometric to (X,d).
Let (X,d_X) and (Y,d_Y) be two distinct compact metric spaces and let (X_n,d_n) be a sequence of metric spaces such that for each n either (X_n,d_n)=(X,d_X) or (X_n,d_n)=(Y,d_Y). Let $A_{1}=\{n|(X_{n},d_{n})=(X,d_{X})\}\,$ and $A_{2}=\{n|(X_{n},d_{n})=(Y,d_{Y})\}\,$ . Thus A₁, A₂ are disjoint and $A_{1}\cup A_{2}=\mathbb {N} .$ Therefore, one of A₁, A₂ has ω-measure 1 and the other has ω-measure 0. Hence $\lim _{\omega }(X_{n},d_{n})$ is isometric to (X,d_X) if ω(A₁)=1 and $\lim _{\omega }(X_{n},d_{n})$ is isometric to (Y,d_Y) if ω(A₂)=1. This shows that the ultralimit can depend on the choice of an ultrafilter ω.
Let (M,g) be a compact connected Riemannian manifold of dimension m, where g is a Riemannian metric on M. Let d be the metric on M corresponding to g, so that (M,d) is a geodesic metric space. Choose a base point p∈M. Then the ultralimit (and even the ordinary Gromov-Hausdorff limit) $\lim _{\omega }(M,nd,p)$ is isometric to the tangent space T_pM of M at p with the distance function on T_pM given by the inner product g(p). Therefore, the ultralimit $\lim _{\omega }(M,nd,p)$ is isometric to the Euclidean space $\mathbb {R} ^{m}$ with the standard Euclidean metric.^[8]
Let $(\mathbb {R} ^{m},d)$ be the standard m-dimensional Euclidean space with the standard Euclidean metric. Then the asymptotic cone $Cone_{\omega }(\mathbb {R} ^{m},d)$ is isometric to $(\mathbb {R} ^{m},d)$ .
Let $(\mathbb {Z} ^{2},d)$ be the 2-dimensional integer lattice where the distance between two lattice points is given by the length of the shortest edge-path between them in the grid. Then the asymptotic cone $Cone_{\omega }(\mathbb {Z} ^{2},d)$ is isometric to $(\mathbb {R} ^{2},d_{1})$ where $d_{1}\,$ is the Taxicab metric (or L¹-metric) on $\mathbb {R} ^{2}$ .
Let (X,d) be a δ-hyperbolic geodesic metric space for some δ≥0. Then the asymptotic cone $Cone_{\omega }(X)\,$ is a real tree.^[1]^[9]
Let (X,d) be a metric space of finite diameter. Then the asymptotic cone $Cone_{\omega }(X)\,$ is a single point.
Let (X,d) be a CAT(0)-metric space. Then the asymptotic cone $Cone_{\omega }(X)\,$ is also a CAT(0)-space.^[1]

Footnotes

1 2 3 4 5 6 7 M. Kapovich B. Leeb. On asymptotic cones and quasi-isometry classes of fundamental groups of 3-manifolds, Geometric and Functional Analysis, Vol. 5 (1995), no. 3, pp. 582–603
↑ John Roe. Lectures on Coarse Geometry. American Mathematical Society, 2003. ISBN 978-0-8218-3332-2; Definition 7.19, p. 107.
↑ L.Van den Dries, A.J.Wilkie, On Gromov's theorem concerning groups of polynomial growth and elementary logic. Journal of Algebra, Vol. 89(1984), pp. 349–374.
↑ John Roe. Lectures on Coarse Geometry. American Mathematical Society, 2003. ISBN 978-0-8218-3332-2; Proposition 7.20, p. 108.
↑ Bridson, Haefliger "Metric Spaces of Non-positive curvature" Lemma 5.53
↑ John Roe. Lectures on Coarse Geometry. American Mathematical Society, 2003. ISBN 978-0-8218-3332-2
↑ Cornelia Druţu and Mark Sapir (with an Appendix by Denis Osin and Mark Sapir), Tree-graded spaces and asymptotic cones of groups. Topology, Volume 44 (2005), no. 5, pp. 959–1058.
↑ Yu. Burago, M. Gromov, and G. Perel'man. A. D. Aleksandrov spaces with curvatures bounded below (in Russian), Uspekhi Matematicheskih Nauk vol. 47 (1992), pp. 3–51; translated in: Russian Math. Surveys vol. 47, no. 2 (1992), pp. 1–58
↑ John Roe. Lectures on Coarse Geometry. American Mathematical Society, 2003. ISBN 978-0-8218-3332-2; Example 7.30, p. 118.

Related Research Articles

In mathematics, more specifically in functional analysis, a Banach space is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well-defined limit that is within the space.

In mathematics, an operator is generally a mapping or function that acts on elements of a space to produce elements of another space. There is no general definition of an operator, but the term is often used in place of function when the domain is a set of functions or other structured objects. Also, the domain of an operator is often difficult to characterize explicitly, and may be extended so as to act on related objects. See Operator (physics) for other examples.

In mathematics, the limit inferior and limit superior of a sequence can be thought of as limiting bounds on the sequence. They can be thought of in a similar fashion for a function. For a set, they are the infimum and supremum of the set's limit points, respectively. In general, when there are multiple objects around which a sequence, function, or set accumulates, the inferior and superior limits extract the smallest and largest of them; the type of object and the measure of size is context-dependent, but the notion of extreme limits is invariant. Limit inferior is also called infimum limit, limit infimum, liminf, inferior limit, lower limit, or inner limit; limit superior is also known as supremum limit, limit supremum, limsup, superior limit, upper limit, or outer limit.

In mathematics, the $L p$ spaces are function spaces defined using a natural generalization of the $p$ -norm for finite-dimensional vector spaces. They are sometimes called Lebesgue spaces, named after Henri Lebesgue, although according to the Bourbaki group they were first introduced by Frigyes Riesz.

In mathematics, the Banach fixed-point theorem is an important tool in the theory of metric spaces; it guarantees the existence and uniqueness of fixed points of certain self-maps of metric spaces, and provides a constructive method to find those fixed points. It can be understood as an abstract formulation of Picard's method of successive approximations. The theorem is named after Stefan Banach (1892–1945) who first stated it in 1922.

In probability theory, there exist several different notions of convergence of sequences of random variables, including convergence in probability, convergence in distribution, and almost sure convergence. The different notions of convergence capture different properties about the sequence, with some notions of convergence being stronger than others. For example, convergence in distribution tells us about the limit distribution of a sequence of random variables. This is a weaker notion than convergence in probability, which tells us about the value a random variable will take, rather than just the distribution.

In mathematics, Fatou's lemma establishes an inequality relating the Lebesgue integral of the limit inferior of a sequence of functions to the limit inferior of integrals of these functions. The lemma is named after Pierre Fatou.

In mathematics, real trees are a class of metric spaces generalising simplicial trees. They arise naturally in many mathematical contexts, in particular geometric group theory and probability theory. They are also the simplest examples of Gromov hyperbolic spaces.

In mathematics, a hyperbolic metric space is a metric space satisfying certain metric relations between points. The definition, introduced by Mikhael Gromov, generalizes the metric properties of classical hyperbolic geometry and of trees. Hyperbolicity is a large-scale property, and is very useful to the study of certain infinite groups called Gromov-hyperbolic groups.

In mathematics, especially in the study of dynamical systems, a limit set is the state a dynamical system reaches after an infinite amount of time has passed, by either going forward or backwards in time. Limit sets are important because they can be used to understand the long term behavior of a dynamical system. A system that has reached its limiting set is said to be at equilibrium.

In mathematics, more specifically measure theory, there are various notions of the convergence of measures. For an intuitive general sense of what is meant by convergence of measures, consider a sequence of measures $μ n$ on a space, sharing a common collection of measurable sets. Such a sequence might represent an attempt to construct 'better and better' approximations to a desired measure $μ$ that is difficult to obtain directly. The meaning of 'better and better' is subject to all the usual caveats for taking limits; for any error tolerance $ε > 0$ we require there be $N$ sufficiently large for $n \geq N$ to ensure the 'difference' between $μ n$ and $μ$ is smaller than $ε$ . Various notions of convergence specify precisely what the word 'difference' should mean in that description; these notions are not equivalent to one another, and vary in strength.

In probability theory, a random measure is a measure-valued random element. Random measures are for example used in the theory of random processes, where they form many important point processes such as Poisson point processes and Cox processes.

In mathematics – specifically, in the theory of stochastic processes – Doob's martingale convergence theorems are a collection of results on the limits of supermartingales, named after the American mathematician Joseph L. Doob. Informally, the martingale convergence theorem typically refers to the result that any supermartingale satisfying a certain boundedness condition must converge. One may think of supermartingales as the random variable analogues of non-increasing sequences; from this perspective, the martingale convergence theorem is a random variable analogue of the monotone convergence theorem, which states that any bounded monotone sequence converges. There are symmetric results for submartingales, which are analogous to non-decreasing sequences.

In the mathematical subject of geometric group theory, the Culler–Vogtmann Outer space or just Outer space of a free group F_n is a topological space consisting of the so-called "marked metric graph structures" of volume 1 on F_n. The Outer space, denoted X_n or CV_n, comes equipped with a natural action of the group of outer automorphisms Out(F_n) of F_n. 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(F_n) and to obtain information about algebraic, geometric and dynamical properties of Out(F_n), of its subgroups and individual outer automorphisms of F_n. The space X_n can also be thought of as the set of F_n-equivariant isometry types of minimal free discrete isometric actions of F_n on F_n on R-treesT such that the quotient metric graph T/F_n has volume 1.

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.

In probability theory, the continuous mapping theorem states that continuous functions preserve limits even if their arguments are sequences of random variables. A continuous function, in Heine's definition, is such a function that maps convergent sequences into convergent sequences: if x_n → x then g(x_n) → g(x). The continuous mapping theorem states that this will also be true if we replace the deterministic sequence {x_n} with a sequence of random variables {X_n}, and replace the standard notion of convergence of real numbers “→” with one of the types of convergence of random variables.

This article is supplemental for “Convergence of random variables” and provides proofs for selected results.

In mathematics, a limit is the value that a function approaches as the input approaches some value. Limits are essential to calculus and mathematical analysis, and are used to define continuity, derivatives, and integrals.

In mathematics, the uniform limit theorem states that the uniform limit of any sequence of continuous functions is continuous.

In mathematics the symmetrization methods are algorithms of transforming a set to a ball $with equal volume and centered at the origin. B is called the symmetrized version of A, usually denoted . These algorithms show up in solving the classical isoperimetric inequality problem, which asks: Given all two-dimensional shapes of a given area, which of them has the minimal perimeter. The conjectured answer was the disk and Steiner in 1838 showed this to be true using the Steiner symmetrization method. From this many other isoperimetric problems sprung and other symmetrization algorithms. For example, Rayleigh's conjecture is that the first eigenvalue of the Dirichlet problem is minimized for the ball. Another problem is that the Newtonian capacity of a set A is minimized by and this was proved by Polya and G. Szego (1951) using circular symmetrization.$

References

John Roe. Lectures on Coarse Geometry. American Mathematical Society, 2003. ISBN 978-0-8218-3332-2; Ch. 7.
L.Van den Dries, A.J.Wilkie, On Gromov's theorem concerning groups of polynomial growth and elementary logic. Journal of Algebra, Vol. 89(1984), pp. 349–374.
M. Kapovich B. Leeb. On asymptotic cones and quasi-isometry classes of fundamental groups of 3-manifolds, Geometric and Functional Analysis, Vol. 5 (1995), no. 3, pp. 582–603
M. Kapovich. Hyperbolic Manifolds and Discrete Groups. Birkhäuser, 2000. ISBN 978-0-8176-3904-4; Ch. 9.
Cornelia Druţu and Mark Sapir (with an Appendix by Denis Osin and Mark Sapir), Tree-graded spaces and asymptotic cones of groups. Topology, Volume 44 (2005), no. 5, pp. 959–1058.
M. Gromov. Metric Structures for Riemannian and Non-Riemannian Spaces. Progress in Mathematics vol. 152, Birkhäuser, 1999. ISBN 0-8176-3898-9; Ch. 3.
B. Kleiner and B. Leeb, Rigidity of quasi-isometries for symmetric spaces and Euclidean buildings. Publications Mathématiques de L'IHÉS. Volume 86, Number 1, December 1997, pp. 115–197.