Convergencia de Grómov-Hausdorff

En matemáticas, la convergencia de Grómov-Hausdorff, nombrada por Mijaíl Grómov y Felix Hausdorff, es una noción de convergencia en espacios métricos que generaliza la convergencia de Hausdorff.

Distancia de Grómov-Hausdorff
Diagrama de cercanía y lejanía de algunas figuras bajo la distancia de Grómov-Hausdorff

La distancia de Grómov-Hausdorff fue introducida por David Edwards en 1975,[1][2] y redescubierta y generalizada por Mijaíl Grómov en 1981.[3][4] Esta distancia mide cómo de lejos están dos espacios métricos compactos de ser isométricos. Si X e Y son dos espacios métricos compactos, entonces dGH (X, Y) se define como el ínfimo de las cantidades dH(f(X), g(Y)) para todos los espacios métricos M y todos los embebimientos isométricos f: X→M y g: Y→M. Aquí, dH denota la distancia de Hausdorff entre subconjuntos de M y el embebimiento isométrico se entiende en sentido global, esto es, debe preservar todas las distancias, no solo las infinitesimalmente pequeñas. Por ejemplo, ninguna variedad de Riemann no compacta admite un embebimiento de este tipo en un espacio euclídeo de la misma dimensión.

La distancia de Grómov-Hausdorff convierte al conjunto de todas las clases de isometría de espacios métricos compactos en un espacio métrico, llamado espacio de Grómov-Hausdorff, y por tanto define una noción de convergencia de sucesiones de espacios métricos compactos, llamada convergencia de Grómov-Hausdorff. Un espacio métrico en el que converge una de estas sucesiones se dice el límite de Grómov-Hausdorff de la sucesión.

Algunas propiedades del espacio de Grómov-Hausdorff

El espacio de Grómov-Hausdorff es conexo por caminos, completo y separable.[5] También es geodésico, esto es, cada par de puntos son los extremos de una geodésica minimizante.[6] En el sentido global, el espacio de Grómov-Hausdorff es totalmente heterogéneo, esto es, su grupo de isometría es trivial,[7] pero localmente existen muchas isometrías no triviales.[8]

Convergencia de Grómov-Hausdorff punteada

La convergencia de Grómov-Hausdorff punteada es un análogo de la convergencia de Grómov-Hausdorff apropiada para espacios no compactos. Un espacio métrico punteado es un par (X,p) consistente en un espacio métrico X y un punto p en X. Una sucesión (Xn, pn) de espacios métricos punteados converge a un espacio métrico punteado (Y, p) si, para cada R > 0, la sucesión de R-bolas cerradas alrededor de pn en Xn converge a la R-bola cerrada alrededor de p en Y en el sentido habitual de Grómov-Hausdorff.[9]

Aplicaciones

La noción de convergencia de Grómov-Hausdorff fue utilizada en primer lugar por Grómov para probar que cualquier grupo discreto con crecimiento polinomial es virtualmente nilpotente (esto es, contiene un subgrupo nilpotente de índice finito). El punto clave de la demostración fue la observación de que para el grafo de Cayley de un grupo con crecimiento polinomial, una sucesión de reescalados converge en el sentido de Grómov-Hausdorff punteado.

Otro resultado simple y muy útil en geometría riemanniana es el teorema de compacidad de Grómov, que afirma que el conjunto de variedades riemannianas con curvatura de Ricci ≥ c y diámetro ≤ D es relativamente compacto en la métrica de Grómov-Hausdorff. Los espacios límite son espacios métricos. Cheeger y Colding han probado propiedades adicionales en los espacios de longitud.[10]

La métrica de distancia de Grómov-Hausdorff ha sido aplicada en el campo de la computación gráfica y a la geometría computacional para encontrar correspondencias entre diferentes formas.[11]

La distancia de Grómov-Hausdorff ha sido utilizada por Sormani para probar la estabilidad del modelo de Friedmann en cosmología. Este modelo de la cosmología no es estable con respecto a variaciones suaves de la métrica.[12]

En un caso especial, el concepto de límites de Grómov-Hausdorff está íntimamente relacionado con la teoría de grandes desviaciones.[13]

La métrica de distancia de Grómov-Hausdorff ha sido también utilizada en neurociencia para comparar circuitos neuronales.[14]

Referencias
  1. David A. Edwards, "The Structure of Superspace", in "Studies in Topology", Academic Press, 1975, pdf Archivado el 4 de marzo de 2016 en Wayback Machine.
  2. A. Tuzhilin, "Who Invented the Gromov-Hausdorff Distance? (2016)", arXiv:1612.00728, pdf
  3. M. Gromov. "Structures métriques pour les variétés riemanniennes", editado por Lafontaine and Pierre Pansu, 1981.
  4. M. Gromov, Groups of Polynomial growth and Expanding Maps, Publications mathematiques I.H.É.
  5. D.Burago, Yu.Burago, S.Ivanov, A Course in Metric Geometry, AMS GSM 33, 2001.
  6. A.Ivanov, N.Nikolaeva, A.Tuzhilin (2015), The Gromov-Hausdorff Metric on the Space of Compact Metric Spaces is Strictly Intrinsic, arXiv:1504.03830.
  7. A.Ivanov, A.Tuzhilin (2018), Isometry Group of Gromov-Hausdorff Space, arXiv:1806.02100
  8. A.Ivanov, A.Tuzhilin (2016), Local Structure of Gromov-Hausdorff Space near Finite Metric Spaces in General Position, arXiv:1611.04484
  9. André Bellaïche (1996), «The tangent space in sub-Riemannian geometry», en André Bellaïche; Jean-Jacques Risler, eds., Sub-Riemannian geometry, Progress in Mathematics 144, Birkhauser.
  10. Cheeger-Colding: On the structure of spaces with Ricci curvature bounded below I
  11. Mémoli, F., & Sapiro, G. (2004, July). «Comparing point clouds». En Proceedings of the 2004 Eurographics/ACM SIGGRAPH symposium on Geometry processing (pp. 32-40). ACM.
  12. Sormani: Friedmann cosmology and almost isotropy
  13. Kotani M., Sunada T., Large deviation and the tangent cone at infinity of a crystal lattice, Math.
  14. Lee, 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
  • M. Gromov. Metric structures for Riemannian and non-Riemannian spaces, Birkhäuser (1999). ISBN 0-8176-3898-9.
Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.