2.1 仿射联络与平行移动

2.1 仿射联络与平行移动

摘要：仿射联络是流形上「向量沿路径搬运」的规则集，由一组系数 \Gamma^k_{ij} 承载；按规则搬运中方向不变者称平行移动。本节从方向导数失效的搬运事故讲起，给出联络公理、坐标公式与平行移动方程，并用球面三角形回路实验提前看到「搬运偏差」——它就是第三章曲率的实验前身。

一桩搬运事故

设想一名勘探队员扛着一根标尺站在山坡上，要把「正东方向」这个信息带到另一座山头去。在平地上这事不值一提：一路保持指向正东即可。但换到球面上，问题立刻变质——他沿赤道走四分之一圈，再沿经线北上，最后沿另一条经线回到极点附近。一路上他恪尽职守地「保持方向不变」，回到起点时，标尺指向却与出发时不一致。没有外力扭转标尺，方向感却凭空丢失了。

事故的根源不在队员，而在「保持方向不变」这句话在流形上根本没有默认含义。向量 v 住在点 p 的切空间 T_pM 里，走一步之后的向量 v' 住在 T_{p'}M 里——两个不同的向量空间，元素之间没有天然的减法，于是「变化量 v' - v」无从谈起。方向导数 D_u v = \lim_{t\to 0}\tfrac{v(p+tu) - v(p)}{t} 的定义第一步就卡死。

这正是第一章埋下的伏笔：切空间逐点独立，赋予了「向量户口」的严谨，代价是「跨点比较」必须另行立法。立法成果就叫联络。

立法：联络的三条公理

联络 \nabla（读作 nabla 或 del）是一个机器：吃进一个向量场 X（指示求导方向）和一个待搬运对象 Y，吐出一个新的向量场 \nabla_X Y，读作「Y 沿 X 方向的协变导数」。立法只要求三条公理：

对求导方向 X 加法与函数系数线性：\nabla_{fX_1 + gX_2} Y = f\nabla_{X_1} Y + g\nabla_{X_2} Y；对被导对象加法线性：\nabla_X (Y_1 + Y_2) = \nabla_X Y_1 + \nabla_X Y_2；以及莱布尼茨律 \nabla_X (fY) = X(f)\, Y + f\, \nabla_X Y。

公理的口味与普通导数完全一致——加法拆开、乘积求导——唯独「值住在哪个切空间」从含混变为明确：\nabla_X Y 在当前点的切空间里。这组公理本身仍然太自由：满足它的联络无穷多，本章第二节将用度量（保长度）与无挠（无扭动）两条自然约束把它唯一化。眼下先按公理把机器开起来。

开机：坐标公式

在坐标卡内取基 \partial_i（沿第 i 坐标线的速度场）。对基向量自身求协变导数，结果按基展开，展开系数就是联络的坐标台账：

有了这份台账，任意向量场 Y = \sum_j Y^j \partial_j 的协变导数由莱布尼茨律强制确定：

一句话总结：普通偏导，加上一项由联络系数参与的修正。欧氏空间直角坐标下所有 \Gamma 为零，协变导数退回普通方向导数——修正项正是为「基向量逐点变化」支付的补偿。在极坐标的平面上也能看到非零 \Gamma（哪怕空间根本不弯）：平面极坐标下 \Gamma^r_{\varphi\varphi} = -r、\Gamma^\varphi_{r\varphi} = \tfrac{1}{r}，补偿的是基向量 \partial_r, \partial_\varphi 随位置的转动。这个例子值得单独记住：联络非零不等于空间弯曲，弯曲与否要看联络的「不可积部分」，即第三章的曲率。

平行移动：协议的执行

有了 \nabla，「沿路径 \gamma(t) 搬运且方向不变」终于有了定义：向量场 V(t) 沿 \gamma 平行，当且仅当协变导数为零：

这是一条线性常微分方程：给定初值 V(0)，解唯一存在。也就是说，搬运协议把起点的每个向量送到终点的一个确定向量，且保持线性（和的搬运等于搬运的和）。起点切空间到终点切空间由此获得一个线性同构——搬运协议的全部输出，就是这一族同构。

球面三角形回路：搬运偏差实录

回路实验的完整复盘

把上面的图翻译成一次可核算的测量，按背景、操作、结果、解读、变式五步走。

背景：要检验「平行移动是否与路径无关」。在平面上它显然无关（把箭头平移一圈回来纹丝不动）；球面上是否如此，决定「方向」能否全局统一。

操作：从北极出发，箭头指东。第一步沿西经三十度经线下行至赤道，搬运中让箭头与路径保持垂直；第二步沿赤道东行九十度，箭头与路径保持同向；第三步沿本初子午线北上回北极，箭头与路径保持垂直。每一步都严格执行平行移动方程。

结果：回到北极时箭头指向南方（沿后来的经线看），与出发时的指东相差恰好九十度。用球面几何核算：三角形三内角各为直角，内角和 \tfrac{3\pi}，角盈 \tfrac{\pi}{2}；而平行移动的偏转角在球面上等于角盈，两者吻合。

解读：偏转角是纯内部测量——队员全程只用「保持垂直/平行」的规程，没有借助任何外部参照。偏转角除以回路所围面积，得到一个与回路形状无关的量（单位球面上为 1），它就是该区域的平均高斯曲率。曲率第一次以「搬运误差率」的身份现形。

变式：把回路缩到无穷小，偏转角按面积一阶衰减，其极限就是逐点曲率——这正是第三章曲率张量的定义路线；把回路换到平面，偏转为零；换到伪球面，偏转角变号。规程不变、读数变号，又一次印证第一章的内在性纲领。

💡 关键直觉：联络是「协议」，曲率是「协议的漏洞」。签协议时人人自由，但只要协议用于闭合回路，漏洞率（曲率）就无法再人为约定——它由度量唯一监督。这就是为什么下一节要请度量出场立法。

本节要点回顾

• 事故根源：不同切空间的向量无减法，欧氏方向导数在流形上第一步就失效；
• 三条公理：方向线性、对象线性、莱布尼茨律，构成联络的最小立法；
• 坐标公式：协变导数 = 偏导 + \Gamma 修正项；平面极坐标已出现非零 \Gamma，联络非零不等于弯曲；
• 平行移动是线性常微分方程的解，给出起点到终点切空间的线性同构；
• 回路偏差是内部可测量，等于角盈、等于面积乘平均曲率——曲率的实验前身已就位。