Parabolische Isometrie
In der Mathematik sind parabolische Isometrien in der hyperbolischen Geometrie und allgemeiner in der Theorie der CAT(0)-Räume von Bedeutung.
Definition
Es sei ein vollständiger CAT(0)-Raum, zum Beispiel ein hyperbolischer Raum. Für eine Isometrie sei definiert durch
- .
Die Isometrie ist parabolisch, wenn es kein mit
gibt, wenn also das Infimum nicht angenommen wird.
Fixpunkt im Unendlichen
Eine parabolische Isometrie hat einen Fixpunkt im Unendlichen. Sie lässt alle Horosphären um diesen Punkt invariant.
Beispiel
Sei das Halbebenenmodell der hyperbolischen Ebene und eine durch
mit gegebene Abbildung. Aus der Definition der hyperbolischen Metrik folgt, dass eine Isometrie ist und gilt. Insbesondere ist
- .
Weil in der hyperbolischen Ebene keinen Fixpunkt hat, gibt es aber kein mit , das Infimum wird also nicht angenommen. Die Isometrie ist parabolisch.
Allgemeiner können Isometrien der hyperbolischen Ebene durch Matrizen und Isometrien des 3-dimensionalen hyperbolischen Raumes durch Matrizen beschrieben werden. In beiden Fällen ist die durch eine Matrix beschriebene Isometrie genau dann parabolisch, wenn für die Spur der Matrix
gilt. Das obige Beispiel entspricht der Matrix .
Siehe auch
Basierend auf einem Artikel in: Wikipedia.de Seite zurück© biancahoegel.de
Datum der letzten Änderung: Jena, den: 03.10. 2020