4.1 完备性与 Hopf-Rinow 定理 第四章:整体黎曼几何 4.1 完备性与 Hopf–Rinow 定理:测地流的疆界、距离结构的统一性与几何刚性的第一道分水岭 倘若将黎曼流形比作一片可被脚步丈量的大地,那么它的“边界”究竟在何处?是某条测地线突然断裂、戛然而止?还是两点之间虽近在咫尺,却找不到任何最短路径?又或者,一个序列看似正朝着某个方向收敛,却在流形内部“凭空消失”,仿佛坠入几何的虚空?这些问题,初看属于微分几何的局部行为——毕竟测地线由常微分方程定义,局部存在唯一性早已由Picard–Lindelöf定理保障;