Satz von Hopf-Rinow

Der Satz von Hopf-Rinow ist eine zentrale Aussage aus der riemannschen Geometrie. Er besagt, dass bei riemannschen Mannigfaltigkeiten die Begriffe der geodätischen Vollständigkeit und der Vollständigkeit im Sinne von metrischen Räumen zusammenfallen. Eine riemannsche Mannigfaltigkeit mit dieser Eigenschaft heißt dann vollständige riemannsche Mannigfaltigkeit. Benannt ist der Satz nach den Mathematikern Heinz Hopf und seinem Schüler Willi Rinow.

Geodätisch vollständige Mannigfaltigkeit

Eine zusammenhängende Riemann’sche Mannigfaltigkeit (M,g) heißt geodätisch vollständig, falls für alle $p\in M$ die Exponentialabbildung $\exp _{p}$ für alle $v\in T_{p}M$ definiert ist. Das heißt, für jeden Punkt $p\in M$ und jeden Tangentialvektor $v\in T_{p}M$ ist die Geodäte $\gamma$ mit $\gamma (0)=p$ und ${\dot {\gamma }}(0)=v$ auf ganz $\mathbb {R}$ definiert.

Satz von Hopf und Rinow

Sei (M,g) eine endlichdimensionale, zusammenhängende Riemann’sche Mannigfaltigkeit. Dann sind die folgenden Eigenschaften äquivalent:

Die Mannigfaltigkeit ist geodätisch vollständig.
Es existiert ein $p\in M,$ so dass $\exp _{p}$ für alle $v\in T_{p}M$ definiert ist.
Die Mannigfaltigkeit ist vollständig als metrischer Raum.
Die Heine-Borel-Eigenschaft gilt. Das heißt jede abgeschlossene und beschränkte Teilmenge ist kompakt.

Aus diesen vier äquivalenten Aussagen lässt sich eine weitere folgern.

Für alle $p,q\in M$ existiert eine Geodäte $\gamma$ , welche die Punkte und auf kürzestem Weg verbindet.

Die Abstandsfunktion d(p,q) ist hierbei definiert als das Infimum über die Bogenlängen aller stückweise differenzierbaren Kurven $\gamma$ mit $\gamma (a)=p$ und $\gamma (b)=q$ ; das heißt, es gilt

$d(p,q)=\inf _{\gamma }\int _{a}^{b}{\sqrt {g_{\gamma (t)}\left({\frac {d\gamma (t)}{dt}},{\frac {d\gamma (t)}{dt}}\right)}}\,{d}t.$

Diese Abstandsfunktion macht zu einem metrischen Raum.

Korollare

Aus dem Satz von Hopf-Rinow folgt, dass alle kompakten, zusammenhängenden Riemann’schen Mannigfaltigkeiten (geodätisch) vollständig sind.
Für eine kompakte, zusammenhängende Lie Gruppe folgt, dass die Exponentialabbildung $\exp _{G}\colon {\mathfrak {g}}\to \operatorname {G}$ surjektiv ist.
Alle geschlossenen Untermanifaltigkeiten einer vollständigen, zusammenhängenden Riemann’schen Mannigfaltigkeit sind vollständig

Beispiele

Die Sphäre $\mathbb {S} ^{n}$ , der euklidische Raum $\mathbb {R} ^{n}$ und der hyperbolische Raum $\mathbb {H} ^{n}$ sind vollständig.
Der metrische Raum $M:=\mathbb{R} ^{2}\setminus \{0\}$ mit der euklidischen Metrik induziert durch das Standardskalarprodukt ist nicht vollständig. Wählt man nämlich einen Punkt $p=(x_{1},x_{2})\in M$ , so gibt es zu dem Punkt $q=(-x_{1},-x_{2})\in M$ keine kürzeste Verbindung in .

Basierend auf einem Artikel in:

Wikipedia.de