Lexikon der Mathematik: Riemannsche Geometrie
Riemannsche Geometrie ist die Theorie der geometrischen Eigenschaften der n-dimensionalen Riemannschen Mannigfaltigkeiten.
Ihre Grundbegriffe sind n-dimensionale Verallgemeinerungen von Begriffen der inneren Geometrie der 2-dimensionalen Flächen des 3-dimensionalen Raumes \({{\mathbb{R}}}^{3}\), und die Flächentheorie ist eine ihrer historischen Wurzeln. Daneben war aus historischer Sicht die Frage nach einer Realisierung der nichteuklidischen Geometrie Antrieb bei der Suche nach Begriffen, die die in der Flächentheorie gegebenen Verhältnisse verallgemeinern.
Den entscheidenden Anstoß gab Riemann 1854 in seinem Habilitationsvortrag „Über die Hypothesen, die der Geometrie zugrunde liegen“, in dem er die nach ihm benannten Mannigfaltigkeiten einführte. Sie erschlossen völlig neuartige Geometrien und dienen noch heute als Prinzip zur Klassifizierung neuer Raumformen. Die Allgemeinheit dieses Begriffes und die auf ihm gründende Methodik ermöglichten Albert Einstein durch Übergang zu pseudo-Riemannschen Mannigfaltigkeiten die Grundlegung der Relativitätstheorie.
Es sei M eine n-dimensionale Riemannsche Mannigfaltigkeit mit der Riemannschen Metrikg. Diese ist eine differenzierbare Abbildung, die jedem Punkt x ∈ M eine symmetrische Bilinearform
Ist g positiv definit, so wird M mit dem Riemannschen Abstandd(x, y) ein metrischer Raum. Die Abstandsfunktion d(x, y) ist als die größte untere Schranke aller Längen von stückweise glatten, x und y verbindenden, Kurven definiert. Dann erfüllt d die Axiome einer Abstandsfunktion, d. h., es ist d(x, y) = 0 genau dann wenn x = y, es gilt d(x, y) = d(y, x), und ebenso die Dreiecksungleichung
Viele der von Geraden in \({{\mathbb{R}}}^{3}\) oder \({{\mathbb{R}}}^{2}\) bekannten geometrischen Eigenschaften werden von den geodätischen Kurven (Geodätische) γ(t) verallgemeinert. Geodätische definiert man als stationäre Punkte des Längenfunktionals
Es gibt in Analogie zur Geometrie der Geraden im Euklidischen Raum zu jedem Punkt x ∈ M und jedem Tangentialvektor \({\mathfrak{t}}\in {T}_{x}(M)\) genau eine Geodätische γ(s) mit dem Anfangspunkt γ(0) = x und der Anfangsrichtung \(\dot{\gamma }(0)={\mathfrak{t}}\), die aber i. allg. nur auf einem gewissen Intervall 0 < t< ε ≺ definiert ist.
Wird die Abhängigkeit der Geodätischen von x und \({\mathfrak{t}}\) durch \({\mathfrak{s}}\in {K}_{\varepsilon }(0)\) verbindenden Geradensegmente in geodätische Strahlen von M ab. Diese Strahlen gehen von x aus und treffen den Rand \({\exp }_{\text{x}}({S}_{\varepsilon }(0))\) von Nxε senkrecht. Nxε heißt Normalumgebung von x in M. Ist ε hinreichend klein, so ist die Normalumgebung eine konvexe Umgebung, d.h., zu je zwei Punkten y1, y2 ∈ Nxε gibt es eine eindeutig bestimmte geodätische Verbindungskurve, die gleichzeitig auch die kürzeste Verbindungskurve zwischen y1 und y2 ist.
Im allgemeinen müssen Geodätische nicht bis zu beliebigen Parameterwerten ausdehnbar sein. Davon kann man sich überzeugen, indem man aus einer Geodätischen γ ⊂ M einen Punkt x entfernt. Die komplementäre Mannigfaltigkeit M \ {x} ist weiterhin Riemannsch, und die beiden verbleibenden Segmente von γ \ {x} sind auch in M \ {x} Geodätische, deren Verlauf aber im Punkt x unterbrochen ist. Eine Riemannsche Mannigfaltigkeit M heißt vollständig, wenn jede Geodätische als parametrische Kurve auf ganz ℝ definiert ist. Der so definierte Vollständigkeitsbegriff stimmt nach dem Satz von Hopf-Rinow mit dem Vollständigkeitsbegriff der Theorie der metrischen Räum überein.
Der Injektivitätsradius dx einer vollständigen Riemannschen Mannigfaltigkeit M im Punkt x ∈ M ist die untere Grenze der Längen aller von x in alle möglichen Richtungen ausgehenden Geodätischen, die gleichzeitig kürzeste Verbindungskurve zwischen x und ihrem Endpunkt sind. Zum Beispiel sind die von einem Punkt x einer Sphäre \({S}_{r}^{n}\subset {{\mathbb{R}}}^{n+1}\) ausgehenden Geodätischen Segmente \({\mathcal{K}}\) von Großkreisen von \({{\mathcal{S}}}_{r}^{n}\), die x mit einem anderen Punkt \(y\in {{\mathcal{S}}}_{r}^{n}\) verbinden. Ein Segment \({\mathcal{K}}\) ist genau dann kürzeste Verbindungskurve von x mit y, wenn seine Länge nicht größer als π r ist. Der Injektivitätsradius dx von \({{\mathcal{S}}}_{r}^{n}\) ist daher in allen Punkten \(x\in {{\mathcal{S}}}_{r}^{n}\) gleich diesem Wert.
Außer durch metrische Eigenschaften ist die Riemannsche Geometrie durch Krümmungsgrößen bestimmt, die sich als differentielle Invarianten zweiter Ordnung aus dem metrischen Fundamentaltensor ergeben. Eine anschauliche Deutung gibt in der Flächenteorie die Gaußsche Krümmung. In höheren Dimensionen ist die Beschreibung der Krümmungsverhältnisse komplexer. Sie erfolgt durch den Riemannschen KrümmungstensorK, aus dem sich andere Krümmungsgrößen wie der Ricci-Tensor, die SchnittkrümmungKσ oder die skalare Krümmung durch tensorielle Operationen ableiten lassen. Er enthält alle wesentlichen Krümmungsinformationen.
Aus manchen Eigenschaften dieser Krümmungsfunktionen kann man auf topologische Eigenschaften der Mannigfaltigkeit M schließen. Die Krüm mungseigenschaften haben lokalen Charakter, d. h, sie sind vom Verhalten von K in den Umgebungen der Punkte von M bestimmt, während topologische Eigenschaften die Mannigfaltigkeit im Großen beschreiben. Die globale Riemannsche Geometrie untersucht den wechselseitigen Einfluß von lokalen und globalen Eigenschaften.
Da die Gesamtheit der Riemannschen Mannigfaltigkeiten unübersehbar groß ist, untersucht man spezielle einfachere Riemannschen Mannigfaltigkeiten, die durch zusätzliche Strukturen, z. B. eine mit g verträgliche komplexe Struktur oder die transitive Wirkung einer Lie-Gruppe G von Isometrien definiert werden. Im ersten Fall gelangt man zu Hermiteschen Mannigfaltigkeiten, im zweiten Fall zu homogenen Riemannschen Räumen. Homogene Riemannsche Räume sind vollständig. Ihr Krümmungstensor steht in enger Beziehung zum Kommutator der Lie-Algebra \({\mathfrak{g}}\) der Isometriegruppe G. Ist G eine Lie-Gruppe und K ⊂ G eine kompakte Untergruppe, so besitzt der Faktorraum G/K, d. h., die Menge aller Nebenklassen
Eine wichtige Klasse homogener Riemannscher Räume sind die symmetrischen. Um diesen Begriff zu erklären, definiert man zunächst die geodätische Spiegelung sx in einer Umgebung eines Punktes x einer Riemannschen Mannigfaltigkeit M, indem man die Punktspiegelung
Literatur
[1] Gromoll, D.; Klingenberg, W.; Meyer, W.: Riemannsche Geometrie im Großen. Springer-Verlag Berlin/Heidelberg/New York, 1968.
[2] Helgason, S.: Differential Geometry and Symmetric Spaces. Academic Press New York, 1962.
[3] Klotzek, B.: Einführung in die Differentialgeometrie II. Deutscher Verlag der Wissenschaften, 1981.
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.