4.3 比较定理

4.3 比较定理：拿标准空间当尺子

摘要：比较定理的思路是给弯曲空间配三把标准尺——正曲率的球面、零曲率的欧氏空间、负曲率的双曲平面——只要知道曲率符号的范围，就能断定真实空间的三角形、圆周、体积必然被尺子夹在哪个区间。本节给出三把尺子的读数表、Toponogov 三角形比较与 Rauch 比较的思想，并推导正负曲率各自的两条「封印定理」。

拿什么当尺子？

直接问「一个曲率介于半与二之间的空间长什么样」，没人答得上来——曲率逐点变化的流形千姿百态。比较定理换了问法：不问它长什么样，只问它比尺子大还是小。三把标准尺是第 3.4 节的三位老熟人，各自的常数曲率为 k（可正可负可为零），读数全部有闭式公式：

测地圆周长（半径 \rho）：

测地球面积 A_k(\rho) 与体积 V_k(\rho) 是对 C_k 积分的表达式（零曲率退化为 \pi\rho^2 与 \tfrac{4}{3}\pi\rho^3 的熟悉版本）。三个公式建议亲手各验一个特例：k = 1、\rho = \tfrac{\pi}{2} 时周长 2\pi\sin\tfrac{\pi}{2} = 2\pi——正是赤道，与第 3.4 节球面站读数严丝合缝。

读数表本身已经是一部预言书：正曲率让周长比欧氏短（空间「收口」），负曲率让周长比欧氏长（空间「喇叭口」）。比较定理的全部内容，就是把这张表从「常数曲率空间」推广到「曲率有上下界的任意空间」。

三把尺子的读数对照

三角形比较：Toponogov 定理

测地三角形由三条测地线段围成。Toponogov 定理（曲率下界版）：若完备流形截面曲率处处 \geq k，则其中任何测地三角形的各角，不小于曲率为 k 的模型空间里「同边长三角形」的对应角。翻译成读数：曲率 \geq 1 的空间里，边长给定的三角形内角和不会比单位球面上的同边长三角形小。曲率上界版（需局部条件）方向相反。

这个定理的妙处在于边长可验：模型空间里的对照三角形可以精确算出来（球面三角学、双曲三角学都有边角公式），真实空间只要曲率有界，三角形行为就被夹逼。第 1.1 节「角盈定律」是它在二维的最小版本；宇宙学里「测量星系三角形内角和」的太空实验，用的正是这把尺子——测出内角和，反推宇宙曲率符号，这正是第六章宇宙学现场的主操作。

Rauch 比较定理走雅可比场路线，结论同构：曲率大的空间里，测地线束被更快地拉拢，长度扰动 J 被压得更小。它与 Toponogov 互为表里——Rauch 管无穷小（线束间距），Toponogov 管有限（三角形全貌），两者由积分关联。

正曲率封印：邦内最大直径定理

定理：完备黎曼流形若截面曲率处处 \geq k > 0，则其直径 \leq \tfrac{\pi}{\sqrt{k}}；特别地，它必紧致。

证明思路是第一变分公式的经典应用：若某两点距离超过 \tfrac{\pi}{\sqrt{k}}，连接它们的最短测地线（Hopf-Rinow 保障存在）上取中点，构造一条「绕过中点的竞争路线」，用曲率下界控制第二变分的符号，证明竞争路线更短——与最短性矛盾。读法：正曲率是收口的力，曲率越大收得越急；单位球面（k=1）直径恰为 \pi，等号被极端对称的空间取走。定理的推论同样有力：正曲率下界 + 完备 = 空间必然「有限大」，宇宙若属此类，它是有限无界的——爱因斯坦的「球面宇宙」直觉正是这条定理的宇宙学投影。

负曲率封印：卡坦哈达马定理

定理：完备、单连通、截面曲率 \leq 0 的流形，对每点 p，指数映射 \exp_p: T_pM \to M 是微分同胚；特别地，M 微分同胚于 \mathbb{R}^n，且任意两点有唯一测地线相连。

机理：负曲率让测地线束彼此散开（Rauch 比较的反向读数），永无聚焦，共轭点绝迹；单连通又消灭了「多路线竞争」（同伦类的存在），割点随之消失。于是切空间这版「平面地图」无缝铺满全空间——空间拓扑被强制拉平成最朴素的形态。对比第 4.2 节的平环面：曲率同样为零，但不单连通，拓扑仍是环面——卡坦哈达马对它沉默，正是「单连通」条件在把守大门。两案例并读，曲率与拓扑的分工第一次清晰：负曲率管「不许有柄」，拓扑自己管「已有的柄」。

两把封印的合读

正端封住「无限大」，负端封住「复杂拓扑」——两端都不许的空间（曲率混合变号）则两把封印同时失效，这正是整体几何难题聚集的地方，也催生了下一节从积分总量下手的 Gauss-Bonnet 路线与第六章的里奇流纲领。

💡 关键直觉：比较定理把「不可解的方程」换成「可查的表格」。工程与物理现场能拿到的往往只是曲率的界（由测量误差决定），比较定理恰好只吃界不吃细节——它是曲率信息不完整时仍然坚挺的那类定理，也是宇宙学三角测量、流形学习稳定性分析背后的公共支柱。

数量级演练：一把尺子的实际手感

标尺不是背完公式就完事，拿真实数字过一遍才有手感。设某空间截面曲率下界为 k = 0.01（每平方米）：Bonnet 定理立即给出直径上限 \pi/\sqrt{0.01} \approx 31.4——不需要任何其他信息，「空间跨度不超过三十出头」这一整体结论已经落袋。再测一个半径为 3 的测地圆：欧氏周长应为 2\pi \times 3 \approx 18.85，而曲率下界 0.01 的标尺给出周长上界 2\pi \tfrac{\sin(0.3)}{0.1} \approx 18.57，短了约百分之一点五——正曲率的收口在这个尺度上已经可测。把半径放大到 10：上界变为 2\pi \tfrac{\sin 1}{0.1} \approx 15.9，比欧氏账面 62.8 短了四分之三——收口效应随半径迅速放大。这组数字演示了比较定理的实战用法：曲率下界给的是不等式，不是等式，真实空间的周长可以比上界更小，但绝不能更大；天文测量里「测三角形内角和定宇宙曲率」的置信区间，正是沿这条不等式链反推出来的。

本节要点回顾

• 三把尺子：球面、欧氏、双曲的周长体积公式闭式可查，正弦/线性/双曲正弦三种增长模式；
• Toponogov 三角形比较：曲率下界夹逼内角和，角盈定律与宇宙三角测量的总后台；
• Rauch 比较：曲率控制测地线束的拢散，与 Toponogov 表里呼应；
• 邦内定理：正曲率 + 完备 ⇒ 直径有界 ⇒ 紧致，「有限无界宇宙」的法理来源；
• 卡坦哈达马定理：非正曲率 + 单连通 ⇒ 拓扑被拉平为 \mathbb{R}^n，平环面反例点破单连通的守门作用。