Kapitel 5
Die allgemeine Relativitätstheorie

2   Das Einsteinsche Äquivalenzprinzip

Nachdem wir in Kapitel 3 die spezielle Relativitätstheorie kennengelernt haben, sind wir nach unserer mathematischen Vorbereitung aus Kapitel 5.1 nun einigermaßen gerüstet, uns an die Allgemeine Relativitätstheorie heranzuwagen, die Albert Einstein in den Jahren von 1907 bis 1915 entwickelte (Anmerkung: in Das Unteilbare, Kapitel 4.2 Die spezielle Relativitätstheorie findet man eine nicht-mathematische Einführung in die Ideen der speziellen Relativitätstheorie).

Albert Einstein (1879 - 1955) in Wien im Jahr 1921,
Quelle: Wikimedia Commons, Urheber: Ferdinand Schmutzer (1870-1928), Copyright abgelaufen.

Dabei werde ich versuchen, die Ideen und Prinzipien möglichst klar und ausführlich darzustellen und die notwendigen Grundlagen aus der speziellen Relativitätstheorie und aus der Differentialgeometrie dort, wo sie benötigt werden, jeweils noch einmal kurz zu wiederholen, da man sonst sehr schnell den Anschluss verlieren kann. Die Allgemeine Relativitätstheorie ist nämlich mathematisch und auch begrifflich deutlich komplexer als die spezielle Relativitätstheorie, und auch Albert Einstein hatte damit so seine Mühe. So schrieb er am 29. Oktober 1912 in einem Brief an den Physiker Sommerfeld:

• Ich beschäftige mich jetzt ausschließlich mit dem Gravitationsproblem und glaube nun, mit Hilfe eines hiesigen befreundeten Mathematikers aller Schwierigkeiten Herr zu werden. Aber das eine ist sicher, daß ich mich im Leben noch nicht annäherend so geplagt habe und daß ich große Hochachtung für die Mathematik eingeflößt bekommen habe, die ich bis jetzt in ihren subtileren Teilen in meiner Einfalt für puren Luxus ansah! Gegen dies Problem ist die ursprüngliche Relativitätstheorie eine Kinderei.

Der befreundete Mathematiker war übrigens Einsteins Studienfreund Marcel Grossmann.

Worum geht es in der allgemeinen Relativitätstheorie?

Ziel ist es, eine Theorie der Gravitation (Schwerkraft) zu formulieren, die mit den Ideen der speziellen Relativitätstheorie verträglich ist. Newtons Gravitationstheorie (siehe Das Unteilbare, Kapitel 2.4 Kräfte und Wechselwirkungen ) ist nämlich nicht mit der speziellen Relativitätstheorie verträglich, da bei Newton sich die Gravitationskraft ohne jede Verzögerung durch den Raum ausbreitet. Es ist jedoch eine der Grundannahmen in der speziellen Relativitätstheorie, dass sich jede physikalische Wirkung (also auch die Gravitation) maximal mit Lichtgeschwindigkeit durch den Raum auswirkt. Da sich diese Grundannahme experimentell immer wieder bestätigt, ist es sehr wahrscheinlich, dass sie auch auf die Gravitation zutrifft. Im Endergebnis wird sich herausstellen, dass die Synthese von Relativitätstheorie und Gravitation in der Allgemeinen Relativitätstheorie einen begrifflichen Rahmen schafft, der weit über die Beschreibung der Gravitation hinaus von großer Bedeutung ist: Man ist gezwungen, Naturgesetze in vollkommen Koordinaten-unabhängiger Form (man sagt auch: in tensorieller Form) zu formulieren, so dass sie sich dann in beliebigen (auch krummlinigen) Koordinaten ausschreiben lassen. So etwas wird man auch von jeder modernen Theorie verlangen, die über die Allgemeine Relativitätstheorie hinausgeht und die neben der Gravitation auch die anderen Wechselwirkungen umfasst. Ein Beispiel dafür ist die Stringtheorie.

Die große Aussagekraft und innere Eleganz der Allgemeinen Relativitätstheorie liegt darin begründet, dass sie auf einem neuen Prinzip beruht. So ist es bei allen großen physikalischen Theorien: Sie enthalten eine neue fundamentale Einsicht in die Gesetze der Natur!
Um die Quantentheorie formulieren zu können, muss man erkennen, dass der Ausgang von Beobachtungen im Allgemeinen prinzipiell nicht feststeht, so dass man die Natur mit Hilfe von Wahrscheinlichkeiten beschreiben muss (siehe Kapitel 4). Weiter muss man erkennen, dass man diese Wahrscheinlichkeiten durch das Betragsquadrat komplexer Zahlen ausdrücken muss, die man als Wahrscheinlichkeitsamplituden bezeichnet. Bei ununterscheidbaren Möglichkeiten muss man diese Amplituden zunächst addieren -- man sagt, sie interferieren miteinander.
In der speziellen Relativitätstheorie besteht die neue Einsicht darin, dass man erkennt, dass alle gleichförmig bewegten (unbeschleunigten) Bezugssysteme (Inertialsysteme) zueinander gleichwertig sind, und dass es eine maximale Ausbreitungsgeschwindigkeit für physikalische Wirkungen gibt.

Und wie sieht es bei der Allgemeinen Relativitätstheorie aus? Sie soll ja spezielle Relativitätstheorie und Gravitation geeignet umfassen. Daher werden wir auf jeden Fall fordern, dass bei verschwindender Gravitation sich die spezielle Relativitätstheorie als Grenzfall ergibt. Und weiter erwarten wir, dass sich im Grenzfall kleiner Geschwindigkeiten und kleiner Gravitationskräfte das Newtonsche Gravitationsgesetz ergibt. Aber wo ist die neue zündende Idee, die eine solche Theorie zu begründen vermag?

Nachdem Einstein einige Zeit verschiedene Ansätze für eine relativistische Gravitationstheorie ausprobiert hatte und damit nicht zufrieden war, stieß er irgendwann im November 1907 auf diese entscheidende Idee:

• Dann stieß ich auf den glücklichsten Gedanken meines Lebens, und zwar in der folgenden Form: Wie das elektrische Feld, das von der magnetoelektrischen Induktion hervorgerufen wird, besitzt auch das Gravitationsfeld nur eine relative Existenz. Für einen Beobachter, der sich im freien Fall vom Dach eines Hauses befindet, existiert - zumindest in seiner unmittelbaren Umgebung - kein Gravitationsfeld. Wenn nämlich der fallende Beobachter einige andere Körper fallen läßt, dann befinden sie sich im Bezug auf ihn im Zustand der Ruhe oder gleichförmigen Bewegung ... .
  Durch diese Betrachtungsweise erhält das eigentümliche experimentelle Gesetz, dass in einem Gravitationsfeld alle Körper mit der gleichen Beschleunigung fallen, mit einem Schlag eine tiefe physikalische Bedeutung. Und es folgt die Konsequenz: So ist die experimentell nachgewiesene Unabhängigkeit der Fallbeschleunigung ein starkes Argument für die Tatsache, daß das Relativitätspostulat auch auf Koordinatensysteme ausgedehnt werden muß, die sich zueinander in nicht gleichförmiger Bewegung befinden.

In seiner Kyoto-Vorlesung führt er im Dezember 1922 weiter aus:

• Ich saß auf meinem Sessel im Berner Patentamt, als mir plötzlich folgender Gedanke kam: Wenn sich eine Person im freien Fall befindet, dann spürt sie ihr eigenes Gewicht nicht. Ich war verblüfft. Dieser einfache Gedanke machte auf mich einen tiefen Eindruck. Er trieb mich in Richtung einer Theorie der Gravitation. ...
  Als ich im Jahr 1907 an einem Überblicksartikel über die Konsequenzen der speziellen Relativitätstheorie schrieb, mußte ich erkennen, daß alle natürlichen Phänomene mit Ausnahme des Gravitationsgesetzes in den Begriffen der speziellen Relativitätstheorie dargestellt werden konnten. Ich verspürte eine tiefe Sehnsucht den Grund dafür zu erkennen. ...
  Es war für mich außerordentlich unbefriedigend, daß im Rahmen der speziellen Relativitätstheorie die Beziehung zwischen Trägheit und Energie so schön hergeleitet werden kann, während es doch keine Relation zwischen Trägheit und Gewicht gibt. Ich vermutete, dass eine solche Beziehung im Rahmen der speziellen Relativitätstheorie nicht erklärt werden könne.

Schon Galilei hatte erkannt, dass alle Körper gleich schnell fallen. Moderne Experimente zeigen mit hoher Genauigkeit, dass träge und schwere Masse exakt gleich sind (wenn man die Maßeinheiten passend wählt). Das ist nicht selbstverständlich! So sind elektrische Ladung und träge Masse bei verschiedenen Objekten keineswegs gleich oder proportional zueinander. Die schwere Masse, also gleichsam die Ladung der Gravitation, ist dagegen gleich der trägen Masse. Das meint Einstein mit der Relation zwischen Trägheit und Gewicht.

Einstein hatte nun den inneren Grund für diese Gleichheit erkannt: Die Gravitation ist genau wie die Scheinkraft in einem beschleunigten Bezugssystem, also z.B. wie die Kraft, die einen in einer beschleunigenden Rakete im Weltraum in die Sitze drückt. Befindet man sich im freien Fall, so spürt man (zumindest lokal) die Gravitation nicht. Bei einer solchen Kraft, die das Resultat einer Beschleunigung ist, ergibt sich die Gleichheit von träger und schwerer Masse automatisch!

In Das Unteilbare, Kapitel 8.1 Einsteins Gravitationstheorie habe ich die Grundidee Einsteins bereits ausführlich dargestellt. Ich will daher hier nicht zu genau darauf eingehen. Der entscheidende Punkt ist:

Das Einsteinsche Äquivalenzprinzip: Im Inneren eines fensterlosen relativ kleinen Raumschiffs kann man prinzipiell nicht unterscheiden, ob das Raumschiff im leeren Weltraum gleichmäßig beschleunigt oder ob es noch auf der Startrampe im Gravitationsfeld der Erde steht. Ein Gravitationsfeld ist also lokal äquivalent zu einem gleichförmig beschleunigten Bezugssystem. Der Ausdruck lokal weist darauf hin, dass der betrachtete Raumbereich so klein sein soll, dass Inhomogenitäten des Gravitationsfeldes keine Rolle spielen.

Diese Einsicht gilt für alle denkbaren physikalischen Messungen und geht insofern über die reine Punktmechanik im Gravitationsfeld hinaus.

Man könnte den obigen Punkt auch etwas anders formulieren, wenn man an den freien Fall denkt:

Die physikalischen Gesetze gelten in allen im freien Fall befindlichen Systemen, sofern diese hinreichend klein sind, in der gleichen Form. Wählt man lokal ein Raum-Zeit-Koordinatensystem, das einem im freien Fall befindlichen Raumschiff entspricht, so gelten darin lokal die Gesetze der speziellen Relativitätstheorie, d.h. im Raumschiff herrscht Schwerelosigkeit.

Wenn man also lokal ein passendes Koordinatensystem in Raum und Zeit wählt, so sollte die Raumzeit in diesen Koordinaten dort wie der Minkowskiraum aus der speziellen Relativitätstheorie aussehen. Wie sieht dann lokal ein Koordinatensystem aus, das nicht dem freien Fall entspricht und in dem ein darin ruhender Beobachter eine Beschleunigung bzw. eine Gravitationskraft spürt? Es sollte einem beschleunigten Bezugssystem der speziellen Relativitätstheorie entsprechen, denn Gravitation ist ja nichts anderes als die Scheinkraft in einem solchen Bezugssystem.

Wenn wir also wissen wollen, wie man die Gravitation in Sinne des Äquivalenzprinzips formulieren muss, so ist es sicher eine gute Idee, wenn wir uns zur Vorbereitung beschleunigte Bezugssysteme in der speziellen Relativitätstheorie ansehen. Im Inneren einer gleichförmig beschleunigten Rakete soll ja dieselbe Physik herrschen wir lokal in einem statischen Gravitationsfeld. Schauen wir uns also die gleichförmig beschleunigte relativistische Rakete genauer an:

Die relativistische Rakete (beschleunigte Bezugssysteme, Rindler-Koordinaten):

Stellen wir uns vor, wir befinden uns in einer Rakete weit draußen im leeren Weltraum. Alle Sterne und Planeten sollen so weit entfernt sein, dass wir ihre Gravitationsfelder vernachlässigen können. Die Rakete soll so beschleunigen, dass wir an einem festen Punkt in ihrem Inneren (nennen wir ihn den Ursprungspunkt der Rakete oder auch Ursprung des beschleunigten Bezugssystems) ständig eine konstante Beschleunigung in x³ -Richtung wahrnehmen. Warum die Einschränkung an einem festen Punkt in ihrem Inneren notwendig ist, und ob dieselbe konstante Beschleunigung auf die ganze Rakete übertragen werden kann, werden wir noch sehen. Man ahnt hier aber schon, wie sehr man aufpassen muss, wenn man versucht, anschauliche Vorstellungen in präzise Vorgaben umzusetzen. Es stellt sich nämlich schnell heraus, dass mehrere Forderungen, die aus derselben Anschauung stammen, einander widersprechen können. Eine der Ursachen dafür ist die Abhängigkeit des Begriffs Gleichzeitigkeit vom Bezugssystem. Ein anderer Aspekt ist der Effekt der Lorentz-Kontraktion, der bewirkt, dass bewegte Objekte in Bewegungsrichtung verkürzt sind, verglichen mit dem Ruhesystem des Objektes. Wir versuchen daher, so vorsichtig wie möglich vorzugehen.

Wenn die Beschleunigung im Ursprungspunkt der Rakete gerade etwa   10 m/s²   beträgt, so empfinden wir sie dort wie die Schwerkraft auf der Erdoberfläche. Nach dem Äquivalenzprinzip gibt es sogar zwischen der künstlichen Schwerkraft aufgrund der Beschleunigung der Rakete und der Schwerkraft auf der Erdoberfläche überhaupt keinen Unterschied, wenn man sich auf einen genügend kleinen Raumbereich beschränkt (da die Rakete sehr viel kleiner als die Erde ist, können wir diese Lokalitätsbedingung im Inneren der Rakete als erfüllt ansehen). In Anlehnung an die Erdbeschleunigung bezeichnen wir die konstante Beschleunigung der Rakete in x³ -Richtung im Ursprungspunkt mit   g  . Im Inneren der Rakete empfinden wir die Beschleunigungsrichtung dann als die Richtung nach oben.

Versuchen wir nun, im Inneren der Rakete ein sich mitbewegendes beschleunigtes Bezugssystem mit Koordinaten   ξ⁰, ξ¹, ξ², ξ³   zu definieren, das seinen räumlichen Nullpunkt im Ursprungspunkt der Rakete haben soll und das räumlich in einem gewissen Sinn starr sein soll.

Dazu definieren als Erstes die Zeitkoordinate, indem wir eine Uhr genau in dem Ursprungspunkt der Rakete aufstellen. Die auf dieser Uhr angezeigte Zeit (also die Eigenzeit   τ   der Uhr) ist als Referenzzeit in unserem beschleunigten Bezugssystem definiert. Auch hier ist wieder Präzision wichtig: wir müssen diesmal genau sagen, wo die Referenzuhr steht! Warum, werden wir später noch sehen. (Gut, dass man diese Details alle jetzt schon korrekt berücksichtigen kann, wenn man das Endergebnis kennt. Ein Forscher wie Einstein, für den dieses alles Neuland war, hatte es da schon erheblich schwerer.) Die zeitliche Koordinate   ξ⁰   setzen wir dann gleich   ξ⁰   =   cτ   mit der Lichtgeschwindigkeit c. Zum Begriff der Eigenzeit siehe Kapitel 3.7 Geschwindigkeit, Zeitdilatation, Vierergeschwindigkeit und Eigenzeit.

Um weiterzukommen, müssen wir nun genau angeben, welche Eigenschaften das beschleunigte Raketen-Koordinatensystem haben soll. Nur dann können wir die entsprechenden Koordinaten auch mit einer dazu passenden physikalischen Interpretation versehen. Die Kernidee ist folgende:

Wir würden das beschleunigte Koordinatensystem   ξ⁰, ξ¹, ξ², ξ³   gerne so konstruieren, dass Raum-Zeit-Punkte mit derselben Zeitkoordinate ξ⁰ sich als gleichzeitige Ereignisse an verschiedenen Raumpunkten interpretieren lassen. Nun ist aber für beschleunigte Bezugssysteme der Begriff der Gleichzeitigkeit noch gar nicht definiert. Nur in gleichförmig bewegten Inertialsystemen haben wir in der speziellen Relativitätstheorie eine passende Definition, die auf dem Postulat beruht, dass die Lichtgeschwindigkeit in jedem Inertialsystem denselben konstanten Wert besitzt. Betrachten wir ein Inertialsystem, das wir als unser Ruhesystem ansehen können. Senden wir darin beispielsweise einen Lichtblitz zugleich nach rechts (x-Richtung) und nach links (negative x-Richtung) aus, und kommt der Lichtblitz nach einer Zeit T wieder bei uns an, so wissen wir wegen der Konstanz der Lichtgeschwindigkeit, dass in der Entfernung   x = cT/2   rechts und   x' = − cT/2   links von uns ein Spiegel steht, an dem zur Zeit   T/2   der Lichtblitz reflektiert wurde (so wird die räumliche Entfernung und der Zeitpunkt der Lichtstrahl-wird-reflektiert-Ereignisse in diesem Inertialsystem definiert -- man spricht auch von Radar-Koordinaten). Die beiden Spiegelungen des Lichtblitzes an den Orten   x = cT/2   und   x' = − cT/2   zur Zeit   T/2   sehen wir daher als gleichzeitig an. Allerdings hängt die Gleichzeitigkeit von Ereignissen und deren räumliche Entfernung vom Inertialsystem ab: ein gleichförmig relativ zu uns bewegter Beobachter wird diese Ereignisse nicht als gleichzeitig ansehen. Weiter unten im Abschnitt Interpretation der Raumzeit-Koordinaten, Gleichzeitigkeit und räumliche Abstände werden wir noch einmal im Detail auf diese Fragestellungen eingehen. Schöne Darstellungen dazu findet man auch im Internet unter http://www.physik.uni-muenchen.de/leifiphysik/web_ph12/grundwissen/07minkowski/gleichzeitig.htm und in Charles Francis Conceptual Foundations of Special and General Relativity, http://arxiv.org/ftp/physics/papers/9909/9909048.pdf.

Man kann nun die Definition der Gleichzeitigkeit in der speziellen Relativitätstheorie von gleichförmig bewegten Inertialsystemen auf das beschleunigte Bezugssystem der Rakete übertragen, indem wir uns zu jedem Zeitpunkt   ξ⁰   in das zugehörige momentane Ruhe-Inertialsystem der Rakete begeben. Die Rakete klinkt dieses Bezugssystem zum Zeitpunkt   ξ⁰   =   cτ   gleichsam aus, so dass es sich ab diesem Moment gleichförmig mit der Geschwindigkeit weiterbewegt, die die Rakete zum Ausklinkzeitpunkt besaß. Man kann sich auch vorstellen, dass das momentane Ruhe-Inertialsystem schon vor dem Zeitpunkt τ da ist und sich von unten auf die Rakete zubewegt (die Rakete beschleunigt nach oben), so wie sich auf der Erde ein senkrecht nach oben geworfener Stein dem höchsten Punkt seiner Flugbahn nähert. Zum Zeitpunkt τ ist dann das momentane Ruhe-Inertialsystem gerade relativ zur Rakete zur Ruhe gekommen (bzw. die Rakete hat gerade jetzt dieselbe Geschwindigkeit wie das gleichförmig bewegte momentane Ruhe-Inertialsystem erreicht). Nun beginnt es, wieder nach unten zu fallen (so zumindest erscheint es von der Rakete aus gesehen). Diese Vorstellung müssen wir nun auf jeden Zeitpunkt τ anwenden, d.h. wir haben es mit unendlich vielen solcher scheinbar aufsteigenden und wieder fallenden momentanen Ruhe-Inertialsysteme zu tun.

Nach Definition ist im momentanen Ruhe-Inertialsystem die Geschwindigkeit der Rakete zur Eigenzeit τ gleich Null. Die Beschleunigung der Rakete ist jedoch nicht Null! Wir definieren nun im beschleunigten Bezugssystem zu jedem Zeitpunkt   ξ⁰   =   cτ   alle diejenigen Raum-Zeit-Punkte als gleichzeitig zu der im Ursprungspunkt der Rakete gemessenen Zeit   ξ⁰   =   cτ  , die auch im momentane Ruhe-Inertialsystem zu diesem Zeitpunkt als gleichzeitig gelten. Also konkret: wir betrachten ein Inertialsystem, das zum Zeitpunkt   ξ⁰   dieselbe Geschwindigkeit wie die Rakete hat, d.h. genau in diesem Zeitpunkt ruht die Rakete für einen winzigen Augenblick in diesem gleichförmig bewegten Bezugssystem. Alle Ereignisse, die in diesem momentanen Ruhe-Inertialsystem als gleichzeitig zur Zeit   ξ⁰   angesehen werden, definieren wir auch als gleichzeitig im beschleunigten Bezugssystem der Rakete.
Anmerkung: Wie man die Gleichzeitigkeit von Ereignissen von der Rakete aus bestimmen kann, bleibt dabei offen. Man muss im Grunde einen gleichförmig bewegten Beobachter fragen, den wir zufällig im fraglichen Zeitpunkt genau mit der Geschwindigkeit Null in unserem Ursprungspunkt der Rakete treffen. Dieser hätte dann theoretisch eine entsprechende Zeit- und Abstandsmessung mit Lichtstrahlen ausführen können. Um daraus eine praktikable Messvorschrift für den Astronauten in der Rakete zu gewinnen, ist gar nicht so einfach, siehe z.B. David Alba: Generalized Radar 4-Coordinates ... . Die Frage ist keineswegs rein akademisch und spielt beispielsweise beim Global Positioning System (GPS) durchaus eine wichtige Rolle.

Analog zur Zeitkoordinate definieren wir auch die räumlichen Koordinaten   ξ¹, ξ², ξ³   im beschleunigten Bezugssystem der Rakete zu jedem Zeitpunkt ξ⁰ : Sie sollen identisch sein mit den karthesischen räumlichen Koordinaten des momentanen Ruhe-Inertialsystems, das in diesem Moment ausgeklinkt wird. Auf diese Weise erreichen wir, dass wir diese Koordinaten als reine, senkrecht aufeinander stehende Raumkoordinaten und   ξ⁰   als reine Zeitkoordinate (zumindest im Ursprungspunkt der Rakete) interpretieren können, wenn wir uns jeweils auf das momentane Ruhe-Inertialsystem zu diesem Zeitpunkt beziehen.

Nun sind die momentanen Ruhe-Inertialsysteme, die die beschleunigte Rakete zu verschiedenen Zeiten abwirft, nicht identisch, sondern sie bewegen sich gleichförmig mit konstanter Geschwindigkeit zueinander. Daher lassen sie sich mit Hilfe einer Poincare-Transformation aufeinander abbilden. Wir wollen die Koordinaten so wählen, dass ein Boost mit einer eventuellen zusätzlichen Verschiebung der Koordinaten ausreicht, d.h. das Koordinatensystem soll nicht verdreht werden. Auf diese Weise erreichen wir, dass die Rakete von Innen zu einem späteren Zeitpunkt genauso aussieht wie die Rakete zu einem früheren Zeitpunkt. Ein Beobachter im Ursprungspunkt der Rakete sieht zu jedem Zeitpunkt einen räumlichen Koordinatenpunkt   ξ¹, ξ², ξ³   an derselben Stelle relativ zu sich selbst, d.h. die Wände der Rakete werden durch solche festen Koordinatenwerte im beschleunigten Bezugssystem beschrieben -- zumindest wenn die Rakete nicht allzu groß ist.

Im Grunde ist das so definierte beschleunigte Raketen-Koordinatensystem der Versuch, die Beschleunigung eines starren Körpers in der speziellen Relativitätstheorie zu beschreiben (das nennt man auch Born rigidity ). Doch Vorsicht: starre Körper gibt es in der Relativitätstheorie nicht, da sich ja jede Information nur mit Lichtgeschwindigkeit ausbreiten kann. Wir sollten also auf einige Überaschungen gefasst sein, die unserer Intuition widersprechen. Sobald die Abstände größer werden, gerät man mit der Interpretation eines starren Körpers in Schwierigkeiten, wie wir noch sehen werden. Dann ist es besser, sich vorzustellen, dass man viele kleine Raketen vor sich hat, die sich so bewegen, dass sie im obigen Koordinatensystem zu gleichen Zeiten denselben Abstand von der Hauptrakete (die sich bei ξⁱ = 0 befindet) haben, wobei der Abstand über das momentane Ruhe-Inertialsystem der Hauptrakete definiert ist. Wir werden noch sehen, dass es einen kritischen Abstand gibt, ab dem das unmöglich wird.

Mathematisch kann man sich vorstellen, dass sich das beschleunigte Bezugssystem der Rakete mit den Koordinaten   ξ^μ   aus kleinen (infinitesimalen) Scheiben zusammensetzt. Die Scheiben entstehen durch Zerschneiden der Eigenzeit in infinitesimale Zeitscheiben. Jede der Scheiben entspricht einem momentanen Ruhe-Inertialsystem mit einem Zeitintervall von der Dicke   dξ⁰  . Die einzelnen Scheiben (momentanen Ruhe-Inertialsysteme) lassen sich durch einen passenden Boost (ggf. plus passende Nullpunktsverschiebung) aufeinander abbilden.

Beginnen wir mit dem momentanen Ruhe-Inertialsystem zur Zeit   ξ⁰ = 0  . Wir wollen diesen Zeitpunkt auch als Startzeitpunkt bezeichnen. Stellen wir uns vor, dass ein Beobachter außerhalb der Rakete genau in diesem System ruht, d.h. für ihn hat die Rakete zum Startzeitpunkt (noch) die Geschwindigkeit Null. Das Inertialsystem des äußeren Beobachters können wir daher identisch zum momentanen Ruhe-Inertialsystem des Startzeitpunktes wählen, wobei wir allerdings eine Verschiebung des Nullpunktes zulassen wollen (was sich später als günstig erweist), d.h. zum Startzeitpunkt muss sich die Rakete nicht im Ursprungspunkt des äußeren Inertialsystems befinden. Um die Diskussion einfach zu halten, verwenden wir in dem Inertialsystem des äußeren Beobachters wie gewohnt das karthesische Koordinatensystem des Minkowskiraums, also die vier Koordinaten   x⁰, x¹, x², x³   mit der Zeitkoordinate   x⁰   =   ct   und den drei euklidischen Raumrichtungen.

Wir wollen uns zunächst die Bewegungskurve des Ursprungspunktes der Rakete im Inertialsystem des äußeren Beobachters ansehen, da diese Kurve den Äufhängungspunkt für das jeweilige momentane Ruhe-Inertialsystem bildet. Da an diesem Punkt die Uhr der Rakete steht, können wir die darauf angezeigte Eigenzeit τ verwenden, um diese Bewegungskurve zu parametrisieren. Im karthesischen Koordinatensystem des externen Beobachters wird die Bewegungskurve dann durch Koordinaten   x(τ)   :=   (x^μ(τ))   beschrieben. Dabei hatten wir   x⁰(0)   =   0   gewählt, d.h. im Startmoment sind Raketenuhr und äußere Uhr synchron. Für die räumlichen Koordinaten des Raketen-Ursprungspunktes hatten wir zum Startzeitpunkt keine spezielle Bedingung gefordert.

Die Vierergeschwindigkeit   u(τ)   und die Viererbeschleunigung   a(τ)   des betrachteten Fixpunktes der Rakete sind im Inertialsystem des äußeren Beobachters gegeben durch

  u(τ)   =   dx/dτ
  a(τ)   =   du(τ)/dτ   =   d²x/dτ²

Dies passt zu der Eigenschaft der Eigenzeit, ein Lorentz-invarianter Kurvenparameter zu sein, der über die Eigenschaft   g(u,u) = c²   mit der Minkowskimetrik   g(u,u)   =   (u⁰)² − u²   festgelegt ist. Aus   dg(u,u)/dτ = 0   folgt sofort   g(a,u) = 0  . Sowohl x als auch u und a sind Vierervektoren, d.h. bei einem Bezugssystemwechsel transformieren sie sich alle in gleicher Weise mit der entsprechenden Lorentzmatrix. Der Zusammenhang zwischen Vierergeschwindigkeit u und der räumlichen Geschwindigkeit v im Inertialsystem des äußeren Beobachters ist gegeben durch

  u   =   (γc, γv)

(siehe Kapitel 3.7 Geschwindigkeit, Zeitdilatation, Vierergeschwindigkeit und Eigenzeit ) mit   γ   =   √ 1/(1 − (v/c)²)  .

Im Startzeitpunkt   t = τ = 0   ist die Geschwindigkeit der Rakete noch gleich Null, d.h. wir starten mit der Vierergeschwindigkeit   u(0)   =   (c, 0)  , und die Beschleunigung des Ursprungspunktes ist gegeben durch   a(0)   =   (0, g)   (alles angegeben in den Koordinaten des äußeren Beobachters). Aus   a(τ)   =   du(τ)/dτ   folgt dann nämlich für   τ = 0  

  (0, g)   =   a(0)   =   du(τ)/dτ|_{τ = 0}   =   (0, dv/dt)|_{t = 0}

und somit wie gewünscht   dv/dt|_{t = 0}   =   g  .

Zu einem späteren Zeitpunkt τ bewegt sich die Rakete nun bereits mit einer Geschwindigkeit ungleich Null. Im momentane Ruhe-Inertialsystem zu diesem Zeitpunkt haben a und u aber immer noch dieselbe Form wie im Inertialsystem des äußeren Beobachters zum Zeitpunkt Null, d.h. für einen Beobachter im momentanen Ruhe-Inertialsystem ruht der Ursprungspunkt der Rakete zur Zeit τ und beschleunigt mit g. Dies präzisiert den Begriff der konstanten Beschleunigung.

Im Bezugssystem des äußeren Beobachters enstehen u und a zum Zeitpunkt τ durch einen Boost aus u und a zur Zeit Null. Mit dem entgegengesetzten Boost kann man sie jederzeit in das momentane Ruhe-Inertialsystem umrechnen. Da die Rakete nur eine Beschleunigung in   x³ -Richtung erfahren soll, ändern sich die räumlichen Koordinaten jedes Raumschiff-Fixpunktes senkrecht zur Bewegungsrichtung nicht:   x¹ = ξ¹   und   x² = ξ²   sind konstant. Es genügt also im Folgenden, nur noch die Koordinaten x⁰ und x³ bzw. ξ⁰ und ξ³ zu betrachten. Im Raum der Koordinaten x⁰ und x³ ist eine Boostmatrix Λ in x³-Richtung gegeben durch

L   =   æ ç è cosh a sinh a sinh a cosh a ö ÷ ø

mit der Rapidität   α   (siehe Kapitel 3.3 Die spezielle Relativitätstheorie: Boosts ).

Da sich im Bezugssystem des äußeren Beobachters die Situation zur Zeit   τ > 0   aus der Situation zur Zeit   τ = 0   durch einen Boost Λ mit passender Rapidität   α   ergeben soll, und da x, u und a Vierervektoren sind, muss gelten:

  u(τ)   =   Λ u(0)   =   Λ   (c, 0)   =   (c cosh α , c sinh α)
  a(τ)   =   Λ a(0)   =   Λ   (0, g)   =   (g sinh α , g cosh α)

Andererseits muss auch   a(τ)   =   du(τ)/dτ   gelten. Da die Ableitung von   sinh   gleich   cosh   ist und umgekehrt, erhalten wir für die erste Komponente (g und c sind konstant):

  g sinh α   =   d(c cosh α)/dτ   =   c (sinh α) dα/dτ
    →     dα/dτ   =   g/c
    →     α   =   (g/c) τ   +   k

mit einer beliebigen Konstante k. Die Rechnung mit der zweiten Komponente verläuft analog mit demselben Ergebnis. Die Rapidität wächst also bei einer konstant beschleunigten relativistischen Rakete linear mit der Eigenzeit, so wie dies für die Geschwindigkeit bei einer nichtrelativitsischen Rakete gilt. Man kann jedoch leicht nachrechnen, dass die Geschwindigkeit v der relativistischen Rakete im Inertialsystem des äußeren Beobachters nicht linear mit der Eigenzeit wächst, sondern sich von unten der Lichtgeschwindigkeit immer weiter annähert.

Die Konstante   k   können wir noch durch die Bedingung festlegen, dass die Geschwindigkeit zum Startzeitpunkt   τ = 0   gleich Null sein soll, d.h.
  u³(0)   =   c sinh α(0)   =   c sinh k   =   0
    →     k = 0
    →     α   =   (g/c) τ

Aus der Gleichung
  dx/dτ   =   u(τ)   =   c   (cosh ((g/c) τ) , sinh ((g/c) τ))
können wir nun auch die Bahnkurve des Ursprungspunktes der Rakete im Inertialsystem des äußeren Beobachters durch Integrieren ausrechnen:

  x⁰(τ)   =   ∫₀^τ   c   cosh ((g/c) τ')   dτ'   +   x⁰(0)   =  
  =   c²/g   sinh ((g/c) τ)   −   c²/g   sinh ((g/c) 0)   +   x⁰(0)   =  
  =   c²/g   sinh ((g/c) τ)   +   x⁰(0)

  x³(τ)   =   ∫₀^τ   c   sinh ((g/c) τ')   dτ'   +   x³(0)   =  
  =   c²/g   cosh ((g/c) τ)   −   c²/g   cosh ((g/c) 0)   +   x³(0)   =  
  =   c²/g   ( cosh ((g/c) τ)   −   1 )   +   x³(0)

Setzen wir noch   x⁰(0) = 0  , so haben wir:

  x(τ)   =   c²/g   (sinh ((g/c) τ) , cosh ((g/c) τ) − 1)   +   (0, x³(0))

Wir wollen dieses Ergebnis noch etwas umschreiben, indem wir τ durch   ξ⁰ = cτ   ersetzen und die Abkürzung   L := c²/g   verwenden:

  x(ξ⁰)   =   L   (sinh (ξ⁰/L) , cosh (ξ⁰/L) − 1)   +   (0, x³(0))

Mit der Rapidität   ξ⁰/L = (g/c) τ = α   von oben können wir dies als Poincaretransformation schreiben:

  x(ξ⁰)   =   Λ (0, L)   +   (0, x³(0) − L)

Man kann den Ursprung des Koordinatensystems des äußeren Beobachters nun auf verschiedene Weise weiter festlegen, indem man die Starthöhe x³(0) des Raketen-Ursprungspunktes festlegt. Die Wahl   x³(0) = 0   führt zu sogenannten Möller-Koordinaten, die Wahl   x³(0) = L   führt zu Rindler-Koordinaten (siehe z.B. Øyvind Grøn: Lecture Notes on General Relativity, Kap. 3.2, findet man im Internet). Wir verwenden hier Rindler-Koordinaten, d.h. der Raketen-Ursprungspunkt befindet sich zum Startzeitpunkt in der Höhe   x³(0) = L   und wir haben die einfache Gleichung:

  x(ξ⁰)   =   Λ (0, L)   =  
  =   L   (sinh (ξ⁰/L) , cosh (ξ⁰/L))   =  
  =   c²/g   (sinh ((g/c) τ) , cosh ((g/c) τ))

Trägt man x⁰ nach oben und x³ nach rechts in einem Koordinatensystem ein, so ist die durch τ parametrisierte Kurve eine Hyperbel, die im Abstand L die x³-Achse schneidet. Im Raum-Zeit-Koordinatensystem des äußeren Beobachters beschreibt der Raketen-Ursprungspunkt der konstant beschleunigten Rakete also eine Hyperbelbahn. Für große τ nähert sich diese Bahn immer mehr dem Lichtkegel (also der Diagonalen) an. Die Geschwindigkeit des Raketen-Ursprungspunktes nähert sich entsprechend der Lichtgeschwindigkeit.

Die obige Formel können wir nun direkt dazu verwenden, um anzugeben, wo sich zur Zeit ξ⁰ im Inertialsystem des äußeren Beobachters die anderen Punkte der Rakete befinden, die im beschleunigten Bezugssystem der Rakete durch die festen Koordinaten   ξ¹, ξ², ξ³   definiert sind:

Rindler-Koordinaten in einem konstant beschleunigten Bezugssystem (Rakete): Wir definieren ein konstant beschleunigtes (räumlich starres) Bezugssystem durch Koordinaten   ξμ   mit den folgenden Eigenschaften: ξ0 = cτ   ist die Eigenzeit einer mitbeschleunigten Uhr im Ursprungspunkt des beschleunigten Koordinatensystems, also bei   ξ1 = ξ2 = ξ3 = 0   Punkte mit gleichem ξ0 gehören zu Ereignissen, die im zugehörigen momentanen Ruhe-Inertialsystem als gleichzeitig angesehen werden. Die räumlichen Koordinaten   ξ1, ξ2, ξ3   sind unabhängig von   ξ0 = cτ   und entsprechen den karthesischen Raumkoordinaten im jeweiligen momentanen Ruhe-Inertialsystem. Im jeweiligen momentanen Ruhe-Inertialsystem weist die mitbeschleunigte Uhr die feste Beschleunigung g in ξ3-Richtung auf. Das Inertialsystem eines äußeren Beobachters mit Koordinaten   xμ   soll identisch sein mit dem momentanen Ruhe-Inertialsystem der Rakete zur Zeit   τ = 0   bis auf eine räumliche Verschiebung, so dass sich die mitbeschleunigte Uhr zu dieser Zeit in der Höhe   x3 = L   befindet. Der Zusammenhang zwischen den Rindler-Koordinaten   ξμ   und den Koordinaten des äußeren Beobachters   xμ   ist dann für   x = (x0, x3)   gegeben durch: x(ξ0, ξ3)   =   Λ   æ ç è 0 L + ξ3 ö ÷ ø   =   (L + ξ3)   æ ç è sinh (ξ0/L) cosh (ξ0/L) ö ÷ ø   =   (c2/g + ξ3)   æ ç è sinh ((g/c) τ) cosh ((g/c) τ) ö ÷ ø Für die übrigen beiden räumlichen Koordinaten gilt sowieso   x1 = ξ1   und   x2 = ξ2  . Zum Startzeitpunkt   ξ0 = 0   ist damit   x(0, ξ3)   =   (0 , L + ξ3)   , d.h. die ξ3-Höhenkoordinate entspricht zum Startzeitpunkt bis auf eine Verschiebung der x3-Koordinate. Das momentane Ruhe-Inertialsystem der Rakete zu einem späteren Zeitpunkt ist vom äußeren Beobachter aus gesehen einfach ein sich gleichmäßig bewegendes Inertialsystem, das durch den Boost Λ entsteht.

Aus der Gleichung
  x(ξ⁰, ξ³)   =   (L + ξ³)   (sinh (ξ⁰/L) , cosh (ξ⁰/L))  
kann man sehr schön die Form der Koordinatenlinien für konstantes ξ⁰ und laufendes ξ³ und umgekehrt ablesen:
Halten wir die Höhenkoordinate ξ³ fest, so haben wir Hyperbeln, die durch die Eigenzeit ξ⁰ parametrisiert sind und die beim Wert   ξ⁰ = 0   die x-Achse im Abstand   L + ξ³   vom Nullpunkt schneiden. Diese Hyperbeln beschreiben im Inertialsystem des äußeren Beobachters die beschleunigte Bewegung von Punkten, die sich vom momentanen Ruhesystem der Rakete aus gesehen un der konstanten Höhe ξ³ befinden.
Halten wir die Eigenzeit ξ⁰ fest, so haben wir Geraden, die durch ξ³ parametrisiert sind und die beim Wert   ξ³ = −L   immer durch den Nullpunkt gehen, unabhängig vom Wert der Eigenzeit ξ⁰ . Diese Geraden sind die Ereignisse, die im entsprechenden momentanen Ruhe-Inertialsystem der Rakete als gleichzeitig zur zentralen Raketen-Uhrzeit angesehen werden, wie sie von der Uhr im Ursprungspunkt der Rakete angezeigt wird:

Dieses Bild zeigt analog zum Bild darüber, wie sich der Ursprungspunkt des beschleunigten Koordinatensystems (Rakete) in der Raumzeit für einen äußeren Beobachter bewegt (blauer Punkt). Dabei läuft wieder die externe Beobachter-Zeit x⁰ nach oben und der Punkt beschleunigt nach rechts in x³ -Richtung. Die blaue Bahn des Ursprungspunktes schneidet die x³ -Achse beim Wert   x³ = L . Für einen bestimmten Zeitpunkt ist in Blau das momentane Ruhe-Inertialsystem mRIS mit der ξ⁰ und ξ³ -Achse eingezeichnet. Die eingezeichnete rote und grüne Linie sind sogenannte Ereignishorizonte. Die Raum-Zeit-Punkte links oberhalb des roten Horizonts können den Ursprungspunkt der Rakete niemals beeinflussen, da die Rakete diesem Signal immer hinreichend schnell davonfliegt. Das Radiosignal ist zwar immer etwas schneller als die Rakete, aber da diese ständig beschleunigt, kann das Signal die Rakete nicht einholen. Umgekehrt kann ein Sender im Ursprungspunkt der Rakete niemals die Raum-Zeit-Punkte links unterhalb des grünen Horizonts erreichen. Solche Ereignishorizonte treten später auch in Gravitationsfeldern auf, z.B. bei schwarzen Löchern. Dies kommt nicht unerwartet, wenn Gravitationskräfte lokal gleichwertig zu Scheinkräften in beschleunigten Bezugssystemen sind.

Nun hatten wir bei unserer Definition des beschleunigten Bezugssystems keinerlei Einschränkung an die Werte der Höhenkoordinate ξ³ gemacht. Das Bild oben legt allerdings nahe, dass nur Werte mit   ξ³ > −L   unsere beabsichtigte Raketen-Interpretation aufweisen, denn bei   ξ³ = −L   durchstößt jede Gleichzeitigkeits-Linie (das sind die Geraden mit konstanter Eigenzeit ξ⁰) den Nullpunkt des Koordinatensystems des externen Beobachters. Ein Lichtblitz, der von diesem Nullpunkt ausgesendet wurde, kann den Ursprungspunkt der Rakete gerade nicht mehr erreichen.

Das sieht alles sehr merkwürdig aus. Eine bessere Vorstellung bekommt man, wenn man für g die Erdbeschleunigung von etwa   10 m/s²   einsetzt und L ausrechnet:

  L   =   c²/g   =   (3 * 10⁸ m/s)² / (10 m/s²)   =   9 * 10¹⁵ m

Dies entspricht einer Lichtlaufzeit von

  t   =   L/c   =   c/g   =   3 * 10⁸ m/s / (10 m/s²)   =   3 * 10⁷ s   =   0,95 Jahre

Wenn die Raketenuhr also mit Erdbeschleunigung beschleunigt (so dass die Beschleunigung sich für die Uhr wie die Schwerkraft auf der Erdoberfläche anfühlt), so ist L ungefähr gleich einem Lichtjahr. Das ist weit größer als unser Sonnensystem und ist etwa ein Viertel der Strecke zu unserem nächsten Nachbarstern. Man müsste also eine 1 Lichtjahr lange Rakete bauen, die als starrer Körper beschleunigt wird, um in den Bereich von   ξ³ = −L   zu gelangen. In der Relativitätstheorie führt die Verwendung derart großer starrer Körper generell zu Problemen, z.B. auch bei der Rotation eines so langen Stabes (die Stab-Enden würden bei starrer Rotation und zu langem Stab schneller als mit Lichtgeschwindigkeit kreisen). Diese Probleme zeigen letztlich, dass es in der Relativitätstheorie keine absolut starren Körper gibt. Wie soll auch ein Körper absolut starr sein, wenn sich Informationen (z.B. über die Bewegung des einen Endes) nur mit Lichtgeschwindigkeit ausbreiten können?

Man darf also die Rakete nicht zu groß machen, wenn man sie sich noch anschaulich als starren Körper vorstellen möchte. Wir hatten es oben bereits angesprochen: Besser ist es bei großen Abständen, sich mehrere kleine Raketen vorzustellen, die sich so bewegen, dass sie im momentanen Ruhe-Inertialsystem der Hauprakete immer denselben Abstand voneinander haben. Wenn also eine Rakete im Abstand L unterhalb der Hauptrakete versucht, den Abstand konstant zu halten, so scheint es Probleme zu geben -- wie wir noch sehen werden, schafft es das nicht mehr. Unser Rindler-Koordinatensystem lässt sich unterhalb von L nicht mehr durch physikalische Objekte repräsentieren, die feste räumliche Koordinaten in diesem beschleunigten Koordinatensystem einnehmen. So etwas wird uns bei schwarzen Löchern unterhalb des Ereignishorizontes wiederbegegnen.

Um zu verstehen, was physikalisch los ist, schauen wir uns die Eigenzeit von Uhren an, die in verschiedener Höhe ξ³ innerhalb der Rakete fixiert sind, oder anders ausgedruckt: Uhren, die sich in verschiedenen Raketen befinden, welche einen konstanten Abstand hinter der Haupt-Rakete einhalten. Diese Eigenzeit wollen wir   τ'   nennen. Eine Uhr in der Höhe ξ³ bewegt sich mit wachsendem τ gemäß unserer obigen Koordinatenformel auf der Bahnkurve

  x(ξ⁰, ξ³)   =   (L + ξ³)   (sinh (ξ⁰/L) , cosh (ξ⁰/L))   =   (L + ξ³)   (sinh (cτ / L) , cosh (cτ / L))  

im Inertialsystem des äußeren Beobachters. Dabei ist ξ³ konstant und   ξ⁰ = cτ   ist der Kurvenparameter. Wichtig ist dabei: τ ist die Eigenzeit der Uhr im Ursprung der Rakete (also bei   ξ³ = 0  ), und die Kurve jeder anderen Uhr ist so parametrisiert, dass der Bahnkurvenpunkt   x(cτ, ξ³)   zu diesem τ im momentanen Ruhe-Inertialsystem als gleichzeitig zur Zeit τ angesehen wird. Das bedeutet aber nicht unbedingt, dass die Uhr in der Höhe ξ³ auch die Eigenzeit τ der Uhr in der Höhe Null anzeigt. Die Eigenzeit   τ'   der Uhr in der Höhe ξ³ ist vielmehr gegeben durch die Bedingung, dass   g(dx/dτ', dx/dτ')   =   c²   sein muss (siehe Kapitel 3.7 Geschwindigkeit, Zeitdilatation, Vierergeschwindigkeit und Eigenzeit ). Daraus folgt
  c²   =   g(dx/dτ', dx/dτ')   =   g(dx/dτ, dx/dτ)   (dτ/dτ')²
Wir verlangen   dτ'/dτ > 0   (die Zeitrichtung der Uhren soll ja gleich sein) und können die Wurzel ziehen:
  dτ'/dτ   =   √g(dx/dτ, dx/dτ)   / c   =   √((dx⁰/dτ)² − (dx³/dτ)²)   / c
denn x¹ und x² hängen nicht von τ ab. Für x ist natürlich die obige Bahnkurve der Uhr einzusetzen:

  x   =   (L + ξ³)   (sinh (cτ / L) , cosh (cτ / L))  
  →       dx⁰/dτ   =   (L + ξ³)   c/L   cosh (cτ / L)
  und     dx³/dτ   =   (L + ξ³)   c/L   sinh (cτ / L)

  →       dτ'/dτ   =   √((dx⁰/dτ)² − (dx³/dτ)²)   / c   =  
    =   (L + ξ³)   c/L   [ (cosh (cτ / L))²   − (sinh (cτ / L))² ] /c   =  
    =   1 + ξ³/L

Diese Gleichung können wir integrieren, wobei wir festlegen, dass zum Zeitpunkt Null alle Uhren synchron die Zeit Null anzeigen sollen:

Gleichzeitig angezeigte Eigenzeiten verschiedener Uhren im beschleunigten Bezugssystem: Die Eigenzeit τ' einer Uhr, die in einem konstanten Abstand ξ3 vor/hinter der beschleunigten Hauptuhr fliegt, hängt mit der gleichzeitig angezeigten Eigenzeit τ der Hauptuhr über die folgende Formel zusammen:   τ'   =   (1 + ξ3/L) τ (wobei der Abstand und die Gleichzeitigkeit über das momentane Ruhe-Inertialsystem der Hauptuhr definiert sind). Dabei ist   L = c2/g   mit der konstanten Beschleunigung g. Beobachter bei beiden Uhren stimmen darin überein, dass gleichzeitig die Hauptuhr die Zeit τ und die Uhr bei ξ3 die Zeit τ' anzeigt, denn beide Beobachter verwenden dieselbe Linie der Gleichzeitigkeit.

Bei ξ³ = 0 ist also τ' = τ (so war es ja auch gemacht). Bei kleineren ξ³ (also in Richtung nach unten) ist dagegen τ' < τ , und bei ξ³ = −L ist sogar τ' = 0 . Man kann dies so interpretieren, dass aus Sicht eines Beobachters im Ursprungspunkt der Rakete Uhren weiter unterhalb langsamer laufen, und in der Entfernung L nach unten scheint die Uhr überhaupt nicht mehr zu laufen, d.h. die Physik scheint in Richtung des Punktes ξ³ = −L immer mehr einzufrieren. Nach dem Äquivalenzprinzip können wir daraus schließen, dass auch in einem Gravitationsfeld die Zeit weiter unten langsamer vergeht.

In den obigen Raum-Zeit-Diagrammen im Inertialsystem des äußeren Beobachters äußert sich der unterschiedliche Lauf der Uhren darin, dass die Linien der Gleichzeitigkeit (also τ konstant) nach links hin enger zusammenrücken und im Nullpunkt sogar unendlich dicht zusammenliegen. So bewegt sich beispielsweise der Ursprungspunkt der Rakete vom Startzeitpunkt t = 0 (waagrechte x³-Achse) in eine kleine Zeit dτ fast senkrecht nach oben entlang der Zeitachse bis zur nächsten Gleichzeitigkeitslinie. Ein Punkt weiter links bewegt sich jedoch nur ein kürzeres Stück bis zu dieser Gleichzeitigkeitslinie, was einem kleineren Eigen-Zeitintervall entspricht.

Nun beruht diese Analyse allerdings auf dem Begriff der Gleichzeitigkeit, wie er über das jeweilige momentane Ruhe-Inertialsystem definiert ist. Die Gleichzeitigkeit von Ereignissen ändert sich bei zunehmemder Geschwindigkeit im momentanen Ruhe-Inertialsystem gerade so, dass der obige Eigenzeit-Effekt entsteht. Nun ist die Gleichzeitigkeit von Ereignissen von der beschleunigten Rakete aus nicht unmittelbar messbar, da man ja dafür das momentane Ruhe-Inertialsystem braucht und dort im Grunde das weiter oben angegebene Experiment mit dem reflektierten Lichtstrahl ausführen muss -- dafür aber braucht man genügend Zeit. Was man jedoch auch in der beschleunigten Rakete messen kann, ist die Rotverschiebung eines Lichtsignals, das in ξ³ < 0 ausgesandt und in ξ³ = 0 empfangen wird. Die Frequenz des Lichtsignals ist gleichsam das Ticken der Uhr. Man kann zeigen, dass das Lichtsignal tatsächlich rotverschoben ankommt (siehe z.B. Marco Alberici: Clock rate comparison in a uniform gravitational field, im Internet zu finden, siehe z.B. http://citebase.eprints.org/cgi-bin/fulltext?format=application/pdf&identifier=oai%3AarXiv.org%3Agr-qc%2F0501090 oder http://citebase.eprints.org/cgi-bin/fulltext?format=application/pdf&identifier=oai%3AarXiv.org%3Agr-qc%2F0409052 ), d.h. die Uhr weiter unten scheint von weiter oben aus gesehen langsamer zu ticken. Man kann sich diesen Effekt auch klassisch-anschaulich über den Dopplereffekt erklären: Die Uhr, die das Lichtsignal weiter unten aussendet, hat noch eine geringere Geschwindigkeit als die Uhr, die weiter oben das Lichtsignal zu einer späteren Zeit empfängt. Diese Uhr fliegt dem Signal gleichsam immer schneller davon, so dass die Wellenlängen mit größeren Zeitabständen ankommen. Diese klassisch-anschauliche Erklärung ist jedoch mit Vorsicht zu genießen, da sie die Effekte der Relativitätstheorie nicht berücksichtigt. Und so kann man in der klassischen nichtrelativistischen Mechanik auch die Rotverschiebung des Lichtsignals nicht einfach als eine langsamer laufende Uhr interpretieren, denn die Zeit läuft dort überall gleich schnell. Erst die Relativitätstheorie mit ihrem Begriff der Gleichzeitigkeit, der vom Bezugssystem abhängt, erlaubt die Interpretation, dass die weiter unten in der Rakete befestigte Uhr langsamer läuft!

Neben der Eigenzeit ist es interessant, sich auch die in verschiedenen Höhen ξ³ empfundene Beschleunigung genauer anzusehen. Anders ausgedrückt: Welche Beschleunigung ist in unterschiedlicher Höhe notwendig, um den Abstand im momentanen Ruhe-Inertialsystem konstant zu halten? Dazu betrachten wir wieder die Bahnkurve der in der Höhe ξ³ befestigten Uhr und setzen   τ'   =   (1 + ξ³/L) τ ein:

  x   =  
  =   (L + ξ³)   (sinh (cτ / L) , cosh (cτ / L))   =  
  =   (L + ξ³)   (sinh (cτ' / (L + ξ³)) , cosh (cτ' / (L + ξ³)) )

Die Vierer-Beschleunigung a' in der Höhe ξ³ ist gegeben durch die zweite Ableitung nach der dort gemessenen Eigenzeit τ' :

  a'   =  
  =   d²/dτ'²   (L + ξ³)   (sinh (cτ' / (L + ξ³)) , cosh (cτ' / (L + ξ³)) )   =  
  =   (L + ξ³)   (c / (L + ξ³))²   (sinh (cτ' / (L + ξ³)) , cosh (cτ' / (L + ξ³)) )   =  
  =   c² / (L + ξ³)   (sinh (cτ' / (L + ξ³)) , cosh (cτ' / (L + ξ³)) )

Vergleichen wir diesen Ausdruck mit der Beschleunigung a im Ursprungspunkt   ξ³ = 0   . Diese Beschleunigung können wir aus dem obigen Ausdruck leicht ablesen, indem wir darin   ξ³ = 0   und   τ' = τ   setzen:

  a   =   c² / L   (sinh (cτ / L) , cosh (cτ / L) )

Wenn wir in a' wieder   τ'   =   (1 + ξ³/L) τ   einsetzen, so erhalten wir:

  a'   =   c² / (L + ξ³)   (sinh (cτ / L) , cosh (cτ / L))   =   L / (L + ξ³)   a

Wir sehen: wenn wir uns mit ξ³ dem Wert −L nähern, so wird die Viererbeschleunigung unendlich groß! Wenn wir diese Beziehung im momentanen Ruhe-Inertialsystem zu irgendeinem Zeitpunkt auswerten, so ist   a = (0, g)   und   a' = (0, g')   und es folgt, dass im momentanen Ruhe-Inertialsystem die Beschleunigung g' immer größer wird und schließlich divergiert, wenn wir uns von oben dem Punkt   ξ³ = −L   nähern. Man erkennt dies auch an den Hyperbeln mit konstanten ξ³ : In der Nähe der waagrechten x³-Achse (also bei kleinen t) werden diese Hyperbeln immer spitzer, d.h. die Beschleunigung in x³-Richtung wird immer größer.

Wenn man nun versuchen würde, jemanden (nennen wir sie Alice) in der beschleunigten Rakete langsam an einem Seil zum kritischen Punkt   ξ³ = −L   herabzulassen, so würde die Beschleunigung immer stärker an Alice ziehen, bis das Seil schließlich unweigerlich zerreist und Alice in den freien Fall übergeht (d.h. nicht mehr mit der Rakete mitbeschleunigt wird). Für einen Beobachter im Ursprungspunkt der Rakete (nennen wir ihn Bob) sieht es dann so aus, als würde sich die fallende Alice immer langsamer auf den kritischen Punkt zubewegen (ihn aber nie erreichen), während ihre Bewegungen und überhaupt alle physischen Vorgänge bei ihr immer langsamer werden (da die Eigenzeit von Alice immer langsamer verstreicht im Vergleich zu der Eigenzeit von Bob, siehe dazu z.B. Axel Fingerle: Von Höherer Mathematik II zur Allgemeinen Relativitätstheorie, http://www.uni-ulm.de/~s_afing1/thema4/Ergaenzung.ps, Kapitel 2.2). Aufgrund der immer stärkeren Rotverschiebung würde das von ihr ausgesandte Licht immer energieärmer werden, so dass Alice schließlich für Bob unsichtbar wird. Alice selbst merkt davon überhaupt nichts: sie bewegt sich friedlich geradlinig-gleichförmig durch den Raum. Ganz ähnlich ist es auch beim Ereignishorizont eines schwarzen Lochs!

Die unterschiedliche Beschleunigung trotz festen Abstandes widerspricht unserer Anschauung. Dennoch ist es so: Eine zweite Rakete hinter unserer Hauptrakete muss stärker beschleunigen, um den Abstand im momentanen Ruhe-Inertialsystem der Hauptrakete konstant zu halten. Ist dieser Abstand größer als L, so schafft sie es überhaupt nicht mehr, d.h. es gibt keine physikalischen Objekte, die in unserem beschleunigten Bezugssystem eine konstante ξ³-Koordinate kleiner als −L haben können. Ab dem Abstand L gibt es keine Objekte mehr, die in unserem beschleunigten Bezugssystem statisch sein können. Das ist aber eine Eigenschaft unseres speziellen Bezugssystems. Bei schwarzen Löchern wird uns das wiederbegegnen (siehe Kapitel 7.3 ).

Die physikalische Ursache für dieses Phänomen liegt in der Lorentz-Kontraktion: Ein bewegter Körper ist in Bewegungsrichtung verkürzt, verglichen mit seiner Länge im Ruhesystem des Körpers. Das ist nicht nur Einbildung, sondern eine reale physikalische Tatsache, die man beispielsweise für Festkörper auch mit den Maxwellgleichungen begründen kann. Für einen äußeren ruhenden Beobachter wird also die beschleunigte Rakete immer kürzer, je schneller sie wird. Teile weiter hinten müssen also Teile weiter vorne immer mehr einholen, d.h. sie müssen entsprechend stärker beschleunigen. Würden alle Teile der Rakete gleich beschleunigen, so dass sie für den äußeren ruhenden Beobachter einen konstanten Abstand voneinander beibehielten, dann würde die Rakete in ihrem momentanen Ruhe-Inertialsystem immer mehr gedehnt werden und schließlich zerreißen. Das bezeichnet man auch als Bellsches Raumschiffparadoxon .

Bewegungsgleichungen und Metrik in der beschleunigten Rakete:

Im Inertialsystem des äußeren Beobachters ist die Bahnkurve   x(τ)   =   (x^μ(τ))   eines Massenpunktes mit Masse m in einem Vierer-Kraftfeld F gegeben durch

  d²/dτ² x^μ(τ)   =   F^μ(x(τ)) / m

Dabei ist τ die Eigenzeit des Massenpunktes auf der Bahnkurve. Für die Eigenzeit der Uhr im Ursprungspunkt der Rakete wollen wir daher ab sofort nur noch die Koordinate ξ⁰ (und nicht mehr τ) verwenden, damit es hier keine Verwechselungen gibt!

Die obige Gleichung ist in dieser Form nur in einem Inertialsystem gültig, denn sie bezieht sich auf die karthesischen Koordinaten dieses Inertialsystems. Für die Betrachtung von Poincaretransformationen reicht diese Schreibweise aus, denn die Gleichung ändert ihre Form bei diesen speziellen affinen Koordinatentransformationen nicht. Wenn man die Gleichung allerdings in das beschleunigte Koordinatensystem der Rakete umformen möchte, so muss man explizit auf die neuen Koordinaten umrechnen. Es wäre daher sehr nützlich, wenn man die Gleichung in einer koordinaten-unabhängigen Form schreiben könnte, die sich dann in beliebigen Raum-Zeit-Koordinaten ausschreiben lässt. In der Physik spricht man auch davon, dass man die Gleichung in tensorieller Form schreiben möchte, d.h. in einer Form, die in beliebigen Koordinaten gültig ist. Die tensorielle Schreibweise ist einfach nur das Ausschreiben der koordinaten-unabhängigen Form in beliebigen Koordinaten. Da bei der Betrachtung der Gravitation nach dem Äquivalenzprinzip auch scheinbar-beschleunigte Koordinatensysteme eine Rolle spielen werden, wird es dort wichtig sein, eine koordinaten-unabhängige bzw. tensorielle Formulierung für die Naturgesetze zu finden.

Die Differentialgeometrie hält den passenden mathematischen Formalismus dafür bereit, denn die Minkowski-Raumzeit ist mathematisch eine differentierbare Mannigfaltigkeit (siehe Kapitel 5.1.3 Mannigfaltigkeiten ): Die Ereignisse kann man mit Punkten in dieser Mannigfaltigkeit identifizieren, die sich in beliebigen (differentierbaren) Koordinatensystemen bezeichnen lassen. Wir werden unten sehen, dass sich der Formalismus auch auf die Raumzeit mit Gravitation übertragen lässt.

Die obige Bahnkurve ist in koordinaten-unabhängiger Schreibweise gegeben durch eine Kurve   γ(τ)  . Dabei ist γ eine Abbildung von den reellen Zahlen in die Mannigfaltigkeit der Minkowski-Raumzeit. Man kann nun irgendeine Koordinatenfunktion f (auch Karte genannt) betrachten, die jedem Punkt p der Raum-Zeit-Mannigfaltigkeit (oder eines Teils der Mannigfaltigkeit) 4 reelle Koordinaten   x := f(p)   zuordnet (d.h. x ∈ R⁴ ). In diesen Koordinaten lautet die Bahnkurve dann   x(τ) := f(γ(τ))   oder ausführlich   x^μ(τ) := f^μ(γ(τ))  . Wählt man karthesische Minkowski-Koordinaten, so erhält man für die Bahnkurve die obige Gleichung   d²/dτ² x^μ(τ)   =   F^μ(x(τ)) / m  .

Aber wie kann man diese Gleichung koordinaten-unabhängig formulieren? Dazu benötig man zunächst den Begriff des Tangentialvektors. Details dazu findet man in Kapitel 5.1.4 Tangentialräume und Vektorfelder. Hier eine kurze Wiederholung:

Tangentialvektoren: Ein Tangentialvektor   u(p)   im Punkt p der Mannigfaltigkeit (hier: der Raumzeit) wird über eine Kurve   γ   definiert (mit   γ(s) = p   ), so dass   u(p)   angewendet auf eine skalare Funktion Φ gerade die Richtungsableitung von Φ in Kurvenrichtung im Punkt p ergibt:   u(p) Φ   :=   dΦ(γ(s)) / ds Diese Formulierung hat den Vorteil, koordinaten-unabhängig zu sein und ohne eine Einbettung der Mannigfaltigkeit auszukommen. Man kann sich   u(p)   als kleinen Pfeil tangential zur Kurve im Punkt p vorstellen, der angewendet auf Φ die Richtungsableitung in Pfeilrichtung ergibt. Für Φ kann man z.B. die Koordinatenfunktionen   f μ   verwenden und erhält:   u(p) f μ   :=   df μ(γ(s)) / ds   =:   dxμ(s)/ds   =:   uμ(p) Das sind die Komponenten des Tangentialvektors in Koordinatendarstellung. Es gilt die Zerlegung   u(p)   =   ∑μ   uμ(p) d/dxμ|p mit   d/dxμ|p Φ   :=   dΦ/dxμ  , auszuwerten im Punkt   x = f(p)  . Der Tangentialraum T(p) ist der Vektorraum aller Tangentialvektoren in einem Punkt p. Ein Tangentialvektorfeld   u   ist nun eine (differentierbare) Abbildung, die jedem Punkt p der Mannigfaltigkeit einen Tangentialvektor   u(p)   zuordnet.

Unsere Bahnkurve   γ(τ)   von oben definiert also auf diese Weise in jedem ihrer Punkte einen Tangentialvektor   u(γ(τ))  . Wenn wir karthesische Minkowski-Koordinaten verwenden und für τ die Eigenzeit verwenden, so sind die Komponenten   u^μ   gerade die Komponenten der relativistischen Vierer-Geschwindigkeit, d.h. es ist   dx^μ(τ)/dτ   =   u^μ(γ(τ))   =:   u^μ(τ)

Nun erfüllt die Vierer-Geschwindigkeit die Normierungsbedingung   g(u,u) = c²   mit der Minkowskimetrik   g(u,u)   =   (u⁰)² − u²  . Wenn wir nun   u   als koordinatenfreien Tangentialvektor auffassen, so ist   g(u,u)   eine koordinatenfreie Metrik auf der Mannigfaltigkeit, ausgewertet auf dem Tangentialvektor u. Zum Begriff der Metrik siehe Kapitel 5.1.9 Abstände und Winkel: die Metrik. Mathematisch ist die Metrik eine bilineare symmetrische Abbildung, die aus zwei Tangentialvektoren eine reelle Zahl macht. Nur in karthesischen Minkowski-Koordinaten gilt dann   g(u,u)   =   (u⁰)² − u²  . Genau genommen definiert dies erst den Begriff karthesische Minkowski-Koordinaten. Die koordinatenunabhängige Schreibweise für die Normierungsbedingung und damit für die Festlegung der Eigenzeit lautet daher einfach   g(u,u) = c²  . Die Metrik in der Raumzeit der speziellen Relativitätstheorie ist dadurch festgelegt, dass man die Existenz karthesischer Minkowski-Koordinaten auf der Mannigfaltigkeit fordert, so dass in diesen Koordinaten   g(u,u)   =   (u⁰)² − u²   ist. Weiter unten werden wir sehen, dass sich diese Forderung bei Anwesenheit von Gravitation nicht mehr global, sondern nur noch lokal aufrecht erhalten lässt.

Die Bewegungsgleichung   d²/dτ² x^μ(τ)   =   F^μ(x(τ)) / m  , die so nur in karthesischen Minkowski-Koordinaten gilt, können wir mit Hilfe der Vierer-Geschwindigkeit   u^μ(τ)   =   d/dτ x^μ(τ)   in karthesischen Minkowski-Koordinaten schreiben als

  d/dτ u^μ(τ)   =   F^μ(x(τ)) / m

Die rechte Seite kann man als Komponente eines Tangentialvektors F ansehen, so dass man hier eine koordinatenfreie Darstellung erreichen kann. Bleibt das Problem: Wie schreibt man die linke Seite in koordinatenfreier Form? Schließlich steht dort explizit die Ableitung der einzelnen Komponenten, und die Ableitung eines koordinatenfreien Tangentialvektors ist zunächst gar nicht definiert.

Die Lösung kennen wir aus Kapitel 5.1.6 Kovariante Ableitung und Paralleltransport. Dort hatten wir die kovariante Ableitung definiert. Bei einer Einbettung der Mannigfaltigkeit in den Rⁿ (mit entsprechenden karthesischen Koordinaten darin) hatten wir gesagt:

Wenn v(p) ein Tangentialvektor zur Kurve   γ   im Punkt p = γ(s) ist, so ist die kovariante Ableitung   D_v(p) u   eines Tangentialvektorfeldes u im Punkt p in Richtung des Tangentialvektors v(p) definiert durch die Projektion von   du(γ(s)) / ds   auf den Tangentialraum in p = γ(s). Dabei ist   du(γ(s)) / ds   über die Einbettung definiert, d.h. gemeint sind die Komponenten   du^μ(γ(s)) / ds   bezüglich der karthesischen Komponenten des Einbettungsraums.

Im Fall der Minkowski-Raumzeit brauchen wir den Einbettungsraum gar nicht, denn die Minkowski-Raumzeit mit ihren karthesischen Minkowski-Koordinaten ist selbst schon ein passender Einbettungsraum. Daher brauchen wir auch die Projektion nicht mehr und wir können direkt bezogen auf die karthesischen Minkowski-Koordinaten definieren:

  (D_v(p) u)^μ   :=   du^μ(γ(s)) / ds  

Aus Kapitel 5.1.6 Kovariante Ableitung und Paralleltransport wissen wir, dass wir   D_v(p) u   auch koordinatenunabhängig definieren können, so dass sich in karthesischen Koordinaten gerade die obige Formel ergibt. Dazu fordert man bestimmte Eigenschaften: Die kovariante Ableitung soll algebraisch linear in v(p) sein, additiv in u sein und die Produktregel erfüllen. Als Ergebnis dieser Eigenschaften kann man die folgende eindeutige Darstellung in beliebigen Koordinaten ableiten:

kovariante Ableitung in beliebigen Koordinaten: Die kovariante Ableitung   Dv(p) u   eines Tangentialvektors u in Richtung des Tangentialvektors v(p) (festgelegt durch eine Kurve γ mit p = γ(s) ) ist in beliebigen Koordinaten gegeben durch   Dv(p) u   =   ∑ρ   { v(p) uρ     +   ∑μν   uμ(p)   Γ ρνμ   vν(p) }   d/dx ρ|p Dabei sind die Christoffelsymbole   Γ ρνμ   definiert durch   Dd/dxν|p   d/dxμ   =   ∑ρ   Γ ρνμ   d/dx ρ|p

In karthesischen Koordinaten ist

  Γ ^ρ_νμ   =     [ D_d/dx^ν|p   d/dx^μ ]^ρ   =   d/dx^ν   δ^ρμ   =   0

d.h. in karthesischen Koordinaten verschwinden die Christoffelsymbole, da die Basisvektoren konstant sind, und wir erhalten:

  [ D_v(p) u ]^ρ   =   v(p) u^ρ   =   du^ρ(γ(s)) / ds  

Die Christoffelsymbole reflektieren also den Umstand, dass in allgemeinen Koordinaten die Basisvektoren sich entlang einer Kurve ändern können. Das kennt man z.B. schon von zweidimensionalen Polarkoordinaten in der Ebene. Wenn man in der klassischen Mechanik das Newtonsche Bewegungsgesetz   d/dt v   =   F/m   nicht in karthesischen Koordinaten, sondern in allgemeinen Koordinaten aufschreibt, so tritt auch hier die kovariante Ableitung auf. Meist verzichtet man dort darauf, um den Formalismus nicht zu überfrachten, ebenso wie in der speziellen Relativitätstheorie, da man dort normalerweise auf karthesische Koordinaten zurückgreifen kann. In der allgemeinen Relativitätstheorie ist das i.a. nicht mehr möglich, wie wir weiter unten noch sehen werden. Deshalb ist dann eine koordinaten-unabhängige (oder tensorielle) Darstellung unverzichtbar. Man sollte aber nicht vergessen: Jede physikalische Theorie kann man koordinaten-unabhängig (tensoriell) darstellen! Koordinaten sind ja nur eine willkürliche Wahl, Raumpunkte (evtl. plus Zeit) mit Zahlen zu bezeichnen.

Dass die kovariante Ableitung sich ganz automatisch ergibt, wenn man von karthesischen Koordinaten x^μ in beliebige Koordinaten ξ^μ umrechnet, kann man auch leicht selbst nachrechnen. Die Ableitung der krummlinigen Basisvektor-Komponenten ergibt dabei die Christoffelsymbole. Wir wollen uns hier diese Rechnung ersparen, da wir sie bereits in Kapitel 5.1.6 Kovariante Ableitung und Paralleltransport für einen Einbettungsraum durchgeführt haben.

Nach dieser Vorbereitung lautet unsere Bewegungsgleichung in koordinaten-unabhängiger Form:

Bewegungsgleichung in koordinaten-unabhängiger Form:   Du(γ(τ)) u(γ(τ))   =   F(γ(τ)) / m oder kurz   Du u   =   F/m   Dabei ist   u(γ(τ))   der Tangentialvektor zur Kurve   γ   im Punkt γ(τ) und F ist ein Tangentialvektorfeld, das die auf den Massenpunkt (mit Masse m) wirkende Kraft darstellt. Besonders interessant ist der Fall mit   F = 0  , also die kräftefreie Bewegung. Dann ist nämlich   Du(γ(τ)) u(γ(τ))   =   0 Ein Körper, auf den keine Kräfte einwirken, bewegt sich entlang einer geodätischen Linie. In karthesischen Koordinaten ist dies eine Gerade in der Raumzeit.

In der speziellen Relativitätstheorie sind sowohl die Metrik als auch die kovariante Ableitung über eine triviale Einbettung definiert (die Raumzeit selbst ist der Einbettungsraum, da wir in ihr karthesische Koordinaten einführen können, z.B. das Inertialsystem des äußeren Beobachters). Daher erfüllen Metrik und kovariante Ableitung automatisch die Verträglichkeitsbedinging, d.h. die Metrik legt eindeutig die kovariante Ableitung fest und die Christoffelsymbole lassen sich aus der metrischen Matrix berechnen (siehe Kapitel 5.1.9 Abstände und Winkel: die Metrik ):

  Γ ^τ_ρμ   = ∑_ν   1/2 g^τν   ( [dg_νρ/dx^μ]   +   [dg_νμ/dx^ρ]   −   [dg_ρμ/dx^ν] )

Wie wir in Kapitel 5.1.9 weiter gesehen haben, folgt aus der Verträglichkeitsbedingung weiter, dass geodätische Linien (d.h. es gilt   D_u(γ(τ)) u(γ(τ))   =   0   ) gleichzeitig auch Geodäten sind, d.h. die Bogenlänge ist um die geodätische Linie herum bei Variationen in erster Ordnung stationär (bei positiv definiter Metrik wäre die Bogenlänge z.B. minimal). Daher kann man die Bewegungskurve eines kräftefreien Körpers auch über ein Variationsprinzip finden. Bei zeitartigen Kurven (d.h. die Metrik des Tangentialvektors ist größer Null, so wie bei der Vierergeschwindigkeit eines Körpers mit Masse) ist die Bogenlänge einer Kurve (gebildet mit der Raum-Zeit-Metrik) gleich der Eigenzeit einer entlang der Kurve bewegten Uhr. Ein kräftefreier Körper bewegt sich also auf der Kurve mit extremaler Eigenzeit zwischen zwei Raum-Zeit-Punkten.

Man kann zeigen, dass in der speziellen und auch in der allgemeinen Relativitätstheorie die Eigenzeit für eine (zeitartige) Geodäte maximal ist, d.h. ein frei fallender Körper bewegt sich zwischen zwei Raum-Zeitpunkten auf einer Kurve maximaler Eigenzeit (siehe z.B. Feynman Vorlesungen über Physik, Band II Elektromagnetismus und Dtruktur der Materie, Kapitel 42 Der gekrümmte Raum ).

Im Fall der speziellen Relativitätstheorie können wir uns dies auch anschaulich klar machen. Dazu betrachten wir in einem Inertialsystem einen Raumpunkt mit festen Ortskoordinaten x und lassen dort zu einer Zeit t₁ eine kleine Uhr starten. Wir verlangen, dass diese Uhr zu einer vorgegebenen späteren Zeit t₂ wieder am Raumpunkt x ankommt. Wie muss sich die kleine Uhr bewegen, damit auf ihr eine möglichst große Zeitspanne (Eigenzeit) vergeht, während in unserem Inertialsystem die Zeitspanne t₂ − t₁ vergangen ist? Die Antwort lautet: Sie darf sich überhaupt nicht bewegen und bleibt die ganze Zeit über am Punkt x stehen. Jede Bewegung würde zu einer Geschwindigkeit führen, und auf einer bewegten Uhr vergeht die Zeit langsamer, wie wir wissen.

Wir können uns nun die ganze Situation aus einem anderen Inertialsystem heraus ansehen, das sich relativ zur ruhenden Uhr gleichförmig bewegt. Die Uhr bewegt sich in diesem Bezugssystem auf einer Raum-Zeit-Geraden zwischen den beiden Ereignissen Uhr startet und Uhr kommt an. Da die Eigenzeit, die von einer bewegten (oder ruhenden) Uhr angezeigt wird, nicht vom Bezugssystem abhängt (wie sollte sie auch), wissen wir: Die Uhr, die sich zwischen den beiden Ereignissen (Raum-Zeit-Punkten) Uhr startet und Uhr kommt an auf einer Geraden durch die Raumzeit bewegt, zeigt die längste Eigenzeit an. Jede andere Uhr, deren Bewegung von dieser Geraden abweicht, wird eine kürzere Eigenzeit anzeigen.

Genauso ist es auch, wenn wir und die Situation aus der beschleunigten Rakete heraus ansehen. In diesem beschleunigten Bezugssystem scheint die Uhr immer schneller nach unten zu fallen. Da es für die Eigenzeit auf das Bezugssystem nicht ankommt, gilt auch hier: Die Bewegungskurve der Uhr ist diejenige mit der längsten Eigenzeit zwischen vorgegebenen Ereignissen (Raum-Zeit-Punkten). Allerdings ist diese Kurve im beschleunigten Bezugssystem der Rakete keine Gerade mehr. Offenbar ist es in diesem Bezugssystem für eine maximale Eigenzeit günstiger, sich nicht auf einer Geraden zu bewegen. Auf diese Weise kann man nämlich ausnutzen, dass die Eigenzeit weiter oben schneller anwächst als weiter unten. Nach dem Äquivalenzprinzip gilt dasselbe lokal in einem Gravitationsfeld: Die Uhr bewegt sich zwischen zwei Ereignissen im freien Fall so, dass die Eigenzeit der Uhr maximal wird.

Wir wollen die Christoffelsymbole für das beschleunigte Koordinatensystem unserer Rakete explizit ausrechnen. Dazu berechnen wir zunächst die metrische Matrix in den beschleunigten Raketenkoordinaten ξ^μ, indem wir auf die Minkowski-Metrik der karthesischen Koordinaten x^μ umrechnen:

  g_μν   =   g(d/dξ^μ, d/dξ^ν)   =  
  =   ∑_ρσ   g( dx^ρ/dξ^μ   d/dx^ρ , dx^σ/dξ^ν   d/dx^σ )   =  
  =   ∑_ρσ   dx^ρ/dξ^μ   dx^σ/dξ^ν   g(d/dx^ρ, d/dx^σ)   =  
  =   dx⁰/dξ^μ   dx⁰/dξ^ν   −   ∑_i=1³   dxⁱ/dξ^μ   dxⁱ/dξ^ν

Also müssen wir zunächst die karthesischen Komponenten der Raketen-Basisvektoren   dx^ρ/dξ^μ   ausrechnen. Zur Erinnerung: Wir hatten

  x⁰   =   (L + ξ³)   sinh (ξ⁰/L)
  x³   =   (L + ξ³)   cosh (ξ⁰/L)

sowie   x¹ = ξ¹   und   x² = ξ²  . Damit ergibt sich:

  dx⁰/dξ⁰   =   (1 + ξ³/L)   cosh (ξ⁰/L)     ,       dx⁰/dξ³   =   sinh (ξ⁰/L)
  dx³/dξ⁰   =   (1 + ξ³/L)   sinh (ξ⁰/L)     ,       dx³/dξ³   =   cosh (ξ⁰/L)

und   dxⁱ/ξ^j   =   δ_ij   für i und j mit Werten im Bereich von 1 bis 2 . Für die metrische Matrix in beschleunigten Raketenkoordinaten erhalten wir damit:

  g₀₀   =   dx⁰/dξ⁰   dx⁰/dξ⁰   −   ∑_i=1³   dxⁱ/dξ⁰   dxⁱ/dξ⁰   =  
  =   (1 + ξ³/L)²   [cosh (ξ⁰/L)]²   −   (1 + ξ³/L)²   [sinh (ξ⁰/L)]²   =  
  =   (1 + ξ³/L)²

  g₀₃   =   dx⁰/dξ⁰   dx⁰/dξ³   −   ∑_i=1³   dxⁱ/dξ⁰   dxⁱ/dξ³   =  
  =   (1 + ξ³/L)   cosh (ξ⁰/L)   sinh (ξ⁰/L)   −   (1 + ξ³/L)   sinh (ξ⁰/L)   cosh (ξ⁰/L)   =   0

Für j = 1 oder 2:
  g_jj   =   dx⁰/dξ^j   dx⁰/dξ^j   −   ∑_i=1³   dxⁱ/dξ^j   dxⁱ/dξ^j   =   − 1

  g₃₃   =   dx⁰/dξ³   dx⁰/dξ³   −   ∑_i=1³   dxⁱ/dξ³   dxⁱ/dξ³   =  
  =   [sinh (ξ⁰/L)]²   −   [cosh (ξ⁰/L)]²   =   − 1

Alle anderen Matrixelemente sind Null.

Metrik bzgl. Rindler-Koordinaten in einer konstant beschleunigten Rakete: In beschleunigten Raketenkoordinaten (Rindler-Koordinaten) ist die Metrische Matrix eine Diagonalmatrix mit den Matrixelementen   (1 + ξ3/L)2 ,   − 1,   − 1,   − 1  . Wir schreiben dies als   (gμν )   =   diag (   (1 + ξ3/L)2 ,   − 1,   − 1,   − 1   ) d.h. die Metrische Matrix sieht fast aus wie in karthesischen Koordinaten (Minkowski-Metrik), nur dass die Zeitkomponente statt 1 den Wert   (1 + ξ3/L)2   hat. In beschleunigten Raketenkoordinaten ist also die Metrik   (u,v)   zweier Tangentialvektoren gegeben durch   g(u,v)   =   u0 v0 (1 + ξ3/L)2   −   u v mit   u v   =   ∑i=13   ui vi  . In Tensorschreibweise kann man die Metrik auch so darstellen:   g   =   (1 + ξ3/L)2   dξ0 ο dξ0   −   ∑i=13   dξi ο dξi

Wie können wir die metrische Matrix und damit die Koordinaten ξ^μ interpretieren?

Dazu schauen wir uns Koordinatenlinien mit konstantem   ξ   =   (ξ¹, ξ², ξ³)   und veränderlichem ξ⁰ an, d.h. ξ⁰ ist der Kurvenparameter dieser Kurven. Die Eigenzeit τ' für einen Beobachter, der sich entlang dieser Kurve bewegt, war gegeben durch

  cdτ'/dξ⁰   =   √g(dx/dξ⁰, dx/dξ⁰)   =   √g₀₀   =   1 + ξ³/L

Aus dem Matrixelement g₀₀ können wir also ablesen, dass für die Koordinatenlinie   ξ³ = 0   die Koordinate ξ⁰ gleich der Eigenzeit (mal c) der entsprechenden Bewegung ist. Für andere ξ³-Werte ist die Eigenzeit zumindest proportional zur Koordinate ξ⁰. In diesem Sinn kann man demnach die Koordinate ξ⁰ als Zeitkoordinate interpretieren: konstante ξ⁰-Werte entsprechen gleichzeitigen Ereignissen. Allerdings ist g₀₀ nicht gleich 1, so dass wir von krummlinigen Koordinaten sprechen. Zum Vergleich: bei ebenen Polarkoordinaten ist die metrische Matrix ebenfalls eine Diagonalmatrix, aber die Diagonal-Matrixelemente sind auch nicht alle gleich 1.

In jedem Raum-Zeit-Punkt kann man durch Multiplikation der ξ⁰-Koordinate die Metrik auf Minkowski-Form bringen, ohne dass die   ξ   =   (ξ¹, ξ², ξ³)   unter Beteiligung von ξ⁰ umgerechnet werden müssen (siehe den Stichpunkt nichtholonome Basisvektoren am Schluss des Kapitels). Daher repräsentieren diese drei Koordinaten direkt die räumlichen Koordinaten zum gegebenen Zeitpunkt, gesehen im momentanten Ruhe-Inertialsystem. Da die metrische Matrix in den räumlichen Koordinaten diagonal gleich 1 ist, sind die drei Koordinaten euklidische Raumkoordinaten.

Das Matrixelement g₀₀ ist das einzige Matrixelement, das von der üblichen Minkowskimetrik abweicht. Offenbar genügt es bereits, dass dieses eine Matrixelement ungleich 1 ist, um ein beschleunigtes Bezugssystem herbeizuführen -- die Raumkoordinaten können euklidisch bleiben. Nach dem Äquivalenzprinzip manifestiert sich die zu der Beschleunigung gleichwertige Gravitationswirkung also hier in diesem Matrixelement. Im Grenzwert kleiner Geschwindigkeiten kann man daher aus diesem Matrixelement das klassische Gravitationspotential ablesen (die exakte Herleitung dazu findet man in praktisch jedem Text zur allgemeinen Relativitätstheorie).

Weiter unten werden wir noch einmal im Zusammenhang mit den Riemannschen Normalkoordinaten auf die Bedeutung der Metrik und die Interpretation der Koordinaten zurückkommen. Die Frage der Interpretation ist dabei gar nicht so einfach, denn eine einfache Interpretation haben die Koordinaten nur lokal, wenn dort die Minkowski-Metrik vorliegt (denn dann befindet man sich in einem lokalen momentanen Ruhe-Inertialsystem, also im freien Fall).

Kommen wir zu den Christoffelsymbolen: In ξ^μ-Koordinaten gilt:

  Γ ^σ_ρμ   =   ∑_ν   1/2 g^σν   ( [dg_νρ/dξ^μ]   +   [dg_νμ/dξ^ρ]   −   [dg_ρμ/dξ^ν] )

Die einzigen Terme, der hierbei ungleich Null sein können, enthalten

  dg₀₀/dξ³   =   d/dξ³   (1 + ξ³/L)²   =   2 (1 + ξ³/L) / L

denn alle anderen Ableitungen sind Null. Mit Hilfe der Kronecker-Symbole können wir daher schreiben:

  Γ ^σ_ρμ   =  
  =   ∑_ν   1/2 g^σν   ( [dg_νρ/dξ^μ]   +   [dg_νμ/dξ^ρ]   −   [dg_ρμ/dξ^ν] )   =  
  =   ∑_ν   1/2 g^σν   2 (1 + ξ³/L) / L   ( δ_{ν 0} δ_{ρ 0} δ_{μ 3}   +   δ_{ν 0} δ_{μ 0} δ_{ρ 3}   −   δ_{ρ 0} δ_{μ 0} δ_{ν 3} )   =  
  =   (1 + ξ³/L) / L   ( g^{σ 0} δ_{ρ 0} δ_{μ 3}   +   g^{σ 0} δ_{μ 0} δ_{ρ 3}   −   g^{σ 3} δ_{ρ 0} δ_{μ 0} )

Die inverse metrische Matrix   g^σν   ist eine Diagonalmatrix mit den Kehrwerten der Diagonalelemente von   g_σν  . Daher sind die einzigen nicht-verschwindenden Christoffelsymbole die Folgenden:

  Γ ⁰_{0 3}   =   Γ ⁰_{3 0}   =   (1 + ξ³/L) / L   g^{0 0}   =   (1 + ξ³/L) / (L (1 + ξ³/L)²)   =   1 / (L + ξ³)
  Γ ³_{0 0}   =   − (1 + ξ³/L) / L   g^{3 3}   =   (L + ξ³) / L²

Die kräftefreie Bewegungsgleichung   (D_u u)^ρ   =   0   in diesen Raketen-Koordinaten lautet (wobei wir die Argumente γ(τ) weglassen und   u^ρ   =   dξ^ρ/dτ   sowie   u(γ(τ)) u^ρ   =   du^ρ(γ(τ))/dτ   =   d²ξ^ρ(γ(τ))/dτ ²;   verwenden:

  d²ξ^ρ/dτ ²     +   ∑_μν   dξ^μ/dτ   Γ ^ρ_νμ   dξ^ν/dτ   =   0

Achtung: τ ist hier die Eigenzeit für die Bewegungskurve, muss also nicht proportional zu ξ⁰ sein! Setzen wir hier die obigen Christoffelsymbole ein, so erhalten wir:

  d²ξ⁰/dτ ²     +   2/(L + ξ³)   dξ⁰/dτ     dξ³/dτ   =   0
  d²ξ³/dτ ²     +   (L + ξ³)/L²   (dξ⁰/dτ)²   =   0
  d²ξ¹/dτ ²     =   d²ξ²/dτ ²     =   0

Wenn wir beispielsweise im Ursprungspunkt der Rakete ( ξⁱ = 0 , i = 1, 2, 3) ein Objekt in der Rakete fallen lassen, so dass im Moment des Loslassens   dξⁱ/dτ = 0   ist, so gilt in diesem Moment
  d²ξ⁰/dτ ²   =   0     →   wir können für diesen Moment   ξ⁰ = cτ   setzen und erhalten für die zweite Gleichung
  d²ξ³/dτ ²     +   c²/L     =   0     →     d²ξ³/dτ ²   =   − g
Das hatten wir auch nicht anders erwartet, denn ein frei fallender Körper, den man im Ursprungspunkt der Rakete loslässt, sollte kurz nach dem Loslassen aus Sicht der Rakete mit g nach unten beschleunigen. Das beschleunigte Bezugssystem wirkt sich also auf frei fallende Körper tatsächlich genau wie die Gravitation aus! Verfolgen wir die Rechnung zurück, so stammt die Beschleunigung g vom Christoffelsymbol   Γ ³_{0 0}  , das wiederum die Ableitung von g₀₀ nach ξ³ enthält. In nichtrelativistischen Grenzfall enthält g₀₀ das Gravitationspotential, und der Gradient dieses Potentials ergibt die Beschleunigung -- genau das sehen wir hier! Man kann den nichtrelativistischen Grenzfall natürlich noch viel allgemeiner untersuchen. Da dies aber in fast allen Texten zur allgemeinen Relativitätstheorie ausführlich geschieht, wollen wir hier darauf verzichten.

Gravitation, Äquivalenzprinzip und Krümmung:

Nach dem Einsteinschen Äquivalenzprinzip kann man in einem hinreichend kleinen Raumbereich nicht unterscheiden, ob ein Gravitationsfeld wirkt oder ob man sich einfach nur in einem beschleunigten Bezugssystem (einer Rakete) befindet. Oben hatten wir gesehen, dass bei einem beschleunigten Bezugssystem die metrische Matrix nicht identisch ist mit der Minkowski-Matrix. Daher sprachen wir auch von krummlinigen Koordinaten. Wir gehen deshalb davon aus, dass wir krummlinige Koordinaten mit einer entsprechenden metrischen Matrix brauchen, wenn wir ein Bezugssystem mit Gravitation beschreiben wollen, in dem frei fallende Körper beschleunigt erscheinen.

Wir wollen sogar beliebige krummlinige Koordinaten zulassen und die Naturgesetze in koordinaten-unabhängiger Form (gleichbedeutend mit tensorieller Form) formulieren, so dass wir problemlos zwischen allem möglichen Bezugssystemen hin- und herwechseln können. Dabei haben diese Koordinaten normalerweise nicht mehr eine direkte Bedeutung als Raum- oder Zeitkoordinate. Man könnte sich z.B. vorstellen, dass sich vier Uhren auf irgendwelchen Bahnen durch Raum und Zeit bewegen und dabei ständig ihre Uhrzeit per Radiosinal in die Welt hinausfunken. Bewegt sich nun ein Empfänger auf einer Bahn   γ(τ)   durch den Weltraum (τ ist dabei die Eigenzeit, die die Uhr des Empfängers anzeigt), so kann man die vier Uhrzeiten, die der Empfänger zur Eigenzeit τ empfängt, als die vier Koordinaten des Punktes   γ(τ)   definieren. Diese Idee ist keineswegs rein theoretisch: das Global Positioning System (GPS) arbeitet genau nach diesem Prinzip!

Global Positioning System (GPS), Quelle: Wikimedia Commons File:Navstar-2.jpg,
Quelle dort: http://www.afrl.af.mil/images_satellites.asp, demnach Public Domain.

Wenn wir beliebige Koordinaten zulassen, so müssen wir etwas über die Christoffelsymbole bzw. die metrische Matrix in diesen Koordinaten aussagen, um z.B. die Bahn eines frei fallenden Objektes bestimmen zu können. Die Grundlage dafür liefert die folgende Umformulierung des Einsteinschen Äquivalenzprinzips:

• Einsteins Äquivalenzprinzip (Wiederholung):
  Die physikalischen Gesetze gelten in allen im freien Fall befindlichen Systemen, sofern diese hinreichend klein sind, in der gleichen Form. Wählt man lokal ein Raum-Zeit-Koordinatensystem, das einem im freien Fall befindlichen Raumschiff entspricht, so gelten darin lokal die Gesetze der speziellen Relativitätstheorie, d.h. im Raumschiff herrscht Schwerelosigkeit.

Wenn wir also von der Beschreibung der Gravitation durch krummlinige Raum-Zeit-Koordinaten ausgehen, so muss es in jedem Punkt lokal möglich sein, neue Koordinaten so einzuführen, dass dort die Christoffelsymbole verschwinden und dass die metrische Matrix in diesem Punkt die Minkowski-Matrix aus der speziellen Relativitätstheorie ist. Mathematisch bedeutet das, dass auf der Raum-Zeit-Mannigfaltigkeit eine Metrik mit entsprechenden Vorzeichen der Eigenwerte existiert -- dies ist eine koordinaten-unabhängige Eigenschaft der Metrik! Bei unserer Konvention muss es einen Eigenwert mit positivem Vorzeichen und drei Eigenwerte mit negativem Vorzeichen geben. Außerdem müssen die ersten Ableitungen der Metrik in p verschwinden, damit die Christoffelsymbole gleich Null sind.

Man kann in der Differentialgeometrie zeigen, dass es generell möglich ist, Koordinaten so einzuführen, dass die metrische Matrix in einem beliebig vorgegebenem Punkt p eine Diagonalmatrix mit   1-en   oder   − 1-en   in der Diagonalen ist (man nennt dies die kanonische Form der Matrix). Man nennt diese Koordinaten Riemannsche Normalkoordinaten zu einem Punkt p. In unserem Fall hat die metrische Matrix in diesen Koordinaten im Punkt p (und nur dort!) die Form der Minkowski-Matrix. Zusätzlich kann man erreichen, dass die Ableitungen der metrischen Matrixelemente nach den Riemannschen Normalkoordinaten (nennen wir sie ξ^μ ) im Punkt p verschwinden:   dg_μν/dξ^σ|_p   =   0   , so dass wie gefordert die Christoffelsymbole im Punkt p verschwinden -- die Ableitungen der Chrisoffelsymbole dagegen verschwinden nicht unbedingt (siehe z.B. Sean M. Carroll: Lecture Notes on General Relativity, Kapitel 2: Manifolds, http://pancake.uchicago.edu/~carroll/notes/ ). Dies ist gemeint, wenn man davon spricht, ein lokales Inertialsystem (also ein frei fallendes Bezugssystem) zu verwenden. Es gibt mehrere Riemannsche Normalkoordinaten in einem Punkt, da eine Poincaretransformation die Minkowski-Matrix ja invariant lässt, wie wir aus der speziellen Relativitätstheorie wissen. Es gibt also in einem Punkt p mehrere dort lokal frei fallende Bezugssysteme, die sich durch eine Poincaretransformation ineinander umrechnen lassen. Sie entsprechen dem freien Fall durch das Ereignis p mit verschiedenen Geschwindigkeiten.

Bei den Rindler-Koordinaten der beschleunigten Rakete war es möglich, eine Transformation zurück in die karthesischen Koordinaten des äußeren Beobachters durchzuführen und so in jedem Punkt zugleich die metrische Matrix in ihre kanonische Form zu überführen. Dies spiegelt wieder, dass wir uns in der Raumzeit der speziellen Relativitätstheorie befinden, in der es keine Gravitation gibt.

Wenn wir dagegen die Raumzeit mit Gravitation betrachten, so können wir uns zwar in ein kleines frei fallendes Raumschiff setzen und so lokal in diesem Raumschiff Schwerelosigkeit erreichen (das Raumschiff könnte z.B. einen Planeten umkreisen). Wir sehen jedoch, dass weiter weg sich andere frei fallende Objekte (z.B. Monde oder andere Planeten) relativ zu unserem Raumschiff in einer beschleunigten Bewegung befinden. Lokal in unserem Raumschiff wird daher die Metrik sich auf kanonische Form bringen lassen, so dass frei fallende Objekte im Raumschiff nicht beschleunigt werden. Weiter weg weicht die Metrik jedoch im Allgemeinen immer mehr von der kanonischen Form ab und verwandelt sich in die Metrik beschleunigter Bezugssysteme, in der frei fallende Objekte relativ zum Raumschiff beschleunigen. Es wird daher nicht mehr möglich sein, überall in der Raumzeit zugleich karthesische Minkowski-Koordinaten einzuführen!

In der Kyoto-Vorlesung (Dezember 1922) erinnert er sich Albert Einstein (siehe z.B. unter http://www.tu-harburg.de/rzt/rzt/it/Einstein_Mann/node6.html ):

• Sind alle beschleunigten Systeme äquivalent, dann kann nicht in ihnen allen die euklidische Geometrie gelten. Die Geometrie aufzugeben und die physikalischen Gesetze beizubehalten, entspricht der Beschreibung von Gedanken ohne Worte. Wir müssen nach Worten suchen, ehe wir Gedanken darstellen können. Wonach müssen wir nun an dieser Stelle suchen? Dieses Problem blieb für mich bis 1912 unlösbar, als ich plötzlich erkannte, daß der Schlüssel zur Lösung des Mysteriums in der Gaußschen Flächentheorie zu finden war. Wie ich erkannte, haben die Gaußschen Flächenkoordinaten eine besondere Bedeutung. Allerdings wußte ich damals noch nicht, daß Riemann die Grundlage der Theorie in noch gründlicherer Weise untersucht hatte.

Einstein erkannte also den obigen Zusammenhang und suchte nach einer passenden mathematischen Sprache. Er fand diese im Formalismus der Riemannschen Geometrie, auf die wir in den letzten Kapiteln 5.1 (Gekrümmte Räume -- über die Grundlagen der Differentialgeometrie) detailliert eingegangen sind, und die wir auch bei der beschleunigten Rakete oben bereits angewendet haben.

In Kapitel 5.1.8 Krümmung haben wir den Begriff der Krümmung kennengelernt. Dabei sind wir auf einen sehr interessanten Zusammenhang gestoßen:

• Man kann genau dann im überall karthesischer Koordinaten einführen, wenn die Krümmung überall gleich Null ist. Die Christoffelsymbole sind dann gleich Null, d.h. der affine Zusammenhang ist affin-flach. Voraussetzung ist, dass die Torsion Null ist (was wir in der allgemeinen Relativitätstheorie allgemein voraussetzen, da wir sie nicht brauchen -- die Christoffelsymbole sind dann symmetrisch in den unteren beiden Indices, so wie dies auch oben bei den Raketenkoordinaten der Fall war).

Dieser Zusammenhang gibt uns ein Kriterium an die Hand, das uns sagt, wann wir im gesamten Raum ein frei fallendes Inertialsystem einführen können, und wann nicht. Im ersten Fall haben wir einen Raumzeit ohne Gravitation, im zweiten Fall dagegen eine Raumzeit mit Gravitation, so wie sie beispielsweise ein Planet erzeugt. Wir können daher vermuten:

• Gravitation liegt in der Raumzeit genau dann vor, wenn die Krümmung der Raumzeit ungleich Null ist.

Wie die Krümmung der Raumzeit durch die darin vorhandene Materieverteilung festgelegt wird, ist in den Einsteinschen Feldgleichungen beschrieben, die wir uns im nächsten Kapitel genauer ansehen werden.

Man könnte natürlich fragen: was ist denn mit einem Gravitationsfeld, das keine Krümmung besitzt, weil es z.B. überall gleich ist (oder zumindest eine Metrik wie in der beschleunigten Rakete aufweist)? Ein solches Gravitationsfeld kann nicht durch Materie erzeugt werden, denn nach den Einsteinschen Feldgleichungen beeinflusst eine Materieverteilung nur die Krümmung, nicht aber direkt die Metrik (nur indirekt über die Krümmung). Daher ist ein solches Gravitationsfeld unphysikalisch. Außerdem können wir bei verschwindender Krümmung überall zugleich karthesische Minkowski-Koordinaten einführen, d.h. es gibt ein globales frei fallendes Bezugssystem, in dem man überall keine Gravitation mehr spürt. Daher wäre ein solches Gravitationsfeld gleichwertig zu gar keiner Gravitation. Man sieht hier, dass Gravitation nicht mehr als Kraftfeld beschrieben wird. Gravitation bedeutet vielmehr die Unmöglichkeit, ein globales Bezugssystem zu finden, in dem sich alle frei fallenden Objekte unbeschleunigt bewegen. Bei Gravitation gibt es kein globales Inertialsystem mehr! Nur so kann man vorgehen, wenn man das Einsteinsche Äquivalenzprinzip voraussetzt, denn dann kann man lokal Gravitationswirkung und Beschleunigung eines Bezugssystems nicht mehr unterscheiden -- es gibt schließlich kein Referenzobjekt, das nicht der Gravitation unterliegt. Daher kann man auch keine durch die Gravitation erzeugte Beschleunigung mehr definieren, denn sie unterscheidet sich nicht von einer normalen Beschleunigung. Ein frei fallendes Bezugssystem ist lokal ununterscheidbar von einem unbeschleunigten Bezugssystem -- daher fühlen sich die Astronauten in einem antriebslosen, um die Erde kreisenden Raumschiff auch völlig schwerelos. Gravitation bewirkt, dass man nicht überall zugleich in ein globales nicht-beschleunigtes Bezugssystem wechseln kann. In diesem Sinne ist der Gravitationsbegriff in der allgemeinen Relativitätstheorie ein anderer als in der Newtonschen Physik (daher gerät man auch in gewisse Schwierigkeiten, wenn man zugleich beide Gravitationsbegriffe verwendet).

Interpretation der Raumzeit-Koordinaten, Gleichzeitigkeit und räumliche Abstände:

Man zahlt einen Preis für die elegante Beschreibung der Gravitation durch die gekrümmte Raumzeit: Begriffe, die man in der speziellen Relativitätstheorie noch definieren konnte, sind in der allgemeinen Relativitätstheorie nicht mehr so einfach definierbar, da sie ein globales Inertialsystem voraussetzen. Ein Beispiel sind Geschwindigkeiten, die in unserem Formalismus durch Tangentialvektoren dargestellt werden. Man kann die Geschwindigkeit zweier weit voneinander entfernter Objekte bei vorhandener Gravitation nicht direkt miteinander vergleichen, denn zum Vergleich benötigt man wieder den Paralleltransport des einen Vektors hin zum anderen Vektor, und dieser Paralleltransport ist wegabhängig. Daher kann man nicht so einfach angeben, wie schnell sich das eine Objekt relativ zum anderen Objekt bewegt.

Ein anderes Beispiel ist die Interpretation der Raum-Zeit-Koordinaten. Nur dort, wo die metrische Matrix in diesen Koordinaten die Minkowski-Matrix ist, kann man diese Koordinaten als getrennte Raum- und Zeitkoordinaten interpretieren. Da man aber bei Gravitation nicht überall zugleich ein solches Koordinatensystem einführen kann, ist diese Interpretation i.a. nur lokal möglich. Schauen wir uns dazu einige Details an (eine ausführliche Darstellung dazu findet man z.B. in Landau, Lifschitz: Lehrbuch der theoretischen Physik, Band II: Klassische Feldtheorie, Kapitel X Teilchen im Gravitationsfeld, §84 Entfernungen und Zeitintervalle ).

Oben hatten wir bereits den Zusammenhang zwischen der zeitartigen Koordinate x⁰ und der Eigenzeit τ für eine Bewegung entlang der x⁰-Koordinatenline kennengelernt (d.h. τ ist hier die Zeit, die eine Uhr anzeigt, die sich bei konstanten räumlichen Koordinaten xⁱ befindet). Leiten wir diesen Zusammenhang noch einmal kurz her: die Eigenzeit τ war dadurch definiert, dass für den zugehörigen Tangentialvektor u entlang einer durch τ parametrisierten Kurve die Normierungsbedingung   g(u,u) = c²   gefordert wird. In x^μ-Koordinaten bedeutet das:
  g(u,u)   =   ∑_μν   dx^μ/dτ   dx^ν/dτ   g_μν   =   c²  
Für die Bewegung entlang der x⁰-Koordinatenline ist für die räumlichen Koordinaten   dxⁱ/dτ = 0   , so dass die obige Gleichung sich zu   (dx⁰/dτ)²   g₀₀   =   c²   vereinfacht. Wir sehen hier, dass   g₀₀ > 0   sein muss, damit sich die x⁰-Koordinate überhaupt zur Parametrisierung einer zeitartigen Bahnkurve (d.h.   g(u,u) > 0   ) eignet. Die Zusatzforderung   dx⁰/dτ > 0   ermöglicht das Wurzelziehen mit dem Ergebnis

Zusammenhang zwischen Eigenzeit und x0-Koordinate für eine Weltlinie mit konstanten räumliche Koordinaten (x0-Koordinatenlinie):   cdτ/dx0   =   √ g00

(diese Formel hatten wir oben für die Raketenkoordinaten ξ^μ bereits angegeben). Wir sehen also: nur wenn in den gewählten Koordinaten   g₀₀ = 1   gilt, ist die zeitartige Koordinate x⁰ auch die Zeit, die am Ort fester räumlicher Koordinaten xⁱ vergeht. Im Allgemeinen jedoch laufen Uhren an verschiedenen Raumpunkten unterschiedlich schnell, d.h. sie bleiben nicht synchron. Das kennen wir bereits von der beschleunigten Rakete.

Wie sieht es mit dem Begriff des räumlichen Abstands zweier gleichzeitiger Ereignise aus? Schon in der speziellen Relativitätstheorie hängt dieser Begriff vom Bezugssystem ab. In der allgemeinen Relativitätstheorie kann man versuchen, über lokale Betrachtungen die Begriffe der speziellen Relativitätstheorie in die allgemeine Relativitätstheorie herüberzuretten. Schauen wir uns das genauer an:

Für die Definition des räumlichen Abstands müssen wir in einem Bezugssystem einen Lichtblitz aussenden, der eine winzige Strecke läuft und dann zum Ausgangspunkt zurückgespiegelt wird. Das Spiegelungsereignis wollen wir in unserem Bezugssystem mit den festen Koordinaten x^μ bezeichnen. Das Ereignis Lichtblitz erzeugen soll mit den Koordinaten   x^μ + dx₁^μ   bezeichnet werden, das Ereignis Lichtblitz wieder empfangen soll entsprechend mit den Koordinaten   x^μ + dx₂^μ   bezeichnet sein. Die Schreibweise dx₁^μ und dx₂^μ soll andeuten, dass es sich um sehr eng beeieinanderliegende Ereignisse handelt, so dass wir näherungsweise davon ausgehen können, dass die Begriffe der speziellen Relativitätstheorie anwendbar sind -- die Koordinaten müssen allerdings nicht unbedingt karthesische Minkowskikoordinaten sein. Der Lichtblitz soll an denselben räumlichen Koordinaten empfangen werden, an denen er auch ausgesendet wurde, so wie wir das von oben aus der speziellen Relativitätstheorie her kennen. Wir setzen also   dx₁ⁱ = dx₂ⁱ =: dxⁱ   für i = 1, 2, 3 . Die folgende Grafik stellt die Weltlinien des Lichtblitzes (rot), des im Bezugssystem ruhenden Sende- und Empfangsgerätes sowie des im Bezugssystem ruhenden Spiegels (blau) dar:

Da die Ereignisse über einen Lichtblitz miteinander verbunden sind, gilt   ∑_μν   g_μν dx_k^μ dx_k^ν   =   0   (mit k = 1 und 2; die Ereignisse sollen so nahe benachbart sein, dass wir die metrischen Matrixelemente in erster Näherung als konstant betrachten können). Getrennt nach räumlichen Koordinaten xⁱ und zeitlicher Koordinate x⁰ ergibt das (unter Verwendung der Symmetrie der metrischen Matrix):

  ∑_ij   g_ij dxⁱ dx^j   +   2 ∑_i   g_0i dx_k⁰ dxⁱ   +   g₀₀ dx_k⁰ dx_k⁰   =   0

Dies ist eine quadratische Gleichung für dx_k⁰ mit den beiden Lösungen

  dx_1/2⁰   =   − ∑_i   g_0i / g₀₀   dxⁱ   ±   [ ( ∑_i   g_0i / g₀₀   dxⁱ )²   −   ∑_ij   g_ij / g₀₀ dxⁱ dx^j ]^1/2

Die beiden Lösungen entsprechen den beiden Zeitabschnitten für Hin- und Rückweg des Lichtblitzes. Das sieht man beispielsweise, wenn man Riemannsche Normalkoordinaten verwendet, so dass die metrische Matrix im Punkt x^μ gleich der Minkowski-Matrix ist. In diesem Fall ist nämlich   dx_1/2⁰   =     ±   [ −   ∑_i   (−1) dxⁱ dxⁱ ]^1/2   =     ± |dx|   , so wie man das auch erwartet. Hat man dagegen ein anderes Bezugssystem, in dem die Matrixelemente   g_0i   , die räumliche und zeitliche Koordinaten mischen, nicht verschwinden, so entsprechen Hin- und Rückweg nicht unbedingt gleich großen Intervallen in der Koordinate x⁰ . Das deutet bereits an, dass die Koordinate x⁰ in einem solchen Bezugssystem nur eingeschränkt als Zeitkoordinate interpretierbar ist.

Schauen wir uns die Differenz der Koordinaten zwischen empfangendem und sendendem Ereignis an:   (x^μ + dx₂^μ)   −   (x^μ + dx₁^μ)   . Wegen   dx₁ⁱ = dx₂ⁱ =: dxⁱ   ist diese Differenz für die räumlichen Koordinaten gleich Null -- so war das Ganze ja auch konstruiert, denn der Lichtblitz soll ja in unserem Bezugssystem an derselben Stelle gesendet und empfangen werden. Für die zeitliche Koordinate ergibt sich die Differenz

  dx₂⁰   −   dx₁⁰   =   2 [ ( ∑_i   g_0i / g₀₀   dxⁱ )²   −   ∑_ij   g_ij / g₀₀ dxⁱ dx^j ]^1/2  

Dies ist allerdings noch nicht die Zeit τ, die am Sende-Ort mit festen räumlichen Koordinaten zwischen Senden und Empfangen des Lichtblitzes abläuft. Von oben wissen wir, dass für diese Zeit   cdτ/dx⁰   =   √ g₀₀   gilt, oder nach dτ freigestellt:   dτ   =   √ g₀₀   dx⁰/c   . Die Zeit zwischen Senden und Empfangen des Lichtblitzes ist demnach gegeben durch   dτ   =   √ g₀₀   (dx₂⁰   −   dx₁⁰) / c   . In dieser Zeit läuft der Lichtstrahl zum Spiegelungspunkt und wieder zurück. Daher definieren wir den räumlichen Abstand dl zum Spiegelungspunkt als c mal die halbe Laufzeit hin und zurück:

  dl   =   c/2   √ g₀₀     (dx₂⁰   −   dx₁⁰) / c   =  
        =   √ g₀₀   [ ( ∑_i   g_0i / g₀₀   dxⁱ )²   −   ∑_ij   g_ij / g₀₀ dxⁱ dx^j ]^1/2   =  
        =   [ ( ∑_i   g_0i dxⁱ )² / g₀₀   −   ∑_ij   g_ij dxⁱ dx^j ]^1/2   =  
        =   [ ∑_ij   ( g_0i g_0j / g₀₀   −   g_ij )   dxⁱ dx^j ]^1/2   =:  
        =:   [ ∑_ij   γ_ij   dxⁱ dx^j ]^1/2

Halten wir fest:

Definition des räumlichen Abstands zweier eng benachbarter gleichzeitiger Ereignisse in einem Bezugssystem:   dl   =   [ ∑ij   γij   dxi dxj ]1/2 Dabei bezeichnen wir     γij   :=   g0i g0j / g00   −   gij     als dreidimensionalen räumlichen metrischen Tensor. Wenn die raum-zeitlichen metrischen Matrixelemente   g0i   im betrachteten Bezugssystem verschwinden, so wird der dreidimensionale räumliche metrische Tensor wieder allein durch die räumlichen metrischen Matrixelemente bestimmt:   γij = − gij   .

Kann man nun über den infinitesimalen Abstand hinausgehen und den räumlichen Abstand zweier weiter voneinander entfernter gleichzeitiger Ereignisse definieren? Dazu müsste man dl entlang einer raumartigen Kurve zwischen den beiden Ereignissen aufintegrieren. Nun ist aber die Metrik g_μν im Allgemeinen abhängig von x⁰. Das Integral über dl ist daher normalerweise abhängig von der Kurve, entlang der integriert wird, so dass der Abstandsbegriff wegabhäbgig wäre. Nur wenn die Metrik g_μν nicht von x⁰ abhängt, kann man in einem entsprechenden Bezugssystem auch über das Infinitesimale hinaus einen räumlichen Abstandsbegriff definieren. Wenn man ein Bezugssystem finden kann, in dem die metrische Matrix g_μν unabhängig von x⁰ ist, so nennt man das Gravitationsfeld zeitunabhängig und man bezeichnet x⁰ auch als Weltzeit, wobei diese Weltzeit nicht identisch ist mit der Eigenzeit, die auf einer Uhr bei festen räumlichen Koordinaten abläuft (siehe z.B. Landau, Lifschitz: Lehrbuch der theoretischen Physik, Band II: Klassische Feldtheorie, §88 Das zeitunabhängige Gravitationsfeld ). Ein zeitunabhängiges Gravitationsfeld kann nur entstehen, wenn nur ein einziger gravitationserzeugender Körper vorhanden ist.

Man kann den obigen Gedankengang auch dazu verwenden, um den Begriff der Gleichzeitigkeit für eng beieinanderliegende Ereignisse zu definieren. So kann man am Sende- und Empfangsort diejenige Uhrzeit als gleichzeitig zum Zeitpunkt des Spiegelungsereignisses ansehen, die genau zwischen Sende- und Empfangszeit liegt. Das Spiegelungsereignis hatte die Raum-Zeit-Koordinaten x^μ. Am Sende- und Empfangsort mit räumlichen Koordinaten   xⁱ + dxⁱ   ist die Zeitkoordinate genau zwischen Sende- und Empfangszeit gegeben durch

  x⁰   +   (dx₁⁰ + dx₂⁰) / 2   =     x⁰   −   ∑_i   g_0i / g₀₀   dxⁱ

Das bedeutet:

Gleichzeitigkeit infinitesimal benachbarter Ereignisse in einem Bezugssystem: Die infinitesimal benachbarten Ereignisse   (x0, x)     (Spiegelungsereignis) und   (x0   −   ∑i   g0i / g00   dxi   ,   x + dx)     (am Sende- und Empfangsort genau zwischen Sende- und Empfangszeitpunkt) betrachten wir als gleichzeitig.

Man kann auf diese Weise nun entlang einer raumartigen Linie Uhren synchronisieren. Aber: wenn man eine geschlossene Kurve betrachtet und an den Ausgangspunkt zurückkehrt, so kann man so nicht alle Uhren synchronisieren: irgendwo gibt es einen Zeitsprung. Man kann in einem Bezugssystem nur dann in einem Raumbereich an allen Punkten die Uhren synchronisieren, wenn die Matrixelemente   g_0i   dort überall gleich Null sind. In diesem Fall zeigt die Formel oben nämlich, dass gleiche x⁰-Koordinaten auch gleichzeitige Ereignisse kennzeichnen. Wie schon in der speziellen Relativitätstheorie hängen alle diese Aussagen natürlich vom jeweiligen Bezugssystem (Koordinatensystem) ab. Daher sind diese Aussagen Eigenschaften von Bezugssystemen, nicht Eigenschaften der Raumzeit. Es gilt sogar:

Man kann immer (sogar auf unendlich verschiedene Weisen) Bezugssysteme und damit Koordinaten finden, in denen die Matrixelemente   g0i   tatsächlich gleich Null sind. In solchen Fällen kann man die x0-Koordinate zumindest im Sinne der Gleichzeitigkeit als Zeitkoordinate ansehen (wenn auch die Eigenzeit lokal positionierter Uhren schneller oder langsamer laufen kann, abhängig von g00 ). Gleichzeitige Ereignisse haben dieselbe x0-Koordinate.

Wenn dann zusätzlich noch die metrischen Matrixelemente unabhängig von x⁰ sind (was nicht immer geht), dann kann man auch den räumlichen Abstand gleichzeitiger Ereignisse wie oben angegeben definieren. Man spricht von einem statischen Gravitationsfeld -- das ist also ein zeitunabhängiges Gravitationsfeld, in dem zusätzlich   g_0i = 0   gilt. Ein solches Gravitationsfeld entsteht dann, wenn nur ein einziger gravitationserzeugender Körper vorhanden ist, der zusätzlich noch im betrachteten Bezugssystem ruht (auch nicht rotiert). Ein rotierender achsensymmetrischer Körper dagegen erzeugt ein zeitunabhängiges Gravitatiosnfeld, in dem die   g_0i   i.a. nicht Null sind -- man spricht von einem stationären Gravitationsfeld. In einem solchen zeitunabhängigen Gravitationsfeld kann man im gesamten Raum Uhren nicht überall zugleich synchronisieren!

Noch eine Randbemerkung: Interessant ist in diesem Zusammenhang der sogenannte Vielbein-Formalismus, bei dem man vier Basis-Tangentialvektorfelder (auch co-moving tetraed oder mitbewegtes Vielbein genannt) so wählt, dass die Metrik zwischen ihnen in jedem Punkt der Minkowski-Metrik entspricht, und dann durchgehend in dieser Basis rechnet. Man rechnet also an jedem Punkt zugleich in einem lokal definierten frei fallenden Inertialsystem. Die entsprechenden Kurvenparameter (die Tangentialvektoren sind ja in jedem Punkt über Kurven definiert) in einem jeden Punkt kann man daher genau dort als Orts- und Zeitangaben interpretieren. Allerdings sind die Basisvektoren nicht holonom, d.h. die Lie-Klammer zwischen ihnen ist nicht unbedingt gleich Null. Aus Kapitel Kapitel 5.1.7 Torsion wissen wir, dass sich dann infinitesimale Parallelogramme i.a. nicht schließen. Daher lassen sich die Kurven nicht zu einem globalen Koordinatennetz zusammensetzen.
Ein Beispiel: Auf der zweidimensionalen Kugeloberfläche bilden die Kugelkoordinatenwinkel θ (Breitengrade) und φ (Längengrade) ein krummliniges Koordinatensystem. Die Metrik in diesen Koordinaten lautet
  g   =   dθ ο dθ   +   (sin θ)² dφ ο dφ  
Anschaulich bedeutet das, dass man entlang der φ-Linien nach Osten umso langsamer ist, je näher man sich am Pol befindet. Man kann nun aber den Faktor   sin θ   in nicht-holonome Basisvektoren hineindefinieren:   ω^φ   :=   (sin θ) dφ   für den Cotangential-Basisvektor und entsprechend   X_φ   :=   1/(sin θ) d/dφ   für den Tangential-Basisvektor, so dass   ω^φ X_φ   =   1   ist und wir für die Metrik
  g   =   dθ ο dθ   +   ω^φ ο ω^φ  
haben. Anschaulich bedeutet das, dass wir nun auch in φ-Richtung (nach Osten) immer gleich schnell laufen. Den entsprechenden Kurvenparameter nennen wir   λ := (sin θ) φ  . Leider können wir aber λ und θ nicht als Koordinaten auf der Kugeloberfläche verwenden, denn wenn wir in θ-Richtung nach Süden laufen, so bleibt dabei   λ   i.a. nicht konstant. Von einer Koordinatenlinie verlangen wir aber, dass sich entlang dieser Linie nur die eine zugehörige Koordinate ändert. Entsprechend gilt für die Lie-Klammer:

  [ d/dθ , X_φ ]   =   d/dθ 1/(sin θ) d/dφ   −   1/(sin θ) d/dφ d/dθ   =  
  =   − (cos θ)/(sin θ)² d/dφ   =   − (cot θ) X_φ

d.h. sie ist ungleich Null.
Analog kann man auch bei unseren Raketenkoordinaten oben vorgehen und   ω⁰   :=   (1 + ξ³/L) dξ⁰   sowie   X₀   :=   1/(1 + ξ³/L) d/dξ⁰   definieren. Der entsprechende Kurvenparameter ist dann die lokal vergehende Eigenzeit τ'. Aber: τ' und die räumlichen ξⁱ bilden kein Koordinatensystem, denn in ξ³-Richtung ändert sich τ'. In der Praxis erweist sich das Rechnen in nicht-holonomer Basis mit einfacher konstanter Minkowskimetrik oft als günstig. Man muss allerdings erst einmal beispielsweise die Krümmung auf diese Basis umrechnen. Den entsprechenden Formalismus bezeichnet man auch als Cartan-Formalismus.

Formulierung von Naturgesetzen in der gekrümmten Raumzeit:

Wie formuliert man nun Naturgesetze, beispielsweise die Bewegungsgleichung von frei fallenden Körpern, in der Raumzeit mit Gravitation? Da nach dem Äquivalenzprinzip alle Naturgesetze von der Gravitation betroffen sind, müssen wir diese in dem obigen Rahmen so formulieren, dass das Äquivalenzprinzip gilt: Die physikalischen Gesetze müssen in allen im freien Fall befindlichen Systemen, sofern diese hinreichend klein sind, in der gleichen Form gelten.

Nehmen, wir an, wir kennen ein Naturgesetz aus der speziellen Relativitätstheorie. Am Einfachsten ist es, wenn wir zunächst dieses Gesetz in eine koordinatenfreie (oder tensorieller) Form bringen, so dass es auch in krummlinigen (z.B. beschleunigten) Koordinaten gilt. Dazu ersetzen wir beispielsweise Richtungsableitungen durch kovariante Ableitungen in die entsprechende Tangentialvektorrichtung. Dies haben wir oben für die Bewegungsgleichung eines frei fallenden Massenpunktes bereits getan. In dieser Form können wir das Gesetz sofort in die allgemeine Relativitätstheorie übertragen. Im Grenzfall verschwindender Krümmung ergibt sich so automatisch wieder das Gesetz aus der speziellen Relativitätstheorie.

Wenn man in der speziellen Relativitätstheorie ein Naturgesetz in koordinatenunabhängiger Form formuliert hat und dieses in die allgemeine Relativitätstheorie überträgt, so kann man allerdings anschließend noch Terme hinzufügen, die den Riemannschen Krümmungstensor enthalten (dieser enthält erste Ableitungen der Christoffelsymbole und wegen der Verträglichkeitsbedingung dann zweite Ableitungen der metrischen Matrix). Im Grenzfall verschwindender Gravitation oder bei so kleinen Raumbereichen, dass die Krümmung keine Rolle spielt und der Raum flach erscheint, erhält man so wieder das ursprüngliche Gesetz aus der speziellen Relativitätstheorie. Das Äquivalenzprinzip würde in dieser Interpretation also lediglich fordern, dass im Grenzfall verschwindender Krümmung die allgemeine in die spezielle Relativitätstheorie übergeht. Man kann das Äquivalenzprinzip auch schärfer interpretieren, so dass zusätzliche Krümmungsterme nicht so einfach möglich sind, da sie evtl. auch in beliebig kleinen frei fallenden Bezugssystemen messbar bleiben können. Reines Nachdenken löst diese Frage nicht -- man muss nachsehen, wie sich die Natur entschieden hat.

Als erstes Beispiel betrachten wir den freien Fall eines Massenpunktes: Die entsprechende koordinatenfreie Bewegungsgleichung in der speziellen Relativitätstheorie hatten wir oben bereits kennengelernt. Es ist die Geodätengleichung

  D_u(γ(τ)) u(γ(τ))   =   0

Dabei ist   u(γ(τ))   der Tangentialvektor zur Kurve   γ   im Punkt γ(τ). Für die Bewegung eines Teilchens mit Masse kann man über die Normierung   g(u,u) = c²   dem Kurvenparameter die Bedeutung der Eigenzeit geben. Die Geodätengleichung gilt aber auch für masselose Teilchen, z.B. Licht. In diesem Fall ist   g(u,u) = 0   und τ ist ein sogenannter affiner Kurvenparameter (d.h. die Kurve wird mit gleichmäßiger Geschwindigkeit durchlaufen, so dass auf der rechten Seite der Geodätengleichung auch die Null steht -- also keine Beschleunigung in Kurvenrichtung). Ob sich diese Gleichung durch Hinzufügen von Krümmungstermen noch irgendwie verändern lässt, wollen hier etwas weiter unten noch untersuchen. Zunächst wollen wir einfach annehmen, dass dies bereits die richtige Gleichung ist (es ist zumindest schon mal die einfachste Gleichung): Ein Massenpunkt, der sich im freien Fall befindet, bewegt sich im Gravitationsfeld auf einer Geodäten. Letztlich muss das Experiment darüber entscheiden, ob dieses Gesetz on der Natur so gilt.

Man kann die Geodäte auch wie weiter oben wieder über die maximale Eigenzeit charakterisieren: Ein Körper bewegt sich zwischen zwei Ereignissen im freien Fall so, dass die in ihm ablaufende Eigenzeit der Uhr maximal wird. Wertet man diese Aussage mit Hilfe der Variationsrechnung aus, so erhält man für die Bewegungskurve gerade die obige Geodätengleichung. Da die Eigenzeit an unterschiedlichen Orten im Gravitationsfeld unterschiedlich schnell abläuft, kann man sich leicht vorstellen, dass eine Gerade nicht unbedingt die Kurve mit der längsten Eigenzeit sein muss. Und: da die Eigenzeit mit der x⁰-Koordinate des jeweiligen Bezugssystems über die Beziehung   cdτ/dx⁰   =   √ g₀₀   zusammenhängt, sehen wir, dass das metrische Matrixelement g₀₀ ganz entscheidend für die Bahnkurve ist!

Ein anderes Beispiel ist das elektromagnetische Feld. In Kapitel 5.1.12 Hodge-Sternoperator, Volumenform, Gradient, Divergenz, Rotation haben wir eine koordinatenfreie Formulierung dafür kennengelernt:   dF = 0   und   d*F = j   . Dabei sind   F   ,   *F   und   j   2-Formen, die das elektromagnetische Feld sowie den Ladungsfluss darstellen. Diese Formulierung macht sofort auch in der Raumzeit mit Gravitation Sinn.

Da zusätzliche Krümmungsterme durch das Äquivalenzprinzip nicht unbedingt festgelegt werden, steht man beispielsweise bei zweiten Ableitungen vor einem Sortierungsproblem, wenn man eine entsprechende Gleichung aus der speziellen in die allgemeine Relativitätstheorie übertragen will. Nehmen wir an, die Gleichung in der speziellen Relativitätstheorie enthält den Term   ∑_μν   u^μ d/dx^μ d/dx^ν v^ν  . Hier lassen sich die beiden Ableitungen noch problemlos vertauschen. Ersetzen wir die Ableitungen nun durch kovariante Ableitungen   D_μ := D_d/dx^μ   so vertauschen diese Ableitungen nur noch in dem Fall, dass die Krümmung gleich Null ist, denn allgemein gilt (siehe Kapitel 5.1.8 Krümmung ):
  D_μ D_ν   −   D_ν D_μ   =   R(d/dx^μ, d/dx^ν)  
Hier tritt also durch die Sortierungsfrage automatisch die Frage nach einem zusätzlichen Krümmungsterm auf. Die Situation ist ganz ähnlich zu dem Anordnungsproblem, das man beim Übergang von der klassischen Hamiltonschen Mechanik zur Quantenmechanik hat. Die klassischen Größen Ort x und Impuls p sind in Produkten frei vertauschbar, aber die entsprechend hintereinandergeschalteten quantenmechanischen Operatoren sind nicht mehr frei vertauschbar. Auch hier können die klassischen Gleichungen nicht festlegen, ob in den entsprechenden quantenmechanischen Ausdrücken Zusatzterme mit Kommutatoren von p und x auftreten, denn genau diese Terme verschwinden wieder beim Grenzübergang zur klassischen Mechanik. In diesem Sinne entsprechen Krümmungsterme in der allgemeinen Relativitätstheorie den Kommutatoren der Quantenmechanik: beide werden durch den entsprechenden Grenzfall (spezielle Relativitätstheorie bzw. klassische Mechanik) nicht festgelegt, da sie in diesem Grenzfall verschwinden.

Da wir sie auch im nächsten Kapitel brauchen, schauen wir uns einige Kandidaten für mögliche Zusatzterme an:

Zunächst haben wir den Riemannschen Krümmungstensor   R^μ_νρσ   oder koordinatenfrei die Abbildung   R(u,v)   (so dass der Ausdruck   R(u,v) w   ein Tangentialvektor ist; Details siehe Kapitel 5.1.8 Krümmung ).

Man kann nun den Ricci-Tensor definieren (siehe z.B. http://en.wikipedia.org/wiki/Ricci_tensor ). Seine Komponenten lauten

  R_νσ   :=   ∑_μ   R^μ_νμσ

und man schreibt   Ric(w,v)   :=   ∑_νσ   R_νσ w^ν v^σ   . Dieser Ausdruck hängt nicht vom Koordinatensystem ab. In der koordinatenfreien Formulierung kann man die obige Summation über den Index μ als die Spur einer Abbildung definieren. Durch   A(w,v) u   :=   R(u,v) w   ist nämlich eine lineare Abbildung A(w,v) gegeben, die aus einem Tangentialvektor u den Tangentialvektor   R(u,v) w   macht. In Komponenten ausgeschrieben bedeutet das, dass man in
  [R(u,v) w]^μ   =   ∑_νρσ   R^μ_νρσ   w^ν u^ρ v^σ  
den Ausdruck   [A(w,v)]^μ_ρ   :=   ∑_νσ   R^μ_νρσ   w^ν v^σ   als Komponentendarstellung dieses Abbildungstensors ansieht. Wir können nun die Spur von A(w,v) bilden (diese Spurbildung hängt nicht vom gewählten Koordinatensystem ab, auch wenn sie hier über ein beliebiges Koordinatensystem definiert wird; eine koordinatenfreie Einführung der Spur kann man wie bei der kovarianten Ableitung oder der bei der Determinante dadurch erreichen, dass man eine Reihe von Eigenschaften fordert, die die Spur eindeutig festlegen -- wir verzichten hier darauf):
  Spur( A(w,v) )   :=   ∑_μ   [A(w,v)]^μ_μ   =   ∑_μ   R^μ_νμσ w^ν v^σ   =:   ∑_νσ   R_νσ w^ν v^σ     =:     Ric(w,v)  
Man schreibt daher auch in diesem Sinne

  Ric(w,v)   :=   Spur A(w,v)   =   Spur( R( ,v) w )  

Ohne Torsion (was in unserem Fall zutrifft) ist der Ricci-Tensor symmetrisch (analog zur Metrik). In 2 und 3 Dimensionen reicht der Ricci-Tensor zur Beschreibung der Krümmung vollständig aus. In 4 Dimensionen (also auch in der Raumzeit) benötigt man zur vollständigen Charakterisierung der Krümmung allerdings den Riemannschen Krümmungstensor von oben.

Man kann mit Hilfe der inversen metrischen Matrix auch die Spur über die Indices des Ricci-Tensors bilden und so den Ricci-Skalar (auch skalare Krümmung genannt) definieren (siehe z.B. http://en.wikipedia.org/wiki/Ricci_scalar ):

  R   :=   ∑_νσ   g^σν R_νσ   =:   Spur_g ( Ric )

wobei das kleine g bei der Spur unten andeutet, dass vor der Spurbildung der erste Index mit der Metrik hochgezogen wird. Auch dieser Ausdruck hängt nicht vom Koordinatensystem ab. In 2 Dimensionen (also bei Flächen) reicht der Ricci-Skalar zur Beschreibung der Krümmung vollständig aus, aber nicht mehr in 3 Dimensionen.

Mit Hilfe dieser Objekte kann man nun alle möglichen Objekte zusammenbasteln und sie als Zusatzterme in den entsprechenden Gleichungen unterbringen. So könnte man die Gleichung   d*F = j   für das elektromagnetische Feld so abwandeln:   d*(1 + kR)F   =   j   mit einer Konstante k und dem Ricci-Skalar R. Auch diese abgewandelte Gleichung geht bei verschwindender Krümmung in die Gleichung der speziellen Relativitätstheorie über. Bei der Übertragung von Gleichungen in die allgemeine Relativitätstheorie hat man also durchaus gewisse Freiheiten, und man muss durch das Experiment versuchen, herauszufinden, wofür die Natur sich entschieden hat. Im ersten Ansatz wird man es dabei natürlich mit den einfachsten Versionen versuchen, also möglichst ohne Zusatz-Krümmungsterme.

Damit sind wir am Ende dieses sicher nicht einfachen Kapitels angekommen. Wir wissen nun, wie das Äquivalenzprinzip zu einer ganz neuen Beschreibung der Gravitation im Rahmen der Riemannschen Geometrie führt, und dass Gravitation als die Unmöglichkeit beschrieben wird, in der gesamten Raumzeit ein einziges frei fallendes Inertialsystem zu finden. Mathematisch wird diese Unmöglichkeit durch eine nicht-verschwindende Krümmung dargestellt. Da wir nach dem Newtonschen Gravitationsgesetz davon ausgehen, dass Materie Gravitation erzeugt, müssen wir nun nach einem Zusammenhang zwischen Materieverteilung und Krümmung suchen. Das werden wir uns im nächsten Kapitel genauer ansehen.

Literatur zu dem Thema:

• G. 't Hooft: Introduction to General Relativity, http://www.phys.uu.nl/~thooft/lectures/genrel.pdf
  Hier findet man Details zum Rindler-Raum und vieles mehr zur allgemeinen Relativitätstheorie

• Sean M. Carroll: Lecture Notes on General Relativity http://pancake.uchicago.edu/~carroll/notes/
  sehr detailliert mit vielen Erklärungen

• Gute Startseite für die Literatursuche ist:
  Relativity on the World Wide Web, Original by Chris Hillman; maintained by John Baez http://math.ucr.edu/home/baez/relativity.html

• Matt Visser: notes on general relativity, Math 465, http://www.mcs.vuw.ac.nz/courses/MATH465/2004T2/Lecture-Notes/notes.ps

• Axel Fingerle: Von Höherer Mathematik II zur Allgemeinen Relativitätstheorie, http://www.uni-ulm.de/~s_afing1/thema4/Ergaenzung.ps

• General Relativity, von Petr Hadrava, (Astronomical Institute, Academy of Sciences of the Czech Republic). http://sunkl.asu.cas.cz/~had/gr.html
  insbesondere: Special Relativity (inclusive beschleunigte Bezugssysteme), http://sunkl.asu.cas.cz/~had/gr2.ps

• Roman U. Sexl, Helmuth K. Urbantke: Gravitation und Kosmologie,

• Landau, Lifschitz: Lehrbuch der theoretischen Physik, Band II: Klassische Feldtheorie

• Feynman Vorlesungen über Physik, Band II Elektromagnetismus und Dtruktur der Materie

• Baez, Gibbs: Can Special Relativity handle accelerations?, http://math.ucr.edu/home/baez/physics/Relativity/SR/acceleration.html

• Baez, Gibbs: The Relativistic Rocket, http://math.ucr.edu/home/baez/physics/Relativity/SR/rocket.html

• Acceleration in Special Relativity, http://www.physics.nmt.edu/~raymond/classes/ph13xbook/node59.html

• Accelerated Reference Frames, http://www.physics.nmt.edu/~raymond/classes/ph13xbook/node61.html

• Sehr gut ist:
  Kyung Hee String Theory Group, Department of Physics, Kyunghee University, Korea, mit den folgenden Vorlesungsscripten:
  principles of relativity, http://string.kyunghee.ac.kr/~qft/syracuse/lec4.pdf
  The Physics of Uniform Acceleration, http://string.kyunghee.ac.kr/~qft/syracuse/lec11.pdf
  The uniformly accelerated reference frame, http://string.kyunghee.ac.kr/~qft/syracuse/lec12.pdf
  Hier findet man auch den physikalischen Hintergrund und notwendige Definitionen und Konventionen sehr gut erklärt!

• Die Zitate Einsteins findet man an vielen Stellen im Internet, z.B. unter http://www.tu-harburg.de/rzt/rzt/it/Einstein_Mann/node6.html , oder auch in
  Abraham Pais: Raffiniert ist der Herrgott..., Albert Einstein -- eine wissenschaftliche Biographie, Spektrum Akademischer Verlag

• Charles Francis: Conceptual Foundations of Special and General Relativity http://arxiv.org/ftp/physics/papers/9909/9909048.pdf

• Wikipedia: Rindler coordinates, http://en.wikipedia.org/wiki/Rindler_coordinates

• Wikipedia: Bellsches Raumschiffparadoxon, http://de.wikipedia.org/wiki/Bellsches_Raumschiffparadoxon und http://en.wikipedia.org/wiki/Bell%27s_spaceship_paradox

• Wikipedia: Born rigidity, http://en.wikipedia.org/wiki/Born_rigidity

• MathPages: Born Rigidity, Acceleration, and Inertia, http://www.mathpages.com/home/kmath422/kmath422.htm