同时性需要定义

前置知识： 匀速运动、速度相加、光的传播、干涉与简单代数；用勾股定理即可理解光钟一节。

人在平稳行驶的车厢里向上抛球，球仍能回到手中。用车厢描述运动，或用地面描述运动，坐标和速度会不同，基本力学规律却不应任意改变。这种相对性思想并不始于爱因斯坦。

困难出现在光和电磁学加入以后。如果车向前走，人再向前扔球，地面上的球速可以近似写成两种速度之和。可是假如把球换成光，是否也能如此相加？麦克斯韦理论中的真空光速，与不同运动状态之间的关系究竟怎样相容？

狭义相对论的历史，正是沿着这些问题重新审查“距离”“速度”和“同时”的过程。它的出发点不是一句让人惊讶的时间旅行口号，而是物理测量中几项平常得容易被忽略的约定。

一、寻找光的参照背景

以太并不是一个随便编出的坏主意

声波在空气中传播，水波在水面传播。19 世纪研究者既然掌握了光的波动性质，便自然追问：光波是否也需要介质？许多理论把这种背景称为光以太。

如果地球在一个近似静止的以太中运动，按某些经典模型推算，光沿不同方向往返所用的时间便可能有差别。单次计时太难，可以改用干涉：把同一束光分成两路，沿不同方向走，再让它们重合。光程或相位的微小变化，就可能表现为条纹位置的变化。

1887 年，迈克耳孙（Albert Michelson）与莫雷（Edward Morley）进行著名实验。他们旋转装置并比较条纹，未发现所采用以太风模型预期量级的变化。原报告讨论了测量精度和结果范围，而不是在一张记录上直接写出“所有以太理论从此不可能”。迈克耳孙与莫雷，1887 年原始论文

这个结果给某些直观模型造成困难，却没有独自决定下一套理论。研究者还可以修改对物体长度、运动介质和电磁作用的假设。历史中存在多条彼此竞争、又互相借用工具的道路。

洛伦兹和庞加莱已经在推进哪些问题？

洛伦兹（Hendrik Lorentz）为了处理运动物体的电磁现象，发展了新的坐标变换和“地方时”等概念，并在 1904 年发表重要论文。庞加莱（Henri Poincaré）深入讨论相对性原理、对时和变换的数学性质。1905 年两人的通信保留了这些问题正在被修正和推进的痕迹。莱顿大学：洛伦兹著作与原文索引；庞加莱致洛伦兹，1905 年 5 月，原信及编注

这些工作与爱因斯坦理论在部分数学形式上相近，却不能因此把所有物理解释都视为完全相同。对变换中的时间究竟代表什么、是否需要一个优先静止背景，不同研究者有不同立场。把这段历史压成唯一一次灵感，会遮住新概念真正生长的地方。

二、1905 年：先说明钟和尺怎样工作

从磁铁与导体的相对运动开始

爱因斯坦 1905 年《论动体的电动力学》开头，讨论了磁铁和导体相对运动时的电磁感应。原有叙述对“磁铁动、导体静”和“磁铁静、导体动”采用不同的解释方式，而可观察的感应现象又紧密依赖相对运动。

他把问题组织在两条原则之下：物理规律在惯性参考系中具有相同形式；真空中的光以确定的速度 \(c\) 传播，不因光源的运动状态而改变。结合两者，所有惯性系都以各自的钟和尺测得相同的真空光速。爱因斯坦 1905 年论文，1923 年英译本的电子转录

“惯性系”不是说观察者永远不能加速，而是先选取自由粒子保持匀速直线运动的参考系来建立规律。“真空”也不能略去：光在水或玻璃中的传播还涉及介质，不可把公设误读成所有传播速度都必定等于 \(c\)。

一只钟能标记身边的事件，远处怎么办？

让事件和钟在同一地点相遇，读数比较直接。例如，小球经过某条刻线的同时，旁边钟面显示多少。远处事件就多了一步：信号到达需要时间，“我现在看见它”与“它现在发生”不是同一句话。

爱因斯坦给出一种同步程序。让静止于同一惯性系的钟 A 发光到钟 B，B 立即反射，光再回到 A。A 记录发出与收回时刻 \(t_1,t_2\)，把 B 的反射事件赋时为：

\[t_B=\frac{t_1+t_2}{2}.\]

这个程序把相同惯性系中的去程和回程按对称方式处理。它说明同步本身含有需要交代的定义，不能先假定远处钟已经同步，再用它“证明”刚刚假定的单程时间。结合光传播规律与相对性原理，这种定义建立起可共同使用的坐标时间。

三、同时性为什么会随参考系改变？

变化的是事件的时间坐标，事件本身没有消失

如果一个参考系已经按照自己的方式设置了一排同步钟，另一个相对它运动的惯性系也可以做同样的事。但两套钟划分远处“同一时刻”的方式不再一致。

采用现代记号，让 \(S'\) 相对于 \(S\) 以速度 \(v\) 沿 \(x\) 轴正向运动，并让原点相遇时两边时间均为零，洛伦兹变换为：

\[x'=\gamma(x-vt),\qquad t'=\gamma\left(t-\frac{vx}{c^2}\right),\qquad \gamma=\frac{1}{\sqrt{1-v^2/c^2}}.\]

最值得停下来看的，是时间公式中的 \(x\)。在一个系里标记时间，换到另一个系时，不仅要知道原时间，还要知道事件发生在哪里。

设地面系在 \(x=-300\ \mathrm m\) 和 \(x=+300\ \mathrm m\) 的两个闪光都发生于 \(t=0\)。若另一系以 \(0.6c\) 向右运动，取 \(c\approx3.00\times10^8\ \mathrm{m/s}\)，则 \(\gamma=1.25\)。代入得到左侧事件的 \(t'\) 为 \(+0.75\ \mu\mathrm s\)，右侧事件为 \(-0.75\ \mu\mathrm s\)。

这已经是按各系同步程序赋予的事件时间，不能再把差异全归结为“光晚一点传到眼睛”。观察者可以先校正信号传递，再对同时性得到不同判断。

爱因斯坦后来在面向一般读者的著作中，用列车、路基和闪电帮助解释这一点。比起背诵场景，理解其中的问题更有用：你用哪一套钟认定远处事件发生在同一时刻？爱因斯坦《狭义与广义相对论浅说》，同时性相关章节

四、光钟：用一个三角形读懂时间膨胀

两面平行镜之间，让一个光脉冲上下反射，以完整往返计作一个周期。镜距为 \(H\)，在光钟自身的静止系中，周期是 \(\Delta\tau=2H/c\)。这里的 \(\tau\) 表示随钟同行、由该钟积累的固有时。

如果另一个惯性系看到光钟水平移动，光在去往上镜的过程中，上镜也在向前走。因此，这个系描述的半程光路是一条斜线，而不是竖线。真空光速仍为 \(c\)，更长的路径就需要更长的坐标时间。

勾股定理给出：

\[\left(\frac{c\Delta t}{2}\right)^2 =H^2+\left(\frac{v\Delta t}{2}\right)^2 \quad\Longrightarrow\quad \Delta t=\gamma\Delta\tau.\]

图中取 \(v=0.6c\)，恰好对应横向、竖向与斜边为 \(3:4:5\) 的三角形，因此外部系记录的往返时间是固有周期的 \(1.25\) 倍。爱因斯坦在线：光钟与时间膨胀

若这个效应只影响某种镜子，它就不能成为新的时空规律。狭义相对论要求共同运动的理想钟与物理过程具有一致的时间关系。钟旁边的人不会感到自己思考突然变慢；差异出现在对不同运动状态的时间比较中。

长度也需要类似的谨慎。要测移动杆的长度，必须在测量系的同一时刻记录两端位置。不同系对同时性的划分不同，便得到运动方向上的 \(L=L_0/\gamma\)，其中 \(L_0\) 是杆自身静止系的长度。随手拍一张照片，还混有光从两端到相机的传播时间，不能直接当成这项长度测量。

五、双方都说对方的钟慢，重逢时谁更年轻？

两个始终相对匀速运动的惯性观察者，确实可以各自说对方的钟相对于自己的同步钟网走得慢。这种互相性不构成矛盾，因为两人比较远处钟时采用了不同的同时性。

如果要求两只钟先相遇、后来再次相遇，问题变得不同。两条完整世界线不能只凭“相对运动”四个字相互替换。一只钟可以在同一惯性系中留守，另一只钟则出发、折返、回来。

图中两段旅行都有 \(\gamma=5/3\)，所以旅行钟总计 \(10/(5/3)=6\) 年，留守钟为 10 年。重逢时可以把钟并排直接比较，不再需要远处同步。

折返意味着运动历史不对称，但不能简单说“加速度把钟的机械结构压慢了”。沿整个路径计算固有时才是普遍办法；在平直时空中，即使存在加速运动，也可以用狭义相对论处理。广义相对论的必要性来自引力与时空几何的问题，不是因为公式里一出现加速度就自动失效。爱因斯坦在线：旅行双生子与完整路径

六、从坐标变化，到共同的时空结构

闵可夫斯基把几何推到前台

1908 年，闵可夫斯基（Hermann Minkowski）在《空间与时间》演讲中展示了相对论的四维几何语言。事件有空间和时间坐标，物体的历史则成为时空中的世界线。闵可夫斯基原演讲英译及校注，MIT 收录

在现代写法中，相邻事件之间的间隔可以表示为：

\[ds^2=c^2dt^2-dx^2-dy^2-dz^2.\]

不同惯性系可以改变各项坐标差，却保持这一组合不变。因此，相对论并不是“什么都取决于个人观点”。事件的相遇、固有时和因果结构，有不同观察者能够共同核对的内容。

如果两个事件能以不超过光速的信号相连，正常的惯性系变换不会把它们的因果先后任意颠倒。图 3 中相隔 600 米、在地面系同时发生的两次闪光，则没有足够时间互相发送这样的信号。因此，它们的时间先后可以随系变化，而不把“先发出指令、再收到指令”改成相反的因果过程。

能量与质量也进入新的关系

1905 年另一篇短文中，爱因斯坦分析物体向相反方向放出辐射的情况，指出能量的减少应伴随惯性质量的减少。用现代语言表示，系统的静止能量为：

\[E_0=mc^2.\]

它不意味着只有高速运动时才有这项能量，也不意味着随便拿一块物体就能把全部静止能量释放出来。对一个确定系统，内部运动、相互作用与结合能都参与它的总能量；系统状态改变时，质量差便可能成为能量收支的一部分。爱因斯坦，1905：《物体的惯性同它所含的能量有关吗？》英译转录

采用不变质量的现代习惯，运动粒子满足 \(E^2=p^2c^2+m^2c^4\)，静止时回到上式。光子的静止质量为零，仍有能量和动量；不必给它硬套一个“有质量小球”的模型。

七、自然界怎样回答？

思想实验擅长拆开隐含假设，却不能独自保证自然界接受这些假设。相对论必须经受实际测量。

一种特别有力的钟来自不稳定粒子的衰变。单个粒子什么时候衰变是随机的，但大量同类粒子的统计分布给出可测的平均寿命。若粒子高速运动，实验室测得的平均寿命应当按洛伦兹因子延长。

1977 年，Bailey 等人报告 CERN 储存环中正、负缪子的寿命测量。在 \(\gamma\approx29.33\) 时，实验室平均寿命约为 \(64.4\ \mu\mathrm s\)，与静止平均寿命约 \(2.2\ \mu\mathrm s\) 及时间膨胀关系相容。原论文还分析了不确定度和不同电荷粒子的比较。CERN：原始论文记录与摘要

这里被拉长的是统计平均寿命，不是每个缪子都带着一只会在同一时刻响铃的计时器。环形轨道还说明：存在向心加速度，并不妨碍沿路径使用相对论的固有时规律。

新理论也保留了日常经验。在 \(v\ll c\) 时，\(\gamma\) 极接近 1，洛伦兹变换回到伽利略变换的良好近似。经典力学依然有效，是因为日常速度使那些修正太小；它的成功成为新理论必须解释的一部分。

八、把历史连回物理知识

九、时间线：先重新定义问题，再重新计算答案

十、读后思考

1. “同时看见两次闪光”为什么不必然等于“两次闪光同时发生”？完成光传播时间校正以后，同时性为什么仍可能随参考系改变？
2. 图 2 中，如果往返读数改为 \(t_1=4\ \mu\mathrm s\)、\(t_2=10\ \mu\mathrm s\)，按同一同步方法应把反射事件赋予什么时间？
3. 图 4 中，为什么不能同时保留“观察光钟运动的惯性系中光路更长”“光速相同”和“往返时间也完全相同”？
4. 为什么旅行者重逢的问题，不能只靠双方互相声称“对方在运动”来回答？
5. 缪子寿命测量中，为什么需要大量粒子而不是观察一个粒子？经典力学在低速范围仍然成功，又对新理论提出了什么要求？