FIG.14 · §03 HONEST-MOMENT APEX

FOUR-VECTORS AND PROPER TIME

The algebra of §02 was geometry all along.

§ 01

The lift — why does γ show up everywhere?

Section §02 left a nagging question. Time dilation: Δt=γΔt\Delta t' = \gamma \Delta t. Length contraction: L=L/γL' = L/\gamma. Relativistic velocity-addition: a fraction with γ\gamma hiding inside the denominator. Doppler shift: (1+β)/(1β)\sqrt{(1+\beta)/(1-\beta)}, which is eηe^\eta in rapidity notation where η=atanh(β)\eta = \mathrm{atanh}(\beta). Energy: E=γmc2E = \gamma mc^2. Momentum: p=γmvp = \gamma mv. The same factor γ\gamma haunts every formula. Why?

The answer is not a coincidence. It is a theorem about geometry. 's Cologne lecture of 1908 — three years after 's two postulates — stated the conclusion flat: space and time are not separately conserved quantities. They are coordinates in a 4-dimensional pseudo-Euclidean manifold, and γ\gamma is not a kinematic correction factor. It is the cosine of a hyperbolic rotation angle in that manifold. Every §02 formula is a different projection of the same rotation onto a different axis.

§03.4 makes that precise. By the end of this topic you will have a single geometric object — the Four-vector — that carries all six §02 formulas as its components or contractions. The §02 algebra was the §03 geometry written out slowly, piece by piece, in coordinates.

§ 02

The four-velocity — the natural relativistic tangent vector

In Newtonian mechanics the velocity of a particle is v=dr/dt\mathbf{v} = d\mathbf{r}/dt: the rate of change of position with respect to lab time. This fails relativistically because tt is frame-dependent — different observers disagree on how much lab time has elapsed. The fix is to differentiate with respect to something every observer agrees on: Proper time τ\tau, the time elapsed on a clock carried by the particle itself.

The result is the Four-velocity:

EQ.01
uμ=dxμdτ=γ(c,vx,vy,vz)u^\mu = \frac{dx^\mu}{d\tau} = \gamma(c,\, v_x,\, v_y,\, v_z)

where dxμ=(cdt,dx,dy,dz)dx^\mu = (c\,dt, dx, dy, dz) is an infinitesimal displacement in spacetime and dτ=dt/γd\tau = dt/\gamma converts from lab time to proper time. The four components are: a time-like piece u0=γcu^0 = \gamma c and three spatial pieces ui=γviu^i = \gamma v_i. At rest (β=0\beta = 0, γ=1\gamma = 1) this reduces to uμ=(c,0,0,0)u^\mu = (c, 0, 0, 0): a particle at rest is still "moving through time" at speed cc. liked to put it bluntly: everything moves through spacetime at cc; what changes between observers is only the split between the time direction and the space directions.

FIG.14a — left: the 3-velocity vector v in the (v_x, v_y) plane, clamped inside the |v| = c disc (dashed amber). Right: the four-velocity components u^μ as a bar chart in units of c. The HUD displays u^μ u_μ / c² — pinned at exactly 1 for every β. Drag β to see γ, and the spatial bars grow while the invariant never moves.
loading simulation

The four-velocity is a Lorentz covariant object: every component transforms under a Lorentz boost by the same rule as (ct,x,y,z)(ct, x, y, z). That covariance is why γ\gamma appears in every relativistic formula — any quantity built from four-vectors inherits the same transformation law, and γ\gamma is the boost's natural parameter.

§ 03

Proper time as the geometric arc length

The time coordinate tt in the lab is observer-dependent. The Proper time τ\tau is not. It is the arc length along a World-line in the Minkowski metric, and every observer computes the same number when they integrate it along the same worldline.

The relation is:

EQ.02
dτ=dtγ=dt1β2d\tau = \frac{dt}{\gamma} = dt\,\sqrt{1 - \beta^2}

For a particle moving at constant β\beta, integrating over a lab time interval Δt\Delta t gives Δτ=Δt/γ\Delta\tau = \Delta t / \gamma — exactly the §02.1 time-dilation formula, re-derived as a geometric statement: the clock carried by the particle measures a shorter arc length along its kinked worldline than the straight coordinate time axis measures. There is no mechanism or force making the moving clock tick slow. The Minkowski metric simply assigns less arc length to that path. The §02 "moving clocks run slow" is the same sentence as "a straight line is the longest geodesic between two events in Minkowski spacetime."

FIG.14b — two worldlines in the (x, ct) diagram: a stationary clock (cyan) and a uniformly-moving clock at β (magenta). The running proper-time accumulators τ_home and τ_mover update as you scrub the progress slider. The mover's τ falls behind by exactly the factor 1/γ. Drag β to change the velocity and watch γ shift; drag progress to run the clocks forward.
loading simulation

This is the §03 reformulation of §02.1: not "moving clocks run slow because of something physics does to them" but "the Minkowski metric assigns less proper time to a non-geodesic path." The same integral, taken over an arbitrarily curved worldline, gives the §03.5 twin paradox result without any additional assumptions.

§ 04

The norm of u^μ — everyone moves at c through spacetime

The Minkowski norm-squared of the four-velocity is:

EQ.03
uμuμ=(u0)2(u1)2(u2)2(u3)2=γ2c2γ2v2=γ2c2(1β2)=c2u^\mu u_\mu = (u^0)^2 - (u^1)^2 - (u^2)^2 - (u^3)^2 = \gamma^2 c^2 - \gamma^2 v^2 = \gamma^2 c^2(1 - \beta^2) = c^2

The Minkowski norm of the four-velocity is c2c^2, identically, for every particle in every inertial frame at every velocity. It is a Lorentz Invariant interval: a scalar that every observer in every frame computes to be the same value. The four-velocity vector is not an ordinary 3D arrow that gets length-contracted or rotated; it lives on the upper sheet of the hyperboloid uμuμ=c2u^\mu u_\mu = c^2 in four-dimensional velocity space, and a Lorentz boost slides the vector along that hyperboloid without changing its Minkowski length.

This is the geometric statement of "everyone moves through spacetime at cc." A particle at rest has all of its cc-worth of spacetime velocity directed along the time axis: uμ=(c,0,0,0)u^\mu = (c, 0, 0, 0). A particle moving at βc\beta c redirects some of that velocity into the spatial direction: uμ=(γc,γβc,0,0)u^\mu = (\gamma c, \gamma \beta c, 0, 0). The total Minkowski speed stays cc. The §02 γ\gamma factor is the geometry of that redistribution.

§ 05

The honest moment — the §02 algebra was geometry

FIG.14c — left: the six §02 formulas (β, γ, time-dilation, length-contraction, velocity-addition, Doppler). Right: the hyperboloid u^μ u_μ = c² in the (u⁰/c, u¹/c) = (γ, γβ) plane, with the four-velocity vector sweeping it as β grows. As you drag β, each §02 formula lights up in sequence — one formula per rapidity band. The right-hand vector sweeps the same hyperbola for all of them. One object. One rotation.
loading simulation

The scene above makes this literal. The rapidity η=atanh(β)\eta = \mathrm{atanh}(\beta) is the single parameter that controls the hyperbolic rotation. As η\eta increases from 00 to \infty, the four-velocity vector sweeps the hyperboloid uμuμ=c2u^\mu u_\mu = c^2. Each §02 formula is a monotone function of the same η\eta. There is one rotation. There are six projections. The §02 chapter was a guided tour of six windows onto the same geometric room.

The electromagnetic analogue lives in §11.5 of the electromagnetism module. The Four-potential Aμ=(ϕ/c,A)A^\mu = (\phi/c, \mathbf{A}) is exactly the same construction applied to the EM field: a four-component object that transforms under Lorentz boosts by the same rule as (ct,x,y,z)(ct, x, y, z), with a Lorentz-invariant norm related to the gauge freedom. See the EM application for the canonical analogue of the four-velocity machinery built here.

§ 06

Forward — geometry cashes as physics

Two consequences follow immediately from what §03.4 established.

The first is the twin paradox. If proper time is the Minkowski arc length along a worldline, then two worldlines connecting the same pair of events accumulate, in general, different amounts of proper time. The straight worldline (the stay-at-home twin) is the longest geodesic; the kinked worldline (the traveling twin) is shorter. §03.5 works this out explicitly: the kinked worldline has less proper time not because of any force or physiological effect on the traveler, but because the Minkowski metric measures less arc length along the broken path.

The second is the four-momentum. If Four-velocity uμ=γ(c,v)u^\mu = \gamma(c, \mathbf{v}) is the geometric generalization of 3-velocity, then the obvious relativistic generalization of momentum is pμ=muμ=γm(c,v)p^\mu = m u^\mu = \gamma m(c, \mathbf{v}). The time component is p0=γmcp^0 = \gamma mc — and p0c=γmc2p^0 c = \gamma mc^2 is the total energy, which in the rest frame reduces to E0=mc2E_0 = mc^2. The mass-energy equivalence of §04.2 is the μ=0\mu = 0 component of the four-momentum norm. §04.1 builds this in full. The same four-vector machinery that gave us proper time gives us E=mc2E = mc^2 as a component identity, not a separate postulate.