This Quantum World/Appendix/Relativity/Lorentz

In a hypothetical world with K>0{\displaystyle K>0} we can define k≡1/K{\displaystyle k\equiv 1/{\sqrt {K}}} (a universal constant with the dimension of a velocity), and we can cast u=v+w/(1−Kvw){\displaystyle u=v+w/(1-Kvw)} into the form

This is the 4-dimensional version of the 3-scalar dx2+dy2+dz2,{\displaystyle dx^{2}+dy^{2}+dz^{2},} which is invariant under rotations in space. Hence if K{\displaystyle K} is positive, the transformations between inertial systems are rotations in spacetime. I guess you now see why in this hypothetical world the composition of two positive speeds can be a negative speed.

Let us confirm this conclusion by deriving the composition theorem (for k=1{\displaystyle k{=}1}) from the assumption that the x′{\displaystyle x'} and t′{\displaystyle t'} axes are rotated relative to the x{\displaystyle x} and t{\displaystyle t} axes.

The speed of an object O{\displaystyle O} following the dotted line is w=cot⁡(α+ta){\displaystyle w=\cot(\alpha +ta)} relative to F′,{\displaystyle {\mathcal {F}}',} the speed of F′{\displaystyle {\mathcal {F}}'} relative to F{\displaystyle {\mathcal {F}}} is v=tan⁡α,{\displaystyle v=\tan \alpha ,} and the speed of O{\displaystyle O} relative to F{\displaystyle {\mathcal {F}}} is u=cot⁡β.{\displaystyle u=\cot \beta .} Invoking the trigonometric relation

How can we rule out the a priori possibility that K>0{\displaystyle K>0}? As shown in the body of the book, the stability of matter — to be precise, the existence of stable objects that (i) have spatial extent (they "occupy" space) and (ii) are composed of a finite number of objects that lack spatial extent (they don't "occupy" space) — rests on the existence of relative positions that are (a) more or less fuzzy and (b) independent of time. Such relative positions are described by probability distributions that are (a) inhomogeneous in space and (b) homogeneous in time. Their objective existence thus requires an objective difference between spactime's temporal dimension and its spatial dimensions. This rules out the possibility that K>0.{\displaystyle K>0.}

How? If K<0,{\displaystyle K<0,} and if we use natural units, in which c=1,{\displaystyle c=1,} we have that

As far as physics is concerned, the difference between the positive sign in front of dt{\displaystyle dt} and the negative signs in front of dx,{\displaystyle dx,}dy,{\displaystyle dy,} and dz{\displaystyle dz} is the only objective difference between time and the spatial dimensions of spacetime. If K{\displaystyle K} were positive, not even this difference would exist.

If K{\displaystyle K} were to vanish, we would have ds2=dt2.{\displaystyle ds^{2}=dt^{2}.} There would be no difference between inertial time and proper time, and every spacetime path leading from A{\displaystyle A} to B{\displaystyle B} would contribute the same amplitude e−ib(tB−tA){\displaystyle e^{-ib(t_{B}-t_{A})}} to the propagator ⟨B|A⟩,{\displaystyle \langle B|A\rangle ,} which would be hopelessly divergent as a result. Worse, ⟨B|A⟩{\displaystyle \langle B|A\rangle } would be independent of the distance between A{\displaystyle A} and B.{\displaystyle B.} To obtain well-defined, finite probabilities, cancellations ("destructive interference") must occur, and this rules out that K=0.{\displaystyle K=0.}

Let's explore them diagrammatically, using natural units (c=1{\displaystyle c=1}). Setting t′=0,{\displaystyle t'=0,} we have t=wx.{\displaystyle t=wx.} This tells us that the slope of the x′{\displaystyle x'} axis relative to the undashed frame is w=tan⁡α.{\displaystyle w=\tan \alpha .} Setting x′=0,{\displaystyle x'=0,} we have t=x/w.{\displaystyle t=x/w.} This tells us that the slope of the t′{\displaystyle t'} axis is 1/w.{\displaystyle 1/w.} The dashed axes are thus rotated by the same angle in opposite directions; if the t′{\displaystyle t'} axis is rotated clockwise relative to the t{\displaystyle t} axis, then the x′{\displaystyle x'} axis is rotated counterclockwise relative to the x{\displaystyle x} axis.

We arrive at the same conclusion if we think about the synchronization of clocks in motion. Consider three clocks (1,2,3) that travel with the same speed w=tan⁡α{\displaystyle w=\tan \alpha } relative to F.{\displaystyle {\mathcal {F}}.} To synchronize them, we must send signals from one clock to another. What kind of signals? If we want our synchronization procedure to be independent of the language we use (that is, independent of the reference frame), then we must use signals that travel with the invariant speed c.{\displaystyle c.}

Here is how it's done:

Light signals are sent from clock 2 (event A{\displaystyle A}) and are reflected by clocks 1 and 3 (events B{\displaystyle B} and C,{\displaystyle C,} respectively). The distances between the clocks are adjusted so that the reflected signals arrive simultaneously at clock 2 (event D{\displaystyle D}). This ensures that the distance between clocks 1 and 2 equals the distance between clocks 2 and 3, regardless of the inertial frame in which they are compared. In F′,{\displaystyle {\mathcal {F}}',} where the clocks are at rest, the signals from A{\displaystyle A} have traveled equal distances when they reach the first and the third clock, respectively. Since they also have traveled with the same speed c,{\displaystyle c,} they have traveled for equal times. Therefore the clocks must be synchronized so that B{\displaystyle B} and C{\displaystyle C} are simultaneous. We may use the worldline of clock 1 as the t′{\displaystyle t'} axis and the straight line through B{\displaystyle B} and C{\displaystyle C} as the x′{\displaystyle x'} axis. It is readily seen that the three angles ta{\displaystyle ta} in the above diagram are equal. From this and the fact that the slope of the signal from B{\displaystyle B} to D{\displaystyle D} equals 1 (given that c=1{\displaystyle c{=}1}), the equality of the two angles α{\displaystyle \alpha } follows.

Simultaneity thus depends on the language — the inertial frame — that we use to describe a physical situation. If two events E1,E2{\displaystyle E_{1},E_{2}} are simultaneous in one frame, then there are frames in which E1{\displaystyle E_{1}} hapens after E2{\displaystyle E_{2}} as well as frames in which E1{\displaystyle E_{1}} hapens before E2.{\displaystyle E_{2}.}

Where do we place the unit points on the space and time axes? The unit point of the time axis of F′{\displaystyle {\mathcal {F}}'} has the coordinates t′=1,x′=0{\displaystyle t'=1,x'=0} and satisfies t2−x2=1,{\displaystyle t^{2}-x^{2}=1,} as we gather from the version (t′)2−(x′)2=t2−x2{\displaystyle (t')^{2}-(x')^{2}=t^{2}-x^{2}} of (\ref{ds2}). The unit point of the x′{\displaystyle x'} axis has the coordinates t′=0,x′=1{\displaystyle t'=0,x'=1} and satisfies x2−t2=1.{\displaystyle x^{2}-t^{2}=1.} The loci of the unit points of the space and time axes are the hyperbolas that are defined by these equations: