第五章 狭义相对论
1. 从洛伦兹变换开始
第四章，我们推导出了洛伦兹变换：
s' = γ(s - vt)
t' = γ(t - vs/c²)
其中 s 表示沿运动方向的一维空间坐标，以避免与三维坐标混淆。γ 为洛伦兹因子：
γ = 1 / √(1 - v²/c²)
洛伦兹变换不是人为规定的坐标变换，而是在空间均匀性、时间均匀性、惯性参考系等基本假设下，同时满足相对性原理和光速不变要求的线性变换。如果两个观察者测量的空间和时间不同，但光传播规律必须相同，那么必须存在一个所有观察者共同认可的不变量。
光速不变要求不同参考系之间存在一个共同保持的结构。通过验证洛伦兹变换可以发现，这个结构就是时空间隔不变量。将洛伦兹变换代入 s'² - c²t'²：
s'² - c²t'² = γ²(s - vt)² - c²γ²(t - vs/c²)²
展开第一项：γ²(s² - 2svt + v²t²)
展开第二项：c²γ²(t² - 2vst/c² + v²s²/c⁴) = γ²(c²t² - 2vst + v²s²/c²)
相减得到：
γ²s² - 2svt + v²t² - c²t² + 2vst - v²s²/c²
中间项 -2svt 与 +2vst 抵消，整理为：
γ²(s² - v²s²/c²) - (c²t² - v²t²)
= γ²(1 - v²/c²)(s² - c²t²)
因为 γ²(1 - v²/c²) = 1，所以：
s'² - c²t'² = s² - c²t²
时空间隔不变量不是额外添加的物理规律，而是满足光速不变和参考系等价要求时，洛伦兹变换必然保持的不变量。时空间隔类似于欧几里得几何中的距离，但它不是普通空间距离，而是四维时空中的不变量。它包含时间和空间两个部分，并决定事件之间的因果关系。
时空间隔不仅定义了宇宙中的"距离"，还定义了事件之间的因果关系。如果两个事件满足 c²Δt² - Δs² > 0，它们之间存在低于光速的信息传递可能，被称为类时间隔。如果 c²Δt² - Δs² < 0，它们之间无法通过光速以内的信息建立因果联系，被称为类空间隔。光锥因此成为宇宙因果结构的边界。
这意味着宇宙的基本对象并不是独立存在的空间点和时间点，而是发生在时空中的事件。空间和时间只是观察者对同一个四维结构的不同分解方式。不同观察者测量的空间和时间虽然不同，但这个量保持不变。宇宙真正保持不变的，不是空间，也不是时间，而是更深层的结构------时空间隔。
这就是狭义相对论的基础。
2. 时间为什么会变慢？
很多人第一次接触相对论，会产生一个问题：为什么运动会影响时间？时间不是一个独立流动的东西吗？
答案来自光速不变。我们设计一个简单实验。
假设小红在飞船内部安装一个"光钟"------光钟由两个平行镜子组成，一束光在两个镜子之间不断反射。
光钟只是一个最简单的示范模型。目前已知的基本相互作用都满足相对论时空结构，因此任何已知局部物理过程都不能超过光速限制。光钟并不是因为光特殊，而是因为任何钟本质上都是某种周期性物理过程。原子振动、电子跃迁、化学反应等不同物理过程虽然机制不同，但它们都由满足洛伦兹对称性的基本规律控制，因此都会按照同一个时间膨胀规律变化。因此时间膨胀不是钟坏了，而是不同惯性参考系之间测量时间间隔的规律发生改变。光钟利用光传播最直观地展示了洛伦兹变换对时间间隔的影响。
静止状态下的光钟
在小红自己的参考系中，她和光钟一起运动。在她看来，光只是在上下运动。假设两个镜子距离为L，光走一个来回距离为2L。由于光速是c，小红测量时间为：
t₀ = 2L / c
这个时间叫做固有时间。固有时间对应两个事件发生在同一个空间位置的参考系中的时间间隔。在飞船参考系中，光从下镜子出发并返回下镜子的两个事件发生在同一地点，因此Δs' = 0，固有时间 Δτ = t₀。一般地，固有时间与坐标时间的关系为：
c²Δτ² = c²Δt² - Δx² - Δy² - Δz²
为了简化，本章暂时只考虑一个空间方向，此时退化为 c²Δτ² = c²Δt² - Δs²。当 Δs = 0 时，Δτ = Δt。这个概念以后进入广义相对论非常重要。
地面观察者看到的光钟
现在，小红坐飞船高速运动，小明站在地面观察。对于小明来说，光不仅上下运动，因为飞船在前进，光实际走的路线变成斜线，距离变长了。
假设飞船速度为v，经过时间t，小红的光钟移动距离为vt。根据勾股关系，光传播距离满足：
(ct)² = (2L)² + (vt)²
展开并移项：
c²t² - v²t² = 4L²
t²(c² - v²) = 4L²
t² = 4L² / (c² - v²) = 4L² / c²(1 - v²/c²)
开平方并代入 t₀ = 2L/c：
t = t₀ / √(1 - v²/c²) = γ t₀
由于 γ > 1，所以地面观察者测量到运动中的时钟走得更慢。
这就是时间膨胀。
但这里有一个关键点：时间膨胀不是某一个人的时间被改变，而是不同观察者之间对时间间隔的测量不同。小明认为小红运动，所以小红时间慢。但小红认为小明运动，所以小明时间慢。两个观察者互相认为对方时间变慢，这不是矛盾，因为比较时间必须说明在哪个参考系比较。没有一个脱离参考系存在的绝对时间。只有当两个观察者重新相遇时，才能比较双方经历的实际时间长度，这也是后续双生子问题的基础。
3. 时间膨胀的本质
时间膨胀不是因为钟表机械结构变化，也不是因为物质运动导致钟坏了。任何物理过程都会发生同样变化，包括原子振动、化学反应、生物衰老、神经活动。
原因只有一个：光速必须保持不变。为了使不同参考系都满足同一个光速不变规律，空间坐标和时间坐标必须按照洛伦兹变换重新组合。这种重新组合不是人为调整，而是时空结构为了保持因果一致性必须满足的几何关系。时间膨胀不是时间这个实体被压缩或拉伸，而是不同观察者对于两个事件之间间隔的分解方式不同。因此，时间不再是独立背景，而成为物理结构的一部分。
4. 长度为什么会缩短？
时间膨胀说明运动会影响时间测量。那么空间是否也会改变？答案来自洛伦兹变换。
考虑一根沿运动方向放置的尺子。小红坐在飞船中，尺子跟随飞船一起运动。在小红看来，尺子是静止的。因为尺子在小红参考系中静止，两个端点的位置固定，因此无论选择哪个时刻测量，两个端点之间的空间距离都相同。她测量尺子的两个端点位置：前端s'_B，后端s'_A。两端之间的距离：
L₀ = s'_B - s'_A
这个长度叫做固有长度。固有长度的含义是：在尺子自己的静止参考系中测量得到的长度。注意：固有长度永远是在物体静止参考系测量，因此这里 L₀ 对应飞船系（小红），而 L 对应地面系（小明）。
现在从小明的参考系观察。小红的飞船高速运动。小明看到尺子正在移动，因此不能简单地取某一个时刻两个端点的位置。因为尺子的前端和后端在不同时间经过不同位置。如果小明先测量后端，再测量前端，那么在两个测量时刻之间，尺子已经移动了一段距离。得到的长度会混入运动造成的位置变化。
因此，测量运动物体的长度，必须同时测量两个端点的位置。如果不满足同时条件，就不能称为长度测量，而只是两个不同时刻的位置差。因为同时性本身具有相对性，所以长度测量天然依赖于观察者选择的参考系------长度不是一个脱离时间存在的绝对量，而是在某个参考系的同时空间切片上的距离。在小明的S系中必须满足：
t_B = t_A
其中事件A是测量尺子的后端位置，事件B是测量尺子的前端位置。两个测量事件在S系中发生在同一个时间。注意，这里的同时条件是t_B = t_A，不是t'_B = t'_A。此时，小明测量的长度为：
L = s_B - s_A = Δs
现在使用洛伦兹变换。空间坐标 s' = γ(s - vt)，分别作用于尺子的两个端点：
前端：s'_B = γ(s_B - v t_B)
后端：s'_A = γ(s_A - v t_A)
两式相减：
s'_B - s'_A = γ(s_B - v t_B) - (s_A - v t_A)
展开：
Δs' = γ(Δs - vΔt)
这就是长度转换公式。
因为小明在S系中同时测量两个端点，Δt = 0，所以：
Δs' = γ Δs
由于Δs' = L₀，而Δs = L，因此：
L₀ = γ L
整理：
L = L₀ / γ = L₀ √(1 - v²/c²)
这就是长度收缩公式。
5. 为什么只有运动方向收缩？
洛伦兹变换只改变运动方向：s' = γ(s - vt)。而垂直方向保持不变：y' = y，z' = z。因此，x方向长度改变，y方向和z方向不变。原因不是人为规定，而是因为两个参考系之间只有相对运动方向存在差异。
长度收缩不是说尺子真的被压缩了，而是说不同参考系测量同一个物体长度时，由于空间和时间的统一调整，得到不同结果。对于小红，尺子静止，长度为L₀。对于小明，尺子运动，长度为L < L₀。两个观察者都认为自己的测量正确，因为他们使用的是不同的时空坐标。
6. 同时性的相对性
牛顿认为时间绝对------如果两个事件同时发生，一个观察者看到同时，所有观察者都同时看到。但洛伦兹变换改变了这个观点。
时间转换公式：
t' = γ(t - vs/c²)
其中 -vs/c² 这一项是关键。在牛顿力学中，时间和空间独立，t' = t。但在相对论中，时间坐标不再只由时间决定，而是与事件发生的位置共同确定。同时性的相对性不是人为规定，而是空间和时间不再独立后的必然结果。
假设小明看到两个事件：事件A在s_A = 0，事件B在s_B = L，且t_A = t_B。小明认为两个事件同时发生。
但是小红计算：
t'_A = γ t_A
t'_B = γ(t_B - vL/c²)
由于t_A = t_B，所以t'_A ≠ t'_B。因此小红认为两个事件不是同时发生。
这不是因为光传播需要时间造成的视觉误差，而是两个参考系对于"同时"的定义本身不同。不是观察误差，而是坐标定义不同。
这就是同时性的相对性。
7. 速度为什么不能超过光速？
经典力学认为速度可以无限增加，但相对论改变了这个观点。
考虑速度变换。物体速度u = s/t，在另一个参考系中u' = s'/t'。代入洛伦兹变换：
u' = (s - vt) / (t - vs/c²)
上下除以t：
u' = (u - v) / (1 - uv/c²)
这就是相对论速度变换公式。
如果u = c，代入：
u' = (c - v) / (1 - v/c)
分母1 - v/c = (c - v)/c，所以u' = c。也就是说，光速在任何参考系中仍然是c。
现在证明任何低于光速的速度叠加后仍然低于光速。假设u < c且v < c，计算：
c² - u'² = (c² - u²)(c² - v²) / (c² - uv)²
因为c² - u² > 0且c² - v² > 0，所以c² - u'² > 0，即 |u'| < c。
无论经过多少次相对运动变换，物体速度大小都不会超过光速。狭义相对论限制的是局部因果传播速度，而不是所有数学定义下的速度。宇宙膨胀导致远处星系退行速度超过光速，或者某些数学定义下的速度（例如相位速度）可以超过光速，并不违反狭义相对论，因为它们不能用于传递可控信息。光速不是普通意义上的最快速度，而是时空结构本身规定的极限速度。低于光速的物体，无论经过多少次相对运动变换，都只能无限接近，而不能达到。光速不是物体努力达到的普通速度，而是连接所有因果关系的极限速度。因此，光速是局部因果传播速度上限。
8. 从质量到能量
洛伦兹变换不仅改变空间和时间，也改变物体的动力学。
在经典力学中，动量p = mv。但高速运动时，需要使用相对论动量。过去教材常使用"相对论质量m = γm₀"的表达，但现代物理通常保持静止质量m₀不变，把运动效应归入能量和动量：
p = γ m₀ v
总能量包含静止能量和动能两部分，E = E₀ + K，其中E₀ = m₀c²。动能表达式为：
K = (γ - 1)m₀c²
在低速极限下，γ ≈ 1 + v²/2c²，代入得到 K ≈ ½m₀v²，回到牛顿力学的动能公式。总能量表达式为：
E = γ m₀ c²
其中m₀是静止质量，保持不变。增加的是运动状态下的能量和动量。当v → c时，γ → ∞，因此需要无限能量才能继续加速。所以，有静质量物体无法达到光速。
9. 质能关系
狭义相对论最著名的结果来自能量公式 E = γ m₀ c²。当物体静止时，v = 0，γ = 1，得到：
E₀ = m₀ c²
这就是静止能量。静止质量对应系统内部不可约的能量形式，而总能量则包含静止能量和运动能量。从GULP哲学视角看，物质可以理解为能量在宇宙约束条件下形成的稳定结构。质量并不是能量消失后的结果，而是系统内部能量组织方式的一种稳定表现。
更一般地，能量、动量和质量之间满足：
E² = p²c² + m₀²c⁴
当物体静止时，p = 0，上式退化为 E = m₀ c²。
这意味着，宇宙中的物质和能量并不是两个世界，它们可以相互转换。
10. 狭义相对论的逻辑链
从第一章到第五章，逻辑链不断推进。
最开始，宇宙需要保持连续性，因此运动必须满足守恒规律。然后，光速不变提出了新的传播限制。接着，相对性原理要求所有观察者平等。
三个条件共同作用：伽利略变换无法满足，需要寻找新的坐标转换，于是得到洛伦兹变换。时间、空间必须统一调整，进而产生时间膨胀、长度收缩、同时性的相对性、速度极限、质能转换。
这里有一个重要的认识：伽利略变换不是错误，而是在低速度条件下的近似。当 v << c 时，γ ≈ 1，洛伦兹变换退化为 s' = s - vt，t' = t，重新回到牛顿力学。因此，狭义相对论不是推翻经典力学，而是在更高速度尺度下对经典力学的自然扩展。演化不是否定旧结构，而是在旧结构基础上产生更高层结构。
演化并不是简单替代，而是增加新的约束维度。当速度约束出现时，需要统一空间与时间；当能量约束出现时，需要让时空参与演化。牛顿力学解决低速度、弱引力条件下的稳定运动结构。狭义相对论解决高速运动下空间与时间统一的问题。广义相对论进一步解决质量能量改变时空结构的问题。
狭义相对论解决了没有引力情况下的时空结构问题，但它仍然把惯性参考系作为基础。如果质量和能量本身能够改变时空结构，那么惯性系的定义也需要重新考虑。这就是广义相对论的问题。
从GULP视角看，这体现了一种普遍的演化规律：演化不是随机产生，而是在约束条件下，系统不断寻找能够保持稳定存在的结构。每一个新结构的出现，都同时揭示出新的约束条件，从而推动下一层演化。
这将引导我们进入广义相对论。