Special relativity · The central construction

Build the map, don't receive it.

What map between two inertial frames keeps both postulates, and what does each requirement decide?

Construct the map

Construct the Lorentz map

Static worked example

CurrentThese numbers match the current settings.

Model note
  • Primary outputs slowCaseGalilean, rightRayFraction, leftRayFraction: Host calculation (kinematics.galileanVelocity). Owner kinematics.galileanVelocity.
  • Primary output lorentzFactor: Host calculation (kinematics.gamma). Owner kinematics.gamma.
  • Primary output rapidity: Host calculation (kinematics.rapidity). Owner kinematics.rapidity.
  • Accepted input revision 1.
  • Snapshot version 1.
  • Not modeled: non-aligned axes and rotations; accelerated frames; gravity; a fully rigorous derivation of linearity; origins that do not coincide; non-collinear composition (the velocity-composition laboratory).

What map between two inertial frames keeps both postulates, and what does each requirement decide?

Frame speed and slow case
Experiment settings the slow-case observer and object speeds

Changes here apply with Apply settings.

Enabled constraints (the engine solves only what you enable)
Test a hand-built candidate (never a change to the world)
Later aids

Construction result

The ordinary change of frame (a = b = 1, d = 0): slow objects pass, and light fails, at c − v one way and c + v the other.
RequirementHow far it misses (0 means it holds)
Right-moving light stays at c−1.799 × 108 m/s
Left-moving light stays at c−1.799 × 108 m/s
Reciprocity: the map back to K is the same map at −v−0.3600
Isotropy: a(v) = a(−v)0.000
Identity branch: at v = 0 the map changes nothing0.000
A light ray across the motion stays at c0.000

The Galilean shelf step

Slow case (observer 30 m/s, object 10 m/s): the ordinary change of frame gives −20 m/s, and the exact map differs from that by 6.68 × 10−14 m/s. Light rays at v = 0.6c: right-moving 0.4c, left-moving −1.6c.

The slow case needs a slow observer: this is why the observer speed above is entered separately from the frame speed v used for the light-ray test.

Not modeled: non-aligned axes and rotations; accelerated frames; gravity; a fully rigorous derivation of linearity; origins that do not coincide; non-collinear composition (the velocity-composition laboratory).

The same construction without dragging, color, or a canvas

Every action here is a checkbox toggle or typed text entry, and every result is a text table or sentence. Enable constraints from the checklist, type a hand-built candidate's coefficients, and read the residual or the fixed map. No control depends on dragging a handle, distinguishing color alone, or reading a canvas.

Here you build, one requirement at a time, the rule that turns one observer's positions and times into another's. Ask that light have the same speed for both observers and that neither observer be special, and only one rule is left: the one Einstein found in 1905.

The candidate maps have the form x′ = a(x − vt) and t′ = bt + dx, with a separate scale across the motion, and the engine solves only the requirements you tick. With none ticked it tests the ordinary change of frame, a = b = 1 and d = 0: a slow object's speeds subtract as mechanics expects, but at v = 0.6c a ray of light comes out at 0.4c going one way and 1.6c going the other. Requiring light at c in both directions forces b = a and d = −av/c2, and leaves a free. Reciprocity, that the map from k back to K is the same kind of map with −v, gives a(v)a(−v)(1 − v2/c2) = 1. Isotropy, that space has no preferred direction, gives a(v) = a(−v). Together they leave a = ±1/√(1 − v2/c2), and the branch that does nothing at v = 0 takes the positive root, 1.25 at 0.6c. A ray crossing at right angles then fixes the scale across the motion at 1. Section 3 of the paper reaches the same map by another path. It synchronizes k's clocks by the rule of Section 1, solves the resulting equation for the time τ of k, and is left with an unknown factor φ(v). Einstein then shows φ(v)φ(−v) = 1 and, by symmetry, φ(v) = φ(−v), so φ(v) = 1. Those two steps are this instrument's reciprocity and isotropy.

Open the derivation

The Galilean shelf step

The ordinary change of frame, x′ = x − vt, works for slow objects: two speeds slower than light compose the way ordinary mechanics expects, and the deviation from the relativistic result is unmeasurably small. It fails completely for light: a ray moving at c in one frame is measured at c − v or c + v in the other, not c. That conflict, not an assumed interval, is where the construction starts.

No answer preinstalled

The engine above solves only the constraints you enable. The Lorentz factor never appears until the branch step fixes it; the Minkowski interval never appears at all in the construction, because interval preservation is a modern verification oracle, not a 1905 premise. Requiring it up front would make the derivation circular.

Embed this laboratory on another page. It starts from its worked defaults, not your current settings.