百里路  /  物理 · 引力 · 时空 № 077
LESSON 077 · PHYSICS

等效原理与广义相对论

The Equivalence Principle & General Relativity · 引力不是一种力，是时空的形状
提出者
阿尔伯特·爱因斯坦
年份
1907 / 1915
领域
物理 · 引力 · 时空
核心命题
自由下落的人，感觉不到自己的重量
一 缘起 · 一句听上去像废话的话 ORIGIN

1907 年，爱因斯坦二十八岁，在伯尔尼专利局上班。狭义相对论已经发表两年，但它有一个他自己很清楚的缺口：它只处理匀速运动，而且完全装不下引力。那一年，约翰内斯·施塔克约他为《放射性与电子学年鉴》写一篇关于相对论现状的综述——正是在为这篇稿子发愁的时候，他坐在办公室的椅子上，想到了一件后来被他称为"我一生中最幸福的思想"的事：

如果一个人从屋顶自由落下，
那么在下落的过程中——至少在他身边的那一小块地方——
不存在引力场。
他松开手里的任何东西，
那些东西都会相对于他保持静止或匀速。

这句话第一次读，几乎像废话：跳下去当然感觉不到重量，我们都知道。可它之所以是地基，在于它把一个被搁置了两百多年的巧合，重新变成了一个问题。

牛顿的体系里有两个 m。一个出现在 F = ma 里，叫惯性质量——它衡量的是"这东西有多难被推动"。另一个出现在万有引力公式里，叫引力质量——它衡量的是"这东西被引力抓得有多紧"。在牛顿理论内部，这是两种毫不相干的属性，就像"一个人有多固执"和"一个人有多讨人喜欢"，没有任何理由必须是同一个数。

可实验上，它们精确相等。相等到什么程度？伽利略在斜面上试过，牛顿用摆试过，厄缶在十九世纪末用扭秤试到小数点后很多位。牛顿把这当成一个巧合，写进公式，然后不再追问。而正因为这个巧合，所有物体在引力场里的加速度都一样——羽毛与铁球，如果没有空气，同时落地。也正因为如此，那个自由下落的人才会感觉不到自己的重量：他和他身边的一切，正在以完全相同的方式下落。

爱因斯坦的那一步，是把巧合当成线索：如果引力对所有东西的作用完全一样，那它也许根本不是作用在东西上的一种力，而是这些东西所处的那个"场地"本身的性质。

接下来是八年。1911 年他在布拉格算出第一个可检验的预言：星光掠过太阳时会被偏折 0.83 角秒。1914 年，柏林天文台的弗罗因德利希带队去克里米亚观测那年八月的日食准备验证它——然后第一次世界大战爆发，俄国把这群德国天文学家遣返、扣押、没收设备，观测泡汤（那天的天气也很糟）。

这是科学史上最幸运的一次失败。因为 1911 年那个 0.83 角秒是错的，只有正确值的一半——它只算进了时间的弯曲，漏掉了空间的弯曲。如果 1914 年那次观测成功，测出来的数字会当场把爱因斯坦当时的理论证伪。

1915 年十一月，他连着四周向普鲁士科学院提交论文。11 月 18 日，他用新方程算出水星近日点每世纪多走 43 角秒——一个天文学家已经苦恼了半个多世纪的数字。据他自陈，那几天他心悸不已。11 月 25 日，最终形式的引力场方程发表。同一个月里，光线偏折的预言也被修正为 1.75 角秒，正好是原来的两倍。

二 原典 · 一个假设，和一行方程 THE PRIMARY TEXT

这一课有两块地基，隔着八年。第一块是那个假设——它不是被推导出来的，是被假定下来的。

EINSTEIN, 1907 · 等效原理（EQUIVALENCE PRINCIPLE）
我们假定：一个均匀的引力场，与参考系的相应加速度，在物理上完全等价。

也就是说，一个待在密封舱里的观察者，无论做什么实验，都无法区分以下两种情形：
  （甲）他静止在一个引力场中；
  （乙）他正在没有引力的地方被匀加速拖着走。

由此立刻得到三条推论：
一、惯性质量与引力质量的相等不再是巧合，它成了原理本身；
二、光线在引力场中必定弯曲——因为在加速的舱里，一束横穿的光看起来就是弯的；
三、引力场中的时钟走得更慢。
Albert Einstein《Über das Relativitätsprinzip und die aus demselben gezogenen Folgerungen》，Jahrbuch der Radioaktivität und Elektronik 4 (1907), pp.411–462，第五节。以上为其核心假设的转述与展开，非逐字翻译。1907 年这一版通常被称为"弱形式"；后来它被拆成三个层级，见第六节②。

第二块地基把这个假设写成了几何。八年时间里，爱因斯坦要学一整门他原本不会的数学（黎曼几何，由老同学格罗斯曼引荐），要走过若干条死路，最后得到的是一行方程——它左边是时空的形状，右边是物质与能量。

EINSTEIN, 1915-11-25 · 引力场方程（THE FIELD EQUATIONS）
Gμν = 8πG/c⁴ · Tμν

左边 Gμν 只描述时空的弯曲，右边 Tμν 只描述那里有多少物质与能量。整个引力理论，就是这一个等号。

约翰·惠勒后来把它翻译成了一句人人能记住的话：
「时空告诉物质如何运动，物质告诉时空如何弯曲。」

请注意这里发生了什么：方程里没有"引力"这种力。行星不是被太阳拉着转的，它是在一片被太阳压弯了的时空里，走了一条最直的路。
Albert Einstein《Die Feldgleichungen der Gravitation》，Sitzungsberichte der Preussischen Akademie der Wissenschaften, 1915-11-25, pp.844–847。（爱因斯坦此后于 1917 年为宇宙学考虑加入了一项 Λgμν，即宇宙学常数，此处略去。惠勒那句话出自其教科书《Gravitation》1973，为其本人的概括。）
三 释义 · 电梯里那个分不清的人 PLAIN MEANING

把等效原理讲清楚，只需要一部电梯。

你在一个没有窗户的舱里醒来，脚踩在地板上，手里的苹果松开就往下掉。有两种可能：你在地球上一座静止的电梯里；或者，你在深空中一艘正以每秒 9.8 米加速的飞船里。

爱因斯坦的主张不是"这两种情形很像"，而是更强的一句：在你那一小块地方，它们不是两种情形，它们是同一件事。不存在任何实验能把它们分开——称体重不行，看苹果落地不行，测一束激光是否偏折也不行，因为在加速的舱里，那束横穿的激光同样会打在略低一点的墙上。

把这句话反过来用，就得到了那个"最幸福的思想"：既然静止在引力场里 = 被加速拖着走，那么自由下落 = 什么也没有。一个跳下去的人，不是"被引力拉着"，而是回到了最自然的状态——他身上没有力，他只是在按时空本来的形状走。国际空间站里的宇航员之所以飘着，不是因为那里没有引力（那里的引力约为地面的九成），而是因为他和空间站正在以同样的方式往下掉。

由此引出这门学问最难被日常直觉接受的一步：引力被开除了"力"的编制。牛顿的世界里，苹果被一根看不见的绳子拉向地心；爱因斯坦的世界里没有绳子，只有一张被地球压弯的时空，苹果沿着这张弯曲的时空走它能走的最直的一条线——只不过这条"最直的线"，在我们眼里看起来是往下掉。

还有一层几乎总被略过、而它才是苹果落地的真正原因：被弯曲的不只是空间，还有时间。越靠近质量，时间走得越慢。而一个物体在时空里的"最直路径"，会自然地偏向时间走得慢的那一侧。在日常速度下，时间的弯曲贡献了几乎全部的下落效果；空间的弯曲要到光速那个量级才明显起来——这正是 1911 年那个 0.83 角秒只有一半的原因：当年他只算了时间，忘了空间。

最后必须钉上一根限定木桩，它是整篇文章里最容易被丢掉的两个字：局部。

自由下落的电梯里，如果你放两个苹果，一左一右——它们不会保持平行，会极其缓慢地互相靠拢，因为它们各自都在朝地心落，而地心只有一个。如果你上下各放一个，它们会拉开，因为下面那个受到的引力略强。这就是潮汐力，而它是引力唯一无法被"消掉"的部分。换句话说：引力可以在任意小的一块地方被变换掉，但在任何有大小的区域里，它都留下了指纹。

一句话记住这门学问：引力不是一种作用在你身上的力，是你所在的那片场地的形状；而"感觉不到它"只在一小块地方成立，一旦这块地方大到能放下两个苹果，它就又出现了。

四 后人之论 LATER INTERPRETATIONS
恩斯特·马赫 1883 · 那个把牛顿的水桶重新打开的人

牛顿有一个著名的论证：一桶水旋转起来，水面会凹下去；既然凹陷不取决于水相对于桶的运动，那它一定是相对于绝对空间的运动造成的。绝对空间由此成了牛顿体系的隐形舞台。

马赫在《力学史评》里拒绝这个结论。他的反问极其锋利：如果宇宙里只有这一桶水，别的什么都没有，你凭什么说它在转？他主张惯性不是相对于空无一物的空间，而是相对于宇宙中全部其他物质——离心力来自遥远的星辰。

爱因斯坦读到这一段时受到了直接的冲击，后来还亲自给它起名叫"马赫原理"，并把它当作寻找新引力理论的指路牌之一。这一卡的意义不在于马赫说对了，而在于他示范了一件事：把一个被所有人当作背景板的东西（绝对空间）拎出来问一句"你凭什么"，本身就是一次重大工作。

诚实的补充：广义相对论最终并不完全满足马赫原理。它的方程允许存在完全空无一物、却仍然有确定几何的解（如闵可夫斯基时空、哥德尔宇宙）。爱因斯坦晚年也不再强调这个原则。一个理论可以由一个后来被它抛下的想法引出来——这在科学史上比想象的常见。

卡尔·史瓦西 1916 · 在战壕里算出第一个精确解

1915 年底，四十二岁的天文学家史瓦西正在东线服役。他读到爱因斯坦刚发表的场方程——那是一组高度非线性的偏微分方程，爱因斯坦本人当时用的是逐级近似，并不指望能求出精确解。

史瓦西在几周之内给出了第一个精确解：一个球对称质量周围的时空几何。他把结果寄给爱因斯坦，爱因斯坦回信表示惊讶，并代为提交发表。

几个月后，史瓦西因在前线感染的一种罕见自身免疫皮肤病（天疱疮）于 1916 年 5 月去世。他没有看到自己那个解后来的命运：在某个半径处，方程给出的数字变得古怪——那就是史瓦西半径，五十年后被称为黑洞的视界。

最值得记住的一笔是：史瓦西本人认为那个古怪的地方不具有物理意义，而爱因斯坦直到 1939 年还专门写了一篇论文，论证"史瓦西奇点"不会在现实中出现。方程比写下它的人更聪明——这句话不是修辞，它在这里是字面事实。

约翰·惠勒 1950s–1970s · 给这门学问换了一套语言

广义相对论在 1930 到 1950 年代一度接近冷宫：数学难得吓人，可检验的现象只有三个（水星、光偏折、引力红移），做实验的人几乎没有理由碰它。把它重新拉回物理学主流的，主要是惠勒和他培养的一代学生。

惠勒做的第一件事是换语言。他坚持用几何而不是公式来讲这套理论，"时空告诉物质如何运动，物质告诉时空如何弯曲"这句话就是他的产品——一句能被记住的话，其传播力可以超过一千页数学。

第二件事是取名字。1967 年起，他开始使用并推广"黑洞"这个词，取代此前那个学究气十足的"引力完全塌缩的天体"。名字一换，这个对象从一个数学上的边界条件变成了一个人人都想谈论的东西。

这一卡的普遍教益超出物理学：一个正确但没有语言的理论，会被搁置几十年。把它翻译成一句话、给它一个名字，不是通俗化，是让它可以被继续研究。

克利福德·威尔（与诺德维特、迪克） 1960s–1980s · 把"检验引力"变成一门工程

爱因斯坦之后半个世纪，"检验广义相对论"这件事一直很别扭：你只能把它的预言与观测比一比，符合就点头。但"符合"不等于"没有别的理论也符合"——而替代引力理论层出不穷，其中最著名的是 1961 年的布兰斯-迪克理论。

诺德维特与威尔等人做的事情，是把问题整个改写：不再逐个检验理论，而是造出一个参数化后牛顿框架（PPN）——用十个参数把"一切合理的引力理论"都装进同一张表里，广义相对论只是其中参数取特定值（如 γ = β = 1）的那一个点。于是每一次观测都不再是"支持爱因斯坦"，而是把这些参数的误差棒收紧一点。

诺德维特还找出了一个极妙的检验点（诺德维特效应）：如果强等效原理被破坏，那么地球和月亮——两个自身引力束缚能占比不同的天体——在太阳引力场中会掉得不一样快。这可以用月球激光测距去测。至今没有测到偏离。

这一卡是全篇最该被别的领域抄走的方法论：与其争论"谁对"，不如先造一个能把所有候选答案都放进去的坐标系，然后让证据去压缩它。

五 案例 CASE STUDIES
案例 01 一颗行星多走的 43 角秒 1859 · 巴黎 → 1915 · 柏林

1859 年，勒维耶发现水星的近日点进动比牛顿力学算出来的多了一点点：每世纪约 43 角秒——大约是把一个圆周分成三百万份中的一份。

这不是小事，因为勒维耶恰恰是靠这一招成名的：1846 年，他从天王星轨道的异常反推出一颗未知行星的位置，天文学家照着找，当晚就找到了海王星。同样的方法用在水星上，答案应该是另一颗还没被发现的行星——它甚至已经有了名字，"祝融星"（Vulcan）。此后半个多世纪，一代天文学家在太阳附近反复搜寻它。

1915 年 11 月 18 日，爱因斯坦用新方程算出了这 43 角秒。不需要新行星，不需要任何可调参数。

这是全篇最该记住的一次检验，因为它检验的不是新数据，而是一个所有人都已经知道、并且已经为它准备好了另一套解释的旧数据。一个理论能解释一个未解之谜，比它能解释十个已解之谜更有分量；而它能在没有任何自由参数可调的情况下正好给出那个数字，分量还要再高一等——你没有旋钮可拧，对就是对，错就是错。
案例 02 1919 年的两次日食，与被剔除的那批底片 普林西比岛 & 索布拉尔 · 1919-05-29

广义相对论预言，掠过太阳边缘的星光会偏折 1.75 角秒——恰好是牛顿式估算的两倍。要测它，只能趁日全食。1919 年，英国派出两支远征队：爱丁顿去西非的普林西比岛，另一队去巴西的索布拉尔。

结果在同年 11 月 6 日的英国皇家学会会议上公布：索布拉尔四英寸镜的数据给出约 1.98 角秒，普林西比给出约 1.61 角秒，两者都更接近爱因斯坦而非牛顿。第二天，爱因斯坦上了《泰晤士报》头条，从一个德国物理学家变成了全球名人。

但这件事有一个长期被争论的细节：索布拉尔还有一台天体照相仪，它给出的数字接近牛顿值，而这批底片被排除在最终结论之外。此后几十年里，不断有人指控这是"为了得到想要的结果而选择数据"。

诚实的现状是：1979 年用现代测量设备对保存下来的索布拉尔底片重新测量，得到约 1.55 角秒，说明那批数据当年之所以偏低，主要来自仪器标度的问题——剔除它在科学上是站得住的。但同样诚实的是：1919 年当时的误差棒远比公众所以为的大，这个理论被接受的速度，快过证据能支撑的速度。一个理论被接受的过程，从来不只是数据在说话。
案例 03 从 22.5 米高的塔，到你口袋里的那台设备 哈佛 · 1959 → 全球 · 至今

等效原理的第三条推论是：引力越强，时钟走得越慢。这听上去像个宇宙尺度的效应，庞德与雷布卡把它压进了一栋楼里。

1959 年，他们利用刚被发现的穆斯堡尔效应（能把伽马射线的频率测得极其精确），在哈佛杰斐逊实验楼约 22.5 米高的竖井里，测量了伽马射线从塔底射到塔顶时的频率变化。那个相对频移只有约 2.5 × 10⁻¹⁵——两百亿亿分之几——他们测到了，与预言相符。

今天，这个效应每天都在你身上生效。GPS 卫星在约两万公里高空，那里引力弱，星载原子钟每天比地面快约 45 微秒；同时它们跑得快，狭义相对论又让它们每天慢约 7 微秒。净效应是每天快约 38 微秒。如果不预先校正，定位误差会以每天约十公里的速度累积——系统在一天之内就会变成废物。

这一条的意义是把一个曾被认为纯粹思辨的理论，变成了一台每秒都在被使用的基础设施。它也顺带回答了"研究这些有什么用"：从"最幸福的思想"到你手机上那个蓝点，中间隔了大约一百年，而这一百年里的绝大多数时间，没有人能说出它有什么用。
案例 04 时空自己在振动 LIGO · 2015-09-14

1916 年，爱因斯坦从方程里推出：加速运动的质量会让时空的弯曲以波的形式传出去，即引力波。他自己算出来的振幅小到令人绝望，并一度怀疑这种波是否真实存在（1936 年他甚至写过一篇论证引力波不存在的论文，被审稿人指出错误后撤回）。

2015 年 9 月 14 日，美国的两台激光干涉引力波天文台（LIGO）先后相隔约 7 毫秒记录到同一个信号——GW150914。波形与广义相对论对一对黑洞（约 36 与 29 个太阳质量）旋进、并合、铃宕的预言严丝合缝。事件发生在约十三亿光年之外，2016 年 2 月 11 日宣布。

为了测到它，四公里长的干涉臂需要分辨出小于一个质子直径千分之一的长度变化。

这条案例的分量不在"又一次证明爱因斯坦对了"，而在它的时间跨度与信息路径：一段发生在十三亿年前的时空振动，被一行一百年前写在纸上的方程预言了它的形状，然后被人类造出来的仪器接住，并且波形逐点对上。能预言一个尚不存在的观测手段将会看到什么，是一个理论能给出的最强证词。
案例 05 一颗卫星，把等效原理逼到小数点后十五位 MICROSCOPE · 2016–2022

整座大厦压在一个假设上：惯性质量与引力质量严格相等。既然如此，检验它就成了物理学里最值得反复做的实验之一。伽利略用斜面，厄缶用扭秤，迪克与后来的 Eöt-Wash 小组把精度一路提高。

2016 年，法国发射了一颗专门为此而造的卫星 MICROSCOPE。它在轨道上让两块材料不同的试验质量（钛与铂）同时"自由下落"，用超灵敏静电加速度计测量维持它们平衡所需的力有没有差别。2022 年公布的最终结果：没有发现任何违反，厄缶参数被限制在约 10⁻¹⁵ 的量级，比此前地面最好的结果提高了将近两个数量级。

值得琢磨的是这件事的动机：花一颗卫星去验证一件所有人都相信的事，并且预期结果是"什么也没发现"。之所以值得，是因为几乎所有试图统一引力与量子力学的理论，都倾向于预言等效原理会在某个极小的量级上被打破。于是这个实验真正在做的不是"证明爱因斯坦对"，而是在一寸一寸地圈定：如果他错，错只能错在比这更小的地方。
六 反例与限制 CRITIQUE & LIMITS

这套理论没有被推翻过，一次也没有。所以这一节写的不是"它错在哪"，而是它不主张什么、它在哪里自己宣告失效、以及它被借出去时是怎么被用坏的。

还有一条不算反例、但使用者该知道的事：广义相对论在弱场低速下会自动退化成牛顿力学。这意味着盖房子、造桥、发射炮弹，一律不需要它——牛顿并没有被证明是错的，他被证明是一个极好的近似。这一点对下一节的第四条很要紧。

七 相关理论 CONNECTIONS
等效原理的三个层级WEP / EEP / SEP
⟸ 内部结构
一个原理被拆成强弱三层，然后分别去测——这是"把一句哲学命题变成一串可证伪主张"的教科书操作。被检验得最狠的那一层最结实，最强的那一层最可能出问题，这个规律不限于物理学。
诺特定理与对称性№073 Noether's Theorem
⟸ 数学骨架
№073 的第二定理正是为广义相对论而写的：因为 GR 的对称性是无穷维的局部对称，它给出的不是独立的守恒律而是恒等式——所以"广义相对论里的能量守恒"是一件微妙得多的事，弯曲时空里不存在良定义的全局能量。两篇讲的是同一件事的两头：一头给出工具，一头给出边界。
海森堡不确定性原理№047 Uncertainty Principle
⚠ 另一根不相容的柱子
现代物理站在两根柱子上：一根管极大（本篇），一根管极小（№047）。两者各自被检验到荒谬的精度，却无法被写进同一个方程。它们在两个地方必须同时开口说话——黑洞中心与宇宙开端——而那正是我们至今没有答案的两处。
熵增与热力学第二定律№025 Entropy
↔ 三门学问唯一的交汇点
黑洞有温度、有熵，且熵正比于视界面积——贝肯斯坦与霍金的这个结果，是引力、量子与热力学唯一一次在同一个公式里握手。它也留下了至今未解的信息佯谬，几乎所有关于量子引力的现代讨论都从这里出发。
库恩范式转移№006 Paradigm Shift
↔ 教科书级样本，也是它的反例
牛顿到爱因斯坦是№006 最常被引用的例子。但它同时是"不可通约"这一主张最好的反证：牛顿力学没有被扔掉，它被推导成了广义相对论在弱场低速下的极限。新范式吞下旧范式并给它划定适用范围——这比"两套语言互不相通"更常见，也更值得指望。
奥卡姆剃刀№014 Occam's Razor
⟶ 一次干净的执行
以太是十九世纪物理学最精心供养的实体：为了让它同时满足各种测量结果，人们不断给它添加古怪属性。№014 在这里的落刀方式值得记住：它不是被证伪的，是被证明"不必要"的。而第六节④里的暗物质，正站在同一把刀的另一侧，等着被判定是新实体还是新以太。
哥德尔不完备定理№040 Incompleteness
⚖ 同族的边界
一个体系亲手算出了自己管不到的地方——№040 在数学里划出这条线，广义相对论在物理里划出另一条（奇点定理）。能算出自己失效边界的理论，比号称无所不能的理论可靠得多；这一条判据在任何领域都适用。
参数化后牛顿框架PPN Formalism · Nordtvedt & Will
⟹ 工程化身
把"一切合理的引力理论"参数化成同一张表，广义相对论只是表上的一个点，观测的作用是收紧误差棒。这是从"辩论谁对"升级到"压缩参数空间"的一次范式改造，任何有多种竞争解释的领域都值得抄这一手。
八 致用 APPLICATION

先说实话：这一课与你的日常几乎不相干，除了 GPS 之外，它不会改变你今天的任何决定。以下五条没有一条是这套物理的推论，它们是从这段历史里提出来的判断习惯——请当作方法论借用，不要当作定理引用（第六节⑤讲的正是这类借用的翻车方式）。

九 反观三问 THREE QUESTIONS
我所在的领域里，有没有哪个"碰巧刚好相等"的东西，是所有人都知道、写进流程、却从来没人问过为什么的？如果它不是巧合，会意味着什么？
我最近相信的那个解释框架，给出过什么可以出错的预言？还是说，它只是把已经发生的事情讲得很顺？
我曾经用得很好、后来失灵的某个判断——它是全错了，还是我把它用出了适用范围？这两种情况我上一次是怎么分辨的？
十 延伸阅读 FURTHER READING
← PREVIOUS №076 遗忘曲线与期望的困难 HOME 百里路