La branche de la géométrie qui s'intéresse aux espaces métriques et aux propriétés géométriques globales déterminées par des fonctions distance, y compris les espaces de longueur, géodésiques et hyperboliques, les bornes de courbure au sens métrique et les notions de convergence comme la distance de Gromov–Hausdorff.

Principe

La distance est la donnée primaire : la structure géométrique et les invariants sont définis et comparés via la métrique ; les inégalités triangulaires locales et les conditions de comparaison globales (par exemple CAT(k) ou bornes de courbure d'Alexandrov) organisent la théorie.

Démonstration

Étudier un arbre métrique : les distances déterminent une structure 0-hyperbolique où les géodésiques entre points sont uniques ; comparer la géométrie à grande échelle en calculant les taux de croissance, observer que les arbres sont des limites de certains graphes recadrés au sens Gromov–Hausdorff, et appliquer des notions d'hyperbolicité aux actions de groupes sur l'arbre.

Mauvaise application

Appliquer des formules de courbure différentielle requérant la lissité à des espaces métriques arbitraires, ou supposer l'existence de géodésiques ou de minimiseurs uniques dans des espaces où l'exhaustivité ou la compacité locale fait défaut.

Conséquence

Une analyse métrique correcte fournit des résultats de rigidité et de stabilité, une classification des comportements à grande échelle (par exemple hyperbolique vs euclidien), des théorèmes de compacité pour des familles d'espaces et des outils pour étudier limites et quasi-isométries en théorie des groupes et en géométrie.

Inversion

Basculer vers une focalisation purement topologique ou lisse et ignorer la métrique : de nombreux invariants métriques disparaissent ou deviennent sans objet, tandis que d'autres invariants (homotopie, formes différentielles) prennent le devant ; inversement, des résultats métriques peuvent disparaître sous une homéomorphie qui déforme les distances.

Limite

S'applique aux structures munies d'une véritable fonction distance satisfaisant aux axiomes métriques ; exclut les formalismes dépourvus de notion de distance ou reposant uniquement sur une structure lisse ou algébrique sans considération métrique, bien que normes et produits scalaires fournissent des exemples métriques courants.

Tension sémantique

Se situe entre la géométrie riemannienne (métriques lisses) et la géométrie grossière (invariants à grande échelle) ; la tension apparaît lorsqu'on compare notions de courbure infinitésimale et bornes métriques de courbure ou lorsque des modèles discrets/combinatoires approchent des métriques continues.

Synthèse

La géométrie métrique considère la distance comme l'objet fondamental et en déduit conditions de comparaison locales et invariants globaux pour étudier géodésiques, bornes de courbure, convergence et structure à grande échelle dans des cadres continus et discrets.