撰文 | 张元仲 

首先，我们已经知道这样一个事实，即迄今为止，实验室一般都是使用光信号校准时间的，并假定光速为常数，c≈3×10⁸m/s。这就是说，文献中给出的两地时钟的读数之差或某物体的速度v的数值，都是相对于爱因斯坦同时性定义的。所以，这些数据与狭义相对论的预言比较是直截了当的。然而，我们却不能将这些数值直接同经典力学（以及其他检验理论）的预言进行比较，因为经典力学用的是瞬时同时性的定义。为了与实验数据比较，我们必须使用以下公式：

（取q=q^'=1，相应于c=c^'→∞，瞬时传播信号）

将伽利略变化式（x^'=x-vt，t^'=t）中的时间t和t^'以及速度v转换成可以同实验数据直接进行比较的量：t₀、t₀^'和v₀。转换关系是 

狭义相对论虽然改变了经典力学中的时空观念的某些绝对性，但并未从根本上变更。从某些意义上说，狭义相对论的时空观也是一种绝对的时空观。首先，惯性系的建立就需要事先有一个空虚的空间和离开物质而独立存在的时间。说的绝对一点就是：如果物质消失了，还会剩下空间和时间作为表演物理事件的一种舞台。当我们考查一个物体在空虚空间中做匀加速运动时，我们同样会遇到经典力学中的概念问题：惯性运动和加速运动有着严格的区别；加速指的是“对于空间的加速度”，而惯性指的是对加速度的抵抗；这就是说，空间对物质发生作用，而物质对空间没有影响。这也就是牛顿所说的“空间是绝对的”。所以说，狭义相对论中的时间和空间虽然有了某种联系，但仍没有摆脱时空的绝对性（指不受物质影响）。广义相对论对这个问题给出了自己的回答：引力场由时空度规描写，时空度规的源是物质的能量——动量（张量），即物质决定时空；狭义相对论中的闵可夫斯基时空只不过是广义相对论中爱因斯坦方程的一种特殊的解，或者说它是由物质分布所决定的一种特殊形式的引力场，即系统的最低能态（真空态）。

通过检验光速不变原理和同时性定义的各类实验的详细分析，说明这类实验所检验的不是单向光速而是往返平均光速的不变性。理解这一问题的关键是要认识到这样一个事实，即我们没有先验的同时性定义，而光速的定义又依赖于同时性定义。爱因斯坦从1905年第一篇论文开始，就对这一问题阐述得十分清楚了。后来爱德瓦兹（Edwards）的检验理论又进一步论证了这个问题。尽管如此，我们仍不时在各种文章和某些通俗读物上看到“光速各向同性已被实验证实”诸如此类的臆断^[1-5]。其中，最值得一提的是，有些学者使用所谓的曼苏里-塞塞尔（Mansouri-Sexl，简称M-S）检验理论直接同实验数据进行了比较^[5]。因此，仔细分析这类检验理论是十分必要的。为此，我同Nester教授进行了讨论，并总结发表了一篇论文 ^[9]，对其主要结果简述如下： 

狭义相对论的检验理论有三类：爱德瓦兹变换^[6]、罗伯逊（Robertson）变换^[7]、曼苏里-塞塞尔变换 ^[8]。同洛伦兹变换相比较，爱德瓦兹变换只是多了一个方向性参数q（q^'）。罗伯逊变换中的参数可以用三个新参数代替，其中参数和分别代表光信号平行和垂直于两惯性系相对运动方向的往返平均速度。M-S变换比罗伯逊变换也是多了一个方向性参数q（q^'）。所以我们可以知道：在洛伦兹变换中单向光速为各向同性；在爱德瓦兹检验理论中单向光速可变（由q和 q^'的非零值表征），而平均往返光速不变==c；在罗伯逊检验理论中，≠≠c，且单向光速等于平均光速；在M-S检验理论中，≠≠c，且单向光速不等于平均光速而与方向性参数q有关。所以M-S变换对罗伯逊变换的推广恰如爱德瓦兹变换对洛伦兹变换的推广。当把这些变换与物理实验比较时，必须考虑到检验理论中的同时性与实验室通常使用的爱因斯坦同时性定义不同，这种不同已用公式（1）~（3）表达了出来。因此，与实验数据的正确比较会使我们看到，方向性参数q不会在任何物理预言中出现，恰如爱德瓦兹变换在物理上不比洛伦兹变换多任何东西一样。罗伯逊变换（也就是M-S变换）所能检验的是和的差别，也就是双程平均光速的方向性（因为任意方向上的双程平均光速可以表达成和的函数）。

关于单向光速的方向性问题，我再补充几句。如果我们在自然界中发现大于光速的新信号存在，我们就可以在原则上用新信号校准时钟，从而对单向光速的方向性作出判断。但是新信号的单向光速却成为了一个不可观测的问题。除非我们发现瞬时传播的信号，否则，用于校准时钟的那种（速度最快的）信号的单向速度的问题总是一个无法检验的问题。

文本出自张元仲著《狭义相对论实验基础》第一版重印说明，略有修改。