Pseudo-riemannsche Mannigfaltigkeit

Eine pseudo-riemannsche Mannigfaltigkeit oder semi-riemannsche Mannigfaltigkeit ist ein mathematisches Objekt aus der (pseudo-)riemannschen Geometrie. Sie ist eine Verallgemeinerung der schon früher definierten riemannschen Mannigfaltigkeit und wurde von Albert Einstein für seine allgemeine Relativitätstheorie eingeführt. Benannt ist sie nach Bernhard Riemann, dem Begründer der riemannschen Geometrie. Ein Spezialfall der pseudo-riemannschen sind einsteinsche Mannigfaltigkeiten.

Definition Bearbeiten

Mit $T_{p}M$ wird im Folgenden der Tangentialraum an einem Punkt $p$ einer differenzierbaren Mannigfaltigkeit $M$ bezeichnet. Eine pseudo-riemannsche Mannigfaltigkeit $(M,g)$ ist eine differenzierbare Mannigfaltigkeit $M$ zusammen mit einer für jeden Punkt $p\in M$ definierten Funktion $g_{p}\colon T_{p}M\times T_{p}M\to \mathbb {R}$ .^{[A 1]} Diese Funktion ist tensoriell, symmetrisch und nicht ausgeartet, das heißt für alle Tangentialvektoren $u,\ v,\ w\in T_{p}M$ und Funktionen $a,\ b\in C^{\infty }(M)$ gilt

$g_{p}(a_{p}{u}+b_{p}{v},w)=a_{p}\,g_{p}(u,w)+b_{p}\,g_{p}(v,w)$ (tensoriell d. h. bilinear),
$g_{p}(u,v)=g_{p}(v,u)$ (symmetrisch),
falls für $u\in T_{p}M$ gilt, dass $g_{p}(u,v)=0$ für alle $v\in T_{p}M$ , so folgt $u=\mathbf {0}$ .

Außerdem ist $g_{p}$ differenzierbar abhängig von $p$ . Die Funktion $g$ ist also ein differenzierbares Tensorfeld und heißt pseudo-riemannsche Metrik oder metrischer Tensor.

Signatur Bearbeiten

Wie jeder gewöhnlichen Bilinearform kann man auch der pseudo-riemannschen Metrik eine Signatur zuordnen. Diese ist aufgrund des Trägheitssatzes von Sylvester unabhängig von der Wahl des Koordinatensystems auf der Mannigfaltigkeit und damit auch unabhängig von der Wahl des Punktes $p\in M$ . Wie bei der Determinante gibt es zu gegebener „Physik“ zahlreiche äquivalente Ausdrücke. Aber da $g$ nicht ausgeartet ist, ist der dritte Eintrag in der Signatur immer null und die Determinante von $g$ ist immer ungleich null. Vierdimensionale pseudo-riemannsche Mannigfaltigkeiten mit der Signatur (3,1,0) (beziehungsweise meist (1,3,0)) heißen Lorentz-Mannigfaltigkeiten. Diese spielen eine wichtige Rolle in der allgemeinen Relativitätstheorie.

Pseudo-riemannsche Geometrie Bearbeiten

Im Unterschied zu pseudo-riemannschen Metriken sind die riemannschen Metriken positiv definit, was eine stärkere Forderung als „nicht ausgeartet“ ist. Einige Resultate aus der riemannschen Geometrie lassen sich auch auf pseudo-riemannsche Mannigfaltigkeiten übertragen. So gilt zum Beispiel der Hauptsatz der riemannschen Geometrie auch für pseudo-riemannsche Mannigfaltigkeiten. Es existiert also für jede pseudo-riemannsche Mannigfaltigkeit ein eindeutiger Levi-Civita-Zusammenhang. Jedoch im Gegensatz zur riemannschen Geometrie kann man nicht zu jeder differenzierbaren Mannigfaltigkeit eine Metrik mit vorgegebener Signatur finden. Ein weiterer wichtiger Unterschied zwischen riemannscher und pseudo-riemannscher Geometrie ist das Fehlen eines Äquivalents für den Satz von Hopf-Rinow in der pseudo-riemannschen Geometrie. Im Allgemeinen sind hier metrische Vollständigkeit und geodätische Vollständigkeit nicht miteinander verknüpft. Durch die Signatur der Metrik ergeben sich außerdem Probleme für die Stetigkeit der Abstandsfunktion. So kann die Abstandsfunktion für Lorentzmannigfaltigkeiten die Eigenschaft aufweisen, nicht oberhalbstetig zu sein.

Definitionsvariante Bearbeiten

Abweichend von der obigen Definition unterscheidet Serge Lang semi-riemannsche von pseudo-riemannschen Mannigfaltigkeiten und verlangt für erstere zusätzlich, dass $g_{p}$ positiv semidefinit sei, das heißt $g_{p}(X,X)\geq 0$ für alle $X\in T_{p}M$ .^[1]

Lorentzsche Mannigfaltigkeit Bearbeiten

Eine lorentzsche Mannigfaltigkeit ist ein wichtiger Spezialfall einer pseudo-riemannschen Mannigfaltigkeit, bei der die Signatur der Metrik (+1, (-1)(n-1 mal)) oder (äquivalent, (-1 +1(n-1 mal)) ist (siehe Vorzeichenkonvention). Solche Metriken werden lorentzsche Metriken genannt. Sie sind nach dem niederländischen Physiker Hendrik Lorentz benannt.

Anmerkungen Bearbeiten

↑ Erklärung zu den Notationen $g_{p}$ und $g_{p}(u,v)$ versus $g|_{p}$ und $g(u,v)$ :

Wenn die Tangentialräume $T_{p}M$ als für alle $p\in M$ disjunkt verstanden werden, dann kann man eine alternative Notation ${\mathsf {g}}$ anstelle von $g$ wie folgt einführen:

$TM:=\bigcup \{T_{p}M|p\in M\}\equiv \bigcup _{p\in M}T_{p}M$

$T^{2}M:=\{(u,v)|\exists p\in M\colon u,v\in T_{p}M\}\equiv \bigcup _{p\in M}(T_{p}M\times T_{p}M)$ (ad hoc Abkürzung für die Menge aller Paare von Tangentialvektoren aus jeweils demselben Tangentialraum)

${\mathsf {g}}\colon T^{2}M\to \mathbb {R} ;(u,v)\mapsto g_{p}(u,v)$ , wenn $p$ der (wegen vorausgesetzter Disjunktheit) eindeutig bestimmte Punkt $p\in M$ ist mit $u,v\in T_{p}M$

Für alle $p\in M,u,v\in T_{p}M$ ist dann ${\mathsf {g}}(u,v)=g_{p}(u,v)$ und damit für jeden Punkt $p\in M$ die Einschränkung ${\mathsf {g}}|_{T_{p}M\times T_{p}M}$ , abgekürzt ${\mathsf {g}}|_{p}\colon T_{p}M\times T_{p}M\rightarrow \mathbb {R}$ identisch mit $g_{p}\colon T_{p}M\times T_{p}M\rightarrow \mathbb {R}$ , d. h ${\mathsf {g}}|_{p}=g_{p}$ . Auf diese Weise kann man das ursprüngliche $g$ aus dem alternativen ${\mathsf {g}}$ zurückgewinnen.
Man kann nun die Mannigfaltigkeit $(M,g)$ alternativ durch $(M,{\mathsf {g}})$ kennzeichnen und (etwas ungenau) ${\mathsf {g}}$ statt $g$ als Metrik bezeichnen. Da man im normalen Gebrauch nicht beide Bezeichnungen gleichzeitig benötigt, schreibt man $g$ , wenn eigentlich ${\mathsf {g}}$ (in der hier benutzten ad hoc Notation) gemeint ist, und entsprechend $g|_{p}$ statt $g_{p}$ , sowie für $u,v\in M$ kurz $g(u,v)$ statt $g_{p}(u,v)$ . Der Vorteil ist, dass man bei vorausgesetzter Disjunktheit der Tangentialräume bei der Metrik den Punkt $p$ ohne Verlust der Eindeutigkeit weglassen kann.

Einzelnachweise Bearbeiten

↑ Serge Lang: Differential and Riemannian manifolds. 3. Auflage. Springer Science+Business Media, New York 1995, ISBN 0-387-94338-2, S. 30 (Graduate Texts in Mathematics. Band 160, eingeschränkte Vorschau in der Google-Buchsuche)

Literatur Bearbeiten

Manfredo Perdigão do Carmo: Riemannian Geometry („Geometria Riemannia“). 2. Aufl. Birkhäuser, Boston 1993, ISBN 0-8176-3490-8.
Peter Petersen: Riemannian geometry (Graduate Texts in Mathematics; Bd. 171). 2. Aufl. Springer-Verlag, New York 2006, ISBN 0-387-29403-1.
John K. Beem, Paul E. Ehrlich, Kevin L. Easley: Global Lorentzian Geometry (Pure and Applied Mathematics; Bd. 202). 2. Aufl. Marcel Dekker Books, New York 1996, ISBN 0-8247-9324-2.
Barrett O'Neill: Semi-Riemannian Geometry. Academic Press, New York 1983, ISBN 978-0-12-526740-3.

[Notation-1] Erklärung zu den Notationen $g_{p}$ und $g_{p}(u,v)$ versus $g|_{p}$ und $g(u,v)$ :

Wenn die Tangentialräume $T_{p}M$ als für alle $p\in M$ disjunkt verstanden werden, dann kann man eine alternative Notation ${\mathsf {g}}$ anstelle von $g$ wie folgt einführen:

$TM:=\bigcup \{T_{p}M|p\in M\}\equiv \bigcup _{p\in M}T_{p}M$

$T^{2}M:=\{(u,v)|\exists p\in M\colon u,v\in T_{p}M\}\equiv \bigcup _{p\in M}(T_{p}M\times T_{p}M)$ (ad hoc Abkürzung für die Menge aller Paare von Tangentialvektoren aus jeweils demselben Tangentialraum)

${\mathsf {g}}\colon T^{2}M\to \mathbb {R} ;(u,v)\mapsto g_{p}(u,v)$ , wenn $p$ der (wegen vorausgesetzter Disjunktheit) eindeutig bestimmte Punkt $p\in M$ ist mit $u,v\in T_{p}M$

Für alle $p\in M,u,v\in T_{p}M$ ist dann ${\mathsf {g}}(u,v)=g_{p}(u,v)$ und damit für jeden Punkt $p\in M$ die Einschränkung ${\mathsf {g}}|_{T_{p}M\times T_{p}M}$ , abgekürzt ${\mathsf {g}}|_{p}\colon T_{p}M\times T_{p}M\rightarrow \mathbb {R}$ identisch mit $g_{p}\colon T_{p}M\times T_{p}M\rightarrow \mathbb {R}$ , d. h ${\mathsf {g}}|_{p}=g_{p}$ . Auf diese Weise kann man das ursprüngliche $g$ aus dem alternativen ${\mathsf {g}}$ zurückgewinnen.
Man kann nun die Mannigfaltigkeit $(M,g)$ alternativ durch $(M,{\mathsf {g}})$ kennzeichnen und (etwas ungenau) ${\mathsf {g}}$ statt $g$ als Metrik bezeichnen. Da man im normalen Gebrauch nicht beide Bezeichnungen gleichzeitig benötigt, schreibt man $g$ , wenn eigentlich ${\mathsf {g}}$ (in der hier benutzten ad hoc Notation) gemeint ist, und entsprechend $g|_{p}$ statt $g_{p}$ , sowie für $u,v\in M$ kurz $g(u,v)$ statt $g_{p}(u,v)$ . Der Vorteil ist, dass man bei vorausgesetzter Disjunktheit der Tangentialräume bei der Metrik den Punkt $p$ ohne Verlust der Eindeutigkeit weglassen kann.

[2] Serge Lang: Differential and Riemannian manifolds. 3. Auflage. Springer Science+Business Media, New York 1995, ISBN 0-387-94338-2, S. 30 (Graduate Texts in Mathematics. Band 160, eingeschränkte Vorschau in der Google-Buchsuche)

[A 1]

[1]