Gromov-Hausdorff-Metrik
In der Mathematik bezeichnet die Gromov-Hausdorff-Metrik, benannt nach den Mathematikern Michail Leonidowitsch Gromow und Felix Hausdorff, eine Metrik auf der Klasse der Isometrieklassen von kompakten metrischen Räumen. Anschaulich ist der Gromov-Hausdorff-Abstand umso geringer, je besser sich die gegebenen Räume miteinander in Deckung bringen lassen.
Die Konvergenz bezüglich der Gromov-Hausdorff-Metrik heißt Gromov-Hausdorff-Konvergenz.
Definition
Der Gromov-Hausdorff-Abstand ist der kleinstmögliche Hausdorff-Abstand, den die gegebenen Räume bei einer Einbettung in einen metrischen Raum haben können. Seien also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X, Y} kompakte metrische Räume. Dann ist der Gromov-Hausdorff-Abstand Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d_{GH}(X,Y)} definiert als:
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d_{\mathrm GH}(X,Y) := \inf\{d_{\mathrm H}(f(X),g(Y)) \mid f: X\rightarrow Z, \; g: Y \rightarrow Z \text{ isometrische Einbettungen}\}}
wobei
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d_H\,(f(X),g(Y))} den Hausdorff-Abstand von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(X)} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g(Y)} in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Z} bezeichnet.
Dieser ist definiert als:
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d_{\mathrm H}(X,Y): = \max\{\,\sup_{x \in X} \inf_{y \in Y} d(x,y),\, \sup_{y \in Y} \inf_{x \in X} d(x,y)\,\}\mbox{.} \! }
Der Grenzwert einer im Sinne der Gromov-Hausdorff-Metrik konvergenten Folge wird als Gromov-Hausdorff-Grenzwert der Folge bezeichnet, man spricht in diesem Fall von Gromov-Hausdorff-Konvergenz.
Punktierte Gromov-Hausdorff-Konvergenz
Die punktierte Gromov-Hausdorff-Konvergenz ist das angemessene Analogon zur Gromov-Hausdorff-Konvergenz, wenn man nicht-kompakte metrische Räume betrachtet.
Ist eine Folge lokalkompakter vollständiger metrischer Räume, deren Metrik intrinsisch ist, so heißt diese gegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (Y,q)} konvergent, wenn für jedes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R>0} die abgeschlossenen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} -Bälle um Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p_n} im Gromov-Hausdorff-Sinne gegen den abgeschlossenen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} -Ball um Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle q} konvergieren.
Gromov-Hausdorff-Konvergenz von Mannigfaltigkeiten
Der Grenzwert einer Gromov-Hausdorff-konvergenten Folge -dimensionaler Riemannscher Mannigfaltigkeiten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (M_i,g_i)} muss im Allgemeinen keine Mannigfaltigkeit sein.
Falls die Mannigfaltigkeiten gleichmäßig nach unten beschränkte Krümmung und gleichmäßig nach oben beschränkten Durchmesser haben, folgt aber aus einem Satz von Gromov, dass der Grenzwert ein Alexandrov-Raum mit denselben Krümmungs- und Durchmesserschranken und der Dimension kleiner oder gleich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} ist.
Falls (unter der Voraussetzung gleichmäßig nach unten beschränkter Krümmung) der Grenzwert Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} eine Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -dimensionale Mannigfaltigkeit ist, dann müssen fast alle zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} homöomorph gewesen sein – das ist der Perelman'sche Stabilitätssatz.
Allgemeiner, falls (wieder unter der Voraussetzung gleichmäßig nach unten beschränkter Krümmung) der Grenzwert eine Riemannsche Mannigfaltigkeit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} beliebiger Dimension ist, dann müssen fast alle Faserbündel über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} gewesen sein (Fukaya-Yamaguchi, V.Kapovitch-Wilking).
Literatur
- M. Gromov. Metric structures for Riemannian and non-Riemannian spaces, Birkhäuser (1999). ISBN 0-8176-3898-9.