4.1.2 度量空间完备性等价

文档摘要

4.1.2 度量空间完备性等价在微分几何与黎曼流形的数值实现中，完备性（completeness）从来不是一纸抽象定义——它是一道必须被“编译通过”的运行时断言，是梯度下降不飞向无穷远的保险丝，是测地线积分器拒绝发散的硬性边界，更是我们构建可信赖几何机器学习模型的底层契约。当教科书将 Hopf-Rinow 定理优雅地写成 “设 $(M,g)$ 为连通黎曼流形，则下列等价： (i) $M$ 是度量完备的（即 $(M,dg)$ 作为度量空间完备）； (ii) $M$ 是测地完备的（即任意单位切向量 $v \in Tp M$ 的测地线 $\gammav(t)$ 可延拓至 $t\in\mathbb{R}$）； (iii) $M$ 中任意有界闭集是紧致的。