En mathématiques, la distance de Gromov-Hausdorff quantifie la notion de proximité entre deux espaces métriques compacts. Elle constitue une variante et une généralisation de la distance de Hausdorff puisqu'elle permet une forme de comparaison à isométrie près entre espaces qui ne sont plus nécessairement des parties d'un espace ambiant.
Il s'agit effectivement d'une distance sur l'espace des classes d'isométrie d'espaces métriques compacts, appelé l'espace de Gromov-Hausdorff. La notion de convergence associée porte elle aussi le nom de convergence de Gromov-Hausdorff. Toutes ces notions ont été introduites en 1981 par Mikhail Gromov, et la paternité lui en est très couramment attribuée même si on en trouve une première version dans un article de David Edawards de 1975Who Invented the Gromov–Hausdorff Distance?, A. Tuzhilin, 2016. Gromov l'a employée dans le domaine de la théorie géométrique des groupes pour établir un théorème sur les groupes à croissance polynomiale et en géométrie riemannienne pour établir un résultat de compacité des métriques vérifiant une certaine hypothèse de courbure (théorème de compacité de Gromov). Depuis lors, c'est un outil couramment employé dans ces deux domaines, mais qui trouve aussi des applications dans de nombreux autres, comme l'analyse d'images, la cosmologieFriedmann cosmology and almost isotropy, l'étude de réseaux de neuronesComputing the Shape of Brain Networks Using Graph Filtration and Gromov-Hausdorff Metric.
Définition et premières propriétés
Distance entre deux espaces métriques compacts
La distance de Hausdorff est définie pour deux parties compactes et d'un même espace métrique comme la plus grande distance entre un point d'une des deux parties et l'autre partie. Il est possible de formuler cela en termes d'inclusions d'ensembles, en introduisant le -voisinage d'une partie comme l'ensemble des points situés à distance inférieure à de . En effet la distance de Hausdorff s'écrit alors
La distance de Gromov-Hausdorff entre et peut alors être définie en considérant tous les plongements isométriques possibles dans différents espaces tiers : est la borne inférieure des pour tous les plongements isométriques de dans un même espace métrique . Il apparaît clairement que la valeur obtenue ne dépend en fait que des classes d'isométrie de et de .
On peut donner une formulation équivalente mais qui ne fait pas intervenir d'espace annexe : on définit pour cela la notion de -approximation, qui est une sorte d'isométrie à près : il s'agit d'une application telle que - dans l'espace métrique on a - et .
Alors la distance de Gromov-Hausdorff entre et est la borne inférieure des pour lesquels il existe une -approximation de dans et une autre de dans .
Espace de Gromov-Hausdorff
Les considérations précédentes amènent à travailler sur la notion de métrique à isométrie près. Sur l'ensemble des classes d'isométrie d'espaces métriques compacts, on prouve que réalise effectivement une distance (à valeurs finies).. Ce nouvel espace métrique est appelé espace de Gromov-Hausdorff, muni de la topologie de Gromov-Hausdorff. Il s'agit d'un espace complet et séparable, chapitre 10..
On peut définir la notion de convergence associée, soit pour les classes d'isométrie, soit pour les espaces métriques eux-mêmes : une suite d'espaces métriques converge au sens de Gromov-Hausdorff vers un espace métrique si et seulement si tend vers 0. En ce cas, la limite est seulement unique à isométrie près. Par définition même, la convergence au sens de Hausdorff entraîne celle au sens de Gromov-Hausdorff.
Applications
L'ensemble des structures riemanniennes compactes forme une partie remarquable de . Le théorème de compacité de Gromov montre le caractère précompact de l'ensemble des structures riemanniennes vérifiant une borne sur le diamètre et une certaine propriété de positivité de la courbure. Cela permet d'obtenir des résultats de convergence, et d'étudier les propriétés de continuité (ou d'effondrement) de diverses grandeurs géométriques, même si le passage à la limite fait sortir de la catégorie des variétés riemanniennes.
Dans les domaines des mathématiques appliquées, la distance de Gromov-Hausdorff est utilisée pour analyser les correspondances des objets moyennant certains types d'invariances. L'exemple de base est la comparaison des parties de l'espace euclidien à isométrie près, mais plus généralement, d'autres types d'invariance peuvent être étudiés moyennant des choix de métrique judicieux. Dans le cas d'espaces métriques finis, cela conduit à la conception d'algorithmes de calcul, mais il s'agit de problèmes NP-difficiles.
Notes et références
Voir aussi
Bibliographie
, chapitres 7 et suivants
.
Article connexe Distance de Hausdorff
Gromov Hausdorff Catégorie:Géométrie riemannienne