4.2 距离结构与度量拓扑

4.2 距离结构与度量拓扑

摘要：黎曼度量先给出「每一小步多长」，两点的距离则定义为连接曲线长度的下确界。本节走完这条折算流水线，验证距离公理，说明距离诱导的拓扑与流形原拓扑一致，随后引入测地球、割点与单射半径——测地线从「驻定」升级为「全局最短」的账目边界，并以球面与平环面为案例核算割迹。

距离不是天赋，是折算出来的

欧氏空间里两点距离自带公式（勾股定理），黎曼流形上没有这种天赋——但我们有更好的东西：每条曲线的长度可测（第 1.3 节的弧长积分）。折算方案顺理成章：

用「一切可行路线的最短者」定义距离，下确界未必取到（所以暂用 inf 而非 min），这正是霍普夫里诺定理的用武之地：完备流形上最短测地线存在，inf 变 min，距离由测地线实现。

逐条验收距离公理，每条都对应一段几何：非负性与对称性由弧长积分直接继承；分离性 d(p,q) = 0 \Rightarrow p = q 依赖度量正定（切向长度非零，局部附近长度有下界）；三角不等式来自「经过中转点的路线必是可行路线之一，而 inf 只会更小」。三条全部从度量张量的性质折算而来——流形由此升格为度量空间，分析学的全套装备（开球、收敛、柯西序列、紧性）立即到位。第 4.1 节的「度量完备」正是装备这套距离后谈的完备。

还需确认一件微妙的事：距离定义出的开球 B(p, r) 是不是流形原来的开集？答案肯定——法坐标卡里测地球近似欧氏球，两套开集互相包含。度量拓扑与流形拓扑一致，两本账不会打架。这个「一致性」看似例行公事，实为比较定理与刚性定理的隐形地基：谈「闭有界集紧致」时，有界用的是距离账本，闭合用的是拓扑账本，账本一致结论才合法。

测地球与割点：最短的有效期

以 p 为心、半径 \rho 的测地球即 B(p, \rho)。小半径时它由指数映射从切空间圆盘平摊而来，边界是测地圆，内部每点到 p 的最短连线唯一且是径向测地线——一切美好。但半径增大后会出现两类「到期账」。

第一类到期：割点。 球面上从北极向南的经线在到达南极之前一直是最短线，到南极点为止：过南极后继续沿同一大圆走，路线仍是测地线、仍驻定，却不再最短（绕远路了）。南极称为北极的割点。一般定义：沿测地线 \gamma_v 的第一个「从此以后不再最短」的时刻 t_0 对应的点称为割点；全体割点构成割迹 \mathrm{Cut}(p)。单射半径 \mathrm{inj}(p) 是到最近割点的距离——指数映射在这么大的圆盘内仍是微分同胚，测地线账本在这段范围内每笔可信。

第二类到期：共轭点。 沿测地线存在非零雅可比场在端点归零的点（雅可比场是测地线束的「变分速度」，满足曲率驱动的方程 \nabla_{\dot\gamma}\nabla_{\dot\gamma} J + R(J, \dot\gamma)\dot\gamma = 0）。共轭点是「无穷多条邻近测地线重新会师」的位置，指数映射在该处雅可比退化。两类到期的关系有定理：割点要么是共轭点，要么存在两条等长最短测地线同时抵达——最短性的失守，要么因为对手路线追平，要么因为测地线束自己聚焦。

球面与平环面的割迹核算

两份核算案例

球面 S^2：北极的割迹是单个南极点，单射半径 \pi（单位球）。理由对称而干净：每条经线长 \pi，到南极时全体经线会师，此后任何「继续直走」的路线都有等长的对手（另一侧的经线），最短性失守。测地球 B(p, \pi) 几乎覆盖全球，但在割点处指数映射把整个「切空间半径 \pi 的圆周」压成一点——单射性在此崩溃。

平环面（第 1.3 节的平坦度量 d\theta^2 + d\varphi^2，两侧周期 2\pi）：从一点出发，\theta 方向的测地线在半周 \pi 处与「反向出发的同伴」迎头相撞，\varphi 方向同理。割迹是一个矩形对接图形，单射半径 \pi。平环面处处 K=0 却单射半径有限——曲率不是唯一的「到期原因」，拓扑的多连通同样收割最短性，这条案例直通第 4.4 节拓扑与几何的纠缠。

测地视角下的距离地图

把两份案例与第 3.4 节的曲率词典拼起来，距离地图的读法成型：小范围内（单射半径以内）距离由唯一测地线实现，几何完全由曲率逐点决定；跨过割迹后，多路线竞争、最短性易主，距离函数出现「折射」式的不可微点。数值几何算法（测地距离的快速行进法、流形上的热核方法）都对割迹高度敏感——单射半径通常充当步长上限的护栏。这张距离地图也是第六章机器学习应用里「测地距离学习」的几何底稿：在数据流形上估计距离，本质是在估计这张图的局部曲率与全局割迹。

⚠️ 常见坑：把单射半径与「曲率半径」混为一谈。二者都限制局部坐标的良好范围，但机理不同——曲率半径由 |K| 的上界决定（法坐标里的伸缩误差），单射半径还叠加割点效应。曲率为零的平环面单射半径照样有限；反例成立，两概念必须分开记账。

数值视角：测地距离的计算现场

距离地图不只在理论里，也是数值几何的日常。快速行进法在网格上解「程函方程」|\nabla d| = 1（度量加权版本），从源点逐步扩散出距离场——它在医学影像配准、测地主动轮廓线、三维网格上的最短路计算中都是主力。对这类算法，本节的两处理论结果直接变成工程约束：其一，距离场在割迹处不可微（多路线竞争的「折射」），行进波前在割迹处自相交，算法必须处理激波式的多值区——理论里的一句话「割点处指数映射丧失单射性」，在代码里就是「波前自交检测」分支；其二，单射半径充当可信半径，超出它以后单条测地线的回溯不再给出真实最短路，网格步长与查询半径都应限制在估计的单射半径内。反过来，距离场的机器输出也能反哺理论——对采样得到的数据流形（第 6.3 节），估计的距离场是重建度量与割迹的唯一原料，几何与算法在此互为镜子。

本节要点回顾

• 距离折算流水线：度量张量 → 曲线长度 → 下确界距离；完备时 inf 变 min，由测地线实现；
• 距离公理逐条从度量正定性与 inf 结构折算而来，流形升格为度量空间且两套拓扑一致；
• 割点与割迹：最短性的到期账；到期原因两类——对手路线追平，或测地线束聚焦（共轭点）；
• 单射半径：指数映射的可信半径，数值算法的步长护栏；球面 \pi、平环面 \pi、平面无穷；
• 平环面警示：零曲率 + 有限单射半径，曲率不是到期的唯一原因，拓扑同样收割最短性。