Mathematics of Special Relativity — Mathematics Knowledge System

Overview

Special relativity, formulated by Einstein in 1905 and given its definitive mathematical form by Minkowski in 1908, describes physics in inertial reference frames moving at constant velocity relative to one another. The mathematical framework replaces Euclidean 3-space with Minkowski 4-spacetime, equipped with a non-positive-definite bilinear form (the Minkowski metric). Lorentz transformations are the linear maps preserving this metric, forming the Lorentz group O(1,3). The theory unifies space and time and implies the equivalence of mass and energy (E = mc²).

Intuition

In Euclidean geometry, distances are preserved by rotations: ds² = dx² + dy² + dz². Minkowski showed that special relativity corresponds to a geometry where the invariant is ds² = −c²dt² + dx² + dy² + dz². Lorentz transformations preserve this interval — they are 'rotations' in spacetime. Time dilation and length contraction are geometric effects analogous to foreshortening in ordinary rotations.

Formal Definition

Definition

Minkowski spacetime is the pair (ℝ⁴, η), where η is the Minkowski metric. Events are 4-vectors; the Lorentz group is the isometry group of η.

x^\mu = (x^0, x^1, x^2, x^3) = (ct, x, y, z)

Four-position (event in Minkowski spacetime)

\eta_{\mu\nu} = \operatorname{diag}(-1, +1, +1, +1)

Minkowski metric tensor (signature -,+,+,+)

ds^2 = \eta_{\mu\nu}\, dx^\mu dx^\nu = -c^2 dt^2 + dx^2 + dy^2 + dz^2

Spacetime interval (Lorentz-invariant)

\Lambda^\mu_{\;\nu} \in O(1,3): \quad \eta_{\mu\nu}\Lambda^\mu_{\;\rho}\Lambda^\nu_{\;\sigma} = \eta_{\rho\sigma}

Lorentz transformation preserving the metric

E^2 = (pc)^2 + (mc^2)^2, \quad p^\mu = (E/c, \mathbf{p})

Energy-momentum 4-vector and mass-shell relation

Notation

Notation	Meaning
$x^\mu$	Contravariant 4-vector components
$\eta_{\mu\nu}$	Minkowski metric tensor
$ds^2$	Spacetime interval (Lorentz-invariant)
$\gamma = 1/\sqrt{1-v^2/c^2}$	Lorentz factor
$O(1,3)$	Lorentz group (isometry group of Minkowski spacetime)

Theorems

Theorem 1: Invariance of the Spacetime Interval

ds^2 = \eta_{\mu\nu}\,dx^\mu dx^\nu \text{ is preserved under all Lorentz transformations}

Theorem 2: Time Dilation

\Delta t = \gamma \Delta\tau,\quad \gamma = \frac{1}{\sqrt{1 - v^2/c^2}}

Theorem 3: Length Contraction

L = L_0 / \gamma

Theorem 4: Mass-Energy Equivalence

E = mc^2 \text{ (at rest)},\quad E^2 = (pc)^2 + (mc^2)^2 \text{ (general)}

Worked Examples

1
Require linearity and that x = ct, x' = ct' (light cone preserved).
$t' = \gamma\left(t - \frac{v}{c^2}x\right),\quad x' = \gamma(x - vt)$
2
Verify the interval is preserved.
$ds'^2 = -c^2 dt'^2 + dx'^2 = -c^2 dt^2 + dx^2 = ds^2$
3
The Lorentz factor arises from normalisation.
$\gamma = \frac{1}{\sqrt{1 - v^2/c^2}}$

✓ Answer

Standard Lorentz boost: t' = γ(t − vx/c²), x' = γ(x − vt), y' = y, z' = z.

Practice Problems

Mediumfree response

A muon is created at the top of the atmosphere 10 km above Earth with speed 0.998c. Its proper lifetime is 2.2 μs. Does it reach Earth? Use both time dilation and length contraction.

Common Mistakes

Common Mistake

Time dilation means moving clocks run faster

Moving clocks run slower: Δt = γΔτ > Δτ. The proper time Δτ in the moving frame is shorter than the coordinate time Δt measured in the lab frame.

Common Mistake

The spacetime interval ds² is always positive

With the signature (−,+,+,+), ds² can be negative (timelike), zero (lightlike), or positive (spacelike). It is not positive-definite.

Quiz

The spacetime interval ds² = −c²dt² + dx² + dy² + dz² is classified as spacelike, timelike, or lightlike. A lightlike (null) interval has:

ds² > 0ds² < 0ds² = 0ds² = c²

The Lorentz group O(1,3) is the symmetry group of:

Euclidean 4-spaceMinkowski spacetime (preserves the Minkowski metric)General Riemannian manifoldsGalilean spacetime

Historical Background

Albert Einstein published 'On the Electrodynamics of Moving Bodies' in 1905, deriving special relativity from two postulates: the relativity principle and the constancy of the speed of light. Hermann Minkowski (Einstein's former mathematics teacher) provided the geometric formulation in his 1908 lecture 'Space and Time', introducing the four-dimensional spacetime manifold. Minkowski's formulation made the mathematical structure clear and became the language in which all subsequent relativistic physics is expressed.

1905
Einstein publishes special relativity (Annalen der Physik 17)
Albert Einstein
1905
Einstein derives E = mc² in a follow-up paper the same year
Albert Einstein
1908
Minkowski gives his 'Space and Time' lecture introducing Minkowski spacetime
Hermann Minkowski
1910s
Lorentz group and its representations systematically studied
Hendrik Lorentz, Henri Poincare

Summary

Minkowski spacetime is ℝ⁴ with metric η = diag(−1,+1,+1,+1); the invariant interval is ds² = −c²dt² + dx² + dy² + dz².
Lorentz transformations are linear maps preserving ds²; they form the Lorentz group O(1,3).
Time dilation: Δt = γΔτ; length contraction: L = L₀/γ; Lorentz factor γ = (1−v²/c²)^{−1/2}.
The 4-momentum p^μ = (E/c, p) satisfies p_μ p^μ = −m²c², giving E² = (pc)² + (mc²)².
Special relativity reduces to Galilean mechanics in the limit v/c → 0.

References

BookMinkowski, H. — Raum und Zeit (Space and Time), lecture at Cologne, 1908; published in Physikalische Zeitschrift 10 (1909), 104–111
BookTaylor, E.F. & Wheeler, J.A. — Spacetime Physics, 2nd ed. (1992), W.H. Freeman
BookRindler, W. — Introduction to Special Relativity, 2nd ed. (1991), Oxford University Press
WebsiteWikipedia — Special relativity
WebsiteMathWorld — Special Relativity