La rama de la geometría que se ocupa de espacios métricos y propiedades geométricas globales determinadas por funciones distancia, incluyendo espacios de longitud, espacios geodésicos e hiperbólicos, cotas de curvatura en sentido métrico y nociones de convergencia como la distancia de Gromov–Hausdorff.

Principio

La distancia es el dato primario: la estructura geométrica y los invariantes se definen y comparan mediante la métrica; las desigualdades triangulares locales y las condiciones de comparación global (por ejemplo CAT(k) o cotas de curvatura de Alexandrov) organizan la teoría.

Demostración

Examinar un árbol métrico: las distancias determinan una estructura 0-hiperbólica donde las geodésicas entre puntos son únicas; comparar la geometría a gran escala calculando tasas de crecimiento, observar que los árboles son límites de ciertos grafos reescalados en el sentido de Gromov–Hausdorff y aplicar nociones de hiperbolicidad a acciones de grupos sobre el árbol.

Aplicación incorrecta

Aplicar fórmulas de curvatura diferencial que requieren suavidad a espacios métricos arbitrarios, o asumir la existencia de geodésicas o minimizadores únicos en espacios donde faltan completitud o compacidad local.

Consecuencia

El análisis métrico correcto proporciona teoremas de rigidez y estabilidad, clasificación de comportamientos a gran escala (por ejemplo hiperbólico frente a euclidiano), teoremas de compacidad para familias de espacios y herramientas para estudiar límites y quasi-isometrías en teoría de grupos y geometría.

Inversión

Cambiar el enfoque a la estructura puramente topológica o suave e ignorar la métrica: muchos invariantes métricos desaparecen o dejan de tener sentido, mientras que otros invariantes (homotopía, formas diferenciales) pasan a primer plano; a la inversa, resultados métricos pueden desvanecerse bajo una homeomorfía que distorsiona distancias.

Límite

Se aplica a estructuras dotadas de una verdadera función distancia que cumple los axiomas métricos; excluye formalismos sin noción de distancia o que dependen únicamente de estructura suave o algebraica sin considerar la métrica, aunque normas y productos internos son ejemplos métricos habituales.

Tensión semántica

Se sitúa entre la geometría riemanniana (métricas suaves) y la geometría a gran escala (invariantes a gran escala); la tensión aparece al comparar nociones infinitesimales de curvatura con cotas métricas de curvatura o cuando modelos discretos aproximan métricas continuas.

Síntesis

La geometría métrica trata la distancia como objeto fundamental y deriva condiciones de comparación locales e invariantes globales de la métrica para estudiar geodésicas, cotas de curvatura, convergencia y estructura a gran escala en entornos continuos y discretos.