相对性原理的扩展 本节摘要:伽利略相对性原理断言,力学定律在所有惯性参照系中形式相同——船舱里的实验无法判断船是否在匀速航行。19 世纪末,这一原理面临一个挑战:它似乎只对力学成立,对电磁学不成立——麦克斯韦方程组给出的光速 c 似乎只在"以太系"中才成立。爱因斯坦的革命性一步,是把相对性原理从力学扩展到所有物理定律:电磁学定律同样在所有惯性系中成立,不存在任何特殊参照系。这一扩展直接否定了以太的物理意义,为狭义相对论奠定了第一条公设。 一、回顾:伽利略相对性原理 我们在第 1 章已经见过伽利略相对性原理:力学定律在所有惯性参照系中具有相同的形式。它的物理含义是,你无法通过任何力学实验来判断自己所处的惯性系是"真正静止"还是"真正运动"。
本节摘要:伽利略相对性原理断言,力学定律在所有惯性参照系中形式相同——船舱里的实验无法判断船是否在匀速航行。19 世纪末,这一原理面临一个挑战:它似乎只对力学成立,对电磁学不成立——麦克斯韦方程组给出的光速 c 似乎只在"以太系"中才成立。爱因斯坦的革命性一步,是把相对性原理从力学扩展到所有物理定律:电磁学定律同样在所有惯性系中成立,不存在任何特殊参照系。这一扩展直接否定了以太的物理意义,为狭义相对论奠定了第一条公设。
我们在第 1 章已经见过伽利略相对性原理:力学定律在所有惯性参照系中具有相同的形式。它的物理含义是,你无法通过任何力学实验来判断自己所处的惯性系是"真正静止"还是"真正运动"。
伽利略的船舱是这一原理最生动的例子:在一个匀速航行的封闭船舱里,无论你抛球、摆动单摆、观察鱼缸里的鱼,都会和船静止时完全一样。这一原理的数学表达是伽利略变换,它在所有惯性系之间保持牛顿第二定律 F = ma 的形式不变。
这种"惯性系平等"的观念,深得物理学家的喜爱。它符合一种朴素的对称性直觉:宇宙不应该偏爱某个特殊的参照系。
然而,麦克斯韦方程组的出现,让伽利略相对性原理陷入了一个尴尬的境地。
如第 1 章所讨论的,麦克斯韦方程组预言电磁波以速度 c = 1/\sqrt{\mu_0 \varepsilon_0} 传播。但在伽利略变换下,速度是会改变的:如果 S 系中光速是 c,S' 系(以速度 v 相对 S 运动)中光速就应当是 c \pm v。
这就意味着:麦克斯韦方程组在伽利略变换下形式会改变——它只在一个特殊参照系(以太系)中才成立。换句话说:
这种"力学平等、电磁学不平等"的不对称,让许多物理学家感到不安。为什么宇宙会让两种不同的物理规律有不同的"待遇"?
爱因斯坦的看法是:这种不对称是虚假的,它来源于我们对时空变换的错误假设。
他在 1905 年的论文《论动体的电动力学》开篇就指出了这一点。爱因斯坦注意到一组有趣的电磁学现象:用一个磁铁和一个线圈,无论你让磁铁动还是让线圈动,只要两者有相对运动,线圈中就会产生相同的感应电流。但按照当时的电磁学解释:
两种解释给出相同的实验结果,这是相对性原理的一个具体体现——电磁感应现象只依赖于磁铁与线圈的相对运动,而不依赖于"谁真正在动"。
这一现象启发了爱因斯坦:也许电磁学定律也应当对所有惯性系成立。麦克斯韦方程组与伽利略变换的矛盾,不是麦克斯韦方程错了,而是伽利略变换错了。
于是,爱因斯坦把伽利略相对性原理推广为:
相对性原理(狭义相对论版):所有物理定律(包括力学与电磁学)在一切惯性参照系中都具有相同的形式。
这就是狭义相对论的第一条公设。它的核心是:没有任何惯性系是特殊的——不存在"绝对静止"的以太系,也不存在"绝对运动"的地球系。所有惯性系在物理规律面前一律平等。
这条公设听起来温和,但它蕴含的推论极为深远:
如果电磁学定律在所有惯性系中都成立,那么"以太系"这个特殊参照系就不再有任何物理地位。光的传播不需要介质,以太只是一个理论的负担。这与第 1 章末尾爱因斯坦的结论完全一致:抛弃以太,不仅简化了理论,还恢复了物理学的对称性。
在牛顿的图景中,虽然力学定律对所有惯性系等价,但仍隐含一个"绝对静止"的舞台——绝对空间。爱因斯坦的扩展进一步剥夺了这种"绝对静止"的物理意义:没有任何实验(无论力学还是电磁学)能够判断一个惯性系是"绝对静止"的。
相对性原理本质上是对称性原理:它断言物理规律在惯性系之间的变换下保持不变。这种"变换不变性"的思想,后来成为现代物理学的核心。20 世纪的物理学,从量子力学到粒子物理到广义相对论,都深深建立在各种对称性原理之上。
关键概念:对称性与守恒律
数学家诺特(Emmy Noether)后来证明了一个深刻的定理:每一种连续的对称性,都对应一个守恒律。例如,时间平移对称性对应能量守恒,空间平移对称性对应动量守恒。洛伦兹变换下的对称性(相对性原理),则对应相对论中能量-动量的守恒形式。对称性,是物理学最深层的语言。
至此,我们已经看到了爱因斯坦重建物理学的第一条公设:相对性原理的扩展。它要求所有物理定律在所有惯性系中形式相同,直接否定了以太的特殊地位。
但仅有这一条还不够。相对性原理只说"所有惯性系等价",却没有告诉我们惯性系之间的变换关系。如果仍用伽利略变换,那麦克斯韦方程组在不同惯性系中的光速就应当不同——这又会与相对性原理(对所有惯性系形式相同)矛盾。
也就是说,必须有一种新的变换,在这种变换下,麦克斯韦方程组确实对所有惯性系都成立。而这种新变换的关键特征就是:光速 c 在所有惯性系中都相同。
这就引出了第二条公设——光速不变原理,我们将在下一节详细讨论。下面这张图概括了两条公设的关系:
下一节,我们将正式引入狭义相对论的第二条公设——光速不变原理,并澄清围绕它的一些常见误解。