24.11.2013 Aufrufe

Geometrie

Geometrie

Geometrie

MEHR ANZEIGEN
WENIGER ANZEIGEN

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

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!