Minkowski Metric

Equivalent forms

ds^2 = -c^2\,dt^2 + dx^2 + dy^2 + dz^2

ds^2 = \eta_{\mu\nu}\,dx^\mu dx^\nu,\quad \eta = \mathrm{diag}(-1,1,1,1)

A flat metric with signature (-,+,+,+) — the flat-space limit that every curved GR metric must reduce to locally.

Symbol	Name	SI unit	Dimension	Range
$ds2$	Spacetime Interval (squared)output Invariant separation squared between two events	m^2	L^2	-1000000000000000000 – 1000000000000000000
$dt$	Time Separation Coordinate time between the two events	s	T	0 – 10
$dx$	Space Separation Spatial distance between the two events	m	L	0 – 3000000000
$c$	Speed of Light Speed of light in vacuum (fixed)	m/s	LT^-1	299792458 – 299792458

Dimensional analysis

ds^2 -> [L^2]

c^2 dt^2 ->

[L^2\,\mathrm{T}^-2][T^2] = [L^2]

; dx^2 -> [L^2]

All terms are area.

\checkmark

Discovery

Hermann Minkowski · 1908

Minkowski, once Einstein's own maths teacher, recast the 1905 theory geometrically: 'Henceforth space by itself, and time by itself, are doomed to fade away into mere shadows.'

Research status: stable

Real-world applications

Foundation of every particle-accelerator kinematics calculation
Defines proper time for GPS clock modelling
Starting point for all of general relativity

Common misconceptions

The minus sign is a convention, but SOME relative sign between time and space is physical and unavoidable
ds^2 < 0 is not an error — it just means the interval is timelike
Minkowski spacetime is flat: it has a metric but zero curvature, unlike GR

Experimental verification

Every test of Lorentz invariance (Michelson-Morley, Kennedy-Thorndike, Ives-Stilwell, modern optical-cavity clock comparisons) is a test that this interval is frame-independent to parts in 10^17.

Derivation

Demand that the speed of light be the same in every inertial frame: a spherical light pulse obeys

x^2+y^2+z^2 = c^2\,\mathrm{t}^2

in one frame and x'^2+...

= c^2\,\mathrm{t}'^2

in another.

The quantity -c^2 t^2 + x^2 + y^2 + z^2 must therefore vanish in both, and Lorentz transformations are exactly the linear maps that keep it invariant for ALL intervals, not just null ones.

Its infinitesimal form is the Minkowski line element.

Limiting cases

dx = c dt

⟶

ds^2 = 0

A light ray — the two events are connected by a photon (null/lightlike).

dx = 0

⟶

ds^2 = -c^2\,\mathrm{dt}^2

< 0Same place, different time — timelike; ds/c is the proper time that ticks on a clock present at both events.

dt = 0

⟶

ds^2 = dx^2

> 0Simultaneous but separated — spacelike; ds is the proper distance measured by a ruler.

What if…

What if time had a plus sign too (all +)?

Spacetime would be ordinary 4D Euclidean space, there would be no light cones, no causality, and no maximum speed.

What if we use signature (+,-,-,-)?

Just an overall sign flip (the 'particle physics' convention). Timelike then means ds^2>0. All physics is identical.

1

Classify an interval

Given ·

dt:: 3
dx:: 600000000
c:: 299792458

Find · ds^2 and its type

Steps

$c*dt = 2.998e_{8} * 3 = 8.99e_{8} m$
$(c*dt)^2 = 8.09e17\,\mathrm{m}^2$
$dx^2 = 3.6e17\,\mathrm{m}^2$
$ds^2 = -8.09e17 + 3.6e17 = -4.48e17\,\mathrm{m}^2$ (timelike)

Result ·

ds^2 = -(3e_{8}*3)^2 + (6e_{8})^2

.

c*dt = 8.99e_{8} m

>

dx = 6e_{8} m

, so -c^2dt^2 dominates:

ds^2 = -4.48e17\,\mathrm{m}^2

< 0 -> timelike.

Spacetime Interval→Lorentz Transformation→The Metric Tensor→Light Cone & Causal Structure→