(3.118) | ||
(3.119) | ||
(3.120) | ||
(3.121) |
Let and be the speeds of the particle in frames and , respectively. It is easily demonstrated, from the transformation of velocity, that
If and then the right-hand side is positive, implying that . In other words, the resultant of two subluminal velocities is another subluminal velocity. It is evident that a particle can never attain the velocity of light relative to a given inertial frame, no matter how many subluminal velocity increments it is given. It follows that no inertial frame can ever appear to propagate with a superluminal velocity with respect to any other inertial frame (because we can track a given inertial frame in terms of a particle that remains at rest at the origin of that frame). Of course, if then . In other words, a particle traveling at the speed of light in one inertial frame does so in all inertial frames.It is evident from Equation (3.125) that there is only a single speed—namely, —that is the same in all inertial frames of reference. Now, according to Einstein's first postulate, any wave that propagates in the absence of a physical medium must propagate at the same speed in all inertial frames of reference, otherwise the different wave speeds in different reference frames could be used to distinguish between the frames. Hence, we deduce that all waves that propagate in the absence of a physical medium (e.g., a gas, liquid, or solid) must propagate at the common speed in all inertial reference frames. Thus, gravitational waves, which are ripples in the fabric of spacetime, must travel at the same speed, , as electromagnetic waves, because both waves propagate in the absence of media. Thus, we could just as well designate as the speed of gravitational waves.
Note, finally, that the Lorentz transformation is the only (linear) transformation of coordinates that preserves the speed , and morphs into the tried and tested Galilean transformation in the limit that . In fact, it is possible to guess the form of the Lorentz transformation by searching for a (linear) coordinate transformation that has these two properties.