Warum ist diese nichtlineare Transformation keine Lorentz-Transformation? Es behält x2+y2+z2−c2t2=x′2+y′2+z′2−c2t′2x2+y2+z2−c2t2=x′2+y′2+z′2−c2t′2x^2 bei + y^2 + z^2 - c^2t^2 = x'^2 + y'^2 + z'^2 - c^2t'^2

Die Lorentz-Transformation ist eine Abbildung der x ' , j ' , z ' , und t ' Koordinaten relativ zu x , j , z , t die die Lichtgeschwindigkeit bewahrt:

(1) x 2 + j 2 + z 2 c 2 t 2 = x ' 2 + j ' 2 + z ' 2 c 2 t ' 2 = 0

Wenn K ' bewegt sich mit Geschwindigkeit v in dem x Richtung relativ zu K (so dass K bewegt sich mit Geschwindigkeit v in dem x Richtung relativ zu K ' ) und wir verwenden die Galilei-Transformation, erhalten wir eine fehlerhafte

(2) x ' 2 + j ' 2 + z ' 2 c 2 t ' 2 = 2 v x t + v 2 t 2

was NICHT gleich Null ist und daher keine Kugel mit Radius beschreibt c t ausgehend von der Herkunft von K ' , aber etwas anderes (ich bin mir ziemlich sicher, dass es sich um eine Sphäre handelt, die sich ins Negative verschoben hat x Richtung um einen kleinen Betrag, relativ zu K ' ). Die Lorentz-Transformation besagt, dass wir beide modifizieren x ' = x v t und die t ' = t Beziehungen, um sicherzustellen, dass wir am Ende 0 bekommen.

Als naiver Mathematiker schaue ich mir jedoch Gleichung (2) an und denke: "Okay, also müssen wir die Regel für ändern x ' , oder t ' , oder beides, um das Böse loszuwerden 2 x v t + v 2 t 2 Begriff in der x ' Regel. Warum nicht einfach einstellen t ' auf, damit anstatt herauszukommen c 2 t 2 , es kommt tatsächlich heraus c 2 t 2 + 2 v x t v 2 t 2 , sodass sich die zusätzlichen Terme aufheben?" Ich habe diese Idee naiv weiterverfolgt und die folgende Koordinatentransformation erhalten:

x ' = x v t j ' = j z ' = z t ' = 1 c ( v 2 + c 2 ) t 2 2 v x t

Wenn Sie dies in (1) stecken, erhalten Sie 0, wie Sie es sollten.

Nun, ich konnte keine Erklärung dafür finden, warum diese Transformation unbefriedigend ist. Natürlich ist es nicht mehr linear - aber gibt es einen grundlegenden Grund, warum die Transformation linear sein muss? Offensichtlich erfüllt diese Transformation Einsteins Postulat über die Konstanz der Lichtgeschwindigkeit für alle Inertialbeobachter.

Vermutlich muss es dann gegen das erste Postulat verstoßen, bezüglich der Äquivalenz aller physikalischen Phänomene für Inertialbeobachter – sonst bräuchten wir mehr Informationen, um die Lorentz-Transformation abzuleiten, die meiner Meinung nach allein aus den beiden Postulaten ableitbar sein sollte .

Also, am Ende habe ich eine Frage, die ich zu beantworten versuche:

  1. Verletzt diese Transformation die Äquivalenz für Trägheitsbeobachter? Wieso den? (Idealerweise könnte mir jemand ein Beispiel für eine Kraft geben, die plötzlich in meinem Koordinatensystem auftaucht, die im anderen Koordinatensystem noch nicht existierte)
@BenSelfridge In intuitiven Begriffen, über die Beibehaltung des Intervalls hinaus: Es wird erwartet, dass eine physikalisch akzeptable Transformation jede lineare gleichmäßige Bewegung in eine lineare gleichmäßige Bewegung umwandelt. Ihre Transformation bildet jede lineare gleichförmige Bewegung, die durch den Ursprung verläuft, in eine ähnliche ab, tut dies jedoch nicht für beliebige lineare Bewegungen, die den Ursprung nicht abfangen. Interessantes Beispiel jedenfalls.
Bei Lorentz-Transformationen in der speziellen Relativitätstheorie geht es nicht um die Erhaltung einiger " x 2 t 2 " Form, wobei x und t Koordinaten sind. Es geht darum, die Metrik an jedem Punkt in der Raumzeit zu erhalten. Ersteres ist nicht wirklich geometrisch, während letzteres es ist.

Antworten (4)

Die flache Raumzeit in der speziellen Relativitätstheorie ist überall gleich, also müssen wir eine Translationssymmetrie in Zeit und Raum haben. Wenn wir mit zwei Ereignissen beginnen, die durch getrennt sind Δ x μ in einem Frame die Trennung Δ x ' μ in einem verstärkten Rahmen sollte nur abhängen Δ x μ , und nicht an x μ selbst. Dies ist nur für lineare Transformationen erfüllt.

Mit Ihren Transformationen könnten Beobachter einen privilegierten Punkt identifizieren. Dies verletzt das Relativitätsprinzip sogar für relativ zueinander ruhende Beobachter, da es darauf ankommt, wo sie ihren Ursprung haben.

Ich kehre einige Details unter den Teppich. Dies funktioniert nur für SR in kartesischen Koordinaten, und Translationssymmetrie ist nicht wirklich ein direktes Postulat von SR, sondern eine Folge anderer Dinge. Aber das ist der sauberste Weg, um zu zeigen, warum Transformationen wie die obige ungeeignet sind.
Sehen Sie, ich kann daraus mathematisch einen Sinn machen, aber es ist schwer, eine physikalische Intuition zu bekommen. Gibt es eine Möglichkeit, ein Experiment zu beschreiben, bei dem der Beobachter am Ursprung von K' erkennen könnte, dass er sich bewegt?
Ich glaube, ich habe es in Worten ausgedrückt, die ich verstehen kann.
Es gibt Lorentz-Transformationen zwischen Polarkoordinaten in SR. Sie sind nichtlinear. Warum sagen Sie dann, dass Lorentz-Transformationen immer linear sein werden? Die Lorentz-Transformation zwischen Polarkoordinaten ist nichtlinear.

1. Antwort auf Ihr spezifisches Beispiel: Angenommen, Sie und ich befinden uns beide an einem Punkt, den wir den Ursprung nennen. Sie reisen mit Geschwindigkeit 3 / 5 in Bezug auf mich. (Ich nehme c = 1 ).

Unser Freund, meiner Meinung nach ein Lichtjahr entfernt, lässt ein Licht auf die Zeit blitzen t = 1 / 2 .

Laut Ihnen blinkt dieses Licht zur Zeit ich 13 / 50 .

Also sehe ich das Licht zu einer realen Zeit aufblitzen, während Sie es zu einer imaginären Zeit aufblitzen sehen, was auch immer das bedeutet. Vermutlich bedeutet dies, dass Sie es überhaupt nicht blinken sehen. So wissen Sie, dass Sie sich bewegen.

2. Antwort auf die allgemeinere Frage "warum linear?": Grundsätzlicher: Wenn wir beide beobachten, wie sich eine dritte Person mit einer anderen Geschwindigkeit vom Ursprung entfernt und wenn keine Kräfte auf diese Person einwirken, und wenn sie durchgeht beide ( x 1 , t 1 ) und ( x 2 , t 2 ) (meiner Meinung nach) dann müssen wir haben x 1 / t 1 = x 2 / t 2 . Und wenn Sie zustimmen müssen, dass er keine Kräfte hat, die auf ihn einwirken, dann müssen wir das auch haben x 1 ' / t 1 ' = x 2 ' / t 2 ' . Diese Überlegungen werden die Implikation erzwingen

( x 1 t 2 = x 2 t 1 ) ( x 1 ' t 2 ' = x 2 ' t 1 ' )
was die zulässigen Transformationen stark einschränkt.

Ok, das könnte die Antwort für mich sein. So interpretiere ich es. Wenn x'(t') = at' die Position einer Masse ist, die sich mit konstanter Geschwindigkeit in K' bewegt, dann würden wir erwarten, dass x(t), die Position der Masse in Bezug auf K, eine lineare Funktion in ist t. Aber wenn Sie die Ableitung von x für diese Masse machen, erhalten Sie keine Konstante. Ich kann nicht selbst rechnen, kann mir jemand helfen?
Es gibt Lorentz-Transformationen zwischen Polarkoordinaten in SR. Sie sind nichtlinear. Warum sagen Sie dann, dass Lorentz-Transformationen immer linear sein werden? Die Lorentz-Transformation zwischen Polarkoordinaten ist nichtlinear.

Hier ist es gut, (x,y,z,t) als die Koordinaten im Minkowski-Raum und in einem Tangentialraum an jedem Punkt zu unterscheiden. Der Minkowski-Raum kommt zu Ihnen als Mannigfaltigkeit, aber der Tangentenraum kommt zu Ihnen als Vektorraum (daher ist es sinnvoll, nach Linearität zu fragen). Es ist dann ein glücklicher Fall, dass Sie sie identifizieren können. Dies ist, was die Δ x von @knzhou Antwort versucht zu sagen, indem Sie Sie in den Vektorraum anstelle der Mannigfaltigkeit verschieben. Wenn Sie sich ansehen, in welche Kategorien Ihre Objekte fallen, wird es überhaupt keine Wahl, was Sie mit ihnen tun können.

Ich stimme zu, dass wir mit den Tangentialräumen arbeiten sollten, nicht mit der Mannigfaltigkeit. Aber ich denke nicht, dass das ausreicht, um zu dem Schluss zu kommen, dass die Transformationen linear sein müssen. Es gibt viele Kategorien, deren Objekte Vektorräume sind. Die Frage läuft darauf hinaus: Warum betrachten wir die Kategorie der Vektorräume und linearen Abbildungen im Gegensatz zu beispielsweise der Kategorie der (topologischen) Vektorräume und Homomorphismen?
@WillO Ich denke, der entscheidende physikalische Punkt ist, dass die Karten, die wir hier in Betracht ziehen, keine Karten zwischen Raumzeitpunkten sind. Lorentz-Transformationen sind passiv; Sie bilden die Koordinaten der Beobachter ab, nicht die Punkte, auf die sich die Koordinaten beziehen.
Dies reicht immer noch nicht aus, um Linearität zu erhalten, da Sie beispielsweise zwischen kartesischen und Polarkoordinaten wechseln könnten. Aber die zweite Sache ist, dass wir uns in SR explizit um Koordinatensysteme kümmern, bei denen die Koordinaten eine direkte physikalische Interpretation in Bezug auf Netzwerke von Uhren und Linealen haben. Das beschränkt uns auf „kartesische“ Koordinaten und zwingt uns, lineare Karten zu verwenden. Sie können "polare" Lorentz-Transformationen haben, aber natürlich sind sie in den Koordinaten nicht linear.
@knzhou: Ich habe keine Einwände gegen alles, was Sie sagen, aber ich glaube nicht, dass es die Frage anspricht. Sie haben gezeigt, dass wir auf Linearität schließen können, wenn wir bestimmte Anforderungen stellen. Das OP fragte, ob wir Linearität ableiten können , wenn wir bestimmte andere Anforderungen stellen. Ich denke, Sie geben eine vollkommen gute Antwort auf eine Frage, die nicht gestellt wurde.
Es ist die Tatsache, dass es sich um den Tangentenraum/Passiv handelt + die Tatsache, dass Sie sich auf Licht einigen müssen. Aber das gibt Ihnen eine orthogonale Transformation des vielbien. Um nur linear zu werden, möchten Sie, dass die Personen kohärent zuordnen können, was sie meinen, indem sie Vektoren hinzufügen und skalieren.

Es gibt einen Satz von Zeeman, der unter sehr milden Annahmen beweist, dass zulässige Transformationen in der speziellen Relativitätstheorie Elemente der Lorentz-Gruppe sind. Dies wird zB in Nabers "The Geometry of Minkowski Spacetime" behandelt .

Zur Festlegung von Definitionen ist ein Beobachter zulässig , wenn er ein 3-dimensionales, rechtshändiges, kartesisches Raumkoordinatensystem hat, das auf einer vereinbarten Längeneinheit beruht und relativ zu dem sich Photonen geradlinig mit fester Geschwindigkeit in jede Richtung ausbreiten, sowie ein Ideale Standarduhr, die auf einer vereinbarten Zeiteinheit basiert, um den Ereignissen auf seiner Weltlinie, in der die Lichtgeschwindigkeit 1 ist, eine quantitative zeitliche Ordnung zu geben.

Die Abbildung von den Koordinaten eines zulässigen Beobachters auf die eines anderen bildet eine invertierbare Abbildung

F : R 4 R 4

Dabei wird folgende Annahme gemacht: Zwei beliebige zulässige Beobachter einigen sich auf die zeitliche Reihenfolge zweier beliebiger Ereignisse auf der Weltlinie eines Photons, dh wenn x und j sind Ereignisse in den Koordinaten eines Beobachters, und x ^ und j ^ die für einen anderen dann x 0 j 0 (Zeitkoordinaten) und x ^ 0 j ^ 0 haben das gleiche Vorzeichen (es wird nicht gefordert, dass die Zeiten gleich sind).

Lassen v sei der Geschwindigkeitsvektor des Photons (der konstant ist). Da in unseren Einheiten c = 1 , wir haben v = 1 . Wir haben für alle zwei Punkte x und j auf der Weltlinie des Photons that

x ich j ich = v ich ( x 0 j 0 )

zum ich = 1 , 2 , 3 . Folglich auf der Weltlinie des Photons

( x 0 j 0 ) 2 ( x 1 j 1 ) 2 ( x 2 j 2 ) 2 ( x 3 j 3 ) 2 = 0

Das ist ein Kegel drin R 4 mit Scheitelpunkt bei j . Offensichtlich muss dieser Kegel in jedem Koordinatensystem erhalten bleiben, daher gilt dies auch für die Änderung der Koordinatenkarte F . Zeeman nannte eine solche Abbildung einen kausalen Automorphismus und bewies dies F = T K Λ , wo T ist eine Übersetzung u K ist eine Dilatation von R 4 , und Λ Ö ( 1 , 3 ) mit Λ 0 0 1 .

Beachten Sie, dass für dieses Ergebnis nicht einmal davon ausgegangen wird F ist kontinuierlich.