第 53B 章 闵可夫斯基空间与洛伦兹群¶
前置：内积空间 (Ch08) · 辛矩阵 (Ch53A) · 狭义相对论基础
本章脉络：从欧几里得空间到闵可夫斯基空间 \(\to\) 不定内积 (Indefinite Inner Product) 与度规矩阵 \(\eta\) \(\to\) 洛伦兹变换 (Lorentz Transformations) 的矩阵定义 \(\to\) 洛伦兹群 \(O(1, 3)\) 及其分支 \(\to\) 固有洛伦兹变换与旋转/提升 (Boosts) \(\to\) 向量的分类：类时、类空、零向量 \(\to\) 因果结构与光锥 \(\to\) 洛伦兹矩阵的极分解 \(\to\) 应用：时空坐标变换、多普勒效应、粒子物理中的动量张量
延伸：闵可夫斯基空间是物理学中“时空统一”的代数载体；它将时间与空间织入一个具有负符号度规的四维流形，证明了物理定律的不变性本质上是洛伦兹群在算子层面的表现，是理解相对论的唯一数学底座
在日常经验中，距离总是正的。但在狭义相对论中，时间与空间的间隔需要一种特殊的结合方式。闵可夫斯基空间（Minkowski Space）引入了带负号的度规，使得“距离”可能为零甚至为负。保持这种间隔不变的矩阵构成了洛伦兹群（Lorentz Group）。本章将介绍这一描述宇宙四维骨架的线性代数语言。
53B.1 闵可夫斯基度规与不定内积¶
定义 53B.1 (闵可夫斯基度规 \(\eta\))
在四维时空中，度规矩阵通常取为： $\(\eta = \operatorname{diag}(-1, 1, 1, 1)\)$ 两个四维向量 \(u, v\) 的闵氏内积定义为： $\(\langle u, v \rangle_\eta = u^T \eta v = -u_0 v_0 + u_1 v_1 + u_2 v_2 + u_3 v_3\)$
向量分类
- 类时 (Time-like)：\(\langle v, v \rangle < 0\)。
- 类空 (Space-like)：\(\langle v, v \rangle > 0\)。
- 零向量 / 类光 (Light-like)：\(\langle v, v \rangle = 0\)（光信号的轨迹）。
53B.2 洛伦兹变换的矩阵表示¶
定义 53B.2 (洛伦兹矩阵)
方阵 \(\Lambda \in M_4\) 称为洛伦兹变换，如果它保持闵氏内积不变： $\(\Lambda^T \eta \Lambda = \eta\)$ 这些矩阵构成的群记为 \(O(1, 3)\)。
53B.3 提升 (Boost) 与旋转¶
洛伦兹提升 (Lorentz Boost)
沿 \(x\) 轴以速度 \(v\) 运动的提升矩阵为： $\(\Lambda = \begin{pmatrix} \gamma & -\beta\gamma & 0 & 0 \\ -\beta\gamma & \gamma & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix}\)$ 其中 \(\beta = v/c\)， \(\gamma = 1/\sqrt{1-\beta^2}\)。这对应于时空坐标的“旋转”（双曲旋转）。
练习题¶
1. [基础] 计算向量 \(v = (1, 1, 0, 0)^T\) 在度规 \(\eta = \operatorname{diag}(-1, 1, 1, 1)\) 下的范数平方。
参考答案
计算步骤： 1. \(\langle v, v \rangle_\eta = v^T \eta v = -v_0^2 + v_1^2 + v_2^2 + v_3^2\)。 2. 代入分量：\(-1^2 + 1^2 + 0^2 + 0^2 = -1 + 1 = 0\)。 结论：范数平方为 0。这是一个零向量（类光向量），代表光速传播的路径。
2. [洛伦兹群] 证明：洛伦兹矩阵的行列式必为 \(\pm 1\)。
参考答案
证明： 1. 已知 \(\Lambda^T \eta \Lambda = \eta\)。 2. 两边取行列式：\(\det(\Lambda^T) \det(\eta) \det(\Lambda) = \det(\eta)\)。 3. 由于 \(\det(\eta) = -1 \neq 0\)，约去后得 \((\det \Lambda)^2 = 1\)。 结论：\(\det \Lambda = \pm 1\)。其中 \(\det=1\) 的称为固有洛伦兹变换。
3. [计算] 验证 \(2 \times 2\) 提升矩阵 \(\begin{pmatrix} \cosh \phi & -\sinh \phi \\ -\sinh \phi & \cosh \phi \end{pmatrix}\) 是否满足洛伦兹定义。
参考答案
计算步骤： 1. 令 \(\eta = \operatorname{diag}(-1, 1)\)。 2. \(\Lambda^T \eta \Lambda = \begin{pmatrix} \cosh \phi & -\sinh \phi \\ -\sinh \phi & \cosh \phi \end{pmatrix} \begin{pmatrix} -1 & 0 \\ 0 & 1 \end{pmatrix} \begin{pmatrix} \cosh \phi & -\sinh \phi \\ -\sinh \phi & \cosh \phi \end{pmatrix}\)。 3. 计算得左上角：\(-\cosh^2 \phi + \sinh^2 \phi = -1\)。 4. 右下角：\(-\sinh^2 \phi + \cosh^2 \phi = 1\)。 5. 交叉项：\(\cosh\sinh - \sinh\cosh = 0\)。 结论：结果恰好为 \(\eta\)，故该矩阵是合法的洛伦兹变换。\(\phi\) 称为快速性（Rapidity）。
4. [因果性] 为什么类时向量之间的夹角没有定义，但它们有“未来”与“过去”之分？
参考答案
代数解释： 对于类时向量 \(v\)（\(v_0^2 > v_1^2+v_2^2+v_3^2\)），分量 \(v_0\) 的符号在连续洛伦兹变换下是不变的。 这意味着时空被分成了 \(v_0 > 0\)（未来光锥）和 \(v_0 < 0\)（过去光锥）两个不连通的区域。这构成了物理学中因果律的数学基础。
5. [不变量] 在洛伦兹变换下，物体的静质量（动量张量的范数）是否改变？
参考答案
结论：不改变。 理由：动量四维向量 \(P\) 的范数平方 \(P^T \eta P = -E^2 + p^2\) 对应于静质量 \(-m^2 c^2\)。由于洛伦兹变换保持闵氏内积不变，静质量是所有观测者都一致认可的洛伦兹不变量。
6. [性质] 证明洛伦兹变换的逆 \(\Lambda^{-1} = \eta \Lambda^T \eta\)。
参考答案
证明： 1. 由 \(\Lambda^T \eta \Lambda = \eta\) 两边右乘 \(\Lambda^{-1}\)。 2. \(\Lambda^T \eta = \eta \Lambda^{-1}\)。 3. 由于 \(\eta^{-1} = \eta\)，两边左乘 \(\eta\)： 4. \(\eta \Lambda^T \eta = \Lambda^{-1}\)。
7. [分类] 若一个向量在某个坐标系下只有空间分量 \((0, 1, 0, 0)\)，它是什么类型的向量？
参考答案
判定： \(\langle v, v \rangle = -0^2 + 1^2 + 0^2 + 0^2 = 1 > 0\)。 结论：是类空向量。这类向量代表两个在任何参考系下都不可能具有因果联系的时间点。
8. [应用] 什么是时空中的“双曲旋转”？
参考答案
普通的旋转保持 \(x^2+y^2\)（圆）不变。洛伦兹提升保持 \(-t^2+x^2\)（双曲线）不变。 因此，提升变换在数学上等价于时空平面上的双曲旋转，其旋转角即为快速性 \(\phi\)。
9. [特征值] 洛伦兹矩阵的特征值有什么特点？
参考答案
结论： 1. 若 \(\lambda\) 是特征值，则 \(1/\lambda\) 也必是（类似于辛矩阵）。 2. 对于提升变换，特征值为 \(e^\phi\) 和 \(e^{-\phi}\)。这对应于多普勒频移因子。
10. [应用] 简述洛伦兹群在粒子对撞机数据分析中的作用。
参考答案
在对撞实验中，探测器位于实验室系，而物理规律在质心系中最为简洁。 利用洛伦兹矩阵将测量到的四维动量在不同参考系间进行平移和旋转，是计算不变质量、判定新粒子发现（如希格斯玻色子）的唯一代数路径。
本章小结¶
闵可夫斯基空间与洛伦兹群重构了我们对实在的理解：
- 间隔的绝对性：通过引入不定内积，时空间隔取代了欧几里得距离，成为了宇宙中唯一与观测者状态无关的物理实体。
- 对称性的统一：洛伦兹群将空间旋转与速度提升统一在同一个代数框架下，证明了时间只是时空流形中一个特殊的具有负度规的方向。
- 因果的边界：零向量与光锥结构确立了信息传递的终极极限，证明了宇宙的拓扑因果性本质上是闵氏空间度规号（Metric Signature）的直接体现。