长度收缩与时间膨胀不是两个彼此独立的附加效应⁠，而是不同惯性系如何测量空间和时间的共同结果⁠。理解它们的关键⁠，在于明确长度必须由同一参考系中同时记录的两个位置定义⁠，时间间隔则由两个事件及其所用时钟定义⁠。下文按牛顿⁠、洛伦兹⁠、爱因斯坦和闵可夫斯基四个阶段⁠，说明这些定义怎样从绝对时空过渡到相对论时空⁠。

1. 伽利略与牛顿（⁠1687⁠）

经典时空下⁠，不同惯性系之间为伽利略变换⁠：

$$\begin{aligned} x' &= x - vt\,,\\ y' &= y\,,\\ z' &= z\,,\\ t' &= t\,. \end{aligned}$$

在经典时空中⁠，所有惯性系共用同一个时间⁠。若在同一绝对时刻测量刚体两端的位置⁠，伽利略变换给出相同的长度⁠；若比较两个事件的时间间隔⁠，也有 $\Delta t'=\Delta t$⁠。因此⁠，经典力学不存在由相对运动引起的长度收缩或时间膨胀⁠。若两只理想时钟预先同步⁠，它们即使随后处于相对匀速运动⁠，经过的时间间隔仍被认为完全相同⁠。

问题出现在电磁学中⁠。麦克斯韦方程给出真空中的电磁波传播速度 $c=1/\sqrt{\varepsilon_0\mu_0}$⁠。若惯性系之间仍采用伽利略变换和经典速度叠加⁠，那么相对运动的观察者应测得不同的光速⁠，麦克斯韦方程也不能在各惯性系中保持同一形式⁠。物理学因而面临两种可能⁠：保留一个决定光速的优先参考系⁠，或者修改惯性系之间的时空变换⁠。

2. 洛伦兹（⁠1892–1904⁠）

19 世纪末⁠，许多物理学家假定光在静止以太中传播⁠，因此地球相对以太的运动应产生可测的方向差异⁠。迈克尔逊—莫雷实验没有观测到预期信号⁠。菲茨杰拉德和洛伦兹据此提出⁠，运动物体沿运动方向发生收缩⁠，可以抵消干涉仪本应显示的差异⁠。洛伦兹随后建立电子理论⁠，并得到与狭义相对论相同形式的坐标变换⁠：

$$\begin{aligned} x' &= \gamma(x - vt)\,,\\ t' &= \gamma\left(t - \frac{vx}{c^2}\right)\,. \end{aligned}$$

其中⁠，洛伦兹因子 $\gamma$ 定义为⁠：

$$\quad \gamma = \frac{1}{\sqrt{1 - v^2/c^2}}\,.$$

在洛伦兹的理论中⁠，以太静止系仍具有优先地位⁠，沿运动方向的长度收缩 $L=L_0/\gamma$ 被解释为运动对物质结构产生的动力学效应⁠。变换中的 $t'$ 起初称为“⁠局域时间⁠”⁠，后来在理论中获得了与运动时钟读数相联系的物理意义⁠，但绝对时间和以太仍被保留⁠。这个框架得到正确的变换公式⁠，却把尺缩和钟慢归因于物体相对以太运动时发生的物理变化⁠。

3. 爱因斯坦（⁠1905⁠）

狭义相对论以相对性原理和真空光速不变为出发点⁠，不再引入无法观测的优先以太系⁠。洛伦兹变换的公式没有改变⁠，但其中的 $x'$ 和 $t'$ 都成为运动惯性系实际使用的坐标⁠；不存在藏在两套坐标之后的绝对时间⁠。

长度测量要求观察者在自己的参考系中同时记录物体两端的位置⁠。由于不同惯性系的同时性不同⁠，它们选取的并不是物体两端世界线上的同一对事件⁠。若尺子在自身静止系中的固有长度为 $L_0$⁠，相对尺子运动的惯性系便测得 $L=L_0/\gamma$⁠。时间测量则比较同一只钟经历的两个事件⁠：这只钟记录的间隔是固有时 $\Delta\tau$⁠，相对它运动的惯性系为同一对事件赋予的坐标时间间隔为 $\Delta t=\gamma\Delta\tau$⁠。尺缩和钟慢都直接来自洛伦兹变换及相应的测量定义⁠，不需要另设物质被以太压缩或时钟被以太阻滞的机制⁠。

4. 闵可夫斯基（⁠1908⁠）

闵可夫斯基把狭义相对论写成四维几何⁠。时间与空间共同组成时空⁠，惯性系之间的洛伦兹变换保留下列间隔⁠：

$\mathrm{d}s^2 = c^2 \mathrm{d}t^2 - \mathrm{d}x^2 - \mathrm{d}y^2 - \mathrm{d}z^2\,.$

对类时世界线⁠，固有时满足 $\mathrm{d}\tau=\mathrm{d}s/c$⁠。不同惯性系用不同的同时性超平面切分同一时空⁠，因此会在尺子两端的世界线上选出不同的事件对⁠，并得到不同的长度⁠。对于同一只运动时钟的两次滴答⁠，各惯性系又会把同一对事件分解为不同的空间间隔和坐标时间间隔⁠。尺缩与钟慢由此成为同一洛伦兹几何的两个方面⁠，而不是物体分别发生的两种偶然变化⁠。

5. 物理实例与实验检验

洛伦兹变换不仅改变坐标写法⁠，也对确定实验装置中的钟读数⁠、粒子寿命和电磁力给出可检验的定量关系⁠。下面几个例子分别说明电磁场的参考系变换⁠、时间膨胀的实验后果⁠，以及相对论计时在工程中的应用⁠。

载流导线常用于说明相对论如何统一电场与磁场⁠。在导线静止系中⁠，导线通常近似电中性⁠，运动试探电荷受到磁场产生的洛伦兹力⁠；换到与试探电荷共动的参考系后⁠，四维电流按洛伦兹变换改变⁠，电荷密度一般不再为零⁠，同一偏转可以主要用电场描述⁠。这里的关键不是把离子间距单独套入长度收缩公式⁠，而是电荷密度和电流共同构成四维电流⁠，电场和磁场共同构成电磁场张量⁠。

宇宙线 μ 子的平均固有寿命约为 $2.2\,\mu\text{s}$⁠。在地面参考系中⁠，高速 μ 子的衰变过程发生时间膨胀⁠，因此有相当一部分能够从高层大气到达地面⁠；在 μ 子参考系中⁠，则是大气层沿运动方向收缩⁠，使地面在较短的固有时间内到达⁠。两种说法使用不同坐标⁠，却对到达地面的 μ 子数给出同一预测⁠，也直接展示了尺缩与钟慢来自同一变换⁠。

GPS 卫星钟同时受到运动和引力的影响⁠。卫星的轨道速度使其钟因狭义相对论效应每天慢约 $7\,\mu\text{s}$⁠；较高轨道处的引力势较高⁠，广义相对论效应又使其钟每天快约 $45\,\mu\text{s}$⁠。导航系统必须同时计入两项修正⁠。GPS 主要检验和应用的是相对论计时⁠，其中后一项属于广义相对论对狭义相对论固有时概念的推广⁠。

6. 对照

年代	框架	尺缩	钟慢
1687	牛顿	无	无
1892+	洛伦兹	相对以太运动造成的动力学收缩	运动时钟的动力学效应⁠，仍保留绝对时间
1905	爱因斯坦	同时性相对性下的长度测量	固有时与坐标时间之比
1908	闵可夫斯基	不同同时性切片上的空间间隔	世界线上的固有时与各惯性系的坐标时

在闵可夫斯基时空中⁠，光速 $c$ 和时空间隔 $\mathrm d s^2$ 在惯性系之间保持不变⁠。不同参考系对空间与时间的分解不同⁠，因而得到长度收缩和时间膨胀⁠；两者都由同一个洛伦兹变换决定⁠。四个历史阶段的主要差别不在公式数量⁠，而在于是否承认优先参考系⁠、如何定义同时性⁠，以及怎样理解长度和时间测量⁠。

提交内容反馈