21.11.2013 Aufrufe

DIFFERENTIALGEOMETRIE I–II - Homeweb2.unifr.ch

DIFFERENTIALGEOMETRIE I–II - Homeweb2.unifr.ch

DIFFERENTIALGEOMETRIE I–II - Homeweb2.unifr.ch

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.

Daraus folgt zunä<strong>ch</strong>st d(p, p 3 ) ≥ d(p, q) − d(q, p 3 ) = t 0 + δ. Andererseits hat die<br />

stückweise differenzierbare Kurve ˜c : [0, t 0 + δ] → M, bestehend aus c| [0,t0] gefolgt<br />

von der kürzesten Geodätis<strong>ch</strong>en σ von p 2 na<strong>ch</strong> p 3 , die Länge t 0 + δ und verbindet p<br />

mit p 3 . Also ist ˜c eine Kürzeste, und damit na<strong>ch</strong> Korollar 1 in Abs<strong>ch</strong>nitt 18.3 eine<br />

Geodätis<strong>ch</strong>e. Folgli<strong>ch</strong> ist ˜c = c| [0,t0+δ] und daher c(t 0 + δ) = p 3 . Nun liefert (∗∗)<br />

d(c(t 0 + δ), q) = l − (t 0 + δ).<br />

Also ist t 0 + δ ∈ A, aber das widerspri<strong>ch</strong>t der Maximalität von t 0 . QED<br />

19.2. Der Satz von Hopf und Rinow. Eine Riemanns<strong>ch</strong>e Mannigfaltigkeit (oder<br />

ihre Riemanns<strong>ch</strong>e Metrik) heißt vollständig, wenn ihr Levi–Civita–Zusammenhang<br />

vollständig ist, wenn also der Definitionsberei<strong>ch</strong> ˜T M der Exponentialabbildung exp<br />

mit ganz T M übereinstimmt.<br />

Satz. Sei (M, g) eine zusammenhängende Riemanns<strong>ch</strong>e Mannigfaltigkeit.<br />

sind folgende Aussagen äquivalent.<br />

Dann<br />

(a) Es existiert ein Punkt p ∈ M mit der Eigens<strong>ch</strong>aft, dass T p M im Definitionsberei<strong>ch</strong><br />

von exp enthalten ist.<br />

(b) Jede abges<strong>ch</strong>lossene bes<strong>ch</strong>ränkte Teilmenge A ⊆ M ist kompakt (Heine–Borel–<br />

Eigens<strong>ch</strong>aft).<br />

(c) (M, d) ist eine vollständiger metris<strong>ch</strong>er Raum, d.h.<br />

konvergieren.<br />

(d) (M, g) ist eine vollständige Riemanns<strong>ch</strong>e Mannigfaltigkeit.<br />

Wenn die Aussagen (a)–(d) zutreffen, dann gilt au<strong>ch</strong><br />

alle Cau<strong>ch</strong>yfolgen in M<br />

(e) Je zwei Punkte von M können dur<strong>ch</strong> eine kürzeste Geodätis<strong>ch</strong>e verbunden werden.<br />

Insbesondere ist exp(T p M) = M für jeden Punkt p ∈ M.<br />

Bemerkungen. (i) Kompakte metris<strong>ch</strong>e Räume sind vollständig. Aus dem Satz<br />

folgt daher, dass auf einer kompakten Mannigfaltigkeit jede Riemanns<strong>ch</strong>e Metrik<br />

vollständig ist.<br />

(ii) Abges<strong>ch</strong>lossene Untermannigfaltigkeiten N ⊆ M vollständiger Riemans<strong>ch</strong>er<br />

Mannigfaltigkeiten M sind bezügli<strong>ch</strong> der induzierten Riemanns<strong>ch</strong>en Metrik selbst<br />

vollständig. Das liegt daran, dass si<strong>ch</strong> die Heine Borel–Eigens<strong>ch</strong>aft von M auf N<br />

überträgt: Für die Abstandsfunktion d N auf N gilt offenbar d N (p, q) ≥ d(p, q) für<br />

alle p, q ∈ N. Ist daher A ⊆ N abges<strong>ch</strong>lossen und bezügli<strong>ch</strong> d N bes<strong>ch</strong>ränkt, so ist<br />

A au<strong>ch</strong> in M abges<strong>ch</strong>lossen und bezügli<strong>ch</strong> d bes<strong>ch</strong>ränkt, also kompakt.<br />

(iii) Das Beispiel der offenen Einheitskreiss<strong>ch</strong>eibe B(0, 1) ⊆ R 2 mit der Standardmetrik<br />

zeigt, dass Eigens<strong>ch</strong>aft (e) des Satzes ni<strong>ch</strong>t die anderen Eigens<strong>ch</strong>aften impliziert.<br />

Entfernt man aus der Standardsphäre S 2 eine sphäris<strong>ch</strong>e Kreiss<strong>ch</strong>eibe,<br />

deren Radius kleiner ist als der einer Hemisphäre, dann erhält man eine Riemanns<strong>ch</strong>e<br />

Mannigfaltigkeit mit folgender Eigens<strong>ch</strong>aft: Je zwei Punkte können dur<strong>ch</strong><br />

eine Geodätis<strong>ch</strong>e verbunden werden, aber ni<strong>ch</strong>t notwendig dur<strong>ch</strong> eine Kürzeste.<br />

191

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!