以某个事件为中心,光能到达的所有事件组成光锥。
光锥是什么:从“事件”出发的因果边界 “以某个事件为中心,光能到达的所有事件组成光锥”这句话是在用几何方式描述狭义相对论中的因果结构。 在闵可夫斯基时空里,一个“事件”不是一段过程,而是一个时空点,例如: 北京某处,在中午 12 点整,灯泡闪了一下。 这个事件既有空间位置,也有时间位置。我们可以问:从这个闪光事件出发,光信号能够到达哪些其他事件?这些可由光刚好到达的事件,就构成了光锥的表面。 --
在不进行网络搜索,不使用外部工具的情况下,你对自己最自信的知识领域是哪些?
真空中的光速 𝑐 c 对所有惯性观察者都相同。
为什么“真空中的光速 对所有惯性观察者都相同”?
这句话是狭义相对论最核心、也最反直觉的原则之一。简短回答是:
它不是从日常速度相加规则推出的,而是一个由实验和电磁理论共同支持的基本事实;狭义相对论正是为了让这个事实与物理定律一致而建立的。
下面分层解释。
1. 日常直觉:速度应该相加
在低速世界里,我们习惯使用伽利略速度叠加。
比如一辆火车以 100 km/h 前进,你在车上向前扔球,球相对火车速度是 20 km/h,那么地面上的人会测到:
所以直觉上,如果飞船以很高速度追着一束光跑,似乎应该看到光变慢;如果迎着光飞,似乎应该看到光变快。
但实验告诉我们:不是这样。
无论你静止、匀速靠近光源,还是匀速远离光源,在真空中测得的光速都是同一个值:
注意:这里说的是光速不变,不是说光的频率、波长都不变。靠近光源时会看到蓝移,远离光源时会看到红移,但光速仍然是 。
2. 麦克斯韦方程已经暗示:光速是自然常数
19 世纪,麦克斯韦把电和磁统一起来,发现电磁波在真空中的传播速度为:
其中 和 是真空的电磁常数。
这很重要,因为这个速度不是“相对于某个光源”的速度,而像是由真空本身的性质决定的速度。
于是问题出现了:
- 如果光是波,波通常需要介质;
- 声音相对于空气传播;
- 水波相对于水传播;
- 那光是不是也相对于某种“以太”传播?
如果存在“以太”,那么地球在以太中运动时,不同方向测得的光速应该不同。
3. 迈克耳孙—莫雷实验:没有测到“以太风”
迈克耳孙—莫雷实验试图测量地球穿过以太时产生的“以太风”。
如果地球相对以太运动,那么沿地球运动方向和垂直方向传播的光,来回所需时间应略有不同。实验装置非常精密,理论上应该能测出差异。
结果却是:
没有测到预期的差异。
这说明至少在实验精度内,光速并没有因为地球的运动方向而改变。
后来大量更高精度的实验也支持这一点:真空光速对惯性观察者相同。
4. 爱因斯坦的关键选择:不是修改光,而是修改时空
面对这个矛盾,有两条路:
- 保留绝对时间和伽利略速度叠加;
- 承认时间和空间的测量本身会随运动状态改变。
爱因斯坦选择第二条。
他提出两个基本假设:
- 相对性原理:所有惯性系中的物理定律形式相同;
- 光速不变原理:真空中的光速 对所有惯性观察者相同。
这意味着,不同观察者为了都测得同样的光速,必须在时间和空间测量上出现差异。
也就是说,若一束光满足:
另一个匀速运动的观察者也必须测得:
这不可能靠伽利略变换实现,只能靠洛伦兹变换实现。
5. 真正改变的是“时间”和“长度”的观念
为了保证光速不变,狭义相对论带来了几个结果:
时间膨胀
运动的钟在你看来会变慢:
其中
长度收缩
沿运动方向的长度会变短:
同时性的相对性
两个在一个参考系中同时发生的事件,在另一个运动参考系中可能并不同时。
这些效应共同保证:每个惯性观察者测量光速时,得到的都是 。
6. 一个直观例子:光钟
想象一个“光钟”:一束光在上下两面镜子之间来回反射。
在光钟静止的人看来,光只是上下运动。
但在旁边匀速经过的人看来,光钟在水平移动,所以光走的是斜线:
运动观察者看到光走了更长的路径。既然光速仍然是 ,那么它走更长路径所需的时间就必须更长。
这就是时间膨胀。
所以不是光速为了适应时间,而是时间的测量必须调整,使光速保持不变。
7. 为什么这和光锥有关?
光锥的边界由光的传播决定:
如果光速对不同惯性观察者不同,那么不同观察者会画出不同的光锥,因果边界也会混乱。
但由于所有惯性观察者都同意光速是 ,他们虽然会对时间间隔、空间距离、是否同时产生不同判断,却都会同意:
- 哪些事件能被光连接;
- 哪些事件在光锥内;
- 哪些事件在光锥外;
- 哪些事件之间可能有因果关系。
这就是为什么说洛伦兹变换不会“压坏”光锥。
8. 更深一层: 不只是“光的速度”
在现代物理里, 更准确地说是:
时空结构中的极限速度,也是因果传播的最大速度。
光子因为没有静质量,所以在真空中以这个速度运动。但 不只是光的属性,而是闵可夫斯基时空本身的结构常数。
所以“为什么光速不变”可以理解为:
因为我们的时空几何不是牛顿式的绝对时空,而是洛伦兹式的闵可夫斯基时空;在这种几何中, 是所有惯性系共同承认的因果速度边界。