Geometrie
Geometrie
Geometrie
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Proposition 8.5. Der kürzeste (stückweise-differenzierbare) Weg zwischen zwei Punkten in H n<br />
liegt auf der Geraden.<br />
Beweis. Das wird hier nicht bewiesen (dafür vergleicht man den Fortschritt des Weges γ(s) mit<br />
der Funktion der linearen Abstände d(x, γ(0)) = arcosh(−〈x, γ(0)), und verwendet Cauchy-<br />
Schwartz sowie 〈γ(s), γ ′ (s)〉 = 0.)<br />
Damit ist aber insgesamt die Abstandsfunktion auf H n durch<br />
− cosh d(x, y) = 〈x, y〉.<br />
gegeben, und die hyperbolischen Transformationen erhalten Abstände.<br />
Beispiel 8.6 (2-dimensionaler hyperbolischer Raum). Für n = 2 erhalten wir H 2 ⊂ R 2,1 als<br />
obere Schale des zweischaligen Hyperboloids.<br />
x 3<br />
H 2<br />
R 2<br />
Jede Gerade l ⊂ H 2 lässt sich darstellen als l = H 2 ∩ U für U = {x ∈ R 2,1 : 〈x, n〉 = 0} mit<br />
n ∈ R 2,1 raumartig und normiert, 〈n, n〉 = 1.<br />
Proposition 8.7. Seien n 1 ≠ ±n 2 raumartig, 〈n i , n i 〉 = 1, sowie l 1 , l 2 die zugehörigen Geraden.<br />
Dann sind äquivalent:<br />
(i) l 1 ∩ l 2 ≠ ∅,<br />
(ii) Das Skalarprodukt 〈·, ·〉 eingeschränkt auf spann{n 1 , n 2 } ist positiv definit,<br />
(iii) |〈n 1 , n 2 〉| < 1.<br />
Beweis. (i)⇒(ii): Für den Schnittpunkt x gilt {x} ⊥ = spann{n 1 , n 2 }. Alle Vektoren, die auf x<br />
senkrecht stehen, sind raumartig.<br />
(ii)⇒(i): spann{n 1 , n 2 } ⊥ ist eindimensional, und wird von einem zeitartigen Vektor aufgespannt.<br />
(ii)⇒(iii): Wir stellen das Skalarprodukt eingeschränkt auf spann{n 1 , n 2 } ⊥ durch die Matrix<br />
M =<br />
( 〈n1 , n 1 〉<br />
)<br />
〈n 1 , n 2 〉<br />
〈n 2 , n 1 〉 〈n 2 , n 2 〉<br />
=<br />
( 1<br />
) 〈n1 , n 2 〉<br />
〈n 2 , n 1 〉 1<br />
dar. Das Skalarprodukt ist positiv definit, wenn die Matrix positiv definit ist, und dafür muss die<br />
Determinante positiv sein, also 1 − 〈n 1 , n 2 〉 2 > 0.<br />
59