Der Zweig der Geometrie, der sich mit metrischen Räumen und globalen geometrischen Eigenschaften befasst, die durch Distanzfunktionen bestimmt werden, einschließlich Längenräume, geodätische und hyperbolische Räume, metrische Krümmungsgrenzen und Konvergenzbegriffe wie Gromov–Hausdorff-Abstand.

Prinzip

Die Distanz ist die primäre Größe: geometrische Struktur und Invarianten werden durch die Metrik definiert und verglichen; lokale Dreiecksungleichungen und globale Vergleichsbedingungen (z. B. CAT(k) oder Alexandrov-Krümmungsgrenzen) strukturieren die Theorie.

Demonstration

Untersuche einen metrischen Baum: Distanzen determinieren eine 0-hyperbolische Struktur, in der Geodäten zwischen Punkten eindeutig sind; vergleiche die Geometrie im Großen durch Wachstumskurven, beobachte, dass Bäume Grenzräume bestimmter skalierten Graphen im Gromov–Hausdorff-Sinn sind, und nutze Hyperbolizität bei Gruppenaktionen auf dem Baum.

Fehlanwendung

Differentielle Krümmungsformeln, die Glattheit erfordern, auf allgemeine metrische Räume anzuwenden oder die Existenz von Geodäten bzw. eindeutigen Minimierern in Räumen anzunehmen, in denen Vollständigkeit oder lokale Kompaktheit fehlt.

Konsequenz

Korrekte metrisch-geometrische Analyse liefert Starrheits- und Stabilitätssätze, Klassifikationen des großräumigen Verhaltens (z. B. hyperbolisch versus euklidisch), Kompaktheitsresultate für Familien von Räumen und Werkzeuge zur Untersuchung von Grenzen und Quasi-Isometrien in Gruppen- und Geometrietheorie.

Umkehrung

Fokussiere stattdessen rein topologische oder glatte Strukturen und ignoriere die Metrik: viele metricalle Invarianten entfallen oder werden irrelevant, während alternative Invarianten (Homotopie, Differentialformen) in den Vordergrund treten; metrische Resultate können unter einer homöomorphen Verzerrung der Distanzen verschwinden.

Abgrenzung

Gilt für Strukturen mit einer echten Distanzfunktion, die die Metrikaxiome erfüllt; schließt Formalismen aus, denen eine Distanz fehlt oder die ausschließlich auf glatter oder algebraischer Struktur beruhen, obwohl Normen und Skalarprodukte gängige metrische Beispiele liefern.

Semantische Spannung

Steht zwischen riemannscher Geometrie (glatte Metriken) und grober Geometrie (Invarianten im großen Maßstab); Spannung entsteht beim Vergleich infinitesimaler Krümmungsbegriffe mit metrischen Krümmungsgrenzen oder wenn diskrete Modelle kontinuierliche Metriken approximieren.

Synthese

Die metrische Geometrie betrachtet die Distanz als grundlegendes Objekt und leitet lokale Vergleichsbedingungen sowie globale Invarianten daraus ab, um Geodäten, Krümmungsgrenzen, Konvergenz und großräumige Strukturen in kontinuierlichen und diskreten Kontexten zu untersuchen.