微分几何（十）：黎曼几何 — 度量、联络和平行移动

前面四章把流形当一个纯粹的"光滑壳子"在用。可以谈连续、谈光滑、谈切空间、谈微分形式、谈积分。但有一件最朴素的事，到现在为止还做不了：

测量两点之间的距离。

这听起来荒唐，距离不是任何数学对象的"基础属性"吗？但回到流形的定义：流形只要求局部上长得像 $\mathbb{R}^n$ ，不要求长得像欧几里得的 $\mathbb{R}^n$ 。任何同胚都被允许，所以"距离"这件事压根没有规定。打个比方：流形就像一张地图，但没标比例尺。你能识别出"哪些点和哪些点相邻"，但量不出任何具体长度。

要恢复"长度、角度、面积"这些日常的几何概念，就得在流形上额外加一个数据：一个内积，逐点定义，光滑地依赖于点。这个数据有个名字：Riemann 度量 $g$ 。一旦把 $g$ 加上来，整个本科微积分能干的事就立即都能干：曲线长度、向量夹角、区域面积、梯度、拉普拉斯算子，全部上线。这一章就是把这套机器搭起来的过程。

具体讨论一个动机。地球表面是一个 2-流形，从北京到纽约的"最短路径"是什么？直觉上知道是大圆弧，但这个直觉怎么用数学语言表达？答案是：定义一个度量 $g$ （从地球嵌入 $\mathbb{R}^3$ 继承下来的），用它写出曲线长度公式 $L(\gamma) = \int\|\dot\gamma\|_g$ ，然后求长度泛函的极小值。极值曲线就是测地线：弯曲流形上的"直线"。

更深一层的动机来自广义相对论。爱因斯坦说，引力不是力，而是时空弯曲的表现。一个行星沿着时空的测地线运动，“看起来"是被太阳吸引，其实只是在弯曲时空里走直线。这要求时空是一个 4-流形上加了一个度量，只不过这个度量不是正定的（有一个时间维带负号），叫"洛伦兹度量”。机器是同一台机器，符号约定不一样而已。

这一章的具体计划：(1) 引入 Riemann 度量 $g$ ，让长度、角度、面积、体积都有定义；(2) 定义仿射联络 $\nabla$ ，也就是一个在向量场之间求导的规则，然后特化到唯一的"无挠且度量兼容"的联络（叫 Levi-Civita 联络）；(3) 用 $\nabla$ 定义平行移动和测地线；(4) 介绍完备性（Hopf-Rinow 定理）；(5) 在球面和双曲平面上做具体计算。

中间会出现两个看着很技术的术语，先在这里说清几何直觉，避免后面读者卡住：

• 无挠（torsion-free）：意思是"沿一个无穷小平行四边形做平行移动，到一阶为止能闭合"。即：从 $p$ 出发先沿 $X$ 走 $\epsilon$ ，再沿 $Y$ 走 $\epsilon$ ，得到一个点；如果反过来先沿 $Y$ 再沿 $X$ ，到达另一个点。这两个终点的差距，到 $\epsilon^2$ 的精度才能区分出来。“挠"测量的就是这种"先后顺序"造成的偏差是不是能在一阶里抹平。无挠 = 一阶能抹平。Levi-Civita 联络选这个条件，因为它使得函数的 Hessian 矩阵对称（混合偏导可换序），与 $\mathbb{R}^n$ 上的经验一致。
• 度量兼容（metric-compatible）：意思是"平行移动保长度”。如果沿一条曲线把一个向量平行地搬过去，搬过去之后向量的长度（用 $g$ 量）不变。两个向量的夹角也不变。换句话说，$\nabla$ 和 $g$ 互相尊重，搬运过程中没有"偷偷拉伸"任何东西。

下一章会把这两条结合到一起的代价，也就是曲率张量，展开来讲。今天先专注于度量、联络、测地线本身。

黎曼度量#

其中每个 $g_p$ 是 $T_pM$ 上的对称正定双线性形式。换句话说：在每一点上都有一个切空间上的内积，并且内积随点的变化而光滑变化。

度量立即产生标准的几何量：

• 切向量的长度： $\|v\|_g = \sqrt{g_p(v, v)}$ 。
• 切向量之间的夹角： $\cos\theta = \frac{g_p(u, v)}{\|u\|_g\|v\|_g}$ 。
• 曲线 $\gamma: [a, b] \to M$ 的长度： $L(\gamma) = \int_a^b \|\dot\gamma(t)\|_g\,dt$ 。
• 黎曼体积形式（在定向流形上）：$\mathrm{vol}_g = \sqrt{\det(g_{ij})}\,dx^1\wedge\dots\wedge dx^n$ 。
• 黎曼距离： $d_g(p, q) = \inf\{L(\gamma) : \gamma \text{ 连接 } p, q\}$ 。

黎曼距离将 $(M, g)$ 变成一个度量空间（在拓扑教科书的意义上），并且度量拓扑与流形拓扑一致。

举个例子。

1. 欧几里得空间 $(\mathbb{R}^n, g_{\mathrm{Eucl}})$ ：$g_{ij} = \delta_{ij}$ ，即单位矩阵。标准内积。$L(\gamma) = \int |\dot\gamma|$ ，距离是通常的欧几里得距离。

2. $$g = d\theta^2 + \sin^2\theta\,d\phi^2.$$

   这是从标准嵌入 $S^2 \subset \mathbb{R}^3$ 继承的度量。体积形式是 $\sin\theta\,d\theta\wedge d\phi$ ，表面积 $\int_{S^2} \mathrm{vol}_g = 4\pi$ 符合预期。

3. $$g = \frac{dx^2 + dy^2}{y^2}.$$

   这个度量具有常高斯曲率 $-1$ 。测地线是垂直线和与 $x$ 轴垂直相交的半圆。$(0, 1)$ 和 $(0, e)$ 之间的距离是 $1$ （对于向上走的测地线）；当 $y \to 0$ 沿任何接近边界的路径时，距离“趋于无穷”。双曲平面是负曲率的典型模型。

4. 拉回/诱导度量：如果 $f: M \to (N, h)$ 是浸入（微分单射），则 拉回度量 $f^*h$ 在 $M$ 上定义为 $(f^*h)_p(u, v) = h_{f(p)}(df_p u, df_p v)$ 。这就是子流形如何从其环境空间继承度量的方式。$\mathbb{R}^3$ 中的每个光滑嵌入表面都可以通过这种方式变成黎曼流形，并且如果 $f$ 是浸入，则结果总是正定的。

每个仿紧光滑流形都允许一个黎曼度量。证明：用坐标图覆盖，取每个坐标图中的欧几里得度量，然后用单位分解粘合。正定形式的凸组合是正定的。因此，黎曼几何是你总可以添加到任何光滑流形上的特征。

有了度量，本科微积分中的每个几何量都有流形版本：长度、角度、面积、体积、梯度（与函数相关的向量场）、拉普拉斯算子。没有度量，只有微分拓扑不变量（上同调、丛上的联络的特征类）可用。度量将“光滑空间”变成了“几何空间”。

如果将正定性放宽为 非退化，得到伪黎曼度量。最重要的是洛伦兹度量：4 维流形上的签名 $(-, +, +, +)$ 。这是广义相对论中的时空度量。大部分机制（Levi-Civita、测地线、曲率）逐字照搬；唯一的变化是符号约定和一些“长度”变为虚数（在黎曼符号约定中，类时间隔是虚数，在物理约定中是实正数）。爱因斯坦方程 $G_{\mu\nu} = 8\pi T_{\mu\nu}$ 是洛伦兹的，而不是黎曼的，但几何是一样的。

取 $S^2$ 上的曲线 $\gamma(t) = (\theta(t), \phi(t)) = (\pi/2, t)$ ，$t \in [0, \pi]$ ，即从 $\phi = 0$ 到 $\phi = \pi$ 的赤道弧（半个赤道）。速度 $\dot\gamma = (0, 1) = \partial_\phi$ 。长度平方：$g_{\phi\phi}(\dot\gamma)^2 = \sin^2(\pi/2) \cdot 1 = 1$ 。所以 $\|\dot\gamma\|_g = 1$ 且 $L = \int_0^\pi 1\,dt = \pi$ 。半个赤道的长度是 $\pi$ ，正好是单位球的半径乘以 $\pi$ 。合理性检查：完整赤道的长度是 $2\pi$ ，符合 $2\pi r$ 当 $r = 1$ 时的情况。

音乐同构和梯度#

度量提供了 $TM$ 和 $T^*M$ 之间的同构，即“音乐”同构。

给定 $X \in TM$ ，定义 $X^\flat \in T^*M$ 为 $X^\flat(Y) = g(X, Y)$ 。在坐标下，$X^\flat_i = g_{ij} X^j$ ，即“降低指标”。

给定 $\omega \in T^*M$ ，定义 $\omega^\sharp \in TM$ 为 $g(\omega^\sharp, Y) = \omega(Y)$ 。在坐标下，$\omega^{\sharp i} = g^{ij}\omega_j$ ，其中 $g^{ij}$ 是逆矩阵。

这些映射是互逆的纤维丛同构。没有度量时，向量和余向量是 本质上不同的对象；有了度量，它们成为同一枚硬币的两面。

在坐标下：$(\nabla f)^i = g^{ij}\partial_j f$ 。在欧几里得 $\mathbb{R}^n$ 上，$g^{ij} = \delta^{ij}$ ，所以 $\nabla f = (\partial_1 f, \dots, \partial_n f)$ ，就是熟悉的梯度。在弯曲流形上，梯度是依赖于度量的对象，不同于微分。

范数是 $|\nabla f|_g = \sin\theta$ 。在赤道（$\theta = \pi/2$ ），梯度具有指向南极的单位长度，正是余弦函数的最陡下降方向。在极点，梯度消失（由于 $\cos\theta$ 在极点附近的对称性，它必须消失）。

在黎曼流形上，函数的 拉普拉斯算子 是 $\Delta f = \mathrm{div}(\nabla f)$ ，其中散度通过体积形式定义。在坐标下：$\Delta f = \frac{1}{\sqrt{|g|}}\partial_i(\sqrt{|g|}\,g^{ij}\partial_j f)$ 。在欧几里得空间中，这简化为熟悉的 $\sum_i \partial_i^2 f$ 。在球面上，它给出 $\Delta f = \frac{1}{\sin\theta}\partial_\theta(\sin\theta\,\partial_\theta f) + \frac{1}{\sin^2\theta}\partial_\phi^2 f$ ，其特征函数是球谐函数的球面拉普拉斯算子。Laplace-Beltrami 算子是黎曼流形分析的核心对象：谱几何、热方程以及大多数数学物理在弯曲空间中的应用都使用它。

数学物理中的所有二阶偏微分方程，例如热方程、波动方程、薛定谔方程、狄拉克方程，都需要度量才能在流形上表述。度量告诉你哪个微分算子配得上“拉普拉斯算子”的名字，该算子的谱通过 Weyl 定律（特征值计数体积）及其扩展编码了几何数据。

联络：向量场的微分#

流形上的向量场 $X$ 没有明显的“变化率”。要比较 $X_p$ 在一点与 $X_q$ 在另一点，你需要一种方法来识别 $T_pM$ 与 $T_qM$ 。在欧几里得空间中这是自动的（$\mathbb{R}^n$ 中的平行平移），但在一般流形上需要额外的结构：联络。

满足：

1. $C^\infty$ -线性于 $X$ ： $\nabla_{fX}Y = f\nabla_X Y$ 。
2. Leibniz 于 $Y$ ： $\nabla_X(fY) = (Xf)Y + f\nabla_X Y$ 。

第一个条件说“$\nabla_X Y$ 在一点仅取决于 $X$ 在该点”，所以 $(\nabla_X Y)_p$ 是良定义的。第二个是标准的乘积法则。

第一项是显然的“分量的方向导数”；第二项是考虑基向量变化的修正项。$\Gamma^k_{ij}$ 是位置的函数，不是 张量分量，它们在坐标变换下按非齐次规则变换，正好补偿 $Y^k$ 的偏导数的非齐次性。

为什么这么多结构？联络是流形上的 额外数据，一般来说没有规范选择。两个联络相差一个张量（Christoffel 符号的差按张量方式变换）。联络的空间是一个无限维仿射空间。

联络可能满足的两个自然条件：

• 无挠： $T(X, Y) := \nabla_X Y - \nabla_Y X - [X, Y] = 0$ 。等价于坐标下的 $\Gamma^k_{ij} = \Gamma^k_{ji}$ 。几何上：沿无穷小平行四边形的平行移动在一阶闭合。
• 度量兼容： $\nabla g = 0$ ，即 $X g(Y, Z) = g(\nabla_X Y, Z) + g(Y, \nabla_X Z)$ 。几何上：平行移动保持度量（长度和角度）。

这些条件不等价也不互相蕴含，但一起唯一确定联络（黎曼几何的基本定理，也称为 Levi-Civita 联络的存在性和唯一性）。这是将在下一节进行的计算。

一个经常令人困惑的点：$\nabla_X Y$ 仅依赖于 $X$ 在一点，但依赖于 $Y$ 在一个邻域。限制在曲线 $\gamma$ 上，算子 $\nabla_{\dot\gamma}$ 给出沿曲线的向量场的导数。这有时记作 $D/dt$ ，同一个算子，不同记法，当你有一条曲线但没有全局向量场时使用。两种观点都需要：$\nabla_X Y$ 用于全局微分算子，$D/dt$ 用于平行移动和测地线方程。

Levi-Civita 联络#

在黎曼流形上，存在唯一的既 度量兼容（$X g(Y, Z) = g(\nabla_X Y, Z) + g(Y, \nabla_X Z)$ ，“度量是平行的”）又 无挠（$\nabla_X Y - \nabla_Y X = [X, Y]$ ，“没有内置扭曲”）的联络。这就是 Levi-Civita 联络，黎曼几何的标准联络。

右边由 $g$ 和向量场的 Lie 括号决定，这些已经有了。左边唯一确定 $\nabla_X Y$ 。因此 Levi-Civita 联络存在且唯一。

这个公式在 $i, j$ 中是对称的（无挠性的结果），并且可以从任何显式度量计算出来。

其他均为零。这六个数（实际上是两个不同的数）编码了球面的所有几何信息：测地线、平行移动、曲率等等。

$\Gamma^\theta_{\phi\phi} = \frac{1}{2}g^{\theta\theta}(2\partial_\phi g_{\theta\phi} - \partial_\theta g_{\phi\phi}) = \frac{1}{2}(0 - 2\sin\theta\cos\theta) = -\sin\theta\cos\theta$ 。匹配。

如果没有度量兼容性，平行移动不会保持长度，自然的“刚体运动”概念就会失效。如果没有无挠性，函数的 Hessian 将不对称，二阶微积分就不符合其欧几里得版本。Levi-Civita 是使黎曼几何行为符合经典几何期望的唯一联络。

垂直测地线 $x = c$ ，$y(t) = e^t$ 满足这些（垂直线）。以 $x$ 轴为中心的半圆形测地线也可以验证。因此，双曲平面上的测地线是垂直线和半圆，经典图像变得可计算。

平行移动#

是沿 $\gamma$ 的 平行移动是线性同构，并且（对于 Levi-Civita 联络）是一个等距映射，保持度量。

在欧几里得空间中，平行移动是路径无关的：沿着任意路径从 $p$ 到 $q$ ，你携带向量的方式相同（只需平移它们）。在弯曲流形上，平行移动通常是路径相关的：沿闭合环路从 $p$ 到 $p$ 携带的向量返回时会被旋转。这是曲率的几何核心。

具体计算一下：取顶点在北极、$(\theta, \phi) = (\pi/2, 0)$ （本初子午线上的赤道）和 $(\theta, \phi) = (\pi/2, \pi/2)$ （东经 90° 的赤道）的球面三角形。三条边都是大圆弧（测地线）。从北极开始，选择一个指向本初子午线南端的向量。沿本初子午线向下平行移动：向量保持指向南方（沿测地线，切向量保持平行于自身）。在本初子午线上的赤道处，向量指向南方，即远离赤道进入南半球，但切空间是在赤道上，所以明确一下：在北极，选择一个指向经度 0 的赤道方向的向量。经过运输到达经度 0 的赤道后，该向量现在位于赤道切平面中并指向南方（垂直于赤道）。现在沿赤道从经度 0 移动到经度 90°：垂直于赤道的向量保持垂直（沿测地线的平行移动保持与测地线的角度）。所以在 $(\pi/2, \pi/2)$ 处，向量仍然指向南方。现在沿经度 90° 的子午线回到北极：向量指向外部（沿该子午线，与子午线的切向方向相反）。它最初指向北极处的本初子午线方向；现在指向 90° 子午线的方向。这两个方向之间的夹角是 90°。

因此，沿这个测地线三角形的平行移动将切向量旋转 90°。积分全纯性等于三角形的 角度过剩是指球面三角形的角度和 $> \pi$ ，过剩 $= \int K\,dA$ ，正如 Gauss-Bonnet 定理（文章 5）所述。对于我们的三角形，角度都是90°，和为 $3\pi/2$ ，过剩为 $\pi/2$ ，面积为 $\pi/2$ 在单位球上（$K = 1$ ），全纯性旋转也是 $\pi/2$ 。这三个数一致，正如 Gauss-Bonnet 所要求的。

考虑沿纬度 $\theta_0$ 的圆周在 $S^2$ 上的平行移动（不是测地线，除了赤道以外的纬度圆周都不是测地线）。围绕这个圆周的全纯性角度是 $2\pi(1 - \cos\theta_0)$ 。当 $\theta_0 \to 0$ （靠近极点的小圆周）时，全纯性 $\to 0$ （圆周包围一个小区域，总曲率小）。当 $\theta_0 \to \pi/2$ （赤道，是测地线）时，全纯性 $\to 2\pi$ 。连续变化与包围区域的面积乘以曲率匹配，直接数值确认全纯性 = $\int K\,dA$ 在包围区域内。

这很关键，因为平行移动是联络的 几何 表现。联络、曲率、全纯性，这些都是同一现象的不同方面，分别视为微分算子、张量场和积分传输。在规范理论中，沿 Wilson 环的平行移动是一个基本可观测量；在广义相对论中，沿测地线的平行移动通过潮汐力决定了所经历的引力场。

黎曼流形中两条附近的测地线 $\gamma_1, \gamma_2$ 以由曲率决定的速率漂移。Jacobi 方程 $\nabla_{\dot\gamma}^2 J + R(J, \dot\gamma)\dot\gamma = 0$ （其中 $J$ 是分离向量，$R$ 是 Riemann 张量，见文章 11）控制这种漂移。在广义相对论中，这正是 潮汐引力 的方程：两个附近自由落体物体根据局部时空曲率相互接近或远离。牛顿的“引力”在爱因斯坦的重新表述中，正是曲率引起的测地偏离。黎曼几何是这一思想的严格表达。

测地线和指数映射#

测地线方程 $\ddot\gamma^k + \Gamma^k_{ij}\dot\gamma^i\dot\gamma^j = 0$ 是欧氏空间里牛顿第二定律 $\ddot x = 0$ 的弯曲版本。等号右边的零，意思是没有真正的外力，只是流形本身弯曲，让按惯性走的轨迹看上去像是被弯曲了。$\Gamma^k_{ij}$ 在物理上就扮演几何力的角色。这正是广义相对论的核心思想：行星不是被太阳拉着走，而是在弯曲时空里走自由轨迹（测地线），但在我们的欧氏感知下看起来像被拉着。

这是一个关于曲线坐标的二阶 ODE，初始数据为 $(\gamma(0), \dot\gamma(0)) \in TM$ 。根据 Picard-Lindelof 定理，测地线存在且局部唯一；它们可能不会延展到所有时间（流形可能是不完备的）。

测地线是 局部长度最小化 的：在具有相同端点的附近曲线中，测地线具有最短长度。它们并不总是全局最小化，比如在球面上，从北极到南极附近“绕远路”的大圆弧是测地线，但不是最短路径。

举个例子。

• 欧几里得空间： 测地线是直线。
• 球面 $S^2$ ： 测地线是大圆。从任意起点和方向出发，测地线是该方向的大圆；测地线在距离 $2\pi$ 后闭合。
• 双曲平面（上半平面模型）： 测地线是垂直线和与 $x$ 轴垂直相交的半圆。
• 柱面 $S^1 \times \mathbb{R}$ ： 测地线是通过万有覆盖下的直线的像。它们螺旋缠绕在柱面上。

定义 指数映射 $\exp_p: T_pM \to M$ 为 $\exp_p(v) = \gamma_v(1)$ ，其中 $\gamma_v$ 是满足 $\gamma_v(0) = p$ 和 $\dot\gamma_v(0) = v$ 的测地线（当 $t = 1$ 时存在）。在 $T_pM$ 中 $0$ 的一个小邻域内，$\exp_p$ 是到其像的微分同胚，且 $(\exp_p)^{-1}$ 提供了 $p$ 处的 正规坐标：在这些坐标下，度量在 $p$ 处看起来是欧几里得的一阶近似，且 Christoffel 符号在 $p$ 处消失。

具体计算一下：在 $S^2$ 上，从北极出发的 $\exp_{NP}$ 将 $v \in T_{NP}S^2 \cong \mathbb{R}^2$ （$|v| = r$ ）映射到纬度 $\pi/2 - r$ 的方向为 $v$ （模 $2\pi$ ）的点。指数映射作为一个光滑映射 $\mathbb{R}^2 \to S^2$ 是良定义的，但它不是一个微分同胚，它在 $|v| = \pi$ 时折叠到南极，然后周期性地回到自身。在 $T_{NP}S^2$ 中 $|v| < \pi$ 的圆盘内，$\exp_{NP}$ 是到 $S^2 \setminus \{SP\}$ 的微分同胚。

$p$ 的 割迹 是 $\exp_p$ 停止成为微分同胚的点集，等价地说，就是测地线从 $p$ 出发停止全局最小化的点。在 $S^2$ 上，任何点的割迹是其对跖点（单点）。在紧致黎曼流形上，割迹是非空的；其结构编码了全局几何。在平坦环面上，割迹是一个更复杂的 1-复形；在一般曲面上，它是一个分段光滑网络。割迹是测地线全局最小化的几何障碍，它出现在最优传输理论和机器人学等领域。

测地线是长度泛函的临界点。如果 $\gamma_s(t)$ 是一族曲线，$\gamma_0 = \gamma$ ，则 $L(\gamma_s)$ 在 $s = 0$ 处的 第一变分消失当且仅当 $\gamma$ 是测地线（具有适当的边界条件）。第二变分 涉及 Riemann 张量，决定测地线是 最小值 还是仅仅是临界点。这种变分法的观点是黎曼几何与 Morse 理论之间的桥梁，也是 Bott 从测地线推导出李群拓扑信息的方法。

全纯性和 Hopf-Rinow 定理#

Hopf-Rinow 定理是关于完备性的：什么时候每两点之间都有最短测地线？粗略说，只要流形是测地完备（任何测地线都能延伸到 $\pm\infty$ ）或度量完备（按 Riemann 距离做成度量空间是完备的），就够了。一个反例：把 $\mathbb{R}^2$ 挖掉一个点，剩下的开集上的标准度量。两点连线如果穿过被挖的点就不是直线了，且没有最短路径：序列可以无限接近一条经过挖掉的点的折线，但极限不存在于流形里。完备性确保了几何是良性的，没有这种悄悄掉出去的风险。

对于闭合环路 $\gamma$ 在 $p$ 处，平行移动定义了一个线性等距 $P_\gamma \in \mathrm{O}(T_pM, g_p)$ 。所有这样的等距构成一个子群，即 全纯群 $\mathrm{Hol}(p)$ 。

对于 $n$ 维黎曼流形，$\mathrm{Hol}(p) \subseteq \mathrm{O}(n)$ 。对于定向流形，$\mathrm{Hol}(p) \subseteq \mathrm{SO}(n)$ 。Berger 分类了单连通黎曼流形的不可约全纯群，它们是 $\mathrm{SO}(n)$ ，$\mathrm{U}(n/2)$ ，$\mathrm{SU}(n/2)$ ，$\mathrm{Sp}(n/4)$ ，$\mathrm{Sp}(n/4)\mathrm{Sp}(1)$ ，$G_2$ ，$\mathrm{Spin}(7)$ 。每个全纯类对应一个特殊的几何结构：Kähler（$\mathrm{U}$ ），Calabi-Yau（$\mathrm{SU}$ ），超 Kähler（$\mathrm{Sp}$ ），以及例外情况。

举个例子。

• $\mathbb{R}^n$ ：$\mathrm{Hol} = \{e\}$ （平凡）。平行移动是路径无关的。
• $S^2$ ：$\mathrm{Hol} = \mathrm{SO}(2)$ （切平面的全旋转群）。
• 平坦环面：$\mathrm{Hol} = \{e\}$ （局部欧几里得，无曲率）。
• Calabi-Yau 3-叠：$\mathrm{Hol} = \mathrm{SU}(3)$ 。这些是弦理论家用来紧化的流形。

对于连通黎曼流形 $M$ ，以下条件等价：

1. $(M, d_g)$ 是完备度量空间。
2. 每条测地线延展到整个 $\mathbb{R}$ （测地完备性）。
3. 指数映射 $\exp_p$ 在某个（等价地，每个）$p$ 处定义在整个 $T_pM$ 上。
4. $M$ 中的闭且有界的子集是紧的。

此外，在这种情况下，任意两点可以通过一条最小化测地线连接。

这看起来像四条无关命题的奇怪集合，但它们是同一件事的不同侧面。直观地说：度量完备意味着柯西序列有极限，测地完备意味着测地线不"撞到边界就消失"，指数映射全局定义意味着从任一点向任一方向都能"无限直走"，闭且有界等于紧意味着 Heine-Borel 定理在曲面流形上仍然成立。Hopf-Rinow 把它们打包成一句话：在连通流形上，这些条件全等价。

这个等价不是显然的。考虑反例。开圆盘 $\{(x, y) : x^2 + y^2 < 1\}$ 用诱导欧氏度量是非完备的：你能沿径向向边界走，但永远到不了，测地线从某个时刻起停止延展。同样，穿洞的平面 $\mathbb{R}^2 \setminus \{0\}$ 的测地线遇到原点就消失。两者都是测地不完备的，因为有"洞"。Hopf-Rinow 告诉你：去掉一个点就能毁掉所有四条性质。

举个例子。

• 球面 $S^2$ ：完备。任何两点用大圆弧连接，最短弧是测地线。
• 欧氏平面 $\mathbb{R}^n$ ：完备。
• 双曲平面（庞加莱圆盘模型）：完备，别被"圆盘"骗了，双曲度量在边界处发散。
• 开圆盘（欧氏度量）：不完备。
• 史瓦西时空外解：不完备，测地线在视界处需要"跨越"到内部解，这就是黑洞奇异性的几何起源。

最后一个例子触及到广义相对论的核心：洛伦兹流形（GR 的舞台）经常不完备。测地不完备性 = 时空奇异性 = 物理上要么是"宇宙诞生"（大爆炸），要么是"物质坍缩到一点"（黑洞奇点）。Penrose-Hawking 奇异定理的全部内容就是给出何时洛伦兹流形必然不完备的几何条件。所以 Hopf-Rinow 的"反面"才是物理上最有趣的部分。

球面、双曲平面与环面上的例子#

我来总结一下这三个二维黎曼流形的基本模型。

球面 $S^2$ （常曲率 $+1$ ）。 度量 $g = d\theta^2 + \sin^2\theta\,d\phi^2$ 。测地线是大圆，长度为 $2\pi$ 。沿三角形做平行移动，向量会转过一个角度，这个角度正好等于三角形的角盈。和乐群 $\mathrm{SO}(2)$ 。流形完备且紧致。

双曲平面 $\mathbb{H}^2$ （常曲率 $-1$ ）。 取上半平面度量 $g = (dx^2 + dy^2)/y^2$ 。测地线是竖直线，以及与边界 $\{y = 0\}$ 垂直相交的半圆。三角形内角和 $< \pi$ ，角亏 $= -\int K\,dA$ 。和乐群 $\mathrm{SO}(2)$ 。流形完备（边界位于“无穷远”处，到内部任意点的距离都是无穷大）。流形非紧致。

这里有一个很实用的数值结论：内角为 $\alpha, \beta, \gamma$ 的双曲三角形，面积正好等于 $\pi - (\alpha + \beta + \gamma)$ ，也就是角亏。因此所有双曲三角形的面积都不超过 $\pi$ ，而理想三角形（顶点落在边界上，三个角全为零）的面积正好是 $\pi$ 。这个现象非常直观：在负曲率空间里，三角形面积只取决于它的角度，跟边长毫无关系。你拿欧氏几何做个对比就明白了，欧氏空间里的相似三角形可以随意缩放，面积能取任意值。

平坦环面 $T^2$ （曲率 $0$ ）。 它是 $\mathbb{R}^2$ 对某个格点（比如 $\mathbb{Z}^2$ ）的商空间。度量直接继承自欧氏空间。测地线就是模掉格点后的直线，它们要么会闭合（斜率为有理数），要么会稠密地填满整个环面（斜率为无理数）。和乐群 $\{e\}$ （平凡群）。流形完备且紧致。

除去相差一个缩放因子，这三个就是仅有的单连通、二维、完备且具常曲率的黎曼流形。常曲率空间的分类定理（Killing-Hopf）把这个三分法推广到了更高维：它们的万有覆叠空间只能是 $S^n$ ，$\mathbb{R}^n$ ，$\mathbb{H}^n$ 。

为什么这些例子很重要。 这三个模型在数学里地位特殊：亏格 $\geq 2$ 的黎曼曲面必定带有双曲度量（一致化定理）；球面是唯一的正曲率紧致可定向曲面；环面则是亏格大于零时唯一的平坦可定向曲面。对于三维流形，Thurston 几何化猜想（如今已是 Perelman 证明的定理）告诉我们，任何三维闭流形都能切分成若干块，每一块都基于八种齐性几何之一。其中三种就是常曲率几何，其余则是乘积结构或带扭转的变体。

Killing 向量场。 设 $(M, g)$ 上的向量场为 $X$ 。如果 $\mathcal{L}_X g = 0$ ，我就称它为 Killing 场，因为它的流会保持度量不变。在球面上，绕坐标轴旋转的向量场 $L_x, L_y, L_z$ 都是 Killing 场，它们生成了等距群 $\mathrm{SO}(3)$ 。在欧氏空间里，平移和旋转都是 Killing 场，它们生成 $\mathrm{Iso}(\mathbb{R}^n) = \mathbb{R}^n \rtimes \mathrm{O}(n)$ 。Killing 场构成的李代数是有限维的（维数不超过 $\binom{n+1}{2}$ ，最大对称空间能取到等号）。计算一个度量的 Killing 场，是给它做分类的核心手段之一。在物理里，弯曲时空上的 Noether 定理正是靠 Killing 场来生成守恒量的。

数值例子：$S^2$ 上的 Killing 场。 我来验证 $X = \partial_\phi$ （绕 $z$ 轴旋转）在 $(S^2, g)$ 上是不是 Killing 场。直接算 $\mathcal{L}_X g$ 。先看 $\mathcal{L}_X(d\theta^2) = 2\,d\theta\,\mathcal{L}_X d\theta = 0$ ，因为 $X = \partial_\phi$ 根本不改变 $\theta$ 。再看 $\mathcal{L}_X(\sin^2\theta\,d\phi^2) = X(\sin^2\theta)\,d\phi^2 + \sin^2\theta\,\mathcal{L}_X d\phi^2 = 0 + 0 = 0$ ，因为 $\sin^2\theta$ 跟 $\phi$ 无关。两项加起来，$\mathcal{L}_X g = 0$ 。验证通过：绕 $z$ 轴旋转确实是等距变换。其他跟 $\partial_\theta$ 有关的旋转场也能照此办理，只要把它们写成坐标形式就行。

为什么这些例子很重要。 球面、双曲平面和平坦环面不只是教学用的插图，它们是黎曼几何的通用局部模型。一致化定理保证，任何黎曼曲面在局部都等距于这三者之一（允许整体缩放）。Thurston 几何化理论指出，任何三维闭流形都能拆成若干块，每一块局部都同构于八种齐性几何之一。其中这三个是常曲率核心，其余是乘积或带扭转的变体。熟练吃透这三种二维模型几何，是理解它们高维推广的绝对前提。

统一视角：齐性空间。 这三个模型曲面都是齐性的：它们的等距群作用在流形上是可迁的。$S^2 = SO(3)/SO(2)$ ，$\mathbb{R}^2 = E(2)/SO(2)$ ，$\mathbb{H}^2 = PSL(2,\mathbb{R})/SO(2)$ 。在每一种情形里，几何结构都极其刚性：任何局部等距都能延拓到全局。正是这种刚性，让常曲率几何能写出闭式解。绝大多数黎曼流形并不齐性，几何量也写不出闭式。但常曲率情形给出了比较基准（Bonnet-Myers，Cartan-Hadamard，Bishop-Gromov），我们正是拿这些基准去衡量一般的黎曼流形。

一个串联所有概念的计算例子。 考虑双曲空间 $\mathbb{H}^2 = \{(x,y): y > 0\}$ ，度量取 $g = (dx^2 + dy^2)/y^2$ 。我来算一个理想三角形的面积，它的三个顶点落在边界上的 $-1$ ，$+1$ 和 $\infty$ 处。这个“三角形”由两条竖直线 $x = -1$ 和 $x = +1$ （伸向无穷远的测地线），以及连接 $-1$ 到 $+1$ 的半圆 $x^2 + y^2 = 1$ 围成。双曲面积元是 $dx\,dy/y^2$ 。直接积分：

理想三角形的面积正好是 $\pi$ ，跟角亏公式完全吻合，因为三个角都是零。这种干净利落的闭式结果，正是常曲率模型算起来特别顺手的原因。它也给我们提供了一个可靠的基准，用来检验任何双曲几何数值算法的正确性。

深入示例与常见误区#

前面的章节介绍了黎曼度量、升降同构、仿射联络、Levi-Civita 联络、平行移动、测地线、指数映射、和乐群以及 Hopf-Rinow 定理。这一节，我直接动手算几个具体的联络，指出初学者容易踩的坑，并把这套工具连到实际应用上。

具体数值算例：双曲平面上的 Christoffel 符号#

逐项计算： $\Gamma^x_{xy} = \Gamma^x_{yx} = \tfrac{1}{2} g^{xx}\partial_y g_{xx} = \tfrac{1}{2} y^2 \cdot (-2/y^3) = -1/y$ 。 $\Gamma^y_{xx} = -\tfrac{1}{2}g^{yy}\partial_y g_{xx} = -\tfrac{1}{2} y^2 \cdot (-2/y^3) = 1/y$ 。 $\Gamma^y_{yy} = \tfrac{1}{2}g^{yy}\partial_y g_{yy} = \tfrac{1}{2} y^2 \cdot (-2/y^3) = -1/y$ 。 其余分量全部为零。

测地线方程直接写出来： $\ddot x - \tfrac{2}{y}\dot x \dot y = 0$ 。 $\ddot y + \tfrac{1}{y}(\dot x^2 - \dot y^2) = 0$ 。

我拿一条竖直线来验证。取 $x = $ 常数，$y(t) = e^t$ 。此时 $\dot x = 0$ ，$\dot y = e^t = y$ ，$\ddot y = y$ 。代入第一个方程，$0 - 0 = 0$ 成立。代入第二个方程，$y + (1/y)(0 - y^2) = y - y = 0$ 也成立。验证通过，竖直线确实是测地线。

我算一段竖直线段的长度。从 $y = 1$ 走到 $y = 2$ ：$\int_1^2 \sqrt{1/y^2}\, dy = \int_1^2 dy/y = \ln 2 \approx 0.693$ 。你看，双曲距离和欧氏距离是对数关系。这正是 Poincaré 模型能在有限欧氏空间里装下无限双曲距离的原因。

具体数值算例：沿非测地线在球面上做平行移动#

取单位球面，标准度量是 $d\phi^2 + \sin^2\phi\, d\theta^2$ 。我沿着一条固定纬线 $\phi = \pi/3$ 平行移动一个切向量 $V$ 。这条线不是大圆，所以不是测地线。平行移动方程 $\nabla_{\dot\gamma} V = 0$ 针对 $V = V^\phi \partial_\phi + V^\theta \partial_\theta$ 且 $\dot\gamma = \partial_\theta$ 给出： $\dot V^\phi - \sin\phi\cos\phi \cdot V^\theta = 0$ 。 $\dot V^\theta + \cot\phi \cdot V^\phi = 0$ 。

把 $\phi = \pi/3$ 代进去：$\sin\phi\cos\phi = (\sqrt{3}/2)(1/2) = \sqrt{3}/4$ ，$\cot\phi = 1/\sqrt{3}$ 。于是方程变成 $\dot V^\phi = (\sqrt{3}/4) V^\theta$ ，$\dot V^\theta = -(1/\sqrt{3}) V^\phi$ 。

我假设初始时刻 $V^\theta = c$ 。接着推导：$\dot V^\theta = -V^\phi/\sqrt{3}$ ，两边再求导得到 $\ddot V^\theta = -\dot V^\phi/\sqrt{3} = -(\sqrt{3}/4)V^\theta/\sqrt{3} = -V^\theta/4$ 。这说明 $V^\theta$ 按 $\cos(t/2)$ 振荡。走完一整圈（$\theta$ 从 $0$ 到 $2\pi$ ），$V^\theta$ 的相位刚好转过 $\pi$ 。向量发生了旋转。具体来说，绕纬度 $\phi$ 转一圈的和乐角是 $2\pi(1 - \cos\phi) = 2\pi(1 - 1/2) = \pi$ （当 $\phi = \pi/3$ 时）。向量回来时正好转了 $\pi$ 。

这个结果和球冠上的高斯曲率积分完全吻合：$\int K\, dA = \int_0^{\pi/3}\int_0^{2\pi} \sin\phi\, d\theta\, d\phi = 2\pi(1 - \cos\pi/3) = \pi$ 。和乐角等于包围的曲率积分。这就是从局部曲率推出整体和乐的公式。

直观理解与反例：Levi-Civita 联络为何唯一#

联络 $\nabla$ 满足 度量相容，是指 $X\langle Y, Z\rangle = \langle \nabla_X Y, Z\rangle + \langle Y, \nabla_X Z\rangle$ 。它满足 无挠，是指 $\nabla_X Y - \nabla_Y X = [X, Y]$ 。Levi-Civita 定理说：同时满足这两条的联络有且只有一个。

为什么唯一？这两条条件一共给出六个方程（度量相容的循环置换贡献三个，无挠条件贡献三个）。六个方程刚好够代数求解 Christoffel 符号。你前面看到的公式就是这么推出来的。

我举一个反例来打破“随便一个合理的联络就是 Levi-Civita"的错觉。李群上的 Weitzenböck 联络定义为 $\nabla_X Y = 0$ （对左不变向量场而言）。它满足度量相容，但它的 挠率 是 $-[X, Y]$ 。所以无挠是一条硬性限制，不是自动成立的。在非交换李群上，Weitzenböck 联络和 Levi-Civita 联络确实不同。每个黎曼流形都同时拥有这两种联络。微分几何学家在实际工作中，必须清楚该用哪一个。

第三个算例：平坦环面与标准球面上的测地线#

平坦环面 $\mathbb{R}^2 / \mathbb{Z}^2$ 的曲率恒为零。在标准坐标下，所有 Christoffel 符号都为零。测地线就是投影到环面上的直线。从 $(0, 0)$ 出发、方向为 $(1, 0)$ 的测地线，经过时间 $1$ 就会闭合（对应第一个圆周的周期）。从 $(0, 0)$ 出发、方向为 $(1, \sqrt{2})$ 的测地线永远不会闭合。根据无理斜率的等分布定理，它会稠密地铺满整个环面。

对比单位球面：每条测地线都是大圆，经过时间 $2\pi$ 必定闭合。球面上 不存在 稠密测地线；环面上却有不可数多条。这是动力系统理论在几何流形上的直接体现：正曲率空间拥有刚性的测地线结构；拓扑非平凡的平坦空间则拥有丰富的轨道结构。

我做一个具体计算。在标准球面上，初始方向与 $\theta$ 轴夹角为 $\alpha$ 的测地线，其 Clairaut 常数 $\sin\phi \cos\alpha$ 保持不变。假设一条测地线在纬度 $\phi_0 = \pi/4$ 处水平擦过（此时 $\alpha = 0$ ），那么 Clairaut 常数就是 $\sin\pi/4 = \sqrt{2}/2$ 。这条测地线会被限制在 $\pi/4$ 到 $\pi - \pi/4 = 3\pi/4$ 的纬度带之间，像吊床一样来回振荡。这就是 Clairaut 关系式。它是旋转对称曲面上测地线常微分方程的一个首次积分。

第二个反例：不完备的度量#

挖掉原点的平坦平面 $\mathbb{R}^2 \setminus \{0\}$ 配上标准度量，它 不是 测地完备的。一条瞄准原点的直线，会在有限时间内跑出流形。Hopf-Rinow 定理说得很清楚：完备性等价于所有测地线都能无限延伸，等价于任意两点间的最短距离都能由某条测地线实现，也等价于流形作为度量空间是完备的。挖掉原点的平面把这四个等价条件全打破了。

我再看一个更极端的例子。Poincaré 圆盘模型下的双曲平面，度量是 $g = 4(dx^2 + dy^2)/(1 - x^2 - y^2)^2$ ，定义在开单位圆盘上。这个流形虽然嵌在有界区域里，但它是测地完备的。度量在边界附近趋于无穷大，把边界推到了无穷远。所以测地完备性跟嵌入空间的大小无关。它只关心测地线能不能在内蕴度量下一直延伸下去。

初学者常见误区#

第一项是张量变换，第二项是非齐次修正项。正是第二项把 Christoffel 符号和真正的张量区分开来。这也解释了为什么 $\Gamma$ 能在某些坐标系里（比如广义相对论里的局部惯性系）全为零，换一套坐标系就不为零。

第二个坑：把测地线方程和 $\int \sqrt{g(\dot\gamma, \dot\gamma)}\, dt$ 的 Euler-Lagrange 方程混为一谈。它们确实给出相同的测地线轨道，但 Euler-Lagrange 方程对参数化完全不变（任何参数化都是临界点）。而我前面写的测地线方程要求参数必须是 仿射 参数（也就是匀速参数）。两种视角在轨道上一致，在参数化上不同。

第三个反例：升降同构与指标错配陷阱#

升降同构 $\flat: TM \to T^*M$ 把向量 $X^i \partial_i$ 映成 1-形式 $X_i dx^i = g_{ij} X^j dx^i$ 。逆映射 $\sharp$ 用逆度量把 1-形式拉回向量场。它们互为逆映射，但前提是必须把正确的指标降下来或升上去。

代码里常见的一个 bug：直接写 $X_i = X^i$ ，理由是度量是 $\delta_{ij}$ 。在平坦空间的笛卡尔坐标下，$g_{ij} = \delta_{ij}$ ，分量确实相等。但在同一个平坦空间的球坐标下，度量矩阵出现了非平凡的对角元（$g_{\phi\phi} = 1$ ，$g_{\theta\theta} = r^2 \sin^2\phi$ ）。此时 $X_\phi \neq X^\phi$ 是常态。物理和机器学习代码里的分量运算，经常在这个细节上崩溃。张量必须严格追踪指标。

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

在 广义相对论 中，时空度量 $g_{\mu\nu}$ 的 Levi-Civita 联络直接定义了协变导数 $\nabla_\mu$ 。爱因斯坦方程全靠它。自由落体的粒子沿着测地线运动。我们感受到的“引力”其实是几何效应，全编码在 Christoffel 符号里。航天器绕大质量天体的轨道，就是直接对 Schwarzschild 度量下的测地线方程做数值积分。

在 机器学习 中，统计流形上的 Fisher 信息度量给出了自然梯度算法。所谓“自然梯度” $g^{ij}\partial_j L$ 就是关于度量的梯度。用它代替坐标梯度，往往能大幅加速训练。Fisher 度量的 Levi-Civita 联络直接出现在 K-FAC（Kronecker 因子化近似曲率）等二阶优化方法里。这些方法专门用来训练大规模神经网络。

在 形状分析 中，模掉参数化重排后的曲线空间是一个无穷维流形。这个空间配上黎曼度量后，其测地距离给出了一种形状比较度量。它对平移、旋转和参数化重排都不变。医学影像处理直接用这套理论做图谱构建（也就是对解剖形状做平均）。

带着更清晰的问题回顾“下一步”#

第 11 篇文章会引入黎曼曲率张量及其对称性。为了做好准备，你可以先思考这三个问题：

（1）黎曼张量衡量的是绕小圈做平行移动后偏离恒等映射的程度。和乐是个整体对象，为什么黎曼张量却是个 张量？ （2）黎曼张量的对称性把独立分量个数从 $n^4$ 砍到 $n^2(n^2-1)/12$ 。当 $n=4$ （时空）时，独立分量是 20 个。这些对称性到底从哪来的？ （3）截面曲率是切空间里二维平面上的函数，它完全决定了黎曼张量。Ricci 张量是黎曼张量的迹；标量曲率是 Ricci 张量的迹。每一步都在丢信息。为什么这些降维后的量依然好用？

你现在已经掌握了平行移动。第 11 篇文章会把它变成一个活在每一点的张量。读那篇文章时，你可以一直问自己：“从整体和乐里提取有限维代数工具的正确姿势是什么？”答案就是黎曼张量。它是弯曲空间几何的心脏。

最后一个算例：作为李代数取值积分的和乐#

取单位球面 $S^2$ 。在北极附近画一个边长为 $\epsilon$ 的小测地三角形。把一个切向量沿着三角形边界平行移动一圈。和乐是 $SO(2) \cong U(1)$ 里的一个旋转，可以用一个角度参数化。根据 Gauss-Bonnet 定理，这个角度等于三角形面积乘以 $K = 1$ 。所以角度量级是 $O(\epsilon^2)$ 。

我算具体数值。三角形顶点取在 $(\phi=\epsilon, \theta=0), (\phi=\epsilon, \theta=2\pi/3), (\phi=\epsilon, \theta=4\pi/3)$ 。面积近似等于球冠面积减去三个细窄的边角料。当 $\epsilon = 0.1$ 时，球冠面积是 $2\pi(1 - \cos 0.1) \approx 2\pi \cdot 0.005 \approx 0.0314$ 。减掉的边角料很小。在这个尺度下，三角形面积大约是 $0.027$ 。所以和乐角大约是 $0.027$ 弧度。

我直接计算验证。沿着纬线 $\phi = \epsilon$ 平行移动，$\theta$ 走过 $2\pi/3$ ，向量旋转的角度大约是 $(2\pi/3)(1 - \cos\epsilon) \approx (2\pi/3) \cdot \epsilon^2/2$ 。走完三条边：$3 \cdot (2\pi/3)(\epsilon^2/2) = \pi \epsilon^2$ 。代入 $\epsilon = 0.1$ ：$\pi \cdot 0.01 = 0.0314$ 。两个结果吻合（近似吻合，我忽略了拐角处的修正项）。

放到曲率 2-形式的框架下（下篇文章会讲），这就是 $R$ 在三角形上的积分。在这个量级下，积分等于和乐。小圈上的关系 $\text{holonomy} = \int F$ 通过类 Stokes 公式成立。这正是 Ambrose-Singer 定理在起作用。

又一个实用算例：球面上的测地距离#

半径为 $R$ 的球面上，两点纬度为 $\phi_1, \phi_2$ ，经度为 $\lambda_1, \lambda_2$ 。它们的大圆距离由球面余弦定理给出： $d = R \arccos(\sin\phi_1 \sin\phi_2 + \cos\phi_1 \cos\phi_2 \cos(\lambda_2 - \lambda_1))$ 。

我算一个具体例子。纽约（$40.7°N, 74.0°W$ ）到伦敦（$51.5°N, 0.1°W$ ）。取 $R = 6371$ km： $\sin(40.7°)\sin(51.5°) + \cos(40.7°)\cos(51.5°)\cos(73.9°) = 0.652 \cdot 0.783 + 0.758 \cdot 0.622 \cdot 0.276 = 0.510 + 0.130 = 0.640$ 。 $\arccos(0.640) = 0.876$ rad。距离：$6371 \cdot 0.876 \approx 5580$ km。这和实际飞行距离的误差不到 $1\%$ 。

这就是常曲率球面上测地线方程的闭式解。高对称性让它成为可能。对于没有对称性的黎曼流形，测地线常微分方程必须数值积分。快速测地距离算法（快速行进法、热方法）是网格处理和计算机图形学的核心。这些算法要在三角剖分曲面上用 $O(n \log n)$ 时间算出距离。数学内核没变：解 $\nabla_{\dot\gamma}\dot\gamma = 0$ ，积分长度。工程内核是：在网格上算，还要满足精度约束。

我再给一个数值例子：指数映射 $\exp_p: T_pM \to M$ 和球面上的割迹。在单位球面上，北极处的指数映射把切向量 $v \in T_N S^2$ （长度 $|v|$ ）映到沿 $v/|v|$ 方向测地线上角距离为 $|v|$ 的点。这个映射在 $T_N S^2$ 中半径为 $\pi$ 的开球上是微分同胚。但当 $|v| = \pi$ 时，整个边界圆周全部坍缩到南极这一个点。北极的割迹就是南极这一个点。测地线在这里首次失去最短性。单射半径是 $\pi$ 。对一般的黎曼流形，单射半径是一个基本不变量。Bishop-Gromov 体积比较定理用它来控制体积增长。在复杂流形上数值计算单射半径属于前沿课题。但在球面上，它是精确的。

下一步#

我们建立了完整的工具栈：度量给出长度和角度，Levi-Civita 联络给出微分向量场的标准方式，平行移动能在不同点比较向量，测地线扮演直线的角色，指数映射把切空间局部映回流形，全纯性把环路效应打包成一个李群，Hopf-Rinow 把"完备性"的所有合理理解打通。

但有一件事我们一直在回避：为什么球面和平面"几何上不同"？Berger 分类里那么多全纯群，每一个对应一种"内蕴弯曲"，可我们还没度量它。下一篇要补上这个洞。我们要定义Riemann 曲率张量 $R(X, Y)Z$ ，它度量"沿无穷小平行四边形平行移动一圈，向量旋转了多少"。这就是 Levi-Civita 联络在告诉我们空间到底"多弯"。从那里出发，我们会取迹得到 Ricci 曲率（决定 Einstein 方程），再取一次迹得到标量曲率（一个数字概括局部弯曲程度）。

这是一个分层故事：曲率张量 → Ricci → 标量。每一步取迹都丢失信息但保留了某些重要性质。下一篇文章把这个故事讲完，并展示为什么"截面曲率为常数"的流形（球面、平面、双曲空间）会成为基础例子。