Die Menge der Äquivalenzklassen von geodätischen Strahlen in einem Gromov-hyperbolischen metrischen Raum, wobei zwei Strahlen äquivalent sind, wenn sie sich bis zu einer beschränkten Distanz aufhalten; sie codiert die asymptotische Richtung und die großskalige Geometrie am Unendlichen.

Prinzip

Punkte im Unendlichen identifizieren, indem geodätische Strahlen zusammengefasst werden, die sich bis auf eine beschränkte Abweichung verfolgen; der Rand ist ein quasi-isometrieinvariantes Objekt, das großskalige statt lokale Struktur erfasst.

Demonstration

In der hyperbolischen Ebene H2 entsprechen geodätische Strahlen idealen Randpunkten und die Gromov-Grenze ist homöomorph zum Kreis; für den Cayley-Graphen einer endlich erzeugten freien Gruppe ist die Gromov-Grenze eine Cantor-Menge.

Fehlanwendung

Die Gromov-Grenze als identisch mit dem Rand der metrischen Komplettierung oder dem topologischen Rand einer Einbettung zu behandeln; oder sie aus kleinmaßstäblichen Metriken zu berechnen, die von lokaler Krümmung abhängen.

Konsequenz

Bei korrekter Bestimmung erhält man einen kompakten topologischen Rand mit einer durch Isometrien induzierten Dynamik; er liefert Informationen über Starrheit, quasi-konforme Struktur am Unendlichen und die Klassifikation von Quasi-Isometrien.

Umkehrung

Anstatt Strahlen zusammenzufassen, die nahe bleiben, könnte man Strahlen nach ihrem divergenten Verhalten trennen, wodurch eine innerlich orientierte Klassifikation entsteht; diese Umkehr verliert die Quasi-Isometrie-Invarianz und wird lokal sensitiv.

Abgrenzung

Gilt nur für Gromov-hyperbolische Räume (grob-negative Krümmung) und im quasi-geodätischen Rahmen; schließt nicht-hyperbolische Räume (euklidische Räume, höher-rangige symmetrische Räume) aus, für die die Konstruktion trivial oder ungeeignet ist.

Semantische Spannung

Spannung besteht mit dem visuellen Rand, der über eine konkrete Metrik oder einen Basispunkt definiert wird, und mit der Limesmenge einer Isometriegruppe; sie können zusammenfallen, unterscheiden sich jedoch in Abhängigkeit von Metrikwahl und grober Struktur.

Synthese

Die Gromov-Grenze ist die grobe, quasi-isometrieinvariante Kompaktifizierung eines hyperbolischen Raums, gebildet durch Identifikation von geodätischen Strahlen, die zusammenlaufen, und sie fasst dessen asymptotische Geometrie zusammen.