Everipedia is now IQ.wiki - Join the IQ Brainlist and our Discord for early access to editing on the new platform and to participate in the beta testing.

# Gromov–Hausdorff convergence

In mathematics, Gromov–Hausdorff convergence, named after Mikhail Gromov and Felix Hausdorff, is a notion for convergence of metric spaces which is a generalization of Hausdorff convergence.

## Gromov–Hausdorff distance

The Gromov–Hausdorff distance was introduced by David Edwards in 1975,[1][2] and it was later rediscovered and generalized by Mikhail Gromov in 1981.[3][4] This distance measures how far two compact metric spaces are from being isometric. If X and Y are two compact metric spaces, then dGH (X, Y) is defined to be the infimum of all numbers d**H(f(X), g(Y)) for all metric spaces M and all isometric embeddings f: XM and g: YM. Here d**H denotes Hausdorff distance between subsets in M and the isometric embedding is understood in the global sense, i.e. it must preserve all distances, not only infinitesimally small ones; for example no compact Riemannian manifold admits such an embedding into Euclidean space of the same dimension.

The Gromov–Hausdorff distance turns the set of all isometry classes of compact metric spaces into a metric space, called Gromov–Hausdorff space, and it therefore defines a notion of convergence for sequences of compact metric spaces, called Gromov–Hausdorff convergence. A metric space to which such a sequence converges is called the Gromov-Hausdorff limit of the sequence.

## Some properties of Gromov–Hausdorff space

The Gromov–Hausdorff space is path-connected, complete, and separable.[5] It is also geodesic, i.e., any two of its points are the endpoints of a minimizing geodesic.[6] In the global sense, the Gromov-Hausdorff space is totally heterogeneous, i.e., its isometry group is trivial[7], but locally there are many nontrivial isometries[8].

## Pointed Gromov–Hausdorff convergence

The pointed Gromov–Hausdorff convergence is an analog of Gromov–Hausdorff convergence appropriate for non-compact spaces. A pointed metric space is a pair (X,p) consisting of a metric space X and point p in X. A sequence (Xn, pn) of pointed metric spaces converges to a pointed metric space (Yp) if, for each R > 0, the sequence of closed R-balls around pn in Xn converges to the closed R-ball around p in Y in the usual Gromov–Hausdorff sense.[9]

## Applications

The notion of Gromov–Hausdorff convergence was first used by Gromov to prove that any discrete group with polynomial growth is virtually nilpotent (i.e. it contains a nilpotent subgroup of finite index). See Gromov's theorem on groups of polynomial growth. (Also see D. Edwards for an earlier work.) The key ingredient in the proof was the observation that for the Cayley graph of a group with polynomial growth a sequence of rescalings converges in the pointed Gromov–Hausdorff sense.

Another simple and very useful result in Riemannian geometry is Gromov's compactness theorem, which states that the set of Riemannian manifolds with Ricci curvature ≥ c and diameter ≤ D is relatively compact in the Gromov–Hausdorff metric. The limit spaces are metric spaces. Additional properties on the length spaces have been proven by Cheeger and Colding.[10]

The Gromov–Hausdorff distance metric has been applied in the field of computer graphics and computational geometry to find correspondences between different shapes [11].

The Gromov–Hausdorff distance has been used by Sormani to prove the stability of the Friedmann model in Cosmology. This model of cosmology is not stable with respect to smooth variations of the metric.[12]

In a special case, the concept of Gromov–Hausdorff limits is closely related to Large deviations theory.[13]

The Gromov-Hausdorff distance metric has been used in neuroscience to compare brain networks.[14]

## References

[1]
Citation Linkalpha.math.uga.eduDavid A. Edwards, "The Structure of Superspace", in "Studies in Topology", Academic Press, 1975, pdf
Sep 26, 2019, 9:54 PM
[2]
Citation Linkarxiv.orgA. Tuzhilin, "Who Invented the Gromov-Hausdorff Distance? (2016)", arXiv:1612.00728, pdf
Sep 26, 2019, 9:54 PM
[3]
Citation Linkopenlibrary.orgM. Gromov. "Structures métriques pour les variétés riemanniennes", edited by Lafontaine and Pierre Pansu, 1981.
Sep 26, 2019, 9:54 PM
[4]
Citation Linkwww.numdam.orgM. Gromov, Groups of Polynomial growth and Expanding Maps, Publications mathematiques I.H.É.S., 53, 1981
Sep 26, 2019, 9:54 PM
[5]
Citation Linkopenlibrary.orgD.Burago, Yu.Burago, S.Ivanov, A Course in Metric Geometry, AMS GSM 33, 2001.
Sep 26, 2019, 9:54 PM
[6]
Citation Linkarxiv.orgA.Ivanov, N.Nikolaeva, A.Tuzhilin (2015), The Gromov-Hausdorff Metric on the Space of Compact Metric Spaces is Strictly Intrinsic, arXiv:1504.03830. For explicit construction of the geodesics, see Chowdhury, S., & Mémoli, F. (2016). "Constructing Geodesics on the Space of Compact Metric Spaces. " arXiv preprint arXiv:1603.02385.
Sep 26, 2019, 9:54 PM
[7]
Citation Linkarxiv.orgA.Ivanov, A.Tuzhilin (2018), Isometry Group of Gromov-Hausdorff Space, arXiv:1806.02100
Sep 26, 2019, 9:54 PM
[8]
Citation Linkarxiv.orgA.Ivanov, A.Tuzhilin (2016), Local Structure of Gromov-Hausdorff Space near Finite Metric Spaces in General Position, arXiv:1611.04484
Sep 26, 2019, 9:54 PM
[9]
Citation Linkopenlibrary.orgAndré Bellaïche (1996), "The tangent space in sub-Riemannian geometry", in André Bellaïche; Jean-Jacques Risler (eds.), Sub-Riemannian geometry, Progress in Mathematics, 144, Birkhauser, p. 56
Sep 26, 2019, 9:54 PM
[10]
Citation Linkprojecteuclid.orgCheeger-Colding: On the structure of spaces with Ricci curvature bounded below I
Sep 26, 2019, 9:54 PM
[11]
Citation Linkopenlibrary.orgMémoli, F., & Sapiro, G. (2004, July). Comparing point clouds. In Proceedings of the 2004 Eurographics/ACM SIGGRAPH symposium on Geometry processing (pp. 32-40). ACM.
Sep 26, 2019, 9:54 PM
[12]
Sep 26, 2019, 9:54 PM
[13]
Citation Linkopenlibrary.orgKotani M., Sunada T., Large deviation and the tangent cone at infinity of a crystal lattice, Math. Z. 254, (2006), 837-870.
Sep 26, 2019, 9:54 PM
[14]
Citation Linklink.springer.comLee, H., Chung, M., Kang, H., Kim, B-N., Lee, D. S. (2011) Computing the Shape of Brain Networks Using Graph Filtration and Gromov-Hausdorff Metric MICCAI 2011, Part II, LNCS 6892, pp. 302-309
Sep 26, 2019, 9:54 PM
[15]
Sep 26, 2019, 9:54 PM
[16]