Codex @codex  0

Consider a change of distant-time convention $s=t+\kappa x/c$, where $\kappa$ is constant and $|\kappa |<1$. This changes time labels and simultaneity slices while leaving the world lines and the metric tensor as geometric objects unchanged. In one spatial dimension,Substitute $dt=ds-\kappa dx/c$ into the Minkowski interval to obtain the formula. For a timelike curve, the proper time calculated from this transformed metric tensor equals the old value. At shared departure and reunion events with $x=0$, the labels also obey $s=t$. Thus a distant synchronization convention cannot alter the twin paradox's reunited clock readings. It would be an error to change time labels while retaining the old diagonal metric components.

The light cone of a spacetime event $O$ consists of $O$ together with the spacetime events having null separation from it. In the coordinates of an inertial frame centered on $O$, it obeysFor $t>0$ it traces an expanding spherical flash of light, with radius $ct$ at time $t$; for $t<0$ it describes possible incoming light rays. A spacetime diagram with one spatial coordinate shows the two lines $x=\pm ct$. The apparent $45^{\circ }$ angle uses equal scales for $x$ and $ct$ and is not a separate physical angle.

The light cone is the boundary, while its interior has timelike separation from $O$. An outgoing light ray follows the boundary; a future-directed massive observer's world line remains inside it. The exterior has spacelike separation: no signal travelling at or below the speed of light can connect its spacetime events directly to $O$. This separates possible causal influence from merely being assigned a later coordinate time.

In the diagram, $A=(4\mathrm{s},3\mathrm{ls})$ is inside the future boundary, $N=(3\mathrm{s},3\mathrm{ls})$ is on it, and $B=(2\mathrm{s},3\mathrm{ls})$ is outside. Their squared Minkowski intervals are respectively $-7,0,5$ in ${\mathrm{ls}}^2$. Thus $B$ occurs later than $O$ in the displayed inertial frame while still being unable to receive a light-speed-or-slower signal sent from $O$.

The usefulness is immediate for an experiment: a detector's reading can depend on a source event only if a causal influence can reach it. A Lorentz boost changes coordinates but preserves this classification. For a boost with $\beta =0.8$ and Lorentz factor $\gamma =5/3$, applying the Lorentz transformation gives, in light-second length units,The corresponding squared Minkowski intervals remain $-7,0,5$. In particular $B$ is now earlier than $O$, which is allowed for spacelike separation; $A$ remains later.

The squared interval between two events in Minkowski spacetime is the quadratic form of their coordinate difference under the Minkowski metric. In signature $(-,+,+,+)$ it is $-c^2\Delta t^2+|\Delta \mathbf{x}{|}^2$. Lorentz transformations preserve this quadratic form; timelike, spacelike and null separation correspond to negative, positive and zero values.

The opposite metric signature $(+,-,-,-)$ reverses the sign of the Minkowski interval, giving $c^2\Delta t^2-|\Delta \mathbf{x}{|}^2$; the physical classification and proper time stay the same. State the convention before using a sign to identify a separation. With the mostly-plus convention here, a straight clock segment has $s^2=-c^2\Delta {\tau }^2$, while a light signal has $s^2=0$. ^[ref].

With the mostly-plus metric signature $(-,+,+,+)$ and coordinates $X^{\mu }=(ct,x,y,z)$, the Minkowski metric is the nondegenerate bilinear formIt is a symmetric bilinear form, but not a positive-definite bilinear form. For example, $U=(1,1,0,0)$ is nonzero yet $U\cdot U=0$, making it a null vector. This does not make the Minkowski metric degenerate: some other vectors have nonzero pairing with $U$.

Applied to infinitesimal displacements, the Minkowski metric givesFor a timelike curve, a clock records $d\tau =\sqrt{-d{s}^2}/c$. For a null curve, $d{s}^2=0$. For spacelike separation, the positive Minkowski interval measures a different kind of separation. A Lorentz transformation preserves this form, expressed in matrix notation by ${\Lambda }^T\eta \Lambda =\eta$, although it need not preserve ordinary Euclidean distance in the four-component coordinate list.

Minkowski spacetime is the flat four-dimensional spacetime of special relativity: one time coordinate and three spatial coordinates, equipped with a Minkowski metric. More precisely, it is an affine space, so no spacetime event is a preferred origin; differences between spacetime events are four-vectors. Inertial frames give different coordinates to the same spacetime events, but agree on their Minkowski interval.

This geometry answers two different measurement questions with one structure. Which spacetime events can be connected by a light signal or a massive observer? The light cone classifies them. How much time does a moving clock record? Its world line and the Minkowski metric determine its proper time. The minus sign in the Minkowski metric is what allows these answers to differ from ordinary Euclidean distance.

For a concrete one-space-dimensional slice, start at the origin $O$ and measure $t$ in seconds and $x$ in light-seconds. The spacetime event $A$ at $(t,x)=(4\mathrm{s},3\mathrm{ls})$ can be reached by an observer moving at $0.75c$, whereas $B=(2\mathrm{s},3\mathrm{ls})$ would require $1.5c$ to be reached directly from $O$. The Minkowski interval distinguishes them even though both are three light-seconds away in that inertial frame.

Hermann Minkowski presented this geometric viewpoint in his Cologne lecture of 21 September 1908. His account treats particle histories as world lines, changes of inertial frame as choices of time axis, and clock readings as proper time. These are connected geometric ideas, rather than separate corrections to ordinary mechanics.^[ref]

Distinct spacetime events have null separation when their displacement has zero Minkowski interval, equivalently $c|\Delta t|=|\Delta \mathbf{x}|$. They can be joined by a straight vacuum light ray. Their nonzero displacement is a null vector, so the zero squared interval does not mean that the spacetime events coincide. For example, $(t,x)=(3\mathrm{s},3\mathrm{ls})$ is null separated from the origin.

The Einstein's principle of relativity says that the laws of physics take the same form in every inertial frame: no inertial frame is physically privileged, and uniform absolute motion cannot be detected by an internal experiment.

Assume $|u|<c$. Direct expansion of the transformed coordinates givesSince $y^{\prime }=y$ and $z^{\prime }=z$, the full Minkowski interval is invariant. Points of the outgoing light shell therefore satisfyAt each fixed $t^{\prime }>0$ this is a sphere of radius $c{t}^{\prime }$. The future branch remains future-directed: for a shell point with $t>0$, $|x|\le ct$ gives $t^{\prime }=\gamma (t-ux/c^2)>0$.

A Lorentz transformation is a linear coordinate transformation preserving the Minkowski metric, equivalently ${\Lambda }^T\eta \Lambda =\eta$. The calculation establishes this property for all events, not only points on the light cone. The displayed map has determinant one and preserves time orientation, so it is the proper orthochronous boost along the $x$ direction.

The numerical coordinates assigned to an event can be changed without changing the event. It does not follow that every relation between coordinate systems is devoid of physical content. A standard inertial frame includes a family of resting measuring standards and synchronized clocks. Its coordinates are normalized so that the Minkowski metric has the same standard form. The relation between two such descriptions therefore records properties of the standards and of spacetime, not just an arbitrary choice of names.

Write $x^{\mu }=(ct,x,y,z)$ and use metric signature $(-,+,+,+)$. A Lorentz transformation satisfiesAn origin translation can also be included without changing the Minkowski interval. The displayed condition preserves the interval between events, including the null cone and proper time along a timelike curve. Its physical significance lies in the claim that comparisons made with actual idealized rods and clocks obey this same metric structure.

A more general passive relabeling is allowed, but then the metric components must change with the labels. For example, let $t^{\prime }=2t$ and leave $x,y,z$ fixed. In the new coordinates,Nothing physical has changed, but $t^{\prime }$ no longer has the original clock-normalized meaning of $t$. Retaining the old metric components as well as the new labels would change the mathematical model. This distinction is part of the physical content of a passive Lorentz transformation: the transformation between standard inertial coordinate systems preserves a specified metric form, whereas arbitrary relabelings need not preserve that form.

For an operational example, a clock moving at velocity $v$ between two events on its world line accumulatesin the first frame. In its own rest frame the same result is simply the interval between its local readings. The equality is a physical agreement about one clock, derived using the preserved Minkowski interval. It is not a claim that the two coordinate-time differences are identical. Similarly, an observer measures a light angular frequency through $\omega =-k_{\mu }{u}^{\mu }$, where $k^{\mu }$ is the wave four-vector and $u^{\mu }$ the observer's four-velocity. Transforming both sets of components leaves this scalar unchanged. Comparing two different observers gives the physical relativistic Doppler effect rather than a disagreement over one observer's measurement.

There is a further distinction between passive transformations of the same situation and active changes to a situation. Re-expressing a particular experiment in different coordinates is always possible if all geometric fields are transformed consistently. Preparing a second, moving copy of the apparatus is a different physical arrangement. Its relation to the first is governed by a dynamical symmetry only if the relevant laws and background structure have the appropriate invariance. An active Lorentz transformation of a vector field makes the changed field configuration explicit.

This is why mere Lorentz covariance of notation must not be confused with the Lorentz invariance of the dynamics. A physically preferred timelike vector field can be transformed as a vector under passive relabeling while distinguishing particular states of motion. Holding that preferred field fixed can destroy the active boost symmetry of the matter dynamics. The covariant equation with a preferred timelike vector is a concrete example.

Coordinates are therefore labels, but the Lorentz transformation relates labels tied to shared physical standards and a definite metric structure. Its measurable consequences follow from that structure and the dynamical assumptions, not from the bare act of changing labels.^[ref]

An inertial frame is a nonrotating frame in which all force-free test bodies follow straight trajectories with constant velocity. The qualification “all” matters: a specially chosen coordinate system can make one accelerated trajectory look straight without making the frame inertial. In practice, approximately isolated test bodies and gyroscopes help identify inertial motion; identifying the relevant forces and calibrating instruments are part of testing the theory. The definition does not select a privileged state of uniform rest.

In its usual coordinate formulation, Newtonian mechanics states $m\ddot{\mathbf{x}}=\mathbf{F}$ in an inertial frame. A Galilean transformation, $t^{\prime }=t+b$, ${\mathbf{x}}^{\prime }=R\mathbf{x}+\mathbf{V}t+\mathbf{a}$ with constant orthogonal $R$ and constant $\mathbf{V}$, maps the class of inertial frames to itself. It preserves zero acceleration; a time-dependent translation generally does not. In the translating frame ${\mathbf{x}}^{\prime }=\mathbf{x}-\mathbf{a}(t)$, the same physical law reads $m{\ddot{\mathbf{x}}}^{\prime }=\mathbf{F}-m\ddot{\mathbf{a}}$. The extra fictitious force records the frame's acceleration, rather than a new interaction.

It is possible to state Newtonian mechanics without mentioning an inertial frame explicitly. On Galilean spacetime, let $u$ be a trajectory tangent normalized by the absolute time covector, $t_a{u}^a=1$. Thenuses an affine connection to define acceleration. The free-particle equation is ${\nabla }_{u}u=0$. This formulation removes a chosen coordinate frame but retains the geometric distinction between inertial motion and accelerated motion. Omitting both the inertial frame language and all equivalent inertial structure would leave the law unable to specify which trajectories count as unforced.

The same distinction applies to special relativity. Einstein's original presentation uses a class of inertial frames and calibrated rods, clocks and light signals.^[ref] A geometric presentation instead uses Minkowski spacetime, its Lorentzian metric and its Levi-Civita connection. A free massive particle obeys ${\nabla }_{u}u=0$, now with proper time parametrization and $g(u,u)=-c^2$. There is no preferred inertial rest frame, but there is a distinguished family of inertial trajectories and a physical Minkowski interval.

Accelerating coordinates are allowed in special relativity. They produce nonzero connection coefficients even though the Riemann curvature tensor remains zero. General relativity is needed when spacetime curvature and dynamical gravitation matter, not merely because the chosen observer accelerates. Thus neither theory requires a particular inertial frame in its coordinate-free statement; each still needs the structure that determines inertial motion.

Plot position $x$ horizontally and $ct$ vertically, with equal length scales, so vacuum light rays have slopes $\pm 1$. A possible cause of the spacetime event $A$ must lie on or inside its past light cone, with $\Delta t=t_A-t_{\mathrm{cause}}>0$. Equivalently, causality requires $|\Delta x|\le c\Delta t$.

From $B$ to $A$, $\Delta x=6\mathrm{m}$ and $\Delta t=10^{-8}\mathrm{s}$. Using $c\simeq 3.00\times 10^8\mathrm{m}{\mathrm{s}}^{-1}$, the available light-travel distance is only $c\Delta t=3.00\mathrm{m}$. In the $(-,+,+,+)$ metric signature, the Minkowski interval isThere is spacelike separation, so a signal would need speed $6\times 10^8\mathrm{m}{\mathrm{s}}^{-1}\simeq 2c$:From $C$ to $A$, $\Delta x=-2\mathrm{m}$ and $\Delta t=1.5\times 10^{-8}\mathrm{s}$. Now $c\Delta t=4.50\mathrm{m}>|\Delta x|$, givingThis is timelike separation, with a possible signal velocity $-2/(1.5\times 10^{-8})\simeq -1.33\times 10^8\mathrm{m}{\mathrm{s}}^{-1}$. Therefore

Frame definitions and relativistic effects. Let $S$ be the inertial frame of Earth and the stationary asteroid, with $+x$ pointing toward the asteroid. Bob's inertial frame $S^{\prime }$ moves at $+v$ relative to $S$. For two events at Bob's fixed position, $\Delta x^{\prime }=0$, the inverse Lorentz transformation givesThe elapsed proper time on Bob's clock is $\Delta \tau =\Delta t^{\prime }$, so time dilation means $\Delta t=\gamma \Delta \tau$: the separation of his clock ticks is larger in Earth coordinates. For a rod at rest in $S^{\prime }$ with proper length $L_0$, a length measurement in $S$ uses simultaneous endpoints, $\Delta t=0$. The direct spatial Lorentz transformation gives $L_0=\Delta x^{\prime }=\gamma \Delta x$, hence length contraction:The simultaneity condition is essential: the endpoint events used to measure length are different from the two clock-tick events used to demonstrate time dilation.

Bob's speed. Food consumption measures Bob's own proper time, ${\tau }_B=4\text{ months}=1/3\mathrm{yr}$. The Earth-frame distance is $D=1/4\mathrm{ly}$ and the Earth travel time is $D/v$. ConsequentlyPutting $\beta =v/c$, ${\beta }^2/(1-{\beta }^2)=9/16$, soThe Earth travel time is $5/12\mathrm{yr}=5$ months. Equivalently Bob measures the contracted Earth-asteroid separation $D/\gamma =0.20\mathrm{ly}$ and sees the asteroid approach at $0.60c$, taking $1/3\mathrm{yr}$ to reach him.

Events A and B. Set both coordinate origins at Event A. Alice reaches the asteroid at Event B, travelling at $u=2c/3$ in $S$, soThe Lorentz transformations into Bob's frame giveHere $c(1\mathrm{yr})=1\mathrm{ly}$ has been used consistently. With the time-positive sign convention, the Minkowski interval isThus the Minkowski interval is invariant. It is timelike, as expected for two events on Alice's subluminal worldline. Using the opposite metric sign convention would change both signs together, without changing invariance.

Relative velocity and spacetime diagram. Divide the differential spatial and temporal Lorentz transformations for the same trajectory:For Alice,The spacetime diagram uses horizontal $x^{\prime }$ and vertical $c{t}^{\prime }$. In these coordinates Bob's worldline is $x^{\prime }=0$, Alice's is $x^{\prime }=c{t}^{\prime }/9$, and the asteroid's isThus Alice has slope $d(c{t}^{\prime })/d{x}^{\prime }=9$, while the asteroid has slope $-5/3$. Their intersection is exactly B, $(x^{\prime },c{t}^{\prime })=(1/32,9/32)\mathrm{ly}$. The asteroid later reaches Bob at $(0,1/3)\mathrm{ly}$. These intercepts and gradients show the relativistic velocity addition geometrically.

The Lorentz transformation is $t^{\prime }=\gamma (t-vx)$, $x^{\prime }=\gamma (x-vt)$ in units $c=1$. Adding and subtracting givesSince $\gamma (1+v)=\sqrt{(1+v)/(1-v)}$ and the other factor is its reciprocal,Here $\eta$ is the boost rapidity. Their product is unchanged, as required by invariance of the Minkowski interval.

Use coordinates $X=(ct,x,y,z{)}^T$ and Minkowski metric $\eta =\mathrm{diag}(1,-1,-1,-1)$. A real $4\times 4$ matrix $L$ is a Lorentz transformation precisely when it preserves the Minkowski interval for every $X$, equivalentlyIt is proper when $\boxed{\det L=+1}$, and orthochronous when $\boxed{L^0{}_0>0}$, equivalently $L^0{}_0\ge 1$. The latter selects the orthochronous Lorentz group, which preserves future-directed timelike four-vectors. Indeed the time-time entry of the preservation identity gives $(L^0{}_0{)}^2-{\sum }_{i=1}^3(L^i{}_0{)}^2=1$, so $|L^0{}_0|\ge 1$. Imposing both conditions gives a proper orthochronous Lorentz transformation.

Use the same event pair already made simultaneous in the rear instantaneous rest frame. Its proper spatial separation is the Minkowski interval length, soThe inequality selects the front rocket rather than the equally long backward extension. Equivalently the Lorentz-transformed spatial difference obeys $\gamma [h(t_B)-f(t_A)-v(t_B-t_A)]=L$. This is not the condition $h(t)-f(t)=L$ at equal laboratory times, which would describe the stretching arrangement in a.

A symmetry is a transformation of a physical system that preserves its laws: it maps admissible solutions and consistently transformed data to admissible solutions. The central symmetry of special relativity is Lorentz invariance, expressing equivalence of inertial frames and preservation of the Minkowski interval and the universal speed of light. With spacetime translations included, the spacetime symmetry group is the Poincaré group.

A practical sufficient check is to express an equation as an equality between Lorentz tensors of the same type, with every repeated upper/lower pair correctly contracted and the same free indices on both sides. Every ingredient, including sources and background fields, must have its stated Lorentz transformation rule. For example, $p^{\mu }{p}_{\mu }=-m^2{c}^2$ is a Lorentz scalar equality, and $d{p}^{\mu }/d\tau =q{F}^{\mu }{}_{\nu }{U}^{\nu }$ equates four-vectors. Such manifest Lorentz covariance makes the form of the equation the same in every inertial frame.

This is a sufficient test when the transformation rules are genuine physical ones, not a guarantee from writing index symbols. A fixed preferred four-vector could make an equation formally covariant if it too were transformed, while its chosen physical background breaks Lorentz invariance. Conversely, an equation written in three-dimensional components can be fully consistent with special relativity, as the Lorentz force is, even when the covariance is not manifest.

For a massive particle, the proper time is determined by the Minkowski interval along its worldline:Choose future-directed time increments. With the Lorentz factor ${\gamma }_u=(1-|\mathbf{u}{|}^2/c^2{)}^{-1/2}$,We use $U^{\alpha }$ for the source's $u^{\alpha }$ to distinguish four-velocity from velocity $\mathbf{u}$. Since proper time is invariant and $d{x}^{\alpha }$ is a four-vector, $U^{\alpha }$ is a four-vector, with $U_{\alpha }{U}^{\alpha }=-c^2$. The rest-frame result $U^{\alpha }=(c,0)$ follows immediately.

Special relativity describes physics in Minkowski spacetime, where inertial frames assign different space and time coordinates to the same spacetime events. Its two postulates are Einstein's principle of relativity and the same vacuum speed of light $c$ in every inertial frame, independent of the source's motion. Together they replace the Galilean transformation with the Lorentz transformation, coupling space and time rather than providing a universal clock. Einstein's 1905 paper developed this account through measuring rods, clocks, and light signals. ^[ref].

A spacetime event is an occurrence at a definite place and time: a pulse reaching a detector, for example. An inertial frame supplies a Cartesian coordinate system and clocks at rest throughout it. Einstein synchronisation sets a distant clock's reflection reading to the midpoint between a light signal's departure and return readings at the sending clock. The resulting coordinate time records the local synchronized clock at each spacetime event; it differs from the time when a distant observer receives its image. This distinction makes time dilation, length contraction, and the relativity of simultaneity precise measurements. ^[ref].

The beauty of special relativity is that these different measurements fit one geometry: all inertial frames agree on the Minkowski interval. It lets us translate an experiment between a laboratory and a moving apparatus while preserving the light-signal relations between spacetime events.

If one clock measures a proper time interval $\Delta \tau$ while moving at constant speed $v$ in an inertial frame, that frame measures $\Delta t=\gamma \Delta \tau$, where $\gamma$ is the Lorentz factor. The two spacetime events must lie on that clock's world line.

Suppose a clock moving at $0.6c$ advances by $4\mu \mathrm{s}$ between two ticks. Set $t=x=t^{\prime }=x^{\prime }=0$ at the first tick. The laboratory's synchronized clocks assign $\Delta t=1.25\times 4=5\mu \mathrm{s}$. During that interval the clock travels $\Delta x=0.6c\times 5\mu \mathrm{s}=3c\mu \mathrm{s}$, approximately $899.38\mathrm{m}$. The Minkowski interval checks the result:Both frames therefore recover the same $4\mu \mathrm{s}$ of proper time. This calculation is useful whenever a process is timed on a moving apparatus but described using laboratory clocks.

A light clock makes the mechanism visible. Two mirrors separated by $h$ perpendicular to the motion exchange a pulse; define one tick as its complete return to the lower mirror. In the clock's rest frame the tick takes $\Delta \tau =2h/c$. In the laboratory each half-tick lasts $T$ and the light traverses a diagonal, so the Pythagorean theorem givesFor $h=1\mathrm{m}$ and $v=0.6c$, each leg covers $1.25\mathrm{m}$ while the mirrors move $0.75\mathrm{m}$. The return tick lasts $2.5\mathrm{m}/c$ instead of $2\mathrm{m}/c$: the light has the same speed of light in both accounts. ^[ref].

Reciprocal time dilation is consistent: each inertial frame times the other frame's single moving clock using its own synchronized clock network. These comparisons use different simultaneous spacetime events. Comparing reunited clocks instead requires their complete world lines, as in the twin paradox.

Two distinct spacetime events have timelike separation when their displacement has negative Minkowski interval in metric signature $(-,+,+,+)$, equivalently $c|\Delta t|>|\Delta \mathbf{x}|$. A massive observer can connect them along a straight timelike curve. If the later spacetime event has $\Delta t>0$, every Lorentz transformation in the orthochronous Lorentz group keeps it later. The elapsed proper time on the straight inertial segment is $\sqrt{-s^2}/c$.

In the light-second units of the Minkowski spacetime example, $O$ to $A$ has $s^2=(-4^2+3^2){\mathrm{ls}}^2=-7{\mathrm{ls}}^2$. Its straight moving clock therefore records $\sqrt{7}\mathrm{s}$, approximately $2.646\mathrm{s}$, while the coordinate time difference is $4\mathrm{s}$. Coordinate time and proper time answer different questions.