3.1 等效原理与时空几何：广义相对论的基石

3.1 等效原理与时空几何：广义相对论的基石

本节摘要：撑起广义相对论的是三件套——等效原理、伪黎曼流形、场方程。等效原理从"下落中的人不觉自身重量"这粒直觉火种出发，经厄缶扭秤一路打磨到 MICROSCOPE 卫星，由实验结论长成数学前提；伪黎曼流形给时空同时保留了局域的狭义相对论与整体的可弯性；场方程则从守恒律倒推而得，把曲率与能量焊成一个双向反馈的系统。

本节地图

读完本节，你应当能：

1. 分别说出弱、爱因斯坦、强三种等效原理讲的是什么、各自检验到什么精度
2. 说明度规的洛伦兹符号差为何是因果结构的来源
3. 讲清测地线方程怎样顶替了牛顿第二定律
4. 复原场方程的推导思路——比安基恒等式如何与能量-动量守恒对上号
5. 排出 1907 年"最幸福的思想"至 1915 年 11 月方程定稿之间的时间线

一、一粒直觉火种：等效原理分三层

1907 年，专利局职员爱因斯坦在办公桌前记下一个念头，日后他称之为自己平生最愉快的思考：正在坠落的人不会觉察到自己的体重。这颗种子日后长成整座理论大厦的地基。要看清它的分量，得把"等效原理"按强度拆成三级。

最底下一级是弱等效原理（WEP）：起点和初速相同的测试体，在引力中的走法只由背景时空决定，同质量大小无关、同材料成分无关、同内部构造无关。这像是对伽利略落体实验的现代重述，含义却更深一层——它等价于宣称引力质量与惯性质量分毫不差。假如两种质量存在出入，不同材质的物体在引力场里就会坠出可察觉的速度差。自 1909 年厄缶用扭秤把这种出入的上限压到十亿分之几开始，这个实验就成了基础物理里最硬的一把尺。2017 年上天的 MICROSCOPE 卫星又把上限砍到十的负十五次方：它让铂铑与钛两组合金圆柱在同一颗卫星里共轨自由坠落，盯住两者之间可能出现的相对加速——读数是零。打个比方，相当于绕赤道一整圈偏差不过一根头发丝的粗细。一大批修改引力理论里预设的"第五力"耦合，就此被逐出候选名单。

中间一级是爱因斯坦等效原理（EEP），也是整套逻辑的枢纽：时空里任何一点，只要邻域取得够小，总能找到一个局部惯性系，狭义相对论在其中原样成立，做非引力实验查不出此处有引力场。"非引力"三个字是关键切口：潮汐效应——也就是时空曲率——是局域实验无论怎么换坐标都消不掉的，那才是引力的本体；至于均匀引力场，说到底只是坐标系挑选带来的表象。EEP 于是把所谓引力效应切成两堆：坐标一换就消失的假象（惯性力），与换不掉的实在（曲率）。更重要的是它的身份转变——不再是待验证的假设，而是理论的生成器：它规定时空必须写成微分流形，度规必须带洛伦兹符号，定律必须写成张量形式以满足协变性。

最高一级是强等效原理（SEP），把考察对象换成引力源自身：在局部惯性系里，一切定律——包括引力自能占大头的系统——都呈现狭义相对论的面貌。换句话说，一颗中子星纵然自身引力束缚能巨大，在外场中下落也不许落后半拍。三体脉冲星系统 PSR J0337+1715 里，中子星与白矮星结伴绕另一颗白矮星运行，两者的下落被观测证实步调一致，SEP 至今无恙。

二、换一块舞台：伪黎曼流形

EEP 一旦被接受，旧时空观便两头落空：牛顿的绝对时空板结得容不下任何弯曲；闵氏时空虽然尊重光速不变，却同样不给弯曲留门。需要的新对象得同时满足两个看似矛盾的条件——在每一点的小邻域里像狭义相对论的平直时空，整体上却又可以扭、可以胀、可以歪。数学家早备好了这件工具：四维伪黎曼流形，随身携带的标配是定义在每一点的对称四乘四度规张量。

"伪"字有讲究。在局部洛伦兹坐标里，度规取一负三正的对角形式。正是那个负号把时空与普通空间区别开来，并一手建立起因果秩序：间隔类时的曲线是粒子的世界线，间隔为零的类光曲线是信号的通路，间隔类空的方向则划出因果上够不着的区域。抽掉这个符号差，"过去""未来"便无从谈起。

至于"弯"，交给联络来记账。联络不是外加给时空的另一种场，而是完全由度规生成、不带挠率且与度规相容的几何装置。它的含义一句话可尽：时空各处如何衔接，全看度规朝各个方向变化得多快。度规求一次导得联络，联络再求导得曲率张量——于是引力场的强弱与朝向不再需要一个矢量来代言，全写在度规及其导数织出的几何纹理里。

在这个框架中，不受非引力作用的物体自然走"最直"的路，即测地线。它的方程里没有力，只有联络与速度分量的组合项：平直处联络消失，方程退回匀速直线运动；地球附近联络非零，向心加速度自动浮现——月亮绕圈、苹果坠地，都不必请"力"出场。引力成了几何内置的导航系统。

光子零质量，照样走测地线（参数换成仿射参数，因为它的间隔为零）。星光过太阳边缘会拐弯，不是被什么拽了一下，而是它循着被太阳压弯的"直路"走完了全程。1919 年爱丁顿的日食队测得偏折 1.75 角秒，与几何计算完全吻合——几何引力第一次在世界面前亮出实据。

三、场方程：一场双向的契约

火种是等效原理，模具是时空几何，最终浇铸定型的是场方程。用文字念一遍：爱因斯坦张量，等于 8πG 除以 c 的四次方，乘以能量-动量张量。

左边这位爱因斯坦张量，由里奇曲率与标量曲率装配而成，是度规及其二阶导数的一种特定拼装。它的妙处在于天生满足比安基恒等式——恒等于零的协变散度。这一来，右边的能量-动量张量想不平衡都不行，其协变守恒自动成立。这不是碰巧：爱因斯坦的思路不是先拍出左边再检查自洽，而是倒着来——从守恒要求出发，找出唯一满足它的那个由曲率组成的二阶张量。物理史上罕见的干净构造：一条数学恒等式，直接圈定了方程的形状。

右边则是物质与非引力场能量、动量、应力的总账：理想流体记作能量密度与压强的组合，电磁场则由场强张量组装。读方程要有正确的语感：能量-动量并不单方面"制造"曲率，二者是谈判桌上的对等双方——时空吩咐物质如何走，物质吩咐时空如何弯。因果箭头双向往返，"力"这个中介被彻底裁撤。

方程的定稿在 1915 年 11 月：爱因斯坦当月向普鲁士科学院连做四次报告，25 日给出正确形式。距 1907 年的那粒火种已过去八年——中途他卡在数学上，1912 年求助于老同学格罗斯曼，才被领进黎曼几何、张量分析与协变微分的深山。物理直觉与数学语言之间那场史诗级的会师，就发生在随后的三年里。

拿静态球对称的质量分布代入，便得史瓦西解（3.2 节详谈）；换成均匀各向同性的宇宙度规，便得宇宙演化方程——方程里那个曾被作者本人称作一生最大败笔的宇宙学常数，在 1998 年超新星数据揭晓宇宙加速膨胀之后咸鱼翻身，成了暗能量的头号候选人。从太阳系里的进动余项到百亿光年外的时空前途，同一组方程全管。

三件套的衔接方式值得咀嚼：等效原理逼出伪黎曼流形，伪黎曼结构顺理成章给出测地线与曲率，曲率的守恒品性又必然孕育出爱因斯坦张量与场方程。这不是三条并列的公理，而是一条贯通的因果链。

⚠️ 常见坑：把等效原理念成"引力就是加速度"。严谨的表述是"引力的局部效应与加速度无从分辨"——潮汐力（曲率）恰恰是局部消不掉的部分，它才是引力的本相。这点不辨清，读黑洞与引力波文献时容易把坐标造成的表象当成真实物理。

💡 关键直觉：牛顿问"这是什么力"，爱因斯坦问"既然万物走的都是同一条路，会不会根本没有力、只是路本身弯了"。改换问题的本事，比解答问题的本事更稀缺——这是本节最想交付的一样东西。

庞德-斯尼亚实验的引力红移量级，一次估算即可还原：

c, g, h = 2.998e8, 9.81, 22.6e3
print("相对频移约 %.2e" % (g*h/c**2))   # 约 2.5e-15
​

GPS 卫星钟的两种相对论效应方向相反，合并后净变快：

c, GM = 2.998e8, 3.986e14
R, r = 6.371e6, 2.657e7
d_grav = GM*(1/R - 1/r)/c**2*86400
d_mot = -GM/r/(2*c**2)*86400
print("引力 +%.1f us/天, 运动 %.1f us/天, 净 +%.1f us/天" % (d_grav, d_mot, d_grav+d_mot))
​

要点串联

• 三级等效原理：弱（轨迹不挑成分）、爱因斯坦（局部惯性系存在）、强（引力自能不掉队），检验精度由 10 的负 9 次方推进至 10 的负 15 次方
• EEP 的身份升级：把经验事实改写成数学前提，时空于是必须是伪黎曼流形、定律必须张量化
• 度规即引力：符号差立因果，联络自度规导出，测地线方程顶替牛顿第二定律
• 方程的必然性：由守恒律倒推构造，比安基恒等式圈死了左边的唯一人选
• 双向契约：物质与时空互相定义，"力"的中介被永久除名
• 八年长征：1907 年的火种，1912 年格罗斯曼递来数学绳索，1915 年 11 月 25 日方程落成

下一节看这台发动机输出的三组解：不旋转的黑洞、旋转的黑洞，和一个正在膨胀的宇宙。