微分几何（四）：内蕴几何 —— 惊人定理与测地线

前一章结束的时候我留下了一个剧透：高斯曲率 $K$ 虽然是用外在的形状算子定义的，但只依赖于第一基本形式。也就是说，曲面上的蚂蚁仅凭能感受到的距离和角度信息，就能算出 $K$ 。这是 Gauss 在 1827 年证明的 Theorema Egregium（拉丁语"绝妙定理"），是经典曲面理论的核心结果。这一章就是来把这个剧透变成证明的。

为什么这件事让人吃惊？回想圆柱卷纸的画面：把一张平的纸卷成圆筒，纸面上的距离、角度都没变。但从外面看，圆筒明显比平纸弯了：形状算子从零变成了非零的对角矩阵。这两件事看起来都对：内蕴几何完全没动（蚂蚁感觉不到），外在几何明显变了（人眼能看出来）。

那么 $K$ 应该归在哪一边呢？$K$ 是形状算子的行列式。圆柱：形状算子是 $\mathrm{diag}(0, 1/r)$ ，行列式 = 0。平面：形状算子是 $\mathrm{diag}(0, 0)$ ，行列式 = 0。结果一样！这不是巧合。Gauss 证明了这是个普遍现象：对任何等距形变，$K$ 都不变，尽管形状算子本身变了。换句话说，$K$ 落在内蕴这一边；它是个能从 $\mathrm{I}$ 单独算出来的量。

平均曲率 $H$ 则相反：它是形状算子的迹。圆柱：$H = 1/(2r)$ 。平面：$H = 0$ 。等距形变改变了 $H$ 。所以 $H$ 是外在的：蚂蚁感觉不到，必须用外面的眼睛看。

这种"乘积 vs 和"的不对称，看起来代数上很神秘：为什么行列式是内蕴的而迹不是？这一章就是来回答这个问题的。具体步骤分四步：(1) 引入 Christoffel 符号 $\Gamma^k_{ij}$ ，它编码了曲面坐标系的"扭曲"，并且只依赖于 $\mathrm{I}$ ；(2) 把曲面上"直线"的概念，也就是测地线，用 Christoffel 符号写出来；(3) 把 $K$ 用 Christoffel 符号表达，从而证明它是内蕴的；(4) 顺带得到测地曲率 $\kappa_g$ 和局部 Gauss-Bonnet 公式，为下一章做准备。

读完这一章，你会带走两件东西。一件是理由：为什么 Gauss 称这个定理为"绝妙的"。它打开了一扇门，从此微分几何不需要"环境空间"也能讲。另一件是工具：Christoffel 符号、测地方程、平行移动。这些工具到了第十章会被推广到任意维度的 Riemann 流形上，但它们的几何直觉就是从 $\mathbb{R}^3$ 里的曲面来的。

Christoffel 符号：曲面上坐标如何扭曲#

在标准坐标下的 $\mathbb{R}^n$ 中，基向量 $\mathbf{e}_1, \ldots, \mathbf{e}_n$ 是常数，不随点的位置而变。但在由 $\mathbf{x}(u, v)$ 参数化的表面上，坐标基向量 $\mathbf{x}_u$ 和 $\mathbf{x}_v$ 会随着我们在表面上移动而变化。切平面在不同点上倾斜、拉伸和旋转。当我们对用这种基表示的向量场求导时，不能只对分量求导，还要考虑基本身的变化。这就是 Christoffel 符号的作用。

其中 $L_{ij}$ 是第二基本形式系数（外在的，测量加速度的法向分量），而 Christoffel 符号 $\Gamma^k_{ij}$ 是切向分量（内在的，测量基向量在表面内的扭曲）。

其中 $g_{ij}$ 是度量分量（$g_{11} = E$ , $g_{12} = F$ , $g_{22} = G$ ），$g^{kl}$ 是逆度量矩阵的元素。

这是整个章节的核心结论：Christoffel 符号仅依赖于第一基本形式及其一阶导数。尽管它们是通过嵌入 $\mathbf{x}$ 的二阶导数定义的，但可以通过度量系数单独计算。法向分量 $L_{ij}$ 携带外在信息；切向分量 $\Gamma^k_{ij}$ 完全是内在的。

推导过程很有启发性。从 $\mathbf{x}_{ij}\cdot\mathbf{x}_l = \sum_k \Gamma^k_{ij} g_{kl}$ 开始（将分解式与 $\mathbf{x}_l$ 内积；$L_{ij}\mathbf{n}$ 项消失，因为 $\mathbf{n}\perp\mathbf{x}_l$ ）。现在使用乘积法则：$\partial_i g_{jl} = \partial_i(\mathbf{x}_j\cdot\mathbf{x}_l) = \mathbf{x}_{ij}\cdot\mathbf{x}_l + \mathbf{x}_j\cdot\mathbf{x}_{il}$ 。通过循环指标并结合三个这样的恒等式，可以分离出 $\mathbf{x}_{ij}\cdot\mathbf{x}_l = \frac{1}{2}(\partial_i g_{jl} + \partial_j g_{il} - \partial_l g_{ij})$ 。乘以 $g^{lk}$ （逆度量）并求和，得到上面的公式。第二基本形式从未出现在最终答案中：投影到切平面上时它消失了。

物理上，想象在曲面上行走，同时携带一个画在表面上的坐标网格。当你移动时，网格线弯曲和扩散。Christoffel 符号量化了这种网格变形：$\Gamma^k_{ij}$ 告诉你在保持 $j$ 方向不变的情况下，在 $i$ 方向上移动时，第 $k$ 个基向量的变化量。在笛卡尔坐标下的平坦表面上，所有 $\Gamma^k_{ij} = 0$ ，网格不会变形。在球面极坐标下，$\Gamma$ 不为零，因为经线在极点处汇聚。

示例：单位球面在球坐标下的 Christoffel 符号：取 $(\theta, \varphi)$ ，$g_{11} = g_{\theta\theta} = \sin^2\varphi$ ，$g_{22} = g_{\varphi\varphi} = 1$ ，$g_{12} = 0$ 。唯一的非零度量导数是 $\partial_\varphi g_{\theta\theta} = 2\sin\varphi\cos\varphi = \sin 2\varphi$ 。计算 Christoffel 符号：

• $\Gamma^\theta_{\theta\varphi} = \frac{1}{2}g^{\theta\theta}(\partial_\varphi g_{\theta\theta}) = \frac{1}{2}\cdot\frac{1}{\sin^2\varphi}\cdot 2\sin\varphi\cos\varphi = \cot\varphi$ 。
• $\Gamma^\varphi_{\theta\theta} = -\frac{1}{2}g^{\varphi\varphi}(\partial_\varphi g_{\theta\theta}) = -\frac{1}{2}\cdot 1 \cdot 2\sin\varphi\cos\varphi = -\sin\varphi\cos\varphi$ 。
• 其他所有 $\Gamma$ 都为零（代入验证）。

$\cot\varphi$ 项在 $\varphi \to 0$ （北极点）时发散，反映了那里的坐标奇异性，而非几何奇异性。球面在极点处是完全光滑的；是球坐标系在那里退化了。不同的图（如立体投影）在其定义域内会有有界的 Christoffel 符号。

高斯绝妙定理：曲率是内蕴的#

有了 Christoffel 符号，我们可以陈述并理解经典微分几何的核心定理。

高斯在 1827 年证明了这个定理，称为“绝妙定理”。高斯曲率 $K$ 可以完全用度量系数 $g_{ij}$ 及其一阶和二阶偏导数来表示。特别地，$K$ 不依赖于第二基本形式 $\mathrm{II}$ 或任何关于曲面如何嵌入 $\mathbb{R}^3$ 的信息。

其中 $\Delta = \partial_u^2 + \partial_v^2$ 是平坦 Laplacian。内蕴性质由此一目了然：$K$ 仅由 $\lambda$ 决定，而 $\lambda$ 就是度量。

绝妙定理的证明通过比较两个表达式来进行：$\partial_i\Gamma^k_{jl} - \partial_j\Gamma^k_{il} + \text{Christoffel 符号的二次项}$ 。混合三阶偏导数 $\mathbf{x}_{ijk} = \mathbf{x}_{jik}$ （应用于切向和法向部分的分解）产生两组方程：切向部分给出 Gauss 方程（将 $K$ 与 Christoffel 符号联系起来），法向部分给出 Codazzi-Mainardi 方程（将 $L, M, N$ 的导数与 Christoffel 符号联系起来）。Gauss 方程就是公式形式的绝妙定理。

定理的关键在于为什么它成立：定义 $K$ 的组合 $LN - M^2$ （在 $K = (LN - M^2)/(EG - F^2)$ 的分子中）正是出现在曲面存在性相容条件中的组合。相容条件纯粹是关于内蕴度量的（因为它涉及嵌入方程的一致性），所以它产生的组合也必须是内蕴的。这不是巧合，而是几何强迫代数的结果。

直接得出的结论：

1. 等距变换保持 $K$ 。如果两个曲面是等距的（具有相同的第一基本形式），它们在对应点上的高斯曲率相同。圆柱和平面都有 $K = 0$ ，这与它们是等距的一致。球面（$K = 1/r^2$ ）和平面（$K = 0$ ）不是等距的：不存在保持距离的映射。这就是为什么每张地球平面地图都会失真的数学原因。

2. 弯曲保持 $K$ 。弯曲一个曲面（不拉伸地变形）是一种等距变换。因此弯曲不会改变 $K$ 。把一张平纸卷成圆柱：$K$ 仍然为零。尝试把纸弯成球面：不可能不拉伸，因为球面有 $K > 0$ 。

3. 平均曲率 $H$ 是外蕴的。平面有 $H = 0$ ；圆柱有 $H = 1/(2r) \neq 0$ 。它们是等距的，但 $H$ 不同。平均曲率检测嵌入；高斯曲率则不。

据说高斯本人对这个结果感到惊讶。$K$ 的定义涉及 Gauss 映射和形状算子，显然是外蕴的对象，但其值仅取决于内蕴度量。他称之为“绝妙的”，这个名字一直沿用至今。在数学中，很少有定理的名字能保留发现者的兴奋之情。

历史注记：高斯在 1821-1825 年间为汉诺威王国进行测量工作时证明了这一点。实际问题是：能否制作出一块地球表面的准确平面地图？绝妙定理给出了明确答案：不能，因为地球（近似为 $K > 0$ 的球体）无法展平（到 $K = 0$ 的表面）而不扭曲某些地方的距离。每个地图投影，无论墨卡托还是兰伯特，都会引入失真，绝妙定理解释了这是不可避免的。

这对导航和制图有可量化的影响。墨卡托投影保持角度但扭曲面积（在墨卡托地图上，格陵兰岛看起来和非洲一样大，尽管非洲实际上大 14 倍）。等面积投影保持面积但扭曲角度。没有投影同时保持角度和面积，这直接来自绝妙定理，因为同时保持角度和面积将是等距变换，而从球面到平面的等距变换不存在。高斯的测量工作（产生了汉诺威的三角测量）是这些理论见解的实际背景。最深刻的古典微分几何定理源于制作准确地图这一平凡问题。

对于大地测量学的一个相关后果：地球的形状由其表面的高斯曲率局部决定。如果你在每个点测量 $K$ （通过测量三角形的角度，根据 Gauss-Bonnet 局部定理），你就完全知道了内蕴几何。两个具有相同曲率分布的行星具有相同的内蕴几何——即使一个是圆形、另一个是皱褶的，因为绝妙定理使形状算子在内蕴问题中无关紧要。

验证等温公式时，对于单位球面的立体投影坐标，$\lambda = 4/(1 + u^2 + v^2)^2$ 。那么 $\log\lambda = \log 4 - 2\log(1 + r^2)$ ，其中 $r^2 = u^2 + v^2$ 。计算 $\Delta\log(1 + r^2)$ ：在极坐标下，$\Delta f(r) = f'' + f'/r$ 。令 $f = \log(1+r^2)$ ：$f' = 2r/(1+r^2)$ ，$f'' = (2(1+r^2) - 4r^2)/(1+r^2)^2 = (2 - 2r^2)/(1+r^2)^2$ 。因此 $\Delta f = (2-2r^2)/(1+r^2)^2 + 2/(1+r^2) = 4/(1+r^2)^2$ 。然后 $\Delta\log\lambda = -8/(1+r^2)^2 = -2\lambda$ 。根据等温公式：$K = -\frac{1}{2\lambda}(-2\lambda) = 1$ 。球面上的常数单位曲率，完全从度量计算得出。没有使用形状算子、法向量或嵌入信息。

测地线：内蕴几何中的“直线”#

测地线在曲面上扮演什么角色？它是欧氏空间里’直线’的自然推广。直线在 $\mathbb{R}^n$ 里有两个等价定义：(1) 加速度为零的曲线；(2) 两点之间最短的路径。在弯曲的曲面上，这两个定义在局部上仍然等价（短测地线是局部最短路径，且二阶导数的切向分量为零），但在全局上可能不同。例如球面上从北极到赤道附近某点的测地线是一段大圆弧，本地最短；但如果绕远的话还有另一段大圆弧从相反方向到达同一点，那段就不是最短的。这是测地线局部最短和全局最短差别的来源。

有了 Christoffel 符号，就可以定义在曲面上扮演“直线”角色的曲线。在平直空间中，直线的加速度为零。在曲面上，类似的概念是切向加速度为零的曲线：它在曲面上不转向，任何加速度都来自保持在曲面上的约束。

这是一个二阶常微分方程组。根据 Picard-Lindelof 定理，给定曲面上任意一点 $p$ 和任意一个切向量 $\mathbf{v} \in T_pS$ ，存在一条唯一的通过 $p$ 点且初始速度为 $\mathbf{v}$ 的测地线（至少在短时间内）。测地线由初始点和方向决定，就像欧几里得空间中的直线一样。

测地线有三种等价的描述，每种都有不同的直观含义：

1. 切向加速度为零。曲线在曲面上不转向。所有加速度都来自保持在曲面上的约束（法向加速度）。想象一个无摩擦表面上滑动的滚珠轴承，没有重力作用时，它会沿着测地线运动。
2. 局部长度最小化。连接两个邻近点的所有附近曲线中，测地线是最短的。（注意：这只是局部性质，测地线可能不是全局最短路径，比如大圆上的“长路”。）
3. 测地曲率为零。测地曲率 $\kappa_g$ （平面内的转向率）恒为零。曲线在曲面上“直行”，即使从 $\mathbb{R}^3$ 视角看它可能是弯曲的。

单位球面上的测地线是大圆，即半径最大的曲线。圆柱面上的测地线是螺旋线（包括沿轴线的直线和绕圆柱的圆）。Poincaré 圆盘模型中的双曲平面测地线是垂直于边界圆的圆弧（加上直径）。

第一个方程可以写成 $\frac{d}{dt}(\sin^2\varphi\,\dot\theta) = 0$ ，给出守恒律 $\sin^2\varphi\,\dot\theta = c$ （常数）。这是 Clairaut 关系：在旋转对称曲面上的测地线上，$\rho\sin\psi = $ 常数，其中 $\rho$ 是到旋转轴的距离，$\psi$ 是测地线与纬线（平行圈）之间的夹角。这反映了角动量守恒，体现了旋转对称性。

Clairaut 关系立即告诉我们关于球面上测地线的一些定性事实：从低纬度（$\rho$ 较大）开始向东（$\psi$ 接近 $\pi/2$ ）的测地线会保持 $\rho\sin\psi$ 的乘积不变。当它向极点移动（$\rho \to 0$ ）时，必须有 $\sin\psi \to \infty$ ……这是不可能的，因此测地线会在到达极点之前折返。唯一能到达极点的测地线是子午线（$\psi = 0$ ，此时 $c = 0$ ）。确实，大圆就是测地线。

更多实例：在半径为 $r$ 的圆柱上（度规为 $ds^2 = r^2\,d\theta^2 + dz^2$ ），Christoffel 符号全部为零（度规系数是常数）。测地线方程简化为 $\ddot\theta = 0$ 和 $\ddot z = 0$ ，所以测地线是 $\theta(t) = at + b$ 和 $z(t) = ct + d$ 形式的曲线，即螺旋线，螺距取决于 $c/a$ 的比值。特殊情况：$a = 0$ 给出沿轴线的竖直线；$c = 0$ 给出绕圆柱的圆。如果将圆柱展开成平面，每条螺旋线都会变成直线，这具体展示了测地线在等距变换下保持“内在直线”的性质。

在一个半角为 $\alpha$ 的圆锥上，参数化为 $\mathbf{x}(u, v) = (v\sin\alpha\cos u, v\sin\alpha\sin u, v\cos\alpha)$ ，度规为 $ds^2 = v^2\sin^2\alpha\,du^2 + dv^2$ 。Clairaut 关系给出 $v\sin\alpha\sin\psi = $ 常数。可以通过将圆锥展开成一个角度为 $2\pi\sin\alpha$ 的扇形来理解测地线：圆锥上的测地线对应于扇形中的直线。当把扇形重新卷成圆锥时，这些直线变成通常不会闭合的曲线，在圆锥上螺旋上升并远离顶点。只有特定的初始条件才能产生闭合的测地线。

变分视角将测地线与物理学联系起来。测地线方程是能量泛函 $E(\gamma) = \frac{1}{2}\int_0^1 |\gamma'|^2\,dt = \frac{1}{2}\int_0^1 \sum_{ij} g_{ij}\dot u_i\dot u_j\,dt$ 的 Euler-Lagrange 方程。固定端点条件下最小化能量得到的曲线与最小化长度的曲线相同，但具有参数化与弧长成比例的额外性质。这种变分形式，也就是测地线作为作用积分的极值，正是力学中的最小作用原理。曲面上的自由粒子沿测地线运动，因为它最小化了动能积分。几何（最短路径）与物理（最小作用）之间的联系深刻且贯穿现代数学物理。

平行移动与曲率整体性质的几何#

测地线是内在的“直线”。但还有一个更微妙的内在概念：在曲面上沿着曲线携带一个向量，而不让它在曲面内“旋转”。这就是平行移动。

这是一个关于 $V^k(t)$ 的一阶线性常微分方程组，因此对于任何初始 $\mathbf{v}_0$ 都有唯一解。从 $\gamma(0)$ 到 $\gamma(1)$ 的平行移动是一个线性同构 $P_\gamma: T_{\gamma(0)}S \to T_{\gamma(1)}S$ ，它保持内积（因为 Christoffel 符号来自度量相容的联络）。

测地线正是其切向量沿自身平行移动的曲线：$D\gamma'/dt = 0$ 。测地线“走直线”，因为它携带自己的方向而不旋转。

现在介绍一个使弯曲几何从根本上不同于平坦几何的现象：绕闭合回路的平行移动不会使向量回到初始方向。在平坦表面上，将向量沿任何闭合路径携带一圈后，它会不变。在弯曲表面上，向量回来时会发生旋转。旋转的角度称为该回路的整体性质。

经典的演示：在直角球面三角形（单位球的八分之一）的边界上平行移动一个切向量。从北极开始，向量指向子午线（例如，朝向 $(1,0,0)$ ）。沿着子午线向南走到赤道：沿测地线的平行移动保持与测地线的角度，所以向量一直指向南方。在赤道上，向东走四分之一圈：向量保持与赤道的角度（赤道也是测地线），所以它仍然指向南方。到达点 $(0,1,0)$ 后，向北返回北极：再次沿测地线平行移动。向量到达北极时……但它现在指向 $(0,1,0)$ ，这比初始方向 $(1,0,0)$ 旋转了 $90°$ 。

向量在经过一个包围面积为 $\pi/2$ 的回路后旋转了 $\pi/2$ 。在单位球上，$K = 1$ ，整体性质等于 $K \cdot \text{Area} = 1 \cdot \pi/2 = \pi/2$ 。这不是巧合。对于任何曲面，在一个小回路包围的区域中，如果 $K$ 大致恒定，整体性质角度大约为 $K \cdot \Delta A$ 。这是高斯曲率的一个精确内在特征：$K$ 是每单位面积的整体性质。

傅科摆提供了一个物理实现。在纬度 $\varphi$ 处的地球上的摆，其振荡平面沿每日旋转路径（纬度圆）平行移动。包围的球冠面积为 $2\pi(1 - \cos\varphi)$ ，对于半径为 $R$ 的球体，$K = 1/R^2$ ，每天的整体性质为 $2\pi(1 - \cos\varphi) \cdot K \cdot R^2 = 2\pi(1 - \cos\varphi)$ ……实际上，更准确地说，摆平面每天的旋转角度为 $2\pi\sin\varphi$ （如傅科所观察到的），这是纬度圆所张开的立体角。重点是：摆的进动是整体性质的物理表现，而整体性质是曲率在面积上的积分。

整体性质现象对物理学的影响远不止傅科摆。在量子力学中，当量子态在参数空间中绕一个回路平行移动时，会出现 Berry 几何相位：态获得一个由参数空间连接的“曲率”决定的相因子。在规范理论中，Wilson 回路（规范连接沿闭合路径的整体性质）是一个基本可观测量，编码了场强。这些都是我们刚刚描述的表面现象的直接推广：曲率表现为整体性质，即平行移动不能回到初始值。

现在，与 Theorema Egregium 的联系已经完整。我们有三种等价的高斯曲率内在特征：

1. 在等温坐标中的公式 $K = -\frac{1}{2\lambda}\Delta\log\lambda$ （由度量计算得出）。
2. 每单位面积的整体性质（通过小回路的平行移动测量）。
3. 测地三角形每单位面积的角度过剩（通过测地三角形测量）。

这三种方法都给出相同的数 $K$ ，都可以仅从 $\mathrm{I}$ 计算出来，只要你接受平行移动和测地线是内在操作，它们都让 Theorema Egregium 在几何上不言自明。令人惊讶的是，这个相同的 $K$ 也等于涉及形状算子的外在公式 $\det(S) = (LN - M^2)/(EG - F^2)$ 。Theorema Egregium 表明：这些是同一个数。内在特征和外在公式总是一致。

等距变换、常曲率和三种模型几何#

杰出定理开启了一个分类程序：由于等距变换保持 $K$ ，不同 $K$ 的曲面永远不会是等距的。那么，常曲率的曲面有哪些？

核心结论是：任何两个具有相同常高斯曲率的曲面在局部上是等距的。也就是说，一个曲面上的小块可以等距地映射到另一个曲面上的小块。

这意味着常曲率曲面的局部几何完全由 $K$ 的值决定。具体有三种情况：

$K > 0$ （球面几何）：模型空间是半径为 $1/\sqrt{K}$ 的球面。测地线是大圆。任意两条测地线都会相交（没有“平行线”）。测地三角形的内角和超过 $\pi$ ，超出的部分等于面积乘以 $K$ 。球面的总面积是 $4\pi/K$ 。每个点看起来都和其他点一样（均匀性）。

$K = 0$ （欧几里得几何）：模型空间是平面。测地线是直线。平行公设成立。任何三角形的内角和恰好是 $\pi$ 。平坦、无限、熟悉。

$K < 0$ （双曲几何）：模型空间是双曲平面 $\mathbb{H}^2$ 。测地线指数发散。通过不在给定测地线上的任一点，有无数条测地线永远不与给定测地线相交（违反欧几里得的平行公设）。测地三角形的内角和小于 $\pi$ ，差额等于面积乘以 $|K|$ 。在给定“半径”下，双曲空间的面积比欧几里得几何中的面积更大，比平坦空间“更宽敞”。

双曲平面是19世纪的伟大几何发现。Bolyai 和 Lobachevsky（大约在1830年独立地）意识到否定平行公设会导致一种一致的几何。杰出定理和 Minding 定理表明这不仅仅是一个逻辑上的好奇，而是一种真正的几何空间，即具有常负曲率的曲面的几何。伪球面（曳物线旋转体）提供了这种几何的一个具体实例，嵌入在 $\mathbb{R}^3$ 中，尽管 Hilbert 在1901年证明了不存在完整的光滑嵌入。

Poincaré 圆盘模型将 $\mathbb{H}^2$ 表示为单位圆盘，度量为 $ds^2 = 4(du^2 + dv^2)/(1 - u^2 - v^2)^2$ 。等温公式给出 $K = -1$ 。测地线是垂直于边界圆的圆弧，边界本身代表“无穷远”（在双曲度量中无限远，但在欧几里得图像中是有限的）。M.C. Escher 的“圆极限”系列中的惊人图像就是 Poincaré 圆盘中由全等双曲多边形铺成的镶嵌。

一个具体的例子说明杰出定理：螺旋面和悬链面。两者都是具有负高斯曲率的极小曲面，并且存在一族参数化的等距变形。可以通过连续运动将一个物理弯曲成另一个（无需拉伸）。正如杰出定理所保证的，它们在对应点上的 $K$ 函数相同，即使一个是螺旋状斜坡、另一个是颈状旋转曲面。它们在外部看起来完全不同，但内在是相同的曲面。

一个更微妙的例子：两个非等距曲面可以有相同的 $K$ 函数而不等距。螺旋面-悬链面对之所以特殊，不仅因为它们有相同的 $K$ ，还因为它们之间存在全局等距（一个显式的映射，保持 $\mathrm{I}$ ）。具有相同的 $K$ 是等距的必要条件（根据杰出定理），但不是充分条件：必须匹配整个第一基本形式，而不仅仅是其导出量 $K$ 。

三种模型空间也允许对其测地线进行美丽的显式描述。对于半径为 $R$ 的球面：每条测地线都是周长为 $2\pi R$ 的大圆；任意两条测地线都会相交（没有平行线）；对跖点之间的测地距离是 $\pi R$ （球面上两点间最远的距离）。对于欧几里得平面：测地线是无限长的直线；两条测地线要么相交一次，要么平行；没有最大距离。对于曲率为 $-1$ 的双曲平面：测地线是无限的并且指数发散；通过不在给定测地线上的任一点，有无数条测地线永远不与给定测地线相交。测地线的指数发散通过附近测地线分离的速度来测量：在常曲率 $K$ 的表面上，初始平行的两条测地线在距离 $d$ 处随时间 $t$ 发散为 $d(t) \sim d(0)\cosh(t\sqrt{|K|})$ （当 $K < 0$ 时），保持不变（当 $K = 0$ 时），重新收敛为 $d(t) \sim d(0)\cos(t\sqrt{K})$ （当 $K > 0$ 时）。这是 Jacobi 方程的作用，它解释了为什么负曲率使空间感觉“更大”（测地线分开），而正曲率使空间感觉“更小”（测地线重新收敛）。

测地曲率与通往 Gauss-Bonnet 定理的桥梁#

这衡量了当我们沿着 $\gamma$ 移动时，切向量 $\gamma'$ 在切平面内旋转的速度。

测地线的 $\kappa_g \equiv 0$ ：它的切向量在平面上不旋转。球面上的纬度圈（除了赤道，赤道是一条测地线）有非零的 $\kappa_g$ ——它在表面内不断转向以保持纬度。赤道的 $\kappa_g = 0$ ，因为它是一个大圆；其他纬度圈的 $\kappa_g = \cot\varphi$ （其中 $\varphi$ 是余纬度），测量它们偏离测地线的程度。

$\gamma$ 作为空间曲线的总曲率满足 $\kappa^2 = \kappa_n^2 + \kappa_g^2$ ，分成外在和内在两部分。关键在于，$\kappa_g$ 只依赖于第一基本形式 $\mathrm{I}$ ——它是内在的。这使得它在没有背景空间的抽象流形上也可以计算。

这个公式连接了三件事：区域内部的曲率 $K$ 、光滑边界的转动 $\kappa_g$ 和角点处的角度跳跃 $\theta_i$ 。这三者都是内在的。它们必须共同作用给出 $2\pi$ ——一个完整旋转的角度。当 $K = 0$ 且没有角点时，边界必须恰好转动 $2\pi$ ：这是平坦空间中的定理，即简单闭合曲线的绕数为 $\pm 1$ 。非零的 $K$ 在内部“消耗”了一部分转动预算，因此边界可以转得更少（在正曲率表面上）或必须转得更多（在负曲率表面上）来补偿。

一个具体的例子可以让这一切生动起来。考虑单位球面上半径为 $r$ 的测地圆盘（所有距离北极点测地距离不超过 $r$ 的点集，是一个由纬度圈界定的球冠）。边界是余纬度为 $\varphi = r$ 的纬度圈。其测地曲率为 $\kappa_g = \cot r$ （指向内部）。积分后的测地曲率为 $\int\kappa_g\,ds = \cot r \cdot 2\pi\sin r = 2\pi\cos r$ 。球冠的面积是 $2\pi(1 - \cos r)$ ，所以 $\iint K\,dA = 2\pi(1-\cos r)$ （其中 $K = 1$ ）。检查一下：$2\pi(1-\cos r) + 2\pi\cos r = 2\pi$ 。局部 Gauss-Bonnet 公式得到满足。当 $r \to 0$ 时，曲率项缩小，边界转动接近 $2\pi$ （小圆几乎完全转一圈，就像在平坦空间中一样）。当 $r \to \pi/2$ （半个球面）时，曲率项给出 $2\pi(1 - 0) = 2\pi$ ，边界转动为 $2\pi\cos(\pi/2) = 0$ ——赤道是测地线（$\kappa_g = 0$ ），所有的“转动”都来自内部曲率。当 $r \to \pi$ （整个球面减去一点）时，曲率给出近似 $4\pi$ ，边界缩小到一个点，贡献微不足道的转动。

这就是 Gauss-Bonnet 定理的局部形式，它概括了局部曲率与全局转动之间的关系。全局形式（对封闭曲面进行积分）将是经典理论的高潮。

深入实例与常见误区#

前几节我们梳理了 Christoffel 符号、Theorema Egregium、测地线、平行移动以及常曲率模型几何。这一节，我会拿具体曲面一步步算给你看，指出初学者容易踩的坑，并展示这些概念在纯数学之外真正派上用场的地方。

数值演算实例：球面上的 Christoffel 符号#

把每个 Christoffel 符号都算出来。这里 $g_{\phi\phi} = 1$ ，$g_{\theta\theta} = \sin^2\phi$ ，非对角项 $g_{\phi\theta} = 0$ 。逆矩阵分量是 $g^{\phi\phi} = 1$ ，$g^{\theta\theta} = 1/\sin^2\phi$ 。

$\Gamma^\phi_{\theta\theta} = \tfrac{1}{2} g^{\phi\phi} (-\partial_\phi g_{\theta\theta}) = -\tfrac{1}{2} \cdot 2\sin\phi \cos\phi = -\sin\phi\cos\phi$ 。

$\Gamma^\theta_{\phi\theta} = \Gamma^\theta_{\theta\phi} = \tfrac{1}{2} g^{\theta\theta} \partial_\phi g_{\theta\theta} = \tfrac{1}{2 \sin^2\phi} \cdot 2 \sin\phi\cos\phi = \cot\phi$ 。

其余分量全为零。验算一下：在 $\phi = \pi/2$ （赤道）处，$\Gamma^\phi_{\theta\theta} = 0$ 且 $\Gamma^\theta_{\phi\theta} = 0$ 。这说明在这套坐标下，赤道附近的度规在一阶近似下就是欧氏度规。在 $\phi = \pi/4$ 处，$\Gamma^\phi_{\theta\theta} = -1/2$ ，$\Gamma^\theta_{\phi\theta} = 1$ 。这些具体数值直接决定了测地线方程：$\ddot{\phi} - \sin\phi\cos\phi\, \dot\theta^2 = 0$ 和 $\ddot\theta + 2\cot\phi\, \dot\phi\, \dot\theta = 0$ 。代入 $\phi(t) = \pi/2$ （常数），$\theta(t) = t$ （匀速）。第一个方程给出 $0 - \sin(\pi/2)\cos(\pi/2) \cdot 1 = 0$ ，成立。第二个方程给出 $0 + 2\cot(\pi/2) \cdot 0 \cdot 1 = 0$ ，也成立。赤道确实是测地线，符合预期。

现在试试 $\phi = \pi/4$ （非大圆）：第一个方程变成 $0 - (1/\sqrt{2})(1/\sqrt{2}) \cdot 1 = -1/2 \neq 0$ 。这不是测地线。从数值上看，这正好是曲线自身无法提供的向心加速度——它本该向下偏转，但恒定 $\phi$ 的曲线做不到。结论很清晰：球面上只有大圆才是测地线。

数值演算实例：沿三角形做平行移动#

考虑一个球面三角形，顶点分别是北极、$(\phi=\pi/2, \theta=0)$ 和 $(\phi=\pi/2, \theta=\pi/2)$ 。三个角都是直角，单位球面上的面积是 $\pi/2$ 。从北极出发，取切向量 $V_0 = \partial_\phi|_{\theta=0}$ 。沿 $\theta=0$ 经线平行移动到赤道：因为经线是测地线，且 $V$ 与它相切，所以 $V$ 始终保持为 $\partial_\phi$ 。到达赤道时，$V = \partial_\phi|_{\phi=\pi/2, \theta=0}$ ，方向指向“南”。

接着沿赤道从 $\theta=0$ 平行移动到 $\theta=\pi/2$ 。在赤道上，$V$ 垂直于运动方向（$V$ 指南，运动方向朝东）。平行移动会保持 $V$ 始终指南，所以在第二个顶点处，$V = \partial_\phi|_{\phi=\pi/2, \theta=\pi/2}$ 。

最后沿 $\theta = \pi/2$ 经线平行移动回到北极。沿经线向上走时，$V$ 保持与经线相切。但在北极，$\theta=\pi/2$ 经线对应的方向，相对于最初的 $\theta=0$ 经线，正好 旋转了 $\pi/2$ 。绕完三角形一圈后，$V$ 恰好旋转了 $\pi/2$ 。全纯角（holonomy）是 $\pi/2$ ，正好等于面积 $\pi/2$ 乘以曲率 $K = 1$ 。这就是局部全纯角层面的 Gauss-Bonnet 定理。它可以推广为：沿小回路做平行移动产生的全纯角，等于回路所围区域上 $K$ 的积分。

直觉与反例：为什么曲率是内蕴的#

Theorema Egregium 告诉我们，$K$ 仅凭度规就能算出来。初学者常会陷入错误的直觉：“高斯曲率明明是 $\mathbb{R}^3$ 中二阶导数的行列式——它怎么可能不依赖于嵌入方式？”解开这个结的关键在于，$K$ 同样可以写成 $E, F, G$ 及其一阶、二阶偏导数的函数。Brioschi 公式就是显式表达——一个由 $E, F, G$ 偏导数组成的 3x3 行列式。

反例能直接打破错误直觉：拿一张纸和一个圆柱面。两者的 $K$ 处处为零。它们拥有相同的第一基本形式。它们的第二基本形式却 不同。但无论用第二基本形式算，还是用第一基本形式通过 Brioschi 公式算，$K$ 给出的答案都是 $0$ 。Theorema Egregium 的核心断言正是：这绝非巧合。$K$ 完全由第一基本形式决定，第二基本形式对它没有任何额外贡献。第二基本形式贡献的是 平均 曲率 $H$ ，平面和圆柱的 $H$ 确实不同。

第三个数值演算实例：双曲上半平面的测地线#

取竖直线 $x = $ const，$y(t) = e^t$ ，它同时满足两个方程：$\dot x = 0$ ，$\ddot x = 0$ ，$\dot y = e^t$ ，$\ddot y = e^t$ 。代入第二个方程得 $e^t + (1/e^t)(0 - e^{2t}) = e^t - e^t = 0$ 。验证通过。

取圆心在实轴上的半圆 $(x(t), y(t)) = (a + r\tanh t, r/\cosh t)$ ，它同样满足方程（直接代入即可验证；代数运算繁琐但全是机械步骤）。所以 $\mathbb{H}$ 中的测地线就是竖直线，以及与 $x$ 轴垂直相交的半圆。这就是双曲几何的 Poincaré 模型。你算出的 Christoffel 符号完整刻画了该模型里的“直线”。当 $y \to 0$ 时，距离趋于无穷（边界在无穷远处）。因此，尽管嵌入图看起来有界，双曲平面却是 完备 的。

反例：等距映射何时无法全局存在#

高斯曲率相同的两个曲面，未必全局等距。拿单位球面，和把两个单位半球沿赤道粘合而成的“捏扁球面”作比较。除了捏合点之外，两者的 $K$ 处处等于 $1$ 。但捏扁球面的拓扑结构不同，它和标准球面之间不存在全局等距映射。从局部到全局的跨越非常关键：Theorema Egregium 只给出了等距的必要条件（$K$ 匹配），而不是充分条件。Cohn-Vossen 刚性定理部分弥补了这一缺口：$\mathbb{R}^3$ 中具有相同内蕴度规的闭凸曲面必然合同。但对于非凸或非闭曲面，刚性就会失效——存在同谱但不等距的闭曲面（Sunada 构造）。

初学者常见误区#

初学者常误以为高斯曲率是外蕴的——毕竟我们最初是用形状算子这个外蕴工具算出它的。Theorema Egregium 的全部意义就在于：它是内蕴的。你可以这样直观感受：拿一张平纸，试图不裁剪、不折叠、不拉伸地把它包在球面上。你做不到，纸一定会起皱。经验告诉我们，这是因为纸的 $K = 0$ ，而球的 $K = 1/r^2$ 。任何 等距映射（保长映射）都会保持 $K$ 不变。反过来，纸 可以 完美包裹圆柱或圆锥，因为它们的 $K = 0$ 。起皱与否是目标曲面的内蕴性质，不是审美问题——高斯曲率在投票决定映射是否存在。

第二个误区：把测地线等同于最短路径。测地线只是 局部 最短，不是全局最短。在球面上，从北极到南极沿东侧大圆弧走是一条测地线，但它的长度是沿西侧大圆弧走的两倍，而西侧那条同样是测地线。两条路径都满足测地线方程。变分原理（$\delta \int ds = 0$ ）选出的是弧长的驻点，未必是最小值。

在物理与工程中的实际应用#

在 广义相对论 中，Theorema Egregium 推广为：Riemann 曲率张量是内蕴的，仅凭度规就能算出。Einstein 场方程把这种内蕴曲率与物质分布联系起来。Einstein 之所以能写出 $R_{\mu\nu} - \tfrac{1}{2} R g_{\mu\nu} = 8\pi G T_{\mu\nu}$ ，正是因为等号左边完全由度规决定——也就是广义的 Theorema Egregium。没有这一点，“时空弯曲”就得依赖嵌入到高维平坦空间，物理学就会退化成关于嵌入坐标的记账工作。

在 机器人学 中，机械臂的位形空间是一个流形（通常是环面，因为每个关节角都在圆周上）。路径规划会在这个流形上寻找测地线，所用的度规编码了执行器的能耗。Christoffel 符号在系统启动时算好一次，测地线方程直接变成最优轨迹的常微分方程。工业抓取机器人实时求解的，正是你在这篇文章里学到的同一套工具。

在 深度学习 中，神经网络的损失景观是一个黎曼流形（配备 Fisher 信息度规或自然梯度度规）。自然梯度下降——许多高级优化器都在用——本质上是带度规的梯度下降，其中包含类似 Christoffel 符号的修正项。经验表明它比原始 SGD 收敛更快，因为它尊重参数空间的曲率，而不是把参数空间当成平坦空间处理。

带着更尖锐的问题回顾“下一步”#

第五篇文章将陈述并证明 Gauss-Bonnet 定理。该定理指出，对闭曲面有 $\int_M K\, dA = 2\pi \chi(M)$ 。为了做好准备，请思考：

（1）Theorema Egregium 说 $K$ 是内蕴的。欧拉示性数 $\chi$ 是拓扑的。Gauss-Bonnet 定理把两者连了起来。为什么一个内蕴几何量会等于一个拓扑量？ （2）在球面三角形中，内角和超出 $\pi$ 的部分正好等于面积乘以 $K$ 。这个局部事实如何积分成全局结论？ （3）证明会用到平行移动和单个三角形的局部 Gauss-Bonnet。合适的三角剖分概念是什么？为什么全局积分不依赖于你选的剖分方式？

你现在已经掌握了全部局部内蕴几何。第五篇文章会把它们打包成一个全局定理。阅读时请带着这个问题：“拓扑不变量 $\chi$ 究竟在证明的哪一步登场？”答案——欧拉公式 $V - E + F = \chi$ ——会通过三角剖分的组合结构出现。最神奇的地方在于，几何积分恰好把它完整地复原了出来。

最后一个数值演算实例：球面上的 Brioschi 内蕴公式#

把它套用到单位球面上，取 $E = 1$ ，$G = \sin^2 \phi$ 。这里 $\phi$ 充当 $u$ ，$\theta$ 充当 $v$ 。于是 $\sqrt{EG} = \sin\phi$ 。$G_\phi = 2\sin\phi\cos\phi$ ，所以 $G_\phi / \sqrt{EG} = 2\cos\phi$ 。$\partial_\phi(2\cos\phi) = -2\sin\phi$ 。$E_\theta = 0$ ，第二项直接消失。代入公式：$K = -(1/(2\sin\phi)) \cdot (-2\sin\phi) = 1$ 。验证通过：单位球面的 $K = 1$ ，完全从 $E, G$ 算出——全程没有调用第二基本形式。

这正是 Theorema Egregium 的实际运作：$K$ 仅从度规中提取，结果与第二基本形式的计算完全一致。公式长得难看，但它是推广到抽象黎曼流形时唯一能活下来的形式。在抽象流形上，曲面没有嵌入 $\mathbb{R}^3$ ，自然也没有第二基本形式。在一般的二维黎曼流形上，$K$ 就是 由 Brioschi 公式（或其非正交推广） 定义 的。嵌入曲面上内蕴与外蕴的等价性，保证了抽象定义与经典定义的一致性。

又一个定量实例：不同尺度下的球面角盈#

为了定量感受曲率如何浮现，我们来算不同尺度下球面测地线三角形的角盈。取半径 $R = 6371$ km（地球大小）的球面上一个边长为 $s$ （沿大圆弧）的等边球面三角形。在小三角形极限下，角盈满足 $E = \text{area}/R^2 = (\sqrt{3}/4 \cdot s^2)/R^2$ ，这是球面三角学公式给出的结果。当 $s = 100$ km 时：$E \approx (\sqrt{3}/4)(10^4)/(6371)^2 \approx 1.1 \times 10^{-4}$ rad $\approx 0.006°$ 。数值极小，但可测量：在卫星出现之前，经典大地测量学正是利用这种角盈，通过三角网测定地球半径。

现在放大尺度。当 $s = 1000$ km 时：$E \approx 0.55°$ ，这是一个必须在大洲级测量中修正的显著角度偏差。当 $s = 10000$ km（接近球面三角近似仍成立的极限）时：$E \approx 55°$ ——这个值已经和三个内角本身相当，小三角形近似彻底失效。曲率项成了几何结构的主导特征。

这种尺度规律——“曲率效应与长度尺度的平方成正比，再除以曲率半径的平方”——是判断曲率何时起作用的通用启发法则。在广义相对论中，靠近史瓦西半径为 $r_s$ 的黑洞时，时空偏离平坦的程度在距离 $\sim r_s$ 处达到 $O(1)$ 。在微分几何中，同样的法则支配着从地图投影误差到引力透镜的一切现象。

再给一个数值锚点：在高斯曲率为 $K$ 的曲面上，沿面积为 $A$ 的小测地线回路做平行移动，产生的全纯角大约等于 $K \cdot A$ 弧度——这正是无穷小尺度下的 Gauss-Bonnet 关系。在地球表面（视作球面）画一个 $1$ 米见方的回路，$K \approx 1/R^2 \approx 2.5 \times 10^{-14}$ m$^{-2}$ ，面积 $\approx 1$ m$^2$ ，全纯角 $\approx 2.5 \times 10^{-14}$ rad——在人类尺度上完全可以忽略。但如果区域半径扩大到 $1000$ km，全纯角会达到 $0.05$ rad $\approx 3°$ ——这很容易测量，也是那些需要修正地球曲率的精密导航系统的理论基础。

接下来#

我们已经把 Theorema Egregium 这件事彻底消化掉了：$K$ 这个表面上从形状算子（外在数据）定义出来的量，其实只依赖第一基本形式 $\mathrm{I}$ 及其导数。这件事的几何意义是：曲面上的小蚂蚁能算出 $K$ ；它的代数证明走了三个等价路径——等温坐标里的 Brioschi 公式、绕环路平行移动的整体性质、测地三角形的角度过剩。三条路殊途同归，都把 $K$ 锁在内蕴这一边。

下一章把局部的 Theorema Egregium 升级成全局的 Gauss-Bonnet 定理：在整个闭合曲面上把 $K$ 积分起来，结果等于 $2\pi\chi(S)$ ，其中 $\chi$ 是 Euler 示性数——一个纯粹的拓扑不变量。换句话说，无论怎么把球面捏成胖瘦不一、坑坑洼洼，曲率的总积分始终是 $4\pi$ ；任何环面（一个洞）的总曲率始终是 $0$ ；任何双环面（两个洞）的总曲率始终是 $-4\pi$ 。一个分析量（曲率的积分）等于一个组合量（顶点数减边数加面数），这是经典微分几何里最美的结果，也是后续所有"指标定理"的概念原型。

证明的关键工具就是这一章准备的：测地三角形的角度过剩 = 三角形内部的 $K$ 积分。Gauss-Bonnet 把整个闭合曲面三角剖分，把每个三角形的角度过剩加起来，再用 Euler 示性数的组合定义 $V - E + F$ 把所有项整合，就能得到全局公式。下一章我们会把这件事一步步走完，并且看到它怎么把分析（曲率积分）和拓扑（Euler 数）这两个看似无关的世界缝在一起。

这是《微分几何》系列（共 12 篇文章）的第 4 部分。