Riemannsche Mannigfaltigkeit

Eine riemannsche Mannigfaltigkeit oder ein riemannscher Raum ist ein Objekt aus dem mathematischen Teilgebiet der riemannschen Geometrie. Diese Mannigfaltigkeiten haben die zusätzliche Eigenschaft, dass sie eine Metrik ähnlich wie ein Prähilbertraum besitzen. Mit Hilfe dieser riemannschen Metrik lassen sich dann die wesentlichen geometrischen Eigenschaften der Mannigfaltigkeit beschreiben. So gelten auf jeder riemannschen Mannigfaltigkeit die folgenden, teilweise äquivalenten, Eigenschaften:

• Die kürzesten Strecken zwischen unterschiedlichen Punkten (die sogenannten Geodäten) sind nicht zwingend Geradenstücke, sondern können gekrümmte Kurven sein.
• Die Winkelsumme von Dreiecken kann, im Gegensatz zur Ebene, auch größer (z. B. Kugel) oder kleiner (hyperbolische Räume) als 180° sein.
• Die Parallelverschiebung von Tangentialvektoren entlang geschlossener Kurven kann die Richtung des Vektors ändern.
• Das Ergebnis einer Parallelverschiebung eines Tangentialvektors hängt auch vom Weg ab, entlang dessen der Tangentialvektor verschoben wird.
• Die Krümmung ist im Allgemeinen eine Funktion des Ortes auf der Mannigfaltigkeit.
• Abstandsmessungen zwischen unterschiedlichen Punkten sind nur mit Hilfe einer Metrik möglich, die vom Ort auf der Mannigfaltigkeit abhängen kann.

Der etwas allgemeinere Begriff der pseudo-riemannschen oder semi-riemannschen Mannigfaltigkeit ist in der allgemeinen Relativitätstheorie von entscheidender Bedeutung, da in dieser die Raumzeit als solche beschrieben wird.

Definition

Eine riemannsche Mannigfaltigkeit ist eine differenzierbare 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} -dimensionale Mannigfaltigkeit 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 M} mit einer Funktion 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 g} , die jedem Punkt 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 p \in M} ein Skalarprodukt des Tangentialraums $T_{p}M$ zuordnet, das heißt eine positiv definite, symmetrische Bilinearform

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 g_p\colon T_pM\times T_pM\to\mathbb R} ,

die differenzierbar von $p$ abhängt. Das heißt, bei gegebenen differenzierbaren Vektorfeldern 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,\,Y \in \mathfrak{X}(M)} ist

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 \begin{align} M&\to\mathbb R \\ p &\mapsto g_p(X_p, Y_p) \end{align}}

eine differenzierbare Funktion. Die Funktion 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 g} heißt riemannsche Metrik oder auch metrischer Tensor, ist aber keine Metrik im Sinne der metrischen Räume.

Beispiele

Euklidischer Vektorraum

Ein euklidischer Vektorraum ist isometrisch isomorph zum 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 \R^n} mit dem Standardskalarprodukt

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 \langle (x_1, \dotsc, x_n), (y_1, \dotsc, y_n) \rangle = x_1y_1 + \dotsb + x_ny_n } .

Der Vektorraum 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 \R^n} kann als differenzierbare Mannigfaltigkeit verstanden werden und zusammen mit dem Standardskalarprodukt wird er zu einer riemannschen Mannigfaltigkeit. In diesem Fall ist der Tangentialraum 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 T_x\R^n} identisch mit dem Ausgangsraum, also wieder der 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 \R^n} .

Induzierte Metrik

Da das Tangentialbündel $TN$ einer Untermannigfaltigkeit einer riemannschen Mannigfaltigkeit $M$ auch eine Teilmenge des Tangentialbündels $TM$ von $M$ ist, kann die Metrik von $M$ auch auf die Tangentialvektoren der Untermannigfaltigkeit $N$ angewendet werden. Die so erhaltene Metrik der Untermannigfaltigkeit wird deswegen auch induzierte Metrik genannt. Die Untermannigfaltigkeit $N$ bildet zusammen mit der induzierten Metrik wieder eine riemannsche Mannigfaltigkeit.

Induzierte Metriken finden insbesondere bei der geometrischen Untersuchung von Kurven und Flächen als Untermannigfaltigkeit des $\mathbb {R} ^{n}$ Verwendung.

Riemannsche Mannigfaltigkeiten als metrische Räume

Die riemannsche Metrik ist keine Metrik im Sinne der Theorie der metrischen Räume, sondern ein Skalarprodukt. Man kann jedoch ähnlich wie in der Theorie der Skalarprodukträume aus dem Skalarprodukt eine Metrik gewinnen. Somit können riemannsche Mannigfaltigkeiten als metrische Räume verstanden werden. Auf riemannschen Mannigfaltigkeiten sind also im Gegensatz zu differenzierbaren Mannigfaltigen Begriffe wie Abstand, Durchmesser oder Vollständigkeit definiert.

Abstandsfunktion

Im Folgenden sei $(M,g)$ eine riemannsche Mannigfaltigkeit. Die Abstandsfunktion auf einer (zusammenhängenden) riemannschen Mannigfaltigkeit wird dann 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(x,y):=\inf\{L(\gamma)\mid\gamma\colon[0,1]\to M,\gamma(0)=x, \gamma(1)=y\}} .

Dabei durchläuft 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 \gamma} alle (stückweise) differenzierbaren Wege, die 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} und $y$ verbinden, und 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 L(\gamma)} bezeichnet die Länge von 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 \gamma} , die gemäß

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 L(\gamma)=\int_0^1 \!\sqrt{g_{\gamma(t)}(\dot \gamma(t),\dot \gamma(t))} \,\mathrm dt}

definiert ist. Das Funktional 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 L} wird auch Längenfunktional genannt. Ein mit konstanter Geschwindigkeit durchlaufener Weg, der lokal (das heißt für ausreichend nahe beieinander liegende Punkte) die kürzeste Verbindung realisiert, heißt Geodätische.

Die so definierte Metrik 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} induziert wieder die ursprüngliche Topologie von 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 M} . Da man zeigen kann, dass jede differenzierbare 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} -dimensionale Mannigfaltigkeit riemannsche Metriken besitzt, lässt sich so auch zeigen, dass jede differenzierbare $n$-dimensionale Mannigfaltigkeit metrisierbar ist. Ähnlich wie bei metrischen Vektorräumen kann man auch von vollständigen riemannschen Mannigfaltigkeiten sprechen. Der Satz von Hopf-Rinow ist das zentrale Resultat bezüglich der Vollständigkeit riemannscher Mannigfaltigkeiten.

Durchmesser

Genauso wie in der Theorie der metrischen Räume wird 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 \operatorname{diam}(M) := \sup\{d(p,q) \mid p,q \in M\} \in \R_{\geq 0} \cup \{\infty\}}

der Durchmesser einer riemannschen Mannigfaltigkeiten 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 (M,g)} definiert.

Der Durchmesser ist eine Invariante einer riemannschen Mannigfaltigkeit unter globalen Isometrien. Außerdem gilt für (endlichdimensionale) riemannsche Mannigfaltigkeiten die Heine-Borel-Eigenschaft, das heißt, eine vollständige riemannsche Mannigfaltigkeit ist genau dann kompakt, wenn der Durchmesser endlich ist.

Geschichte

Gauß’ Theorie der gekrümmten Flächen verwendet eine extrinsische Beschreibung, das heißt, die gekrümmten Flächen werden mit Hilfe eines umgebenden, euklidischen Raumes beschrieben. Riemann vertritt dagegen einen abstrakteren Ansatz. Diesen Ansatz und die zugehörigen Definitionen führte Riemann in seinem Habilitationsvortrag Über die Hypothesen, welche der Geometrie zu Grunde liegen vom 10. Juni 1854 an der Universität Göttingen ein. Dort wurden auch viele Definitionen vorgestellt, die noch heute in der modernen Mathematik verwendet werden. Von parakompakten Räumen war damals jedoch noch nicht die Rede. Anstelle von Kurven und Tangentialvektoren verwendete Riemann damals infinitesimale Linienelemente.

Seit Anfang des 19. Jahrhunderts werden sogenannte nichteuklidische Geometrien diskutiert. Die riemannsche Geometrie hat dabei gerade die geeigneten Definitionen und die geeignete Sprache, um diese Geometrien von einem allgemeinen Standpunkt aus zu beschreiben. Der Begriff der riemannschen Mannigfaltigkeit bildete zum Anfang des 20. Jahrhunderts einen grundlegenden Ausgangspunkt für die Entwicklung der allgemeinen Relativitätstheorie.

Literatur

• Manfredo Perdigão do Carmo: Riemannian Geometry, Birkhäuser, Boston 1992, ISBN 0-8176-3490-8
• Marcel Berger: A panoramic view of Riemannian geometry. Springer-Verlag, Berlin, 2003, ISBN 3-540-65317-1
• Sylvestre Gallot, Dominique Hulin, Jacques Lafontaine: Riemannian Geometry (Second Edition), Springer-Verlag, Berlin/Heidelberg 1990, ISBN 3-540-52401-0
• Martin Schottenloher: Geometrie und Symmetrie in der Physik, vieweg Lehrbuch, 1995, ISBN 3-528-06565-6

Weblinks

• Bernhard Riemann: Ueber die Hypothesen, welche der Geometrie zu Grunde liegen, Inauguralvorlesung, Thema von Carl Friedrich Gauß vorgeschlagen