Gromov-hyperbolischer Raum
In der Mathematik ist ein Gromov-hyperbolischer Raum ein Raum mit „gleichmäßig dünnen Dreiecken“. Dieser Begriff axiomatisiert und verallgemeinert Räume negativer Krümmung und hat sich in vielen Bereichen der Mathematik als nützlich erwiesen.
Definition
[Bearbeiten | Quelltext bearbeiten]![](http://178.128.105.246/cars-http-upload.wikimedia.org/wikipedia/commons/thumb/8/89/Hyperbolic_triangle.svg/220px-Hyperbolic_triangle.svg.png)
Ein geodätischer metrischer Raum heißt δ-hyperbolisch für ein δ≥0, wenn alle geodätischen Dreiecke δ-dünn sind, d. h. jede Kante des Dreiecks in der δ-Umgebung der Vereinigung der beiden anderen Kanten enthalten ist:
Diese Bedingung ist zum Beispiel für geodätische Dreiecke in Bäumen mit oder in der hyperbolischen Ebene mit erfüllt, allgemeiner für geodätische Dreiecke in einfach zusammenhängenden Riemannschen Mannigfaltigkeiten negativer Schnittkrümmung.
![](http://178.128.105.246/cars-http-upload.wikimedia.org/wikipedia/commons/thumb/4/46/Delta_thin_triangle_condition.svg/220px-Delta_thin_triangle_condition.svg.png)
Ein metrischer Raum heißt Gromov-hyperbolisch, wenn er δ-hyperbolisch für ein δ≥0 ist.
Äquivalent kann man Hyperbolizität mithilfe des Gromov-Produktes definieren. Ein metrischer Raum ist dann δ-hyperbolisch, wenn für alle p, x, y und z in X gilt
Die δ-Hyperbolizität bezüglich der ersten Definition ist äquivalent zur δ-Hyperbolizitat bezüglich der zweiten Definition mit einem möglicherweise anderen Wert der Konstante δ.
Hyperbolische Gruppen
[Bearbeiten | Quelltext bearbeiten]Eine hyperbolische Gruppe ist eine endlich erzeugte Gruppe, deren Cayley-Graph zu einem endlichen Erzeugendensystem δ-hyperbolisch für ein δ>0 ist. (Bis auf die Konstante δ ist diese Bedingung unabhängig von der Wahl des endlichen Erzeugendensystems.)
Gromov-Rand
[Bearbeiten | Quelltext bearbeiten]Der Gromov-Rand eines δ-hyperbolischen metrischen Raumes ist definiert als die Menge der Äquivalenzklassen von Folgen bzgl. der Äquivalenzrelation
für einen beliebigen (fest gewählten) Basispunkt .
Die Topologie des Gromov-Randes wird festgelegt durch die Umgebungsbasis bestehend aus den Mengen
mit .
Das Gromov-Produkt lässt sich zu einer stetigen Funktion
fortsetzen.
Literatur
[Bearbeiten | Quelltext bearbeiten]- Sur les groupes hyperboliques d'après Mikhael Gromov. Papers from the Swiss Seminar on Hyperbolic Groups held in Bern, 1988. Edited by É. Ghys and P. de la Harpe. Progress in Mathematics, 83. Birkhäuser Boston, Inc., Boston, MA, 1990. ISBN 0-8176-3508-4.