Quelltext der Seite Lorentz-Transformation

{{QS-Physik|Lorentz-Transformation und Spezielle Lorentz-Transformation|Unerledigt=2018}}
Die '''Lorentz-Transformationen''', nach [[Hendrik Antoon Lorentz]], sind eine Klasse von [[Koordinatentransformation]]en, die in der Physik Beschreibungen von Phänomenen in verschiedenen [[Bezugssystem]]en ineinander überführen. Sie verbinden in einer vierdimensionalen [[Raumzeit]] die Zeit- und Ortskoordinaten, mit denen verschiedene [[Beobachter (Physik)|Beobachter]] angeben, wann und wo Ereignisse stattfinden. Die Lorentz-Transformationen bilden daher die Grundlage der [[Spezielle Relativitätstheorie|Speziellen Relativitätstheorie]] von [[Albert Einstein]].

Das Äquivalent zu den Lorentz-Transformationen im dreidimensionalen [[Euklidische Metrik|euklidischen]] Raum sind die [[Galilei-Transformation]]en; genauso wie diese [[Abstand|Abstände]] und [[Winkel]] erhalten, erhalten die Lorentz-Transformationen die Abstände in der nichteuklidischen Raumzeit ([[Minkowskiraum]]). Winkel werden im Minkowskiraum nicht erhalten, da der Minkowskiraum kein [[normierter Raum]] ist.

Die Lorentz-Transformationen bilden eine [[Gruppe (Mathematik)|Gruppe]] im mathematischen Sinn, die [[Lorentz-Gruppe]]:

* Die Hintereinanderausführung von Lorentz-Transformationen kann als eine einzige Lorentz-Transformation beschrieben werden.
* Die triviale Transformation von einem Bezugssystem in dasselbe ist ebenfalls eine Lorentz-Transformation.
* Zu jeder Lorentz-Transformation existiert eine inverse Transformation, die wieder in das ursprüngliche Bezugssystem zurück transformiert.

Unterklassen der Lorentz-Transformationen sind die diskreten Transformationen der [[Raumspiegelung]], also der Inversion aller räumlichen Koordinaten, sowie der [[Zeitumkehr (Physik)|Zeitumkehr]], also die Umkehr des [[Zeitpfeil]]s, und die kontinuierlichen Transformationen der endlichen [[Drehung]] sowie der [[Spezielle Lorentz-Transformation|speziellen Lorentz-Transformationen]] oder Lorentz-Boosts. Kontinuierliche Drehbewegungen der Koordinatensysteme gehören nicht zu den Lorentz-Transformationen. Teilweise werden auch nur die speziellen Lorentz-Transformationen verkürzend als Lorentz-Transformationen betitelt.

== Definition ==
=== Bestandteile der Lorentz-Transformation ===
Die Lorentz-Transformation umfasst alle [[Lineare Transformation|linearen Transformationen]] der Koordinaten zwischen zwei Beobachtern. Sie sind daher Transformationen zwischen zwei [[Inertialsystem]]en, deren Koordinatenursprung, der Bezugspunkt des Koordinatensystems zum Zeitpunkt <math>t=0</math>, übereinstimmt. Eine allgemeine Lorentz-Transformation umfasst daher
* Transformationen zwischen zwei Beobachtern, die eine unterschiedliche, konstante Geschwindigkeit besitzen, genannt ''Lorentz-Boost'' oder [[Spezielle Lorentztransformation|spezielle Lorentz-Transformation]].<ref>{{Literatur|Autor=Harald Klingbeil|Titel=Elektromagnetische Feldtheorie: Ein Lehr- und Übungsbuch|Verlag=Springer-Verlag|Jahr=2010|ISBN=3834814032|Seiten=497|Online={{Google Buch|BuchID=Sms9MRllvggC|Seite=497}}}}</ref> Sie entsprechen einer Drehung im Raum-Zeit-Sektor des nichteuklidischen Minkowskiraums.
* [[Drehung]]en der räumlichen Koordinaten
* [[Zeitumkehr (Physik)|Zeit-]] und [[Raumspiegelung]]en
Jede allgemeine Lorentz-Transformation lässt sich als Hintereinanderausführung dieser Transformationen schreiben. Eine Lorentz-Transformation, bei der Spiegelungen ausgeschlossen sind und die Orientierung der Zeit erhalten ist, wird als ''eigentliche, orthochrone'' Lorentz-Transformation bezeichnet.

=== Spezielle Lorentz-Transformation für Orte und Zeiten ===
Ist der Beobachter '''A''' mit konstanter Geschwindigkeit <math>v_{x}</math> in <math>x</math>-Richtung gegenüber einem anderen Beobachter '''B''' bewegt, so hängen die Koordinaten <math>\textstyle(t',x',y',z')</math>, die Beobachter '''A''' einem Ereignis zuschreibt, durch die spezielle Lorentz-Transformation
:<math>
\begin{align}
t' &=  \gamma \left( t - \frac{v_{x}}{c^2}\,x \right)\\
x' &= \gamma (x - v_{x}\,t )\\
y' &= y\\
z' &= z\\
v'_{x} &= -v_{x}
\end{align}
</math>
mit den Koordinaten <math>(t,x,y,z)</math> des Beobachters '''B''' für dasselbe Ereignis zusammen, falls die beiden Bezugssysteme denselben Ursprung haben, also zum Zeitpunkt <math>\textstyle t=t'=0</math> miteinander übereinstimmen. Darin ist <math>\textstyle\gamma = \frac{1}{\sqrt{1-v^2/c^2}}</math> der [[Lorentzfaktor]].

==== Inverse der Speziellen Lorentz-Transformation ====
Da '''B''' sich relativ zu '''A''' mit konstanter Geschwindigkeit <math>-v</math> bewegt, wenn '''A''' dies relativ zu '''B''' mit Geschwindigkeit <math>+v</math> tut, kann man gemäß dem [[Relativitätsprinzip]] ihre Rollen vertauschen. In den Transformationsformeln ändert sich dabei nur das Vorzeichen der Geschwindigkeit. Insbesondere gilt auch
:<math>
\begin{align}
t &=  \gamma \left( t' + \frac{v }{c^2}\,x' \right)\\
\end{align}
</math>
Während für '''A''' die Zeit (Uhr) in '''B''' (mit <math>x=0</math>) anscheinend langsamer läuft als die in '''A''', gilt dies auch andersherum, d.&nbsp;h., für '''B''' läuft die Uhr von '''A''' (mit <math>x'=0</math>) langsamer.

== Geschichtliche Entwicklung ==
{{Hauptartikel|Geschichte der Lorentz-Transformation}}

Die Arbeiten von [[Woldemar Voigt (Physiker)|Woldemar Voigt]] (1887), [[Hendrik Antoon Lorentz]] (1895, 1899, 1904), [[Joseph Larmor]] (1897, 1900) und [[Henri Poincaré]] (1905), zeigten, dass die Lösungen der Gleichungen der Elektrodynamik durch Lorentz-Transformationen aufeinander abgebildet werden, oder mit anderen Worten, dass die Lorentz-Transformationen Symmetrien der [[Maxwell-Gleichungen]] sind.

Man versuchte damals, die elektromagnetischen Phänomene durch einen hypothetischen [[Äther (Physik)|Äther]], ein Übertragungsmedium für elektromagnetische Wellen, zu erklären. Es stellte sich allerdings heraus, dass sich von ihm keine Spur nachweisen ließ. Voigt stellte 1887 Transformationsformeln vor, welche die [[Wellengleichung]] invariant lassen. Die Voigt-Transformation ist jedoch nicht reziprok, bildet also keine [[Gruppe (Mathematik)|Gruppe]]. Voigt nahm an, dass die Ausbreitungsgeschwindigkeit der Wellen im Ruhesystem des Äthers und in einem Bezugssystem, das sich relativ zu diesem mit konstanter Geschwindigkeit bewegt, gleich ist, ohne dafür eine Erklärung anzugeben.<ref>{{arXiv|1609.08647v1}}</ref> In seiner [[Lorentzsche Äthertheorie|Äthertheorie]] konnte Lorentz dies dadurch erklären, dass die Längenmaßstäbe sich bei Bewegung in Bewegungsrichtung verkürzen und dass bewegte Uhren eine langsamer verlaufende Zeit anzeigen, die er Ortszeit nannte. Die von Lorentz angegebenen Transformationen der Längen und Zeiten bildeten eine Gruppe und waren damit mathematisch stimmig. Auch wenn in Lorentz’ Äthertheorie eine gleichförmige Bewegung gegenüber dem Äther nicht nachweisbar war, hielt Lorentz an der Vorstellung eines Äthers fest.

Einsteins [[spezielle Relativitätstheorie]] löste [[Klassische Mechanik|Newtons Mechanik]] und die Ätherhypothese ab. Er leitete seine Theorie aus dem [[Relativitätsprinzip]] ab, dass sich im Vakuum unter Vernachlässigung von gravitativen Effekten Ruhe nicht von gleichförmiger Bewegung unterscheiden lässt. Insbesondere hat Licht im Vakuum für jeden Beobachter dieselbe Geschwindigkeit <math>c</math>. Die Zeit- und Ortskoordinaten, mit denen zwei gleichförmig bewegte Beobachter Ereignisse bezeichnen, hängen dann durch eine Lorentz-Transformation miteinander zusammen anstatt wie in Newtons Mechanik durch eine [[Galilei-Transformation]].

== Eigenschaften ==
=== Geschwindigkeitsaddition ===
{{Hauptartikel|Relativistisches Additionstheorem für Geschwindigkeiten}}
Zwei hintereinander ausgeführte Lorentz-Boosts in dieselbe Richtung mit Geschwindigkeit <math>v_1</math> und <math>v_2</math> ergeben wieder einen Lorentz-Boost mit der Gesamtgeschwindigkeit
:<math>\frac{v}{c}=\frac{\frac{v_1}{c}+\frac{v_2}{c}}{1+\frac{v_1}{c}\cdot\frac{v_2}{c}}.</math>
Die Gleichung zeigt, dass sich die Lichtgeschwindigkeit bei Lorentz-Transformationen nicht ändert. Ist etwa <math>v_1</math> die Lichtgeschwindigkeit, das heißt <math>\tfrac{v_1}{c}=1</math>, so ist <math>v=c\tfrac{1+v_2/c}{1+v_2/c} = c</math> ebenfalls die Lichtgeschwindigkeit.

Hintereinander ausgeführte Lorentz-Boosts in verschiedene Richtungen ergeben im Allgemeinen keine Lorentz-Boosts, sondern eine allgemeine Lorentz-Transformation: Die Menge der Lorentz-Boosts ist keine Untergruppe der Lorentz-Transformationen.

=== Lorentz-Invariante ===
{{Anker|Lorentz-Invarianz}}Eine Größe, die sich bei Lorentz-Transformationen nicht ändert, heißt '''Lorentz-Invariante''' oder '''Lorentz-Skalar'''. Bei einem physikalischen System oder Vorgang beschreibt eine Lorentz-Invariante eine Eigenschaft, die von allen Inertialsystemen aus mit gleichem Wert beobachtet wird, wie z.&nbsp;B. die Lichtgeschwindigkeit <math>c</math>, die [[Masse (Physik)|Masse]] <math>m</math>, die Teilchenzahl, die [[elektrische Ladung]] etc.

Bei einem Lorentz-Boost in Richtung <math>x</math> lässt sich zeigen, dass
:<math>c^2 t'^2 - x'^2 = c^2 t^2 - x^2</math>
gelten muss. Der Ausdruck <math>\textstyle c^2 t^2-x^2</math> ist also eine Invariante der Lorentz-Transformation, d.&nbsp;h. in allen unter Lorentz-Transformationen verbundenen Koordinatensystemen konstant.

In drei Raumdimensionen ist die [[Norm (Mathematik)|Norm]] <math>\textstyle c^2 t^2-(x^2+y^2+z^2)</math> die einzige Möglichkeit, eine Lorentz-Invariante zu bilden. Z.&nbsp;B. ist die Norm des Energie-Impuls-Vektors die mit <math>c</math> multiplizierte Masse <math>mc</math>, und die Norm des Drehimpulsvektors ist der lorentzinvariante Betrag des Eigendrehimpulses. Auch der Abstand zweier Ereignisse, also die Norm der Differenz der [[Vierervektor]]en der beiden Weltpunkte, ist lorentzinvariant. Bei zwei Vierervektoren ist auch ihr Skalarprodukt lorentzinvariant. Ein Tensor 2. Stufe hat eine lorentzinvariante Spur etc.

=== Lorentz-Kontraktion und Invarianz der transversalen Koordinaten ===
{{Hauptartikel|Spezielle Lorentz-Transformation|Lorentzkontraktion}}
Für einen Lorentz-Boost mit beliebig gerichteter Geschwindigkeit <math>\vec v</math> lässt sich der Koordinatenvektor <math>\vec r=(x,y,z)</math> des Ereignisses in zwei Komponenten<ref>{{Literatur | Autor=Christian Møller | Titel=The theory of relativity | Jahr=1952 | Kapitel=§ 18. The most general Lorentz transformation | Seiten=41 | Online=[http://archive.org/stream/theoryofrelativi029229mbp#page/n58/mode/1up Internet Archive]}}</ref><ref>Klaus W. Kark: ''Antennen und Strahlungsfelder. Elektromagnetische Wellen auf Leitungen, im Freiraum und ihre Abstrahlung.'' 3., erweiterte Auflage. Vieweg + Teubner, Wiesbaden 2010, ISBN 978-3-8348-0553-9, Kap. 3.7.1, S. 46</ref> <math>\textstyle\vec r =\vec{r_\parallel} +  \vec{r_\bot} </math> zerlegen. Die Indizes <math>\parallel</math> und <math>\perp</math> bezeichnen dabei die parallele bzw. eine rechtwinklige Richtung zur Geschwindigkeit <math>\vec v</math>. Die transformierten Koordinaten sind dann durch

:<math>t'=\gamma \left( t-\frac{\vec{v}\cdot \vec r}{c^2} \right),\qquad 
\vec{r}_\parallel '=\gamma \left(\vec{r}_\parallel -\vec{v} t\right),\qquad 
\vec{r}_\bot '=\vec{r}_\bot</math>

gegeben. Ein von den Beobachtern im gestrichenen System gemessener Abstand <math>\vec r'</math> ist nur in Bewegungsrichtung <math>\vec{r_\parallel}</math> verkürzt. Dieser Effekt wird Lorentz-Kontraktion genannt. Bei Maßstäben <math>\vec{r_\bot}</math> senkrecht zur Bewegungsrichtung wirkt sich die [[Relativität der Gleichzeitigkeit]] nicht aus. Zusammengefasst lauten diese Gleichungen in der Matrixschreibweise mit [[Vierervektor]]en (und der [[Einheitsmatrix]] <math>I_3</math>):

<math>
\begin{pmatrix} c t' \\ \vec{r}' \end{pmatrix}
=
\begin{pmatrix}
\gamma & -\gamma\vec{v}^T/c\\
-\gamma\vec{v}/c & \mathrm{I}_3 + (\gamma-1)\vec{v}\vec{v}^T/v^2\\
\end{pmatrix}
\begin{pmatrix} c t \\ \vec{r} \end{pmatrix}
</math>.

Auf gleiche Weise lassen sich elektromagnetische Felder gemäß <math>\vec E'=\vec E'_\parallel +\vec E'_{\perp}</math> und <math>\vec B'=\vec B'_\parallel +\vec B'_{\perp}</math> in Komponenten zerlegen.<ref name="Feynman"> [[Richard Feynman|R. P. Feynman]]: Lectures On Physics, Vol. II, 26-3, Relativistic transformation of the fields</ref> Man erhält die (skalaren) Feldkoordinaten
:<math>\begin{align}
E'_\parallel &= E_\parallel\\
B'_\parallel &= B_\parallel\\
E'_\perp &= \gamma\left(\vec E + \vec v\times\vec B\right)_\perp\\
B'_\perp &= \gamma\left(\vec B - \frac{\vec v\times\vec E}{c^2}\right)_\perp.
\end{align}</math>

In nichtrelativistischer Näherung, d.&nbsp;h. für Geschwindigkeiten <math>v\ll c</math>, gilt <math>\gamma \approx 1</math>. In diesem Fall braucht nicht zwischen Orten und Zeiten in verschiedenen Bezugssystemen unterschieden zu werden und für die Feldgrößen gilt:

:<math>\begin{align}
 & {\vec{E}}'=\vec{E}+\vec{v}\times \vec{B} \\
 & {\vec{B}}'=\vec{B}-(1/{{c}^{2}})\vec{v}\times \vec{E} \\
 & \vec{E}=\vec{E}'-\vec{v}\times {\vec{B}}' \\
 & \vec{B}={\vec{B}}'+(1/{{c}^{2}})\vec{v}\times {\vec{E}}' \\
\end{align}</math>

== Herleitung  ==
Um die Formeln einfach zu halten, wird als [[Längeneinheit]] die Strecke gewählt, die Licht in einer Sekunde zurücklegt. Dann haben Zeit und Länge [[Natürliche Einheiten|dieselbe Maßeinheit]] und die dimensionslose Lichtgeschwindigkeit beträgt <math>c=1</math>. Die Geschwindigkeit <math>v</math> wird also in Einheiten der Lichtgeschwindigkeit gemessen.

Die erste Herleitung beruhte auf der Invarianz der Wellengleichung im Rahmen der elastischen Lichttheorie. Später wurde gezeigt, dass die Lorentz-Transformationsformeln, die den Ausdruck <math>\textstyle \delta x^{2}+\delta y^{2}+\delta z^{2}-c^{2}\delta t^{2}</math> und somit die Form von Lichtkugelwellen invariant lassen, sich rigoros aus der elektromagnetischen Wellengleichung (und somit aus den [[Maxwell-Gleichungen]]) herleiten lassen, sofern die Forderung nach Linearität und Reziprozität berücksichtigt wird.<ref>{{Cite book|author=[[Max von Laue]]|year=1913|title=Das Relativitätsprinzip|edition=2|publisher=Vieweg|location=Braunschweig|pages=38–41}}</ref><ref>{{Cite journal|author=Karl Stiegler|year=1958|title=On the Deduction of the Lorentz-Einstein Transformation from Maxwell's Electromagnetic Field Equations|journal=Proceedings of the Physical Society|pages=512–513|volume=71|issue=3|doi=10.1088/0370-1328/71/3/429}}</ref> Im Rahmen der Elektrodynamik kann die Herleitung der Lorentz-Transformation auch unter Berücksichtigung des Potentials einer bewegten Ladung ([[Liénard-Wiechert-Potential]]) erfolgen.<ref>{{Cite book|author=Feynman, R.P.|year=2013|title=The Feynman Lectures on Physics|chapter=21–6 The potentials for a charge moving with constant velocity; the Lorentz formula |volume=2|location=New York|publisher=Basic Books|isbn=978-0-465-02416-2|url=http://www.feynmanlectures.caltech.edu/II_21.html#Ch21-S6}}</ref> Darüber hinaus gibt es eine größere Gruppe von [[Kugelwellentransformation]]en, welche den Ausdruck <math>\textstyle \lambda\left(\delta x^{2}+\delta y^{2}+\delta z^{2}-c^{2}\delta t^{2}\right)</math> invariant lassen. Jedoch nur die Lorentz-Transformationen mit <math>\lambda=1</math> bilden alle Naturgesetze einschließlich der Mechanik symmetrisch ab und gehen für <math>c \to \infty</math> in die Galilei-Transformation über.

Herleitungen in modernen Lehrbüchern beruhen überwiegend auf der Interpretation der Transformationen im Sinne der Speziellen Relativitätstheorie, wonach diese Raum und Zeit selbst betreffen, und sind unabhängig von Annahmen zur Elektrodynamik. Einstein (1905) benutzte dabei zwei Postulate: das Relativitätsprinzip und das Prinzip der Konstanz der Lichtgeschwindigkeit. Allgemeinere Herleitungen, welche auf [[Wladimir Ignatowski]] (1910) zurückgehen, beruhen auf gruppentheoretischen Erwägungen.<ref>{{Cite journal|author=Pal, Palash B.|year=2003|title=Nothing but relativity|journal=European Journal of Physics|pages=24|issue=3|doi=10.1088/0143-0807/24/3/312|arxiv=physics/0302045}}</ref><ref>{{Cite journal|author=Baccetti, Valentina; Tate, Kyle; Visser, Matt|year=2012|title=Inertial frames without the relativity principle|journal=Journal of High Energy Physics|pages=119|doi=10.1007/JHEP05(2012)119 
|arxiv=1112.1466|bibcode = 2012JHEP...05..119B }}; Siehe Referenzen 5 bis 25.</ref>

=== Herleitung aus Linearität und Relativitätsprinzip ===
Die folgenden Überlegungen klären, wie Koordinaten zusammenhängen, die inertiale Beobachter (Beobachter, die fest mit einem Inertialsystem verbunden sind) zur Benennung der Zeit und des Ortes von Ereignissen verwenden. Die Beobachter sollen hier beispielhaft Anna und Bert sein. Annas Koordinatensystem ist durch <math>x,y,z,t</math> gegeben und Berts durch die gestrichenen Variablen <math>\textstyle x',y',z',t'</math>. Es handle sich um rechtwinklige Koordinaten.

==== Linearität ====
Für alle gleichförmig bewegten Beobachter durchlaufen freie Teilchen gerade Weltlinien. Daher muss die Transformation Geraden auf Geraden abbilden. Mathematisch besagt dies, dass die Transformation linear ist.

Stimmen beide Beobachter in der Wahl des Zeitnullpunkts und des räumlichen Ursprungs überein, dann ist die gesuchte Transformation linear und homogen.

Bert bewege sich relativ zu Anna mit der Geschwindigkeit <math>v</math>. Die Koordinatensysteme werden so orientiert, dass <math>x, x'</math> und <math>v</math> auf einer Gerade in einer Richtung liegen. Dann kann man sich auf die Koordinaten <math>x,t</math> beschränken.

Die gesuchte Lorentz-Transformation lautet dann
:<math>t' = at + bx, \quad x' = et + fx.</math>
Die Unbekannten <math>a, b, e, f</math> sind nun zu bestimmen.

==== Lichtkegel ====
Ein Lichtimpuls, den Anna zur Zeit <math>t=0</math> am Ort <math>x=0</math> losschickt, wird durch <math>x=\pm t</math> beschrieben. Da die Lichtgeschwindigkeit absolut ist, muss für Bert <math>x'=\pm t'</math> gelten. Die Gleichungen mit dem Pluszeichen erfordern <math>e+f=a+b</math> und die Gleichungen mit dem Minuszeichen <math>e-f=-a+b</math>. Daraus folgen <math>e=b</math> und <math>f=a</math>, und daraus
:<math>t' = at + bx, \quad x' = bt + ax.</math>
Dies gilt für alle Lorentz-Transformationen, unabhängig von der Relativgeschwindigkeit der Beobachter.

==== Relativgeschwindigkeit ====
Anna beschreibt Berts Bewegung durch <math>x=vt</math>, Bert seine eigene durch <math>\textstyle x'=0</math>. Die Lorentz-Transformation von Annas zu Berts Koordinatensystem muss diese beiden Ausdrücke ineinander überführen. Aus <math>\textstyle x'=bt+avt=(b+av)t=0</math> folgt dann <math>b=-av</math>, also
:<math>t' = a(t - vx), \quad x' = a(x - vt).</math>
Es bleibt noch der Vorfaktor <math>a</math> zu bestimmen. Von den Koordinaten kann er nicht abhängen, sonst wäre die Lorentz-Transformation nichtlinear. Bleibt also eine Abhängigkeit von der Relativgeschwindigkeit. Man schreibt <math>a=a(v)</math>. Da die Lorentz-Transformation nicht von der Richtung von <math>v</math> abhängen soll, gilt <math>a=a(|v|)</math>.

==== Vorfaktor ====
Um den Vorfaktor zu bestimmen, führt man eine weitere inertiale Beobachterin Clara mit den Koordinaten <math>\textstyle t'', x''</math> und der Relativgeschwindigkeit <math>v'</math> in Bezug auf Bert ein. Die Lorentz-Transformation von Berts zu Claras Koordinaten muss wegen des Relativitätsprinzips dieselbe Form wie die obige haben, also
:<math>t'' = a'(t' - v'x'),\quad x'' = a'(x' - v't'),</math>
dabei wurde <math>a'=a(v')</math> abgekürzt.

Man kombiniert nun die beiden Transformationen, rechnet also die Koordinaten von Anna in die von Clara um. Es reicht dazu, eine der beiden Koordinaten zu berechnen:
:<math>t''=a'(t'-v'x') = a'(a(t-vx)-v'a(x-vt)) =a'a(1+vv')\left(t-\frac{v+v'}{1+vv'}x\right).</math>
Sitzt Clara neben Anna, ist <math>v'=-v</math> und die doppelt gestrichenen Koordinaten sind gleich den ungestrichenen. Der Faktor <math>\textstyle (v+v')/(1+vv')</math> verschwindet und der Vorfaktor <math>\textstyle a'a(1+v'v)=a'a(1-v^2)</math> muss gleich 1 sein. Wegen <math>\textstyle a(-v)a(v)\cdot(1-v^2)=1</math> und <math>a(-v)=a(v)</math> muss dann
:<math>a(v)= \frac{1}{\sqrt{1-v^2}}</math>
gelten. Mit der Abkürzung <math>\gamma=a(v)</math> ist
:<math>t' = \gamma(t-vx), 
\quad x'=\gamma(x-vt).</math>
Die Lorentz-Transformationen lauten daher
:<math>t' = \gamma \left(t- \left(\frac{v}{c^2} \right)x \right), 
\qquad x'=\gamma(x-vt), 
\qquad\gamma = \frac{1}{\sqrt{1-(\frac{v}{c})^2}}.</math>

=== Herleitung aus der Zeitdilatation ===
Mit einem Argument von Macdonald<ref>Alan Macdonald, ''Derivation of the Lorentz transformation.'' In: ''American Journal of Physics.'' Vol. 49, Issue 5, 1981, {{ISSN|0002-9505}}, S. 493, [http://arxiv.org/abs/physics/0606046v1 aktualisierte Version].</ref> kann man die Transformationsformeln aus der [[Zeitdilatation]] gewinnen. An einer Lichtfront, die sich in positiver x-Richtung bewegt, hat die Differenzkoordinate <math>ct - x </math> überall denselben Wert, ebenso <math>\textstyle ct' - x' </math>. Man betrachtet eine Front, die durch das Ereignis E geht und irgendwann (vorher oder nachher) auf den bewegten Koordinatenursprung O' trifft, der langsamer als Licht sein muss. Wegen der gleichbleibenden Werte stehen die Differenzkoordinaten bei E in derselben Beziehung zueinander wie am Punkt O'. An diesem gilt <math>\textstyle x'=0,\ x = vt</math>, sowie nach der [[Zeitdilatation|Dilatationsformel]] <math>\textstyle t=\gamma t'</math>, wobei <math>\textstyle\gamma=1/\sqrt{1-v^2/c^2}</math> ist. Für die Differenzkoordinaten gilt daher
:<math>
     ct - x = \left(1-\frac{v}{c}\right) \gamma (ct'-x')
</math>.
Analog hat an einer Lichtfront, die sich in negativer x-Richtung bewegt, die Summenkoordinate <math>ct + x </math> überall denselben Wert, ebenso <math>\textstyle ct' + x' </math>. Auch eine solche Front geht durch E (mit gleichen Koordinaten wie oben) und durch O' (zu einem anderen Zeitpunkt als oben). In der Gleichung analog zur vorhergehenden werden nun Summen statt Differenzen gebildet, daher lautet sie
:<math>
     ct + x = \left(1+\frac{v}{c}\right) \gamma (ct' + x')
</math>.
Addition und Subtraktion der beiden Gleichungen ergibt <math>ct</math> und <math>x</math> als Funktion von
<math>ct'</math> und <math>x'</math>.

=== Empirische Herleitung ===
{{Hauptartikel|Testtheorien der speziellen Relativitätstheorie}}
[[Howard P. Robertson]] und andere zeigten, dass die Lorentz-Transformation auch empirisch hergeleitet werden kann. Dazu ist es nötig, allgemeine Transformationsformeln zwischen verschiedenen Inertialsystemen mit experimentell bestimmbaren Parametern zu versehen. Es wird angenommen, dass ein einziges „bevorzugtes“ Inertialsystem <math>X, Y, Z, T</math> existiert, in dem die Lichtgeschwindigkeit konstant, isotrop und unabhängig von der Geschwindigkeit der Quelle ist. Ebenso sollen [[Einstein-Synchronisation]] und Synchronisation durch langsamen Uhrentransport in diesem System äquivalent sein. Es sei ein weiteres, zu diesem System kollineares System <math>x, y, z, t</math> gegeben, dessen räumlicher Ursprung zum Zeitpunkt <math>T = t = 0</math> mit dem Ursprung des ersten Systems übereinstimmt und in dem die Uhren und Maßstäbe dieselbe interne Konstitution haben wie im ersten System. Dieses zweite System bewegt sich relativ zum ersten System mit konstanter Geschwindigkeit entlang der gemeinsamen <math>X</math>-Achse. Folgende Größen bleiben dabei zunächst unbestimmt:
* <math>a(v)</math> Unterschiede in der Zeitmessung,
* <math>b(v)</math> Unterschiede in der Messung longitudinaler Längen,
* <math>d(v)</math> Unterschiede in der Messung transversaler Längen,
* <math>\varepsilon(v)</math> folgt aus der Konvention zur Uhrensynchronisation.

Daraus ergeben sich folgende Transformationsformeln:
:<math>\begin{align}
t & =a(v)T+\varepsilon(v) x\\
x & =b(v)(X-vT)\\
y & =d(v)Y\\
z & =d(v)Z
\end{align}</math>

<math>\varepsilon (v)</math> wird nicht direkt gemessen, sondern folgt aus der Uhrensynchronisationskonvention. Hier ist die Einstein-Synchronisation die einfachste Möglichkeit, woraus sich <math>\textstyle \varepsilon (v)=-v/c^{2}</math> ergibt. Das Verhältnis zwischen <math>b(v)</math> und <math>d(v)</math> wird aus dem [[Michelson-Morley-Experiment]], das Verhältnis zwischen <math>a(v)</math> und <math>b(v)</math> aus dem [[Kennedy-Thorndike-Experiment]] und schließlich <math>a(v)</math> allein aus dem [[Ives-Stilwell-Experiment]] bestimmt. Die Experimente ergaben <math>\textstyle 1/a(v)=b(v)=\gamma</math> und <math>d(v)=1</math>, was obige Transformation in die Lorentz-Transformation überführt. Hingegen wurde die Galilei-Transformation <math>a(v)=b(v)=d(v)=1</math> damit ausgeschlossen.

== Poincaré- und Lorentz-Gruppe ==
{{Hauptartikel|Lorentz-Gruppe|Poincaré-Gruppe}}

Die Poincaré-[[Gruppe (Mathematik)|Gruppe]] ist die Menge der linear inhomogenen Transformationen

:<math>T_{\Lambda,a}\colon x \mapsto  T_{\Lambda,a}x = x^\prime,\quad x^{\prime\,m}=\Lambda^{m}{}_n\,x^{n}+a^{m},\quad m,n \in \{0,1,2,3\},</math>

die den Abstand zweier Vierervektoren invariant lassen. Die Untergruppe der homogenen Transformationen <math>\textstyle T_{\Lambda,0}</math> bildet die Lorentz-Gruppe,
<math>\mathrm{O}(1,3)</math>, das ist die Gruppe der linearen Transformationen von <math>\textstyle \mathbb{R}^4</math> auf <math>\textstyle \mathbb{R}^4</math>, die das Längenquadrat
:<math>w^2=t^2-x^2-y^2-z^2</math>
jedes Vektors <math>w=(t,x,y,z)</math> aus <math>\textstyle \mathbb{R}^4</math> invariant lassen.
Schreiben wir das Längenquadrat als [[Matrixprodukt]]
:<math>w^{\mathrm T}\,\eta\,w</math>
des Spaltenvektors <math>w</math> mit der Matrix
:<math>
\eta = \begin{pmatrix}
1 & 0& 0& 0\\
0 &-1& 0& 0\\
0 & 0&-1& 0\\
0 & 0& 0&-1\\
\end{pmatrix} </math>
und der transponierten Spalte, der Zeile <math>\textstyle w^{\mathrm T}</math>, so muss für jeden Lorentz-transformierten Vektor <math>\Lambda w</math> gelten
:<math>w^{\mathrm T}\,\Lambda^{\mathrm T}\eta\,\Lambda\,w=w^{\mathrm T}\,\eta\,w.</math>
Dies ist genau dann der Fall, wenn die Lorentz-Transformation die Gleichung
:<math>\Lambda^{\mathrm T}\eta\,\Lambda =\eta</math>
erfüllt.

Alle Lösungen dieser Gleichung, die die Zeitrichtung und räumliche Orientierung nicht umdrehen, sind von der Form
:<math>\Lambda=D_1\,\Lambda_{v}\,D_2.</math>
Dabei sind <math>D_1</math> und <math>D_2</math> Drehungen
:<math>
D= \begin{pmatrix}
1 &  \\
& D_{3 \times 3} \\
\end{pmatrix},\quad 
D_{3 \times 3}^{\mathrm T}\,D_{3 \times 3}=\mathbf 1,\quad 
\det D_{3 \times 3}=1.</math>
Diese Drehungen bilden die Untergruppe [[SO(3)]] der Lorentz-Gruppe.
Die Matrix
:<math>\Lambda_v
= \begin{pmatrix}
\gamma & -\gamma \,v & 0 & 0 \\
-\gamma \, v & \gamma & 0 & 0 \\
  0 & 0 & 1 & 0\\
  0 & 0 & 0 &1 \\
\end{pmatrix} </math>
bewirkt die oben angegebene Lorentz-Transformation mit einer Geschwindigkeit <math>|v|<1</math>. Die Transformationen
:<math>\Lambda=D\,\Lambda_{v}\,D^{-1}.</math>
heißen ''Lorentz-Boost''. Sie transformieren auf die Koordinaten des bewegten Beobachters, der sich mit Geschwindigkeit <math>v</math> in die Richtung bewegt, die sich durch die Drehung <math>D</math> aus der <math>x</math>-Richtung ergibt.

Lorentz-Transformationen, die das [[Vorzeichen (Zahl)|Vorzeichen]] der Zeitkoordinate, die Richtung der Zeit, nicht ändern,

* <math>\Lambda_{\ 0}^{0}\ge 1 ,</math>

bilden die Untergruppe der orthochronen Lorentz-Transformationen. Die Lorentz-Transformationen mit

* <math>\det \Lambda = 1</math>

bilden die Untergruppe der eigentlichen Lorentz-Transformationen. Für die orientierungstreuen Lorentz-Transformationen gilt

* <math>\Lambda_{\ 0}^{0}\cdot \det \Lambda \ge 1.</math>

Die zeit- und orientierungstreuen Lorentz-Transformationen

* <math>\Lambda_{\ 0}^{0}\ge 1,\quad \det \Lambda = 1,</math>

bilden die eigentliche orthochrone Lorentz-Gruppe. Sie ist zusammenhängend: Jede eigentliche orthochrone Lorentz-Transformation kann durch stetige Veränderung der sechs Parameter, drei für die Drehachse und den Drehwinkel und drei für die Relativgeschwindigkeit der beiden Bezugssysteme, in die identische Abbildung übergeführt werden.

=== Zeit- und Raumspiegelung ===

Die nicht mit der <math>\mathbf 1</math> zusammenhängenden Lorentz-Transformationen erhält man, indem man die Zeitspiegelung oder die Raumspiegelung
:<math>
\mathcal{T} = \begin{pmatrix}
-1& 0& 0& 0\\
0 & 1& 0& 0\\
0 & 0& 1& 0\\
0 & 0& 0& 1\\
\end{pmatrix}
,\quad
\mathcal{P} = \begin{pmatrix}
1 & 0& 0& 0\\
0 &-1& 0& 0\\
0 & 0&-1& 0\\
0 & 0& 0&-1 \\
\end{pmatrix} </math>
oder beide mit den Lorentz-Transformationen multipliziert, die mit der <math>\mathbf 1</math> zusammenhängen. Die Lorentz-Gruppe <math>\mathrm{O}(1,3)</math> hat vier Zusammenhangskomponenten.

== Überlagerungsgruppe ==

Die folgenden Überlegungen zeigen, dass die Gruppe der linearen Transformationen des zweidimensionalen, komplexen Vektorraumes <math>\textstyle \mathbb C^2</math>, deren Determinante den speziellen Wert <math>1</math> hat, die sogenannte [[spezielle lineare Gruppe]] <math>\mathrm{SL}(2,\mathbb{C})</math>, die [[Zusammenhängender Raum|einfach zusammenhängende]] [[Überlagerung (Topologie)|Überlagerung]] der eigentlichen orthochronen Lorentz-Transformationen ist. Dabei überlagert die Untergruppe der speziellen unitären zweidimensionalen Transformationen, [[SU(2)]] die Gruppe der Drehungen, <math>\mathrm{SO}(3)</math>.

Jede [[Hermitesche Matrix|hermitesche]] <math>2\times 2</math> – Matrix ist von der Form:

:<math>\hat{w}
= \begin{pmatrix}
t+z&x-\mathrm{i}y\\
x+\mathrm{i}y&t-z
\end{pmatrix}=\hat{w}^{\mathrm{T}\,*}=\hat{w}^\dagger. </math>

Da sie umkehrbar eindeutig durch die vier reellen Parameter <math>w=(t,x,y,z)</math> bezeichnet wird und da Summen und reelle Vielfache hermitescher Matrizen wieder hermitesch sind und zu den Summen und Vielfachen der Vierervektoren <math>w</math> gehören, ist sie Element eines vierdimensionalen Vektorraums.

Die Determinante

:<math>\det\hat{w}=t^2-x^2-y^2-z^2 </math>

ist das Längenquadrat des Vierervektors <math>w</math>.

Multipliziert man <math>\hat{w}</math> von links mit einer beliebigen komplexen <math>(2\times 2)</math>-Matrix und von rechts mit deren adjungierter, so ist das Ergebnis <math>\textstyle M\hat{w}M^\dagger=\hat{u}</math> wieder hermitesch und lässt sich als <math>\hat{u}</math> schreiben, wobei <math>u=\Lambda w</math> linear von <math>w</math> abhängt. Ist <math>M</math> aus der ''speziellen'' linearen Gruppe der komplexen <math>(2\times 2)</math>-Matrizen, <math>\mathrm{SL}(2,\mathbb{C})</math>, deren Determinanten den speziellen Wert <math>1</math> haben, so stimmt das Längenquadrat von <math>w</math> und <math>u=\Lambda w</math> überein, <math>\Lambda</math> ist also eine Lorentz-Transformation. Zu jedem <math>M</math> aus <math>\mathrm{SL}(2,\mathbb{C})</math> gehört so vermöge

:<math>M\hat{w}M^\dagger=\widehat{\Lambda w}</math>

eine Lorentz-Transformation <math>\Lambda</math> aus <math>\mathrm{O}(1,3)</math>. Genauer gehört zu jedem Paar <math>\pm M</math> von komplexen <math>(2\times 2)</math>-Matrizen aus <math>\mathrm{SL}(2,\mathbb{C})</math> genau eine Lorentz-Transformation <math>\Lambda(M)=\Lambda(-M)</math> aus dem Teil von <math>\mathrm{O}(1,3)</math>, welcher mit der <math>\mathbf 1</math> stetig zusammenhängt. Dieser Teil der Lorentz-Gruppe ist eine Darstellung der Gruppe <math>\mathrm{SL}(2,\mathbb{C})</math>.

Die Gruppe <math>\mathrm{SL}(2,\mathbb{C})</math> ist die Produktmannigfaltigkeit <math>\mathbb{R}^3\times S^3</math> und einfach zusammenhängend. Die Gruppe der eigentlichen orthochronen Lorentz-Transformationen ist hingegen nicht einfach zusammenhängend:
Drehungen um eine feste Achse mit Winkeln, die von <math>\alpha = 0</math> bis <math>\alpha = 2\pi</math> anwachsen, bilden in der Drehgruppe einen geschlossenen Kreis. Man kann diese Transformationen nicht stetig in andere Drehungen abändern, so dass dieser Kreis auf einen Punkt zusammenschrumpft.

== Literatur ==
* [[Charles Kittel]], Walter D. Knight, Malvin A. Ruderman: ''Mechanik'' (= ''Berkeley Physik Kurs.'' Bd. 1). Vieweg, Braunschweig 1973, ISBN 3-528-08351-4, S. 232: Kap. 11.
* Norbert Dragon: [https://www.itp.uni-hannover.de/fileadmin/arbeitsgruppen/dragon/relativ.pdf ''Geometrie der Relativitätstheorie.''] (PDF-Datei; 2,37&nbsp;MB)

== Weblinks ==
* [http://www.mathe-online.at/mathint/struct/applet_b_lorentz.html Interaktives Java-Applet]
* {{TIBAV |19922 |Linktext=Lorentz-Transformationen |Herausgeber=Loviscach |Jahr=2013 |DOI=10.5446/19922}}
* {{TIBAV |19921 |Linktext=Lorentz-Transformation im Detail |Herausgeber=Loviscach |Jahr=2013 |DOI=10.5446/19921}}

== Einzelnachweise ==
<references />

{{SORTIERUNG:Lorentztransformation}}
[[Kategorie:Spezielle Relativitätstheorie]]
[[Kategorie:Symmetrie (Physik)]]
[[Kategorie:Transformation]]
[[Kategorie:Hendrik Antoon Lorentz]]