Hyperbolische Isometrie

In der Mathematik sind hyperbolische Isometrien in der hyperbolischen Geometrie und allgemeiner in der Theorie der CAT(0)-Räume von Bedeutung.

Definition

Es sei $X$ ein vollständiger CAT(0)-Raum, zum Beispiel ein hyperbolischer Raum. Eine Isometrie

$f\colon X\to X$

ist eine hyperbolische Isometrie, wenn sie keinen Fixpunkt hat, es aber eine unter $f$ invariante Geodäte gibt.

Insbesondere hat eine hyperbolische Isometrie zwei Fixpunkte im Unendlichen.

Beispiel

Sei $X={\mathbf {H} }^{2}=\left\{z\in \mathbb {C} \colon \operatorname {Im} (z)>0\right\}$ das Halbebenenmodell der hyperbolischen Ebene und $f\colon X\to X$ eine durch

$f(z)=\lambda z$

mit $\lambda >1$ gegebene Abbildung. Man kann überprüfen, dass $f$ eine Isometrie ist und die Geodäte durch $0$ und $\infty$ invariant lässt. Es ist also eine hyperbolische Isometrie.

Allgemeiner können Isometrien der hyperbolischen Ebene durch Matrizen $A\in SL(2,\mathbb {R} )$ und Isometrien des 3-dimensionalen hyperbolischen Raumes durch Matrizen $A\in SL(2,\mathbb {C} )$ beschrieben werden. Im Fall der hyperbolischen Ebene ist die durch eine Matrix $A\in SL(2,\mathbb {R} )$ beschriebene Isometrie genau dann hyperbolisch, wenn für die Spur von $A$ die Ungleichung

$\mid \operatorname {Sp} (A)\mid >2$

gilt. Im Fall $A\in SL(2,\mathbb {C} )$ ist diese Bedingung hinreichend, aber nicht notwendig für eine hyperbolische Isometrie. Das obige Beispiel entspricht der Matrix $\left({\begin{matrix}{\sqrt {\lambda }}&0\\0&{\frac {1}{\sqrt {\lambda }}}\end{matrix}}\right)$.

Äquivalente Charakterisierung

Für eine Isometrie 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\colon X\to X} sei 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_f\colon X\to \R_{\ge0}} definiert durch

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_f(x)=d(f(x),x)} .

Die Isometrie ist genau dann hyperbolisch, wenn es ein 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_0\in X} mit

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_f(x_0)=\inf\left\{d_f(x)\colon x\in X\right\}}

gibt und dieses Infimum positiv ist.

Die Menge

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 \operatorname{Min}(f)=\left\{z\in X\colon d_f(z)=\inf\left\{d_f(x)\colon x\in X\right\}\right\}\subset X}

ist dann eine Vereinigung von invarianten Geodäten.

Loxodromische Isometrien

Falls 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={\mathbb H}^n} der hyperbolische Raum mit 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\ge 3} ist, dann werden die oben definierten hyperbolischen Isometrien auch als loxodromische Isometrien bezeichnet. Als hyperbolische Isometrien bezeichnet man dann nur diejenigen loxodromischen Isometrien, die als Transvektionen entlang einer invarianten Geodäten wirken, also keine Drehung um diese Geodäte bewirken.

Siehe auch

• Elliptische Isometrie
• Parabolische Isometrie

Literatur

• Martin Bridson, André Haefliger: Metric spaces of non-positive curvature. Grundlehren der Mathematischen Wissenschaften 319. Springer-Verlag, Berlin 1999, ISBN 3-540-64324-9.
• Francis Bonahon: Low-dimensional geometry. From Euclidean surfaces to hyperbolic knots. Student Mathematical Library, 49. IAS/Park City Mathematical Subseries. American Mathematical Society, Providence, RI; Institute for Advanced Study (IAS), Princeton, NJ, 2009. ISBN 978-0-8218-4816-6

Weblinks

• Chang: Isometries of the hyperbolic plane