5.3 洛伦兹几何

5.3 洛伦兹几何：给时间一个负号

摘要：洛伦兹度量把黎曼正定条件放宽为号差一负三正，一个符号的改动重塑了全部几何：切向量分为类时、类光、类空三族，光锥划出因果边界，测地线变成自由落体轨迹。本节建立闵可夫斯基时空的样板，导出时间膨胀与长度收缩的几何读法，梳理黎曼框架哪些定理幸存、哪些失效，为第六章广义相对论铺路。

一个负号引发的分类

把欧氏四维度量的一个平方项改号：ds^2 = -dt^2 + dx^2 + dy^2 + dz^2（光速单位化）。这台机器立刻丧失正定性——非零向量的「长度平方」可正可负可为零。负号选谁？物理的回答是：选时间。改造后的度量称闵可夫斯基度量，配它的四维流形称闵可夫斯基时空，洛伦兹度量的样板间。

正定性的丢失换来一个全新的分类结构。每点处的切向量按 ds^2 的符号分三族：g(v,v) < 0 称类时（速度低于光速的粒子世界线切向），g(v,v) = 0 称类光（光与其他无质量粒子，长度平方为零但向量非零——这在黎曼世界不可能出现），g(v,v) > 0 称类空（超光速，物理禁区）。每点处的类光方向构成一个双锥——光锥，它把该点的切空间切成「因果可及」与「因果不可及」两半：从该点出发的物理影响只能传播进未来光锥内部。因果结构是洛伦兹几何的原生器官，黎曼几何没有对应物。

闵可夫斯基时空的光锥结构

原时：几何化的时钟

类时曲线的「弧长」按 \tau = \int \sqrt{-g(\dot\gamma, \dot\gamma)}\ dt 定义，称原时——物理含义是随曲线同行的理想时钟的读数。第 1.3 节的弧长公式只是加了绝对值，但这一改让它获得了物理身份：时钟读数是类时曲线的几何弧长。狭义相对论的两大效应由此变成几何命题。

时间膨胀的几何读法：两条连接同样事件对的类时曲线，直的原时更长、弯的更短（闵可夫斯基版「三角不等式」反向——直线反而是最长类时线，因为负号翻转了比较方向）。匀速直线旅行的钟走直线，往返加速的钟走折线，折线原时短——双生子效应里「旅行者更年轻」的全部秘密，是「直线最长」这四个字。长度收缩同理：测量的空间长度是「同时切片」上的度量读数，不同观察者的同时面倾斜不同，读数随之收缩——倾斜来自光锥几何，没有动力学过程。

黎曼工具箱的幸存者与遇难者

洛伦兹流形是「伪黎曼流形」的招牌特例（一般伪黎曼允许任意号差）。换号差后逐件清点前三章的资产：幸存者——联络与协变导数全套（公理不含正定性）、克氏符号公式（只用度量与逆）、曲率张量及其对称性、测地线方程、爱因斯坦张量的无散性；遇难者或病危者——「两点距离」失去意义（d(p,q) 不再满足距离公理，类空分离的两点间甚至没有类时连线）、Hopf-Rinow 定理失效（测地完备不再等价度量完备，紧致流形上洛伦兹度量甚至可能不自洽）、正曲率比较定理失效（没有「球面样板」——常正截面曲率的洛伦兹空间是德西特空间，几何行为另起炉灶）、指数映射的正则性大幅削弱。

幸存清单恰是广义相对论的行囊：第六章将看到，场方程 G_{ab} = 8\pi T_{ab} 两端全部由幸存者构成。而遇难清单解释了洛伦兹几何为什么远比黎曼几何难：没有距离、没有 Hopf-Rinow、没有比较定理的整套护栏，整体洛伦兹几何至今仍是前沿工地（闭类时曲线能否避免、光锥结构的整体倾斜，都与时间旅行的可能性直接相关）。

一个词源学脚注：洛伦兹得名于洛伦兹变换——保持闵可夫斯基度量线性的双射群；它正是「把一切惯性观察者平等对待」的数学化身。庞加莱与爱因斯坦的狭义相对论，本质是宣告物理定律应在洛伦兹变换下不变；「相对论」更准确的名字或许是「洛伦兹不变性学说」。

⚠️ 常见坑：把「时间维」理解成又一个普通维度。号差是本质：没有负号，光锥、原时、因果结构全部消失，只剩欧氏四维空间。另一个坑：在洛伦兹几何里套用「测地线最短」——方向反了，类时测地线是原时最长线（局部意义），这正是自由落体「钟走得最慢」的机制，也是第六章引力时间效应的伏笔。

数值演练：双生子效应的一次走表

洛伦兹几何的「直线最长」值得用数字走一遍表。设甲留在原地（世界线为时间轴上从零到十的线段），乙以速度五分之三（对应洛伦兹因子一点二五）出走到时刻五处折返。乙的世界线由两段斜线组成，每段的四维「长度平方」按 -t^2 + x^2 计算：去程 t = 5、x = 3，贡献 -25 + 9 = -16；回程对称，再贡献 -16；乙的总原时 \tau_乙 = \sqrt{16} + \sqrt{16} = 8。甲的世界线 t = 10、x = 0，\tau_甲 = 10。直线（甲）确实更长：两钟重逢，旅行者年轻了两年。这张账全靠号差：若长度平方取正定（欧氏四维），折线反而更短，结论翻转——相对论的全部时间效应都住在那个负号里。同样的算术可以现场复核 GPS 的狭义部分（第 6.1 节）：卫星钟相对地面钟的速度效应慢七微秒，正是把卫星世界线的斜率代入同一公式的产出。

再走一遍光锥读数以固化因果语言：事件对 (t, x) = (1, 2) 的间隔平方 -1 + 4 = 3 > 0，类空——绝对远方，无法因果影响；(1, 0.5) 间隔平方 -1 + 0.25 < 0，类时——亚光速可达；(1, 1) 间隔恰为零，类光——光信号的轨迹。三行算术就是因果分类的全部机密，第 6.1 节的视界、第 5.3 节的「同时面倾斜」都将反复回到这张三行表。

本节要点回顾

• 号差一改，结构重建：类时、类光、类空三族切向量与光锥因果结构，为洛伦兹几何原生；
• 原时 = 类时弧长：时钟读数几何化，时间膨胀与长度收缩降格为几何命题，双生子效应即「直线最长」；
• 幸存清单：联络、克氏符号、曲率、测地线方程、爱因斯坦张量无散性——广义相对论的全部行囊；
• 遇难清单：距离、Hopf-Rinow、正曲率比较定理——整体洛伦兹几何仍是前沿工地；
• 测地线反向：类时测地线局部原时最长（不是最短），「自由下落的钟最慢」是第六章引力红移的种子。