Invarianz des Raumzeitintervalls direkt vom Postulat

In der Speziellen Relativitätstheorie das Raumzeitintervall

( ) D S 2 = D T 2 D X 2 D j 2 D z 2
zwischen zwei Ereignissen ist bekanntlich unter Lorentz-Transformationen invariant, dh für Trägheitsbeobachter identisch.

Wenn man davon ausgeht, dass die Lichtgeschwindigkeit für alle Trägheitsbeobachter konstant ist, sieht man das leicht ( ) ist in der Tat invariant, wenn die Ereignisse lichtartig getrennt sind. Wenn ich mich recht entsinne, konnte man das dann auch (Homogenität und Isotropie des Raumes vorausgesetzt) ​​herleiten ( ) muss für beliebige Ereignisse (also auch solche, die zeitlich oder räumlich getrennt sind) invariant sein, aber ich erinnere mich nicht an die Details.

Kann mir jemand dabei helfen?

IIRC, es gibt eine (fragwürdige?) Ableitung auf Landau&Lifshitz. Etwas über Differentiale zweiter Ordnung, die aus irgendeinem Grund proportional sind. Ich erinnere mich nicht an die Einzelheiten.
Ja, ich weiß ... Ich habe das auf einer Wiki-Seite gelesen, aber ich konnte es nicht mehr finden. In welchem ​​Buch genau? Man würde argumentieren, dass sich die Differentiale durch eine Konstante unterscheiden, die nur von der Größe der Geschwindigkeit (durch Isotropie des Raums) abhängen kann, und dann eine Art Transitivitätsargument mit dem Kosinusgesetz anstellen.
Hier ist es unter „Invarianz des Intervalls“: en.wikipedia.org/wiki/… . Ich verstehe nicht wirklich, warum das Argument speziell mit Infinitesimalen gemacht werden muss, weil wir bereits wissen, dass die „lichtähnliche“ Gleichheit im allgemeinen (nicht unendlich kleinen) Fall wahr ist.
Eine Behandlung in diesem Stil ist Palash Pal, „Nothing but relativity“, arxiv.org/abs/physics/0302045
@BenCrowell Die Behandlung von Pal basiert zwar auf Homogenitäts- und Isotropieanforderungen, leitet jedoch sowohl die Invarianz der Lichtgeschwindigkeit als auch die Invarianz der Metrik auf einen Schlag ab. Es zeigt nicht explizit, wie die Invarianz der Metrik, die nicht garantiert ist, wenn wir nur die Invarianz der Lichtgeschwindigkeit postulieren, garantiert wird , wenn wir weiterhin die Homogenitäts- und Isotropieanforderungen postulieren. Korrigieren Sie mich, wenn ich den Wald vor lauter Bäumen nicht sehe.

Antworten (1)

Wie AccidentalFourierTransform darauf hingewiesen hat, wird die Antwort in "The Classical Theory of Fields" , LDLandau und EMLifshitz, vierte überarbeitete englische Ausgabe, gegeben. Kopieren Einfügen :

§ 2. Intervalle

Im Folgenden werden wir häufig.......

...................

Wie bereits gezeigt, wenn D S = 0 in einem Inertialsystem also D S ' = 0 in jedem anderen System. Andererseits, D S Und D S ' sind Infinitesimale derselben Ordnung. Aus diesen beiden Bedingungen folgt das D S 2 Und D S ' 2 müssen zueinander proportional sein:

D S 2 = A D S ' 2
wo der Koeffizient A kann nur vom absoluten Wert der Relativgeschwindigkeit der beiden Inertialsysteme abhängen. Sie kann nicht von den Koordinaten oder der Zeit abhängen, da dann verschiedene Raumpunkte und verschiedene Zeitpunkte nicht äquivalent wären, was der Homogenität von Raum und Zeit widersprechen würde. Ebenso kann es nicht von der Richtung der Relativgeschwindigkeit abhängen, da dies der Isotropie des Raumes widersprechen würde.

Betrachten wir drei Bezugssysteme K , K 1 , K 2 und lass v 1 Und v 2 seien die Geschwindigkeiten von Systemen K 1 Und K 2 relativ zu K . Wir haben dann:

D S 2 = A ( v 1 ) D S 1 2 , D S 2 = A ( v 2 ) D S 2 2
Ähnlich können wir schreiben
D S 1 2 = A ( v 12 ) D S 2 2 ,
Wo v 12 ist der Absolutwert der Geschwindigkeit von K 2 relativ zu K 1 . Wenn wir diese Beziehungen miteinander vergleichen, finden wir, dass wir haben müssen
(2.5) A ( v 2 ) A ( v 1 ) = A ( v 12 ) .
Aber v 12 hängt nicht nur von den absoluten Werten der Vektoren ab v 1 Und v 2 , sondern auch auf den Winkel zwischen ihnen. Dieser Winkel erscheint jedoch nicht auf der linken Seite der Formel (2.5) . Es ist daher klar, dass diese Formel nur richtig sein kann, wenn die Funktion A ( v ) reduziert sich auf eine Konstante, die nach derselben Formel gleich Eins ist. Daher,
(2.6) D S 2 = D S ' 2 ,
und aus der Gleichheit der infinitesimalen Intervalle folgt die Gleichheit der endlichen Intervalle: S = S ' .

Damit kommen wir zu einem sehr wichtigen Ergebnis: Der Abstand zwischen zwei Ereignissen ist in allen Inertialbezugssystemen gleich, dh er ist bei der Transformation von einem Inertialsystem in ein anderes invariant. Diese Invarianz ist der mathematische Ausdruck der Konstanz der Lichtgeschwindigkeit.

Danke für das Teilen des Abschnitts. Ich nehme an, sobald wir das wissen A hängt nur von der Geschwindigkeit ab, der Rest ist ziemlich klar. Das definierte Raumzeitintervall ist bei Drehungen im 3-Raum unveränderlich, wenn also ein Beobachter seine Koordinaten dreht, sollte dies den Ausdruck für nicht ändern A . Ich verstehe nicht, wie Homogenität von Raum und Zeit Abhängigkeit von impliziert v allerdings nur. Irgendwelche Gedanken?
@Thomas Bakx: Lesen Sie den Absatz unter der ersten Gleichung sorgfältig durch.
Das habe ich, aber ich glaube, ich verfehle den Punkt. Worum geht es D S 2 D S ' 2 das macht diese Arbeit? Es scheint, als könnte ich einfach eine andere Funktion einfügen und argumentieren, dass der Quotient "ungestrichen" / "grundiert" aufgrund der Homogenität nicht von Raum und Zeit abhängen kann ... Ich hoffe, das verdeutlicht mein Problem. Wenn ich das richtig verstehe, besagt die Homogenität von Raum und Zeit (mehr oder weniger), dass jede unveränderliche physikalische Größe nur von den Unterschieden zwischen Koordinaten abhängen kann. Dies macht das vorgeschlagen D S 2 zumindest vernünftig erscheinen.
@ThomasBakx Worum geht es D S 2 D S ' 2 das macht diese Arbeit? Ich würde nichts sagen. Es würde für absolut zwei beliebige Mengen funktionieren, die gleichzeitig verschwinden müssen. Aber klarerweise müssten nur diese spezifisch konstruierten Größen gleichzeitig verschwinden, solange wir nur eine invariante Geschwindigkeit postulieren.
Warum A würde nicht von den Koordinaten abhängen: Wir haben D S 2 = A D S ' 2 . Das heißt, wir haben η a β D X a D X β = A η μ ' v ' D X ' μ D X ' v . Nun, es sei denn A eine Konstante ist, ist nicht sichergestellt, dass jeder 2 X ' μ X a X β verschwindet. Aber wir wollen, dass sie alle aus Gründen der Homogenität verschwinden. Somit bewiesen.
Ich verstehe. Indem wir die Homogenität des Raums verwenden, folgern wir also, dass alle Transformationen tatsächlich \textit{affin} sein müssen, nicht unbedingt linear (wir müssen den Ursprung nicht festlegen), aber so oder so, die Teiltöne zweiter Ordnung sind Null, oder, entsprechend sind die Teiltöne erster Ordnung konstant (unabhängig von Raum und Zeit). Man kann dann einfach die Basisvektoren eines Rahmens (z. B. die nicht gestrichenen Koordinaten) in die Metrik einspeisen und dies beobachten D X ' μ ( a ) = X ' μ X a = Λ a μ .