第四章 整体黎曼几何

第四章 整体黎曼几何：从一砖一瓦到全图报告

章节摘要：前三章的测量都在「一点附近」进行，本章把账本汇总成整份空间报告。完备性回答「测地线能不能永远走下去」；度量诱导的距离把流形变成度量空间，Hopf-Rinow 定理把两者铆死；比较定理拿球面与欧氏空间当标尺，从曲率符号读出全空间的行为约束；Gauss-Bonnet 与刚性定理则展示曲率如何在全局层面对拓扑说话。读完本章，你将理解「曲率符号 + 完备性」这组入口数据如何决定一份空间的命运。

学习目标

1. 能给出测地完备与度量完备的定义，并叙述 Hopf-Rinow 定理的四条等价结论；
2. 能解释度量距离 d(p, q) = \inf L(\gamma) 的定义流程，以及它为何自动满足距离公理；
3. 能叙述 Bonnet 最大直径定理与 Cartan-Hadamard 定理，说明正负曲率各自封住了什么可能性；
4. 能写出 Gauss-Bonnet 公式，并计算球面、环面的全曲率积分，解释欧拉示性数的出场；
5. 能用比较定理的标尺法判断：正曲率空间里测地圆周比欧氏的小意味着什么。

核心概念速览

金句：局部几何决定一时走向，完备性决定能走多远，比较定理决定与标尺的差距，拓扑则在总量上收账。

子章节导航

• 第一节 完备性与霍普夫里诺定理：测地完备与度量完备两个定义、 Hopf-Rinow 的等价链条、不完备现场的病案（去心平面、开区间），以及「最短测地线存在」这枚最实用的果实。
• 第二节 距离结构与度量拓扑：由弧长下确界定义距离的完整流程、距离诱导拓扑与原拓扑的一致性、割点与割迹——测地线从「驻定」升级为「最短」的有效范围。
• 第三节 比较定理：Rauch 与 Toponogov 比较的标尺法思想，Bonnet 最大直径定理与 Cartan-Hadamard 定理的正负曲率封印，三角形比较的具体读法。
• 第四节 曲率与拓扑的对谈：Gauss-Bonnet 公式、欧拉示性数、球面定理与里奇流直达庞加莱猜想的路线图——「形状由曲率判决」的三个层级。

子章节之间的逻辑关系

本章四节是层层递交的报告链：第一节立卷宗（空间是否完备），第二节绘制距离地图（完备性使距离与测地线互相锁定），第三步用标尺读出约束（与模型空间比较），第四步归档判决（拓扑层面的总结论）。

完备性(4.1) → 距离结构(4.2) → 比较定理(4.3) → 刚性与拓扑(4.4)
    │             │                │                │
 测地延拓     inf 弧长定义      正负曲率封印     高斯博内总账
    └── 霍普夫里诺铆死两者 ──┘      │                │
                       最短测地线存在 → 割点理论(4.2) → 球面定理(4.4)
​

前置知识与后续延伸

前置：第三章全部（曲率张量、截面曲率、测地线方程）；指数映射的概念在本章第一节现场引入。第五节所需的变分法工具已在 3.3 节练过。

延伸：第五章的三种广义度量结构都要在本章的完备性框架下讨论（洛伦兹情形的完备性甚至与因果性纠缠）；第六章几何分析的一切演化方程都以本章的整体定理为收敛目标；宇宙学「宇宙是否有限无界」的问题，正是本章比较定理的直接应用现场。

定理地图与使用要诀

使用要诀有三条。先核对前提清单，五个定理的误用高发区全在前提缺项——上表最右列即历年作业的翻车实录；再分层作答，「曲率管局部、完备管范围、拓扑管总量」三句话先定位问题属于哪层，再选定理；最后不忘反例，平环面（零曲率 + 有限单射半径 + 非平凡拓扑）一个反例同时检验三条定理的边界，值得随身携带。