Relativitätstheorie - Fakultät für Physik und Astronomie - Universität ...
Relativitätstheorie - Fakultät für Physik und Astronomie - Universität ... Relativitätstheorie - Fakultät für Physik und Astronomie - Universität ...
96 Differentialgeometrie Transformation benachbarte Tangentialräume miteinander ‘verklebt’ sind, wie also die Raumpunkte zusammenhängen. Wie wir später sehen werden, kann man sich intrinsische Krümmung vorstellen als eine Art Verdrehung in dieser Verklebung. Zusammenhänge können auf unterschiedliche Weise eingeführt und darstellt werden. Wir beginnen hier mit einer darstellungsfreien Formulierung, die von Koszul 1950 eingeführt wurde. Demnach ist ein Zusammenhang definiert als Abbildung ∇, die auf zwei stetig differenzierbare Vektorfelder X und Y wirkt. Die Wirkungsweise lässt sich anschaulich so beschreiben: ∇XY ist die Änderungsrate des VektorfeldesY bezüglich eines parallel mitgeführten Vektors, wenn man sich in Richtung X bewegt. Der Zusammenhang ∇ erfüllt folgende Axiome: (1) ∇X1+X2Y = ∇X1Y + ∇X1Y (2) ∇X(Y1 + Y2) = ∇XY1 + ∇XY2 (3) ∇ f XY = f ∇XY (4) ∇X(gY) = g∇XY + X(g)Y, wobei f ,g stetig differenzierbare Funktionen auf der Mannigfaltigkeit sind. Die ersten drei Axiome besagen, dass ∇ ein bilinearer Operator ist. Auch (4) ist eine Art Linearitätsgesetz, wobei es aber wegen der möglichen Ortsabhängigkeit von g zu einer Art Produktregel kommt. Stellt man sich das Vektorfeld X als Führungsfeld für Bahnen vieler Schiffe vor, die jeweils einen Tangentialvektor Y richtungserhaltend mit sich führen, dann würde der im vorherigen Abschnitt beschriebene Paralleltransport zu einem Vektorfeld Y führen, dessen Zusammenhang gleich Null ist: ∇XY = 0. (4.13) Das Vektorfeld X beschreibt geodätische Linien, wenn sich seine eigene Richtung bei Bewegung entlang dieser Linien nicht ändert, wenn also gilt: 4.2.5 Darstellung des Zusammenhangs ∇XX = 0 (4.14) Sei {ei} ein beliebiges Basisvektorfeld auf T M . Da die Abbildung ∇ bilinear ist, kann man sie vollständig durch ihre Wirkungsweise auf die Basisvektoren charakterisieren, d.h. die Tangentialvektoren ∇ei e j =: ∇ie j legen den Zusammenhang ∇ vollständig fest. Diese durch i, j indizierten Ergebnisvektoren kann man wiederum als Linearkombination über den Basisvektoren darstellen, d.h. ∇ jei = Γ k i jek . (4.15) Die Linearfaktoren Γk i j bezeichnet man als Zusammenhangskoeffizienten. Sie beschreiben, mit welcher Rate sich die k-te Komponente des Basisvektorfeldes ei ändert, wenn man sich in Richtung e j bewegt. Stellt man die im letzten Abschnitt verwendeten Vektorfelder in dieser Basis durch X = X j e j , Y = Y i ei , ∇XY = [∇XY] k ek (4.16) Haye Hinrichsen — Allgemeine Relativitätstheorie
4.2 Paralleltransport 97 dar, so ergibt sich mit den Axiomen (3) und (4) die Darstellung [∇XY] k = � ∇ (X j e j)(Y i ei) � k = X j � ∇ j(Y i ei) � k � k = X j� Y i ∇ jei + e j(Y i )ei = X j Y i Γ k i j + X j e j(Y i ) [ei] k ���� =δ k i = X j e j(Y k ) + Y i Γ k i jX j (4.17) Der erste Term in der letzten Zeile enthält den Basisvektor ei, der als Richtungsableitung interpretiert werden kann, – dieser Term beschreibt also die Richtungsableitung der Vektorkomponente Y k in der gegebenen Darstellung. Da man Ableitungen als Generatoren von Translationen auffassen kann, beschreibt der erste Term eine Verschiebung des Vektors Y derart, dass er seine Richtung in der gewählten Darstellung nicht ändert. Im zweiten Term können die Zusammenhangskoeffizienten als eine von der Verschiebungsrichtung abhängige lineare Abbildung interpretiert werden, welche den verschobenen Vektor der gewählten Darstellung gerade so korrigiert, dass ‘in Wirklichkeit’ eine Parallelverschiebung stattfindet. Den gesamten Ausdruck bezeichnet man, wie bereits erwähnt, als kovariante Ableitung des Vektorfeldes. 4.2.6 Darstellung des Zusammenhangs in der Koordinatenbasis Die Resultate des letzten Abschnitts gelten für jede Basis. Wir betrachten jetzt den Spezialfall einer Darstellung in der Koordinatenbasis {∂µ} eines gegebenen Koordinatensystems. Wie bereits zuvor erwähnt, sind solche Basen dadurch ausgezeichnet, dass die Lie-Klammer der Richtungsableitungen verschwindet. Um hervorzuheben, dass es sich um eine Koordinatendarstellung handelt, benutzen wir griechische Indices. In einer Koordinatenbasis ist eµ = ∂µ, so dass die Gl. (4.17) die Form [∇XY] α = X ν ∂νY α +Y µ Γ α µνX ν (4.18) annimmt. Die Koeffizienten Γ α µν werden in der Koordinatendarstellung als Christoffelsymbole bezeichnet. Man kann durch eine Auswertung der Lie-Klammer zeigen, dass die Christoffelsymbole im Gegensatz zu Zusammenhangskoeffizienten in allgemeinen Basen symmetrisch in den beiden unteren Indices sind: Γ α µν = Γ α νµ . (4.19) Man spricht hier auch von einem Levi-Civitá-Zusammenhang. Genauer: Ein Levi-Civitá-Zusammenhang ist (a) winkeltreu, d.h. der relative Winkel zwischen zwei Vektoren bezüglich der Metrik ändert sich unter Parallelverschiebung nicht, und (b) torsionsfrei, d.h. die transportierten Vektoren rotieren nicht schraubenartig um die Transportrichtung. Die Raumzeit der allgemeinen Relativitätstheorie erfüllt diese Eigenschaft, was sich in einer Koordinatendarstellung in einer Symmetrie der beiden unteren Indices äußert. In der Differentialgeometrie haben sich in der koordinatenbasierten Indexnotation folgende Schreibweisen durchgesetzt: Y α ,ν Komma: Richtungsableitung Y α ,ν = ∂ν(Y α ) Y α ;ν Semikolon: kovariante Ableitung Y α ;ν = [∇eν Y]α = ∂ν(Y α ) +Y µ Γ α µν Mit diesen Abkürzungen kann Gl. (4.17) kurz geschrieben werden als Y α ;ν = Y α ,ν +Y µ Γ α µν (4.20) Haye Hinrichsen — Allgemeine Relativitätstheorie
- Seite 54 und 55: 46 Differentialformen symmetrischen
- Seite 56 und 57: 48 Differentialformen Tangentialrau
- Seite 58 und 59: 50 Differentialformen Abbildung 2.3
- Seite 60 und 61: 52 Differentialformen Abbildung 2.4
- Seite 62 und 63: 54 Differentialformen TpU T ∗ p U
- Seite 64 und 65: 56 Differentialformen 2.4.1 Verallg
- Seite 66 und 67: 58 Differentialformen lässt sich a
- Seite 68 und 69: 60 Differentialformen Die nebensteh
- Seite 70 und 71: 62 Differentialformen von p Variabl
- Seite 73 und 74: 3 Spezielle Relativitätstheorie Di
- Seite 75 und 76: 3.1 Nichtrelativistische Mechanik 6
- Seite 77 und 78: 3.1 Nichtrelativistische Mechanik 6
- Seite 79 und 80: 3.1 Nichtrelativistische Mechanik 7
- Seite 81 und 82: 3.2 Spezielle Relativitätstheorie
- Seite 83 und 84: 3.2 Spezielle Relativitätstheorie
- Seite 85 und 86: 3.2 Spezielle Relativitätstheorie
- Seite 87 und 88: 3.2 Spezielle Relativitätstheorie
- Seite 89 und 90: 3.3 Relativistische Mechanik 81 gle
- Seite 91: 3.3 Relativistische Mechanik 83 Die
- Seite 94 und 95: 86 Differentialgeometrie 4.1.2 Kart
- Seite 96 und 97: 88 Differentialgeometrie Abbildung
- Seite 98 und 99: 90 Differentialgeometrie Bemerkung:
- Seite 100 und 101: 92 Differentialgeometrie Die Lie-Kl
- Seite 102 und 103: 94 Differentialgeometrie Abbildung
- Seite 106 und 107: 98 Differentialgeometrie 4.2.7 Kova
- Seite 108 und 109: 100 Differentialgeometrie Beweis: W
- Seite 110 und 111: 102 Differentialgeometrie Diese Än
- Seite 112 und 113: 104 Differentialgeometrie Abbildung
- Seite 114 und 115: 106 Differentialgeometrie • Antis
- Seite 117 und 118: 5 Elektrodynamik als Eichtheorie Di
- Seite 119 und 120: 5.1 U(1)-Eichtheorie 111 3. Bei Com
- Seite 121 und 122: 5.1 U(1)-Eichtheorie 113 Dabei ist
- Seite 123 und 124: 5.1 U(1)-Eichtheorie 115 Rate der V
- Seite 125 und 126: 5.2 Elektrodynamik im Vakuum 117 Ve
- Seite 127 und 128: 5.3 Elektrodynamik in Differentialf
- Seite 129 und 130: 6 Feldgleichen der Allgemeinen Rela
- Seite 131 und 132: 6.1 Konzept der Allgemeinen Relativ
- Seite 133 und 134: 6.1 Konzept der Allgemeinen Relativ
- Seite 135 und 136: 6.1 Konzept der Allgemeinen Relativ
- Seite 137 und 138: 6.1 Konzept der Allgemeinen Relativ
- Seite 139 und 140: 6.2 Feldgleichungen 131 diese Denkw
- Seite 141 und 142: 6.2 Feldgleichungen 133 Damit laute
- Seite 143 und 144: 6.2 Feldgleichungen 135 Warum benö
- Seite 145 und 146: 6.2 Feldgleichungen 137 wobei Du ei
- Seite 147 und 148: 6.2 Feldgleichungen 139 also wobei
- Seite 149: 6.2 Feldgleichungen 141 Setzt man G
- Seite 152 und 153: 144 Sternmodelle Lösung der Feldgl
4.2 Paralleltransport 97<br />
dar, so ergibt sich mit den Axiomen (3) <strong>und</strong> (4) die Darstellung<br />
[∇XY] k = � ∇ (X j e j)(Y i ei) � k = X j � ∇ j(Y i ei) � k<br />
� k<br />
= X j� Y i ∇ jei + e j(Y i )ei<br />
= X j Y i Γ k i j + X j e j(Y i ) [ei] k<br />
����<br />
=δ k<br />
i<br />
= X j e j(Y k ) + Y i Γ k i jX j<br />
(4.17)<br />
Der erste Term in der letzten Zeile enthält den Basisvektor ei, der als Richtungsableitung interpretiert<br />
werden kann, – dieser Term beschreibt also die Richtungsableitung der Vektorkomponente<br />
Y k in der gegebenen Darstellung. Da man Ableitungen als Generatoren von Translationen<br />
auffassen kann, beschreibt der erste Term eine Verschiebung des Vektors Y derart, dass er seine<br />
Richtung in der gewählten Darstellung nicht ändert. Im zweiten Term können die Zusammenhangskoeffizienten<br />
als eine von der Verschiebungsrichtung abhängige lineare Abbildung interpretiert<br />
werden, welche den verschobenen Vektor der gewählten Darstellung gerade so korrigiert,<br />
dass ‘in Wirklichkeit’ eine Parallelverschiebung stattfindet. Den gesamten Ausdruck bezeichnet<br />
man, wie bereits erwähnt, als kovariante Ableitung des Vektorfeldes.<br />
4.2.6 Darstellung des Zusammenhangs in der Koordinatenbasis<br />
Die Resultate des letzten Abschnitts gelten <strong>für</strong> jede Basis. Wir betrachten jetzt den Spezialfall<br />
einer Darstellung in der Koordinatenbasis {∂µ} eines gegebenen Koordinatensystems. Wie<br />
bereits zuvor erwähnt, sind solche Basen dadurch ausgezeichnet, dass die Lie-Klammer der<br />
Richtungsableitungen verschwindet. Um hervorzuheben, dass es sich um eine Koordinatendarstellung<br />
handelt, benutzen wir griechische Indices.<br />
In einer Koordinatenbasis ist eµ = ∂µ, so dass die Gl. (4.17) die Form<br />
[∇XY] α = X ν ∂νY α +Y µ Γ α µνX ν<br />
(4.18)<br />
annimmt. Die Koeffizienten Γ α µν werden in der Koordinatendarstellung als Christoffelsymbole<br />
bezeichnet. Man kann durch eine Auswertung der Lie-Klammer zeigen, dass die Christoffelsymbole<br />
im Gegensatz zu Zusammenhangskoeffizienten in allgemeinen Basen symmetrisch in<br />
den beiden unteren Indices sind:<br />
Γ α µν = Γ α νµ . (4.19)<br />
Man spricht hier auch von einem Levi-Civitá-Zusammenhang.<br />
Genauer: Ein Levi-Civitá-Zusammenhang ist (a) winkeltreu, d.h. der relative Winkel zwischen zwei<br />
Vektoren bezüglich der Metrik ändert sich unter Parallelverschiebung nicht, <strong>und</strong> (b) torsionsfrei, d.h.<br />
die transportierten Vektoren rotieren nicht schraubenartig um die Transportrichtung. Die Raumzeit der<br />
allgemeinen <strong>Relativitätstheorie</strong> erfüllt diese Eigenschaft, was sich in einer Koordinatendarstellung in<br />
einer Symmetrie der beiden unteren Indices äußert.<br />
In der Differentialgeometrie haben sich in der koordinatenbasierten Indexnotation folgende Schreibweisen<br />
durchgesetzt:<br />
Y α ,ν Komma: Richtungsableitung Y α ,ν = ∂ν(Y α )<br />
Y α ;ν<br />
Semikolon: kovariante Ableitung Y α ;ν = [∇eν Y]α = ∂ν(Y α ) +Y µ Γ α µν<br />
Mit diesen Abkürzungen kann Gl. (4.17) kurz geschrieben werden als<br />
Y α ;ν = Y α ,ν +Y µ Γ α µν (4.20)<br />
Haye Hinrichsen — Allgemeine <strong>Relativitätstheorie</strong>