Lorentz Transformations
Newtonian mechanics answers the question "how do two observers in relative motion compare their coordinates?" with the Galilean transformation: leave the clock alone, and add velocities like arrows. It is intuitive, and it is wrong. The whole edifice collapses the moment you insist — with Einstein — that the same light pulse races away at exactly whether you chase it or flee from it. A transformation that keeps one speed fixed in every frame cannot leave time untouched; it must braid time and space together. The Lorentz transformations are precisely the linear coordinate changes that perform this braiding while holding one thing sacred: the spacetime interval . That single invariance is the seed of everything. Demanding it for all displacements forces the transformation matrix to satisfy one compact equation, — the algebraic heart of special relativity. Time dilation, length contraction, the relativity of simultaneity, the cosmic speed limit: none of them are separate postulates. They are corollaries of that one line. The solutions form a six-parameter group — three rotations, three boosts — and a boost turns out to be nothing more exotic than a rotation through an imaginary angle, a hyperbolic tilt of the axes toward the light cone they can never cross. This matters far beyond flat space. In general relativity, spacetime is curved, but at every event the tangent space is Minkowski, and physics in a freely-falling local frame is Lorentz-invariant. Special relativity is the local limit of the curved theory, and the residual freedom to rotate orthonormal frames — local Lorentz invariance — is the gauge symmetry that lets spinors and tetrads live in curved spacetime.
- A Lorentz transformation is a linear map between inertial frames that leaves the spacetime interval invariant.
- Invariance is equivalent to the single matrix condition with ; the solutions form the Lorentz group .
- The group has four disconnected components; the physical, identity-connected piece (proper, orthochronous) is built from three rotations and three boosts.
- A boost mixes time and space, , , with — this one map contains dilation, contraction, and lost simultaneity.
- Boosts are hyperbolic rotations by a rapidity with ; rapidities add linearly, so relativistic velocity addition is just of a sum.
- Key idea: a Lorentz transformation is any linear map obeying ; that one condition encodes every boost and rotation and guarantees the interval and the speed of light are identical in every inertial frame.
A Lorentz transformation is any linear map that preserves the Minkowski metric, ; this single condition encodes boosts and rotations and guarantees the spacetime interval and the speed of light are the same in every inertial frame.
Where this lives today
Lorentz invariance is among the most stringently tested principles in all of physics, and probing where — if anywhere — it breaks is a live frontier. Modern "clock-comparison" and optical-cavity experiments (Michelson–Morley redux with lasers and atomic clocks) now bound any anisotropy of the speed of light at the level of parts in , and astrophysical tests watch high-energy photons and neutrinos race across billions of light-years to check whether the light barrier is truly energy-independent, as exact Lorentz symmetry demands. On the theory side, the Standard-Model Extension catalogues every way Lorentz violation could appear, motivated by quantum-gravity scenarios in which spacetime is granular at the Planck scale and the smooth Minkowski structure is only an approximation. Meanwhile the transformation does daily engineering work: particle physicists boost between lab and centre-of-momentum frames to extract collision energies at the LHC, and every relativistic-jet observation from a blazar or microquasar is decoded with Doppler and aberration formulas that are just the boost acting on a light four-vector. The humble matrix Lorentz wrote to rescue the ether now underwrites both the deepest tests of symmetry and the routine bookkeeping of high-energy physics.
The physical picture
Draw spacetime as a flat sheet with time running up and one space direction running across. In ordinary Euclidean geometry a rotation keeps fixed and sweeps points around a circle. A Lorentz boost keeps the Minkowski "length" fixed — and because that invariant carries a minus sign, the level curves are hyperbolae, not circles. The "rotation" is therefore hyperbolic: as you boost harder, the time axis and the space axis both tilt toward the diagonal light line , closing on it like a pair of scissors but never crossing. The speed of light is the asymptote no boost can reach, and is a single number measuring how far the axes have tilted.
The Galilean world is the limit of this picture: push the light line flat and the cone opens into a horizontal plane of absolute simultaneity shared by all observers. At finite the cone closes to , simultaneity fractures — events level in one frame slope in another — and the tilt of the axes becomes physical. The most elegant payoff is composition: stack two boosts in the same direction and their rapidities simply add, exactly as two planar rotations add their angles. The notorious relativistic velocity-addition law, which forbids any sum of sub-light speeds from reaching , is nothing but the statement that of a finite sum is always less than one.
The core equations
Everything in special relativity hangs from one invariant. Before any transformation is written, the object that must survive it is the spacetime interval between two events — the Lorentzian analogue of a distance, with the crucial minus sign on the time part.
where: — squared spacetime interval between two events (signature ); — Minkowski metric ; — coordinate separation with , ; — invariant speed of light. Physical reading: is timelike (a clock can be present at both events), is spacelike (no signal connects them), is a light ray. A Lorentz transformation is then defined to be any linear map that leaves equation (1) unchanged. Imposing that on the matrix collapses to a single relation — the defining equation of the whole group, the exact Lorentzian cousin of the orthogonality condition that defines rotations.
where: — transformation matrix, ; — transpose; — the metric read as a matrix. Physical reading: the only maps allowed are those that preserve the metric, so the "distances" all observers agree on are exactly the Minkowski intervals. The single scalar that governs how strongly a boost tilts the axes is the Lorentz factor. It is the one number that appears in nearly every relativistic formula, growing without bound as approaches .
where: — Lorentz factor, always ; — relative speed of the two inertial frames; — speed in units of . Physical reading: is the stretch of moving clocks and the shrink of moving rods; at , , and as . Specialising to relative motion along a single axis gives the workhorse of the subject — the boost. The transverse directions are untouched; only and mix.
where: — coordinates in the frame moving at ; . Physical reading: the piece of the time equation is the relativity of simultaneity — events at different but equal acquire different — and it is the root of nearly every "paradox". Written as a matrix, the boost reveals its true nature. The velocity form and the rapidity form are the same object; the second makes the hyperbolic-rotation structure manifest.
where: — rapidity, defined by , so and . Physical reading: compare with the Euclidean rotation matrix built from / — the only change is trigonometric functions become hyperbolic, because the invariant is instead of . The rapidity is the "natural angle" of a boost, and its defining relations are worth isolating. Its whole virtue is that it linearises composition.
where: — rapidity, ranging over while ranges over . Physical reading: because maps the whole real line into , no finite rapidity — hence no finite chain of boosts — ever reaches . Two collinear boosts compose by adding rapidities, and unpacking that with the addition formula reproduces the relativistic velocity-addition law.
where: — rapidity of each boost; — its velocity in units of . Physical reading: the denominator is the relativistic correction that keeps the sum below ; for small speeds it is and Galilean addition re-emerges. Finally, taking the determinant and the -component of equation (2) exposes that the Lorentz group is not connected — it splits into four topological pieces.
where: — proper, improper (contains a reflection); — orthochronous (preserves the arrow of time), non-orthochronous. Physical reading: only the proper orthochronous component is reachable by a continuous boost or rotation from rest — the rest require the discrete flips of parity or time reversal.
The goal is to build the boost from scratch using nothing but three physical inputs — the homogeneity of spacetime (which forces linearity), the principle of relativity (which forces a symmetric, reciprocal form), and the invariance of (which fixes the last constant) — and then to pin the overall scale with the interval. Working in standard configuration, with the primed frame sliding at speed along the shared -axis and the origins coinciding at , we start from the most general linear ansatz and let each postulate remove one unknown until only remains, itself fixed by demanding the interval be invariant.
Step 1. Write the most general linear map in the - plane, and . Why linear: spacetime is homogeneous, so a free particle in uniform motion in one frame must be in uniform motion in the other — straight worldlines map to straight worldlines, and only linear maps through a common origin do that.
Step 2. The spatial origin of the primed frame, , traces in the unprimed frame; substituting gives , hence . Why: this simply encodes that the moving observer sits at rest at their own origin while drifting at through ours, tying to the velocity.
Step 3. By the principle of relativity the inverse map must have the identical form with ; this reciprocity forces the two diagonal stretch factors to be equal, . Why: neither frame is privileged, so the map from primed-to-unprimed cannot look structurally different from unprimed-to-primed — symmetry equates the coefficients.
Step 4. Demand that a light pulse obey in both frames, i.e. ; feeding this into the ansatz with fixes the off-diagonal time coefficient to . Why: this is where Einstein's second postulate enters — the constancy of is the one experimental fact that distinguishes Lorentz from Galileo.
Step 5. Impose interval invariance on the assembled map; the cross terms cancel automatically and the diagonal terms give , so , yielding and . Why: the first four steps fixed the shape of the matrix; only the interval fixes its overall normalisation, delivering the familiar . *Three quick checks confirm the result: setting returns , , (the identity); a light ray maps to , preserving the speed of light; and , confirming the transformation is proper.*
Go deeper · Derivation B · 1 minTime dilation and length contraction from one boost
The goal is to show that the two most famous kinematic effects are not independent postulates but two readings of the very same boost equations, the difference lying entirely in which pair of events each measurement compares. The subtlety — and the source of every apparent paradox — is that a clock measurement holds the spatial coordinate fixed in the clock's own frame, while a length measurement holds the time coordinate fixed in the observer's frame; those are different constraints, and reversing them is the classic error. We use the inverse boost , throughout.
Step 1. For a clock at rest in , two successive ticks happen at the same place, , and the elapsed primed time is the proper time, . Why: proper time is what a single carried clock reads, and a clock never moves relative to itself — that is exactly the condition.
Step 2. Transform to : , so the moving clock's ticks are spread by the larger interval in the lab. Why: with the simultaneity term drops out and only the stretch survives — moving clocks run slow, and the effect is purely .
Step 3. For a rod at rest in with rest length , the observer in must locate both ends at one instant, . Why: a moving object's length is defined by simultaneous marking of its ends — measuring them at different times would let the rod slide between marks and give a meaningless answer.
Step 4. Use with , so the measured length is , shorter than rest length. Why: here it is the space transform, evaluated at equal lab-time, that carries the ; the rod contracts along the direction of motion by exactly the reciprocal factor. *As a concrete check: at , , so a moving clock's proper second reads of lab time, and a metre stick measures in the lab.*
Go deeper · Derivation C · 1 minThe four components of the Lorentz group
The goal is to prove that the defining condition does not describe one connected family of transformations but four disjoint sheets, separated by two discrete signs — the determinant and the sign of the time-time entry. Only one sheet, the proper orthochronous component containing the identity, is physically reachable by continuously accelerating a laboratory; the other three demand the discrete operations of spatial reflection, time reversal, or both. We extract the two invariants directly from the defining relation and count.
Step 1. Take the determinant of both sides of : since , we get , so . Why: the determinant is a continuous function that can only take two isolated values here, so it can never change sign along a continuous path — it already cuts the group in two (proper vs. improper, the latter containing parity ).
Step 2. Read off the -component: , hence , forcing or . Why: the forbidden gap is unbridgeable by any continuous motion, splitting each half again into orthochronous (arrow of time preserved) and non-orthochronous (time-reversed, containing ).
Step 3. Combine the two signs to get four sheets, ; the identity component is with and . Why: this is the only physically realisable component — the proper orthochronous boosts and rotations — and it is a six-dimensional Lie group.
Step 4. Any element of is an exponential , with six antisymmetric parameters splitting into three rotation angles and three rapidities, and generators spanning the Lie algebra . Why: the exponential map builds every finite proper orthochronous transformation from infinitesimal ones, exhibiting the promised three-plus-three parameter count. *As a consistency note: is six-dimensional and is double-covered by , confirming the four-component structure and the six-parameter count.*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| Low velocity (Galilean limit) | Recovers the Galilean transformation and Newtonian absolute time; corrections are . | |
| Ultra-relativistic limit | Rapidity diverges, the boosted axes asymptote to the light line, and no inertial frame reaches . | |
| Zero velocity (identity) | Frames at mutual rest differ at most by a rotation; the boost collapses to the identity map. | |
| Light propagation | The light cone maps to itself — the speed of light is the same invariant in every frame, the defining demand. |
Worked examples
1 · Composing two boosts with rapidity (fully numeric)
A probe moves at relative to a station. It launches a drone forward at relative to itself. How fast is the drone relative to the station? Do it twice — the naive way and the rapidity way.
Step 1. Naive Galilean addition would give , i.e. faster than light — impossible, and the tell that Galilean addition has failed. The relativistic law is equation (7): .
Step 2. Plug in: . The drone moves at relative to the station — below , as it must be.
Step 3. Now the elegant route. Each boost has rapidity . Rapidities simply add: . Convert back: — identical to Step 2, but obtained by plain addition rather than the awkward fraction.
Step 4. The lesson: rapidity is the additive coordinate of boosts. Even stacking a hundred boosts of each just gives , and is indistinguishable from but never equals it — you approach asymptotically and never reach it.
2 · The atmospheric muon (fully numeric)
Cosmic-ray muons are created about up with a rest-frame mean lifetime , travelling at . Non-relativistically a muon covers only before decaying — it should never reach the ground. Resolve the puzzle from both frames.
Step 1. Lorentz factor: . This single number will do all the work, appearing as a time stretch in one frame and a length shrink in the other.
Step 2. Lab (ground) frame — time dilation. The moving muon's clock runs slow, so its lab-frame mean life is . In that time it travels — comfortably enough to reach sea level.
Step 3. Muon frame — length contraction. Here the muon lives only its ordinary , but the atmosphere rushes past contracted by : the column is only thick. Crossing at takes , about one lifetime.
Step 4. Both frames agree the muon arrives, but they attribute survival to different effects — dilation of the muon's clock in the lab, contraction of the atmosphere in the muon's frame. They are the same boost read two ways, and the observed muon flux at sea level confirms it daily.
Physics of the portrait
The transformation carries a Dutch physicist's name, yet he was not the one who understood what he had found — a fitting emblem for a formula that was written down to save an ether nobody would keep.
Origins · 1 minHendrik Lorentz and how this was discovered
Hendrik Antoon Lorentz was the towering theorist of the generation just before Einstein, and the man whose mathematics made relativity possible without ever quite making relativity himself. Working to explain why the Michelson–Morley experiment stubbornly failed to detect Earth's motion through the luminiferous ether, Lorentz introduced by 1895 two remarkable devices: a "local time" that varied from place to place, and — following FitzGerald — a contraction of moving bodies along their direction of travel. By 1904 he had assembled these into the full set of transformation equations that now bear his name, showing that Maxwell's equations kept their form under them. But for Lorentz these were computational fictions: real physical distortions of matter moving through a real, stationary ether, with "local time" a mere auxiliary variable, not the time any clock actually read. It fell to Poincaré, who in 1905 named the group after Lorentz and recognised its mathematical structure, and above all to Einstein, who that same year discarded the ether entirely and reinterpreted the very same equations as statements about space and time themselves, flowing from two simple postulates. Minkowski completed the arc in 1908 by revealing the transformations as rotations of a unified four-dimensional spacetime. Lorentz, generous and undogmatic, embraced the new physics he had unwittingly prepared, and remained until his death the revered elder statesman of theoretical physics — the calculation was his; the revolution was Einstein's.
Going further
Texts. Misner, Thorne & Wheeler, Gravitation, ch. 2 · Wald, General Relativity, §1.2 · Carroll, Spacetime and Geometry, ch. 1 · Hartle, Gravity, ch. 4 · Schutz, A First Course in General Relativity, ch. 1–2. Key numerical anchors: direct multiplication confirms for the boost matrix (5); the identity yields the rapidity identifications and . Numerical values: at ; at , giving for ; muon at with ; and the composition . For small , equation (7) reduces to Galilean addition .
Prerequisites. Postulates of Special Relativity · Spacetime Interval · Minkowski Metric and Signature. Leads to. Lorentz Boosts and Rapidity · Time Dilation · Length Contraction · Four-Vectors · Causal Structure and Light Cones.
Ask the tutor: Ask me to boost any pair of events by hand, resolve a specific "paradox" (twins, ladder-and-barn, pole-vaulter) event by event, or show why forces the boost matrix to look exactly the way it does.
Why must a Lorentz transformation be linear in the coordinates?
Because spacetime is homogeneous — no event is special. A free particle moving uniformly in one inertial frame must also move uniformly in another, so straight worldlines must map to straight worldlines. The only coordinate maps that send every straight line through the origin to another straight line (with origins coinciding) are linear, . If the map had quadratic or higher terms, uniform motion would look accelerated in the new frame, secretly singling out a preferred location or time and violating the relativity principle. Linearity is therefore not an assumption of convenience but a consequence of the equivalence of all inertial frames.
How is different from the rotation condition ?
They are the same idea with a different metric. Rotations preserve the Euclidean quadratic form , giving . Lorentz transformations preserve the Minkowski form , so the identity is replaced by and the condition becomes . That single minus sign changes everything: the invariant "spheres" become invariant hyperbolae , and the rotation angle, bounded and periodic, is replaced by the rapidity, unbounded and additive. Boosts are rotations through an imaginary angle.
What exactly is rapidity, and why bother with it?
Rapidity is the "natural angle" of a boost, defined by . Its payoff is that collinear boosts add their rapidities, , exactly as planar rotations add their angles — whereas velocities combine through the messy fraction . Because maps the entire real line into , any finite rapidity, however large, corresponds to a speed below : this makes the cosmic speed limit geometrically obvious. Rapidity also cleans up the boost matrix, which becomes and in perfect analogy to the and of a rotation. It is the additive, "flat" coordinate hiding inside the saturating variable .
Do time dilation and length contraction contradict each other since each observer sees the other's clock slow?
No — this apparent paradox dissolves once you track which events are compared. Time dilation and length contraction are statements about different pairs of events, and the definitions are not reciprocal in a naive way because "at the same time" is frame-dependent. When you say the other observer's clock is slow, you are comparing events at the same place in their frame; when they say the same of you, they compare events at the same place in their frame — different comparisons entirely. The relativity of simultaneity, the term in the boost, is exactly the extra ingredient that reconciles the two symmetric-looking claims. Every "twin paradox" is resolved by carefully applying the boost to specific events rather than waving at "who moves".
Why can no chain of sub-light boosts ever reach the speed of light?
Because boosts add rapidities, not velocities. Each sub-light boost contributes a finite rapidity , and any finite sum is still finite. The resulting speed is , and approaches asymptotically but never attains it for finite argument. Concretely, stacking a hundred boosts of each gives rapidity , and differs from only around the sixtieth decimal place — still short of . Reaching would require infinite rapidity, hence infinitely many boosts or infinite energy. The light barrier is not a wall you crash into; it is a horizon you asymptote toward.
What survives a Lorentz transformation, and what does not?
The spacetime interval survives — every inertial observer computes the same value — and with it the speed of light, the causal ordering of timelike-separated events, and the light-cone classification (timelike, spacelike, null). What does not survive are the separate time and space pieces: and individually change, which is precisely time dilation and length contraction. Simultaneity is frame-dependent, and so is which of two spacelike-separated events happens "first". The whole art of relativity is learning to phrase physics in terms of the invariants — intervals, proper times, four-vector magnitudes — rather than the frame-dependent components, so that predictions never depend on an arbitrary choice of observer.
In what sense do Lorentz transformations still matter in curved spacetime?
General relativity replaces flat Minkowski spacetime with a curved manifold, but curvature is a global feature — locally, spacetime is always flat. At every event the tangent space is Minkowski, and an observer in free fall there experiences exactly special relativity (the equivalence principle). One builds an orthonormal frame, a set of four tetrad vectors, at each event, and there remains the freedom to rotate or boost that frame by a position-dependent Lorentz transformation without changing any physics. This local Lorentz invariance is a genuine gauge symmetry, and it is the machinery that lets spinor fields — electrons, quarks — be defined on curved spacetime, since spinors are representations of the Lorentz group, not of general coordinate transformations. Lorentz symmetry is thus the local skeleton of the curved theory.