1.4 广义协变性：一切坐标系皆可记志

1.4 广义协变性：一切坐标系皆可记志

本节摘要：狭义相对论只承认惯性系，而引力场中根本不存在全局惯性系——自由下落的舱只在自己的小舱室内近似惯性。广义协变性要求物理定律写成在任何坐标系下形式不变的样子，其技术载体是张量。本节用两场数值演习说明"分量随坐标变、量本身不变"到底什么意思，并交代协变性原理的边界：它是对记志格式的约束，不是任意内容的通行证。

谁有资格写航行日志

第一章接近尾声，世界观已经换轨：引力是几何，自由落体是自然航行。但还有一条航行细则没有立好。狭义相对论的定律只在惯性系里取标准形式，而第 1.2 节已经看清：引力场里只有"局部、瞬时"的惯性舱，没有任何一个观察者能宣称自己的坐标系全局惯性。一台正被吊车吊着晃的舱、一枚自旋的探测器、一位贴着太阳飞过的航行者——他们的日志难道就不算数？

广义协变性给出的回答斩钉截铁：一切坐标系都是合法的记志格式。物理定律不应该关心你用哪套坐标记账，就像地球的形状不因地图投影换了一种而改变。这一站收束第 1 章并为第 2 章下订单：要让"任何坐标下形式不变"从口号变成可执行的数学，需要的正是张量这套仪器。

从惯性系特权到协变要求

把要求说得更精确些。一个物理量在不同坐标系下读出的分量可以不同——这本来就正常：同一支风速箭头，在东-北坐标系与斜放坐标系里的两个分量数字就不一样。协变性要求的是：由这些分量组装成的定律方程，在任何坐标系里长得一模一样。用对角线长度打比方：分量 (3,4) 也好、旋转坐标系后的 (5,0) 也好，勾股定理本身不挑坐标系。

这不是空洞的审美偏好。回忆第 1.2 节：等效原理说引力场与加速参考系局部不可区分——那么一个在地面坐标里"含引力项"的方程，换到自由下落坐标里就"不含引力项"，两个版本必须同真同假，否则等效原理就被方程的形式出卖了。协变性是等效原理在数学上的记账要求：要么所有坐标下的版本都对，要么全错。

爱因斯坦在 1916 年把这条要求列为广义相对论的两根支柱之一（另一根是等效原理），并且用它在 1907 到 1915 年间反复"榨取"提示：既然不允许偏爱惯性系，引力的理论就必须是关于时空度规本身的动力学理论，而不是关于某个背景空间中"力"的理论。

一场坐标变换演习

口号要落地成数字。第一场演习在平面上做：同一个无穷小位移，在直角坐标与极坐标下分量完全不同，但用它算出的长度纹丝不动。这正是"度规"概念的预演——第 2.2 节的主角提前亮了个相：

# 演习一：同一位移，两套账本，长度不变
import math
# 无穷小位移记在直角坐标里
dx, dy = 0.3, 0.4

# 换算到极坐标下的分量（在 r=5, 角度 0.7 处）
r, phi = 5.0, 0.7
dr   = math.cos(phi)*dx + math.sin(phi)*dy
dphi = (-math.sin(phi)*dx + math.cos(phi)*dy) / r

# 直角账本：ds 方 = dx 方加 dy 方
ds_xy = dx*dx + dy*dy
# 极坐标账本：ds 方 = dr 方加 r 方 dphi 方（度规换了一套分量）
ds_polar = dr*dr + r*r*dphi*dphi
print(f"直角账本: ds^2 = {ds_xy:.6f}")
print(f"极账本  : ds^2 = {ds_polar:.6f}")
print("两本账完全一致——分量随坐标而变，几何量岿然不动")
​

第二场演习升到球面，它演示协变性更深刻的一面：弯曲空间里根本不存在全局的直角账本。经纬网就是球面的"坐标图册"，但在这张网上均匀打格子，格子实际面积随纬度剧烈变化——这正是"度规分量在坐标系里藏了空间形状信息"的第一次现身：

# 演习二：球面上的经纬格子——均匀的坐标、不均匀的几何
R = 6371e3          # 用地球半径做舞台
deg = math.pi / 180
for lat in [0, 30, 60, 80]:
    dlat, dlon = 1*deg, 1*deg
    area = R*R * math.cos(lat*deg) * dlat * dlon
    print(f"北纬 {lat:>2d} 度处，1 度乘 1 度格子的实际面积: {area/1e6:8.1f} 平方公里")
print("同一张均匀经纬网，赤道格子是极地格子的")
print(f"{math.cos(0)/math.cos(80*deg):.1f} 倍——空间形状藏在度规分量里")
​

日志记录：赤道一格约 12364 平方公里，北纬 80 度处只剩约 2148 平方公里，相差 5.8 倍。经纬度数字本身"看起来均匀"，真实面积却完全不均——这个落差没有任何神秘之处，它被 sin θ 这个度规因子完整编码。把这一幕记牢：广义相对论的绝大部分具体计算，就是在各种坐标系里读出并组装度规的分量，然后抽出坐标无关的几何结论。第 2 章会把这套手艺系统化：流形（合法的坐标图册）、张量（分量的组装规则）、度规（账本的汇率）、协变导数（弯曲舞台上的变化率）。

协变性不是免费的万能药

有一条历史公案必须记进日志，否则协变性会被当成点金石。1917 年，克雷奇曼指出：任何物理理论都可以改写成协变形式——只要把坐标系之间的变换关系也塞进方程里"陪跑"，牛顿力学同样能穿上协变的外衣。换言之，"写成协变形式"本身不包含物理内容。

爱因斯坦的回应值得咀嚼：协变性的价值不在于数学上"能不能写成"，而在于它配合等效原理后给出了强得多的引导——理论的基本场必须是时空本身的几何量（度规），而不是某个碰巧被拖进来的背景结构。事后看，这个组合的"引导力"真实存在：坚持协变 + 等效，加上第 3 章会讲到的动量守恒要求（比安基恒等式），场方程的形式自由度被压缩到几乎唯一。协变性是筛子，不是发电机——它能淘汰坏格式，不单独产出新物理。

⚠️ 航行警告：别把"一切坐标皆合法"误记成"一切坐标皆好用"。合法性与实用性是两回事——史瓦西坐标在视界处会"失灵"（分量发散而几何完好），换用克鲁斯卡尔坐标或自由下落坐标即可继续航行，第 5 章黑洞航区会专门处理这次换账本。

本站要点

• 动机：引力场中不存在全局惯性系，狭义相对论的"惯性系特权"与等效原理正面冲突，必须放开坐标限制；
• 协变性的准确含义：分量随坐标变、定律的形式不变；它是记志格式约束，配合等效原理才产生物理引导力；
• 演习一：同一位移在直角与极坐标下分量不同、长度相同——"量不变、分量变"的活例子；
• 演习二：球面经纬格的面积随纬度变化 5.8 倍——弯曲空间的形状信息藏在度规分量里，全局直角账本不存在；
• 克雷奇曼警告：协变性是筛子不是发电机，单靠它推不出广义相对论；
• 章末交接：第一章世界观全部立起，第 2 章开箱航海仪器——流形、度规、张量、测地线、曲率，一件件上船。