Riemannscher Krümmungstensor

Der riemannsche Krümmungstensor (kürzer auch Riemanntensor, riemannsche Krümmung oder Krümmungstensor) beschreibt die Krümmung von Räumen beliebiger Dimension, genauer gesagt riemannscher oder pseudo-riemannscher Mannigfaltigkeiten. Er wurde nach dem Mathematiker Bernhard Riemann benannt und ist eines der wichtigsten Hilfsmittel der riemannschen Geometrie. Eine andere wichtige Anwendung findet er im Zusammenhang mit der Krümmung der Raumzeit in der allgemeinen Relativitätstheorie.

Der riemannsche Krümmungstensor ist ein Tensor der Stufe 4. Man kann seine Koeffizienten zum Beispiel in der Form $R_{ikp}^{m}$ angeben. In diesem Artikel wird die einsteinsche Summenkonvention verwendet.

Motivation

Diffeomorphismen sind die strukturerhaltenden Abbildungen zwischen differenzierbaren Mannigfaltigkeiten und entsprechend sind (glatte) Isometrien die strukturerhaltenden Abbildungen zwischen riemannschen Mannigfaltigkeiten. Da differenzierbare Mannigfaltigkeiten per Definition lokal diffeomorph zum euklidischen Raum sind, kam die Frage auf, ob riemannsche Mannigfaltigkeiten auch lokal isometrisch zum $\mathbb {R} ^{n}$ sind. Dies ist nicht der Fall. Daher wurde der riemannsche Krümmungstensor eingeführt, welcher, einfach ausgedrückt, angibt, wie lokal ähnlich eine riemannsche Mannigfaltigkeit dem $\mathbb {R} ^{n}$ ist. Um die Definition des riemannschen Krümmungstensors besser zu verstehen, wird folgende Überlegung im $\mathbb {R} ^{2}$ vorangestellt.

Sei $Z\in \Gamma (T\mathbb {R} ^{2})$ ein Vektorfeld. Im euklidischen $\mathbb {R} ^{2}$ gilt für die Einheitsvektorfelder $\partial _{1},\,\partial _{2}$ entlang der Koordinatenachsen die Gleichheit

$\nabla _{\partial _{1}}\nabla _{\partial _{2}}Z=\nabla _{\partial _{2}}\nabla _{\partial _{1}}Z,$

welche der Satz von Schwarz sichert. Für allgemeine Vektorfelder $X,\ Y$ gilt dies auch im $\mathbb {R} ^{2}$ schon nicht mehr. Habe $Z$ in Koordinaten die Darstellung $\textstyle Z=Z^{i}\partial _{i}$, so gilt

$\nabla _{X}\nabla _{Y}Z=\nabla _{X}YZ^{i}\partial _{i}=XYZ^{i}\partial _{i}.$

Der Ausdruck $YZ^{i}$ bezeichnet die Richtungsableitung von $Z^{i}$ in Richtung $Y$. Untersucht man nun weiter die Nichtkommutativität von $\nabla _{X}\nabla _{Y}$, so erhält man im euklidischen Raum

$\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z=(XYZ^{i}-YXZ^{i})\partial _{i}=\nabla _{[X,Y]}Z.$

Auf allgemeinen Mannigfaltigkeiten ist dies falsch. Aus diesem Grund wird die folgende Definition gemacht.

Definition

Sei $M$ eine glatte Mannigfaltigkeit mit dem Zusammenhang $\nabla$. Dann ist der riemannsche Krümmungstensor eine Abbildung

$\Gamma ^{\infty }(M,TM)\times \Gamma ^{\infty }(M,TM)\times \Gamma ^{\infty }(M,TM)\to \Gamma ^{\infty }(M,TM),$

welche durch

$R(X,Y)Z=\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z-\nabla _{[X,Y]}Z$

definiert ist. Mit $\Gamma ^{\infty }(M,TM)$ ist der Raum der glatten Vektorfelder und mit $[.,.]$ die Lie-Klammer gemeint.

In lokalen Koordinaten kann man den Krümmungstensor mit Hilfe der Christoffelsymbole darstellen:

$R_{ikp}^{m}=\partial _{k}\Gamma _{ip}^{m}-\partial _{p}\Gamma _{ik}^{m}+\Gamma _{ip}^{a}\Gamma _{ak}^{m}-\Gamma _{ik}^{a}\Gamma _{ap}^{m}$

Anmerkung

Manche Autoren, wie zum Beispiel do Carmo oder Gallot, Hulin, Lafontaine, definieren den Riemannschen Krümmungstensor mit umgekehrtem Vorzeichen. In diesem Fall dreht sich auch das Vorzeichen bei der Definition der Schnittkrümmung und der Ricci-Krümmung, so dass bei allen Autoren die Vorzeichen von Schnittkrümmung, Ricci-Krümmung und Skalarkrümmung übereinstimmen.

Eigenschaften

Tensorfeld

Der Krümmungstensor ist ein $(1,3)$-Tensorfeld.

• Er ist also insbesondere in jeder Variablen linear.
• Der Wert von $R(X,Y)Z$ am Punkt $p$ der Mannigfaltigkeit hängt nur von den Werten der Vektorfelder $X$, $Y$ und $Z$ am Punkt $p$ ab (und nicht etwa von den Werten in einer Umgebung von $p$.)

Symmetrien des Krümmungstensors

Auf einer differenzierbaren Mannigfaltigkeit $M$ mit beliebigem Zusammenhang ist der Krümmungstensor schiefsymmetrisch in den ersten zwei Einträgen, das heißt, es gilt

Erste Vertauschungssymmetrie	$R(X,Y)Z=-R(Y,X)Z\qquad$	$R_{abcd}=-R_{abdc}\Leftrightarrow R_{ab(cd)}=0$

Für riemannsche Mannigfaltigkeiten $(M,g)$ mit dem Levi-Civita-Zusammenhang gilt außerdem

Zweite Vertauschungssymmetrie	$g(R(X,Y)Z,T)=-g(R(X,Y)T,Z)\qquad$	$R_{abcd}=-R_{bacd}\Leftrightarrow R_{(ab)cd}=0$
Blockvertauschungssymmetrie	$g(R(X,Y)Z,T)=g(R(Z,T)X,Y)$	$R_{abcd}=R_{cdab}$

Bianchi-Identitäten

Ist $M$ eine differenzierbare Mannigfaltigkeit mit Zusammenhang $\nabla$ und sind $W,X,Y,Z\in \Gamma ^{\infty }(M,TM)$ Vektorfelder, dann gilt die erste Bianchi-Identität

• $R(X,Y)Z+R(Y,Z)X+R(Z,X)Y=(\nabla _{X}T)(Y,Z)+T(T(X,Y),Z)+(\nabla _{Y}T)(Z,X)+T(T(Y,Z),X)+(\nabla _{Z}T)(X,Y)+T(T(Z,X),Y)$

mit dem Torsionstensor $T$ und $(\nabla _{X}T)(Y,Z)=\nabla _{X}(T(Y,Z))-T(\nabla _{X}Y,Z)-T(Y,\nabla _{X}Z).$

Die zweite Bianchi-Identität lautet

• $(\nabla _{X}R)(Y,Z)+R(T(X,Y),Z)+(\nabla _{Y}R)(Z,X)+R(T(Y,Z),X)+(\nabla _{Z}R)(X,Y)+R(T(Z,X),Y)=0$

mit $(\nabla _{X}R)(Y,Z)W=\nabla _{X}(R(Y,Z)W)-R(\nabla _{X}Y,Z)W-R(Y,\nabla _{X}Z)W-R(Y,Z)\nabla _{X}W.$

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 \nabla } torsionsfrei, so vereinfachen sich diese Gleichungen zu

• 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(X,Y)Z + R(Y,Z)X + R(Z,X)Y = 0 }

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 (\nabla_X R)(Y,Z) + (\nabla_Y R)(Z,X) + (\nabla_Z R)(X,Y) = 0. }

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 (M,g)} eine riemannsche Mannigfaltigkeit mit dem Levi-Civita-Zusammenhang 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 \nabla} , dann gilt die erste Bianchi-Identität

• 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(X,Y)Z + R(Y,Z)X + R(Z,X)Y = 0 }

und die zweite Bianchi-Identität lässt sich als

• 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 \nabla_W g(R(X,Y)Z,V) + \nabla_Z g(R(X,Y)V,W) + \nabla_V g(R(X,Y)W,Z) = 0}

schreiben. Die erste Bianchi-Identität wird auch algebraische Bianchi-Identität und die zweite auch differentielle Bianchi-Identität genannt. Benannt sind diese Identitäten nach dem Mathematiker Luigi Bianchi.

Flache Mannigfaltigkeit

→ Hauptartikel: Flache Mannigfaltigkeit

Definition

Eine riemannsche 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,g)} heißt flach, falls sie lokal isometrisch zum euklidischen Raum ist. Das heißt, für jeden 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} gibt es eine Umgebung 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 U} und eine Abbildung 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 \phi \colon U \to V \subset \R^n} , welche isometrisch ist, also für welche 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(X,Y) = \phi^* \overline{g}(X,Y) = \overline{g}(\phi_* X , \phi_*Y)} gilt. Hier bezeichnet 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 \overline{g}} das euklidische Skalarprodukt 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 \phi_*} den Pushforward 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 \phi} .

Verbindung zum Krümmungstensor

Eine riemannsche Mannigfaltigkeit mit Levi-Civita-Zusammenhang 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 \nabla} ist genau dann flach, wenn der riemannsche Krümmungstensor identisch null ist. Daher ist die abwickelbare Fläche das zweidimensionale Analogon zur flachen Mannigfaltigkeit.

Abgeleitete Größen

Schnittkrümmung

→ Hauptartikel: Schnittkrümmung

Eine der wichtigsten Krümmungsgrößen in der riemannschen Geometrie ist die Schnittkrümmung. Sie verallgemeinert die Gaußsche Krümmung von regulären Flächen. Dabei wird jeder Ebene 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 \sigma} im Tangentialraum an einem Punkt einer riemannschen 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} eine Krümmung zugeordnet. Diese ist die Gaußkrümmung einer Fläche in 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} , 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 \sigma} als Tangentialebene hat und innerhalb der Mannigfaltigkeit nicht gekrümmt ist, sozusagen ein „Schnitt“ durch die Mannigfaltigkeit in Richtung der Ebene 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 \sigma} . Die Definition erfolgt allerdings nicht mit Hilfe dieser Fläche, sondern mit Hilfe des riemannschen Krümmungstensors und von zwei Vektoren, die die Ebene 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 \sigma} aufspannen.

Gegeben seien eine riemannsche 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 riemannscher 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 g} , ein 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 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} und ein zweidimensionaler Unterraum (Ebene) 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 \sigma \subset T_p M} des Tangentialraums 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_p M} 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} im 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} . Seien 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 v} 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 w} zwei Tangentialvektoren, die diese Ebene aufspannen. Mit

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 |v \wedge w| = \sqrt{g(v,v)g(w,w)-g(v,w)^2}}

wird der Flächeninhalt des 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 v} 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 w} aufgespannten Parallelogramms bezeichnet. Dann hängt die Größe

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 K(v,w) = \frac{g(R(v,w)w,v)}{|v \wedge w|^2} = \frac{g(R(v,w)w,v)}{g(v,v)g(w,w)-g(v,w)^2}}

nur von der Ebene 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 \sigma} ab, aber nicht von der Wahl der sie aufspannenden Vektoren 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 v} 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 w} . Man schreibt deshalb für 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 K(v,w)} auch 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 K(\sigma)} und nennt dies die Schnittkrümmung 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 \sigma} .

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 M} zweidimensional, dann gibt es in 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} 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} nur einen solchen zweidimensionalen Unterraum des Tangentialraums, nämlich den Tangentialraum selbst, 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 K(\sigma)} ist dann gerade die Gaußkrümmung 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} im 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}

Ricci-Tensor

In den Einsteinschen Feldgleichungen wird der Ricci-Tensor 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_{\mu \nu}} (nach Gregorio Ricci-Curbastro) verwendet. Er ergibt sich aus dem Krümmungstensor durch Tensorverjüngung:

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_{\mu \nu} = \pm R^{\lambda}_{\mu \lambda \nu}}

Gemäß der einsteinschen Summenkonvention wird über gleich vorkommende Indizes summiert, von denen der eine oben und der andere unten steht. Zur Bildung des Ricci-Tensors wird also über den Index 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 \lambda} summiert. Das Vorzeichen wird dabei per Konvention festgelegt und ist prinzipiell frei wählbar.

Skalarkrümmung

Die Tensorverjüngung beziehungsweise Kontraktion des Ricci-Tensors bezeichnet man als den Krümmungsskalar (auch Ricci-Skalar oder Skalarkrümmung). Um seine Form zu beschreiben, wird hier zunächst der Ausdruck 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^\lambda_\kappa} aus dem Ricci-Tensor abgeleitet:

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^\lambda_\kappa=g^{\mu \lambda}R_{\mu \kappa}.}

Dabei 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 g^{\mu \lambda}} der kontravariante metrische Tensor. Der Krümmungsskalar ergibt sich durch Kontraktion, dabei wird über den Index 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 \lambda} summiert.

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 = R^\lambda_\lambda }

Der Krümmungsskalar kann auch direkt aus dem Ricci-Tensor 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_{\mu \rho}} gewonnen werden:

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 = g^{\mu \rho} R_{\mu \rho}}

Dabei wird über die Indizes 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 \mu} 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 \rho} summiert.

In der Allgemeinen Relativitätstheorie hängt der Krümmungsskalar über den Einsteinfaktor 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 \kappa} mit dem Laue-Skalar 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} zusammen, der durch Kontraktion aus dem Energie-Impuls-Tensor 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^\mu_\nu} gebildet wird:

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 = T^\lambda_\lambda = R/\kappa}

Literatur

• Manfredo Perdigão do Carmo: Riemannian Geometry, Birkhäuser, Boston 1992, ISBN 0-8176-3490-8
• Sylvestre Gallot, Dominique Hulin, Jacques Lafontaine: Riemannian Geometry. 2. Auflage. Springer-Verlag, Berlin/Heidelberg 1990, ISBN 3-540-52401-0
• John M. Lee: Riemannian Manifolds. An Introduction to Curvature. Springer, New York 1997, ISBN 0387983228.
• Peter W. Michor: Topics in Differential Geometry. AMS, Providence, RI, 2008, ISBN 978-0-8218-2003-2

Weblinks

• Riemannscher Krümmungstensor auf MathWorld
• Video: Riemannscher Krümmungstensor. Jörn Loviscach 2014, zur Verfügung gestellt von der Technischen Informationsbibliothek (TIB), doi:10.5446/19927.