从局部径向长度到全局测地线证书

本终点把三件事分开验算：一条径向曲线为什么最短，远端两点之间为什么存在最短连接，以及统一正曲率怎样限制所有最短连接的长度。输入既有完备空间，也有带缺口的空间；输出必须注明结论用到了哪一项条件。

返回学习路线

任务与交付

依次完成以下五份证书：

半径2圆球上，指数映射在一个具体向量处的径向和角向微分，以及中心到目标点的最短长度
周长6的平坦圆柱上，两个端点的全部最短提升，及一个稍微移动终点后的唯一性判断
缺点平面上的长度下确界和不取到证明，再用开圆盘说明最短连接存在仍不能推出完备
四维流形在 $\operatorname{Ric}\ge(27/4)g$ 下的直径界，以及声称长度为 $\pi$ 的极小测地线为何不可能存在
实射影平面与抛物面的边界检查：有限基本群可以非平凡，处处正曲率也可能没有统一正下界

三篇正式入口为Gauss径向正交引理、Hopf–Rinow定理和Bonnet–Myers定理。已有的测地线、指标形式和万有覆叠提供沿途工具。

证书一：球面中保持了哪些长度

输入与微分

取 $S_2^2\subset\mathbb R^3$ 上的北极 $p=(0,0,2)$ ，在切平面选

v=(\pi,0),\qquad w=(0,1),\qquad q=(2,0,0).

指数映射的明确公式给出

\exp_p(v)=q.

径向单位向量为 $e_1=(1,0)$ ，在此处

(d\exp_p)_v(e_1)=(0,0,-1), \qquad (d\exp_p)_v(w)=\left(0,\frac2\pi,0\right). \tag{1}

所以

\left|(d\exp_p)_v(v)\right|=\pi, \quad \left\langle(d\exp_p)_v(v),(d\exp_p)_v(w)\right\rangle=0, \quad \left|(d\exp_p)_v(w)\right|=\frac2\pi.

径向长度和径向内积完全符合Gauss引理，角向单位向量却被缩短。这是一份具体的“径向正交成立，但整体微分不是等距”的证书。

排除离开正常球的竞争曲线

指数映射在 $|u|<2\pi$ 内一一对应。取正常球半径 $R=3\pi/2$ ，目标满足 $|v|=\pi<R$ 。留在球内的任意连接由径向分解得到长度至少 $\pi$ ；离开球的连接在第一次出球前就已经走了至少 $3\pi/2$ 。

因此

d_{S_2^2}(p,q)=\pi,

且最短几何轨迹唯一。常速参数化为

\gamma(t)=\bigl(2\sin(\pi t/2),\,0,\,2\cos(\pi t/2)\bigr), \qquad0\le t\le1.

它的速度恰为 $\pi$ 。

把初速度长度改为 $2\pi$ 后，所有初始方向都到达南极。此时径向内积恒等式仍成立，但角向微分为零、正常坐标失去单射性，半大圆最短连接不再唯一。

证书二：圆柱上枚举全部最短提升

把所有竞争路线还原到平面

令

C=\mathbb R^2/(6\mathbb Z\times\{0\}), \qquad p=[(0,0)],\quad q=[(3,4)].

每条从 $p$ 到 $q$ 的曲线，在指定起点 $(0,0)$ 后都有唯一平面提升，其终点必为

q_m=(3+6m,4),\qquad m\in\mathbb Z.

覆盖映射局部等距，故曲线与提升长度相同。在固定 $m$ 的提升类中，直线段最短，长度平方为

L_m^2=(3+6m)^2+16. \tag{2}

这不是只抽查几条候选：所有连接都属于某个整数 $m$ ，因此对式(2)求最小值覆盖全部路线。

最短路线及次短间隙

只有 $m=-1,0$ 使 $|3+6m|=3$ ，两条长度均为5；对其余整数， $|3+6m|\ge9$ ，故长度至少为 $\sqrt{97}$ 。全部最短常速连接为

\gamma_-(t)=[(-3t,4t)], \qquad \gamma_+(t)=[(3t,4t)], \qquad0\le t\le1. \tag{3}

两者终点相同，但内部轨迹不同。它们的长度均为5，下一档长度为 $\sqrt{97}$ 。

圆柱测地线来自完整直线，所以空间测地完备。Hopf–Rinow保证全局极小连接存在；式(2)则具体求出了所有极小连接。以 $p$ 为中心的正常球半径至多为3，目标距离5，不能只把“小球内径向唯一”搬过来。

移动终点，唯一性如何改变

将终点改为 $q_\delta=[(3+\delta,4)]$ ，其中 $-3<\delta<3$ 。最近的横向提升距离为 $3-|\delta|$ ，所以

d_C(p,q_\delta)=\sqrt{(3-|\delta|)^2+16}. \tag{4}

当 $\delta<0$ ，唯一最短提升取 $m=0$ ；当 $\delta>0$ ，取 $m=-1$ ；只有 $\delta=0$ 时出现两条最短连接。例如 $q_{-1}=[(2,4)]$ 的最短长度为 $\sqrt{20}$ ，下一档为 $\sqrt{32}$ 。

这也说明，最短路线的选择可以在端点移动时突然换支，尽管距离函数始终连续。

证书三：下确界、取到与完备性

缺点平面的不取到证书

在 $\mathbb R^2\setminus\{0\}$ 中，连接 $(-1,0)$ 与 $(1,0)$ 。第 $j$ 条候选折线经过 $(0,1/j)$ ，其长度平方及误差为

L_j^2=4+\frac4{j^2}, \qquad L_j-2=\frac{2}{j^2\left(\sqrt{1+j^{-2}}+1\right)} <\frac1{j^2}. \tag{5}

每条长度严格大于2，且趋于2。另一方面，任何平面曲线的长度至少为端点的欧氏距离2。因此内蕴距离确为2。

若存在长度恰为2的连接，欧氏长度取等要求其轨迹沿连接端点的线段单调前进，必经过原点。这不属于空间，所以不存在极小连接。程序能够验证任意有限多个 $L_j^2$ 和误差不等式；“不存在取等曲线”的结论仍由上述几何等号条件证明。

开圆盘对逆命题的反证

开单位圆盘中，任意两点之间的线段都留在圆盘内，因此总有唯一最短连接。但

z_j=(1-1/j,0),\qquad j\ge2,

是没有内部极限的Cauchy列。从原点向右的单位速度测地线 $\gamma(t)=(t,0)$ 也只能在 $-1<t<1$ 内存在。

于是下列判断必须分别填写：

空间	度量完备	任意两点存在极小连接	任意两点唯一极小轨迹
圆球	是	是	否，对跖点例外
平坦圆柱	是	是	否，半周位置出现两支
缺点平面	否	否	不具备普遍存在性
开凸圆盘	否	是	是

表中最后一行尤其重要：存在性和唯一性同时成立，也不必推出空间完备。

证书四：正Ricci的长度禁区

下界输入与精确积分

给定维数 $n=4$ ，假设连通、无边界、完备，且

\operatorname{Ric}(v,v)\ge\frac{27}{4}|v|^2.

因为 $(n-1)k=27/4$ ，应当取 $k=9/4$ ，不能把 $27/4$ 直接当成 $k$ 。Bonnet–Myers给出

\operatorname{diam}(M)\le\frac{2\pi}{3}, \qquad M\text{紧},\qquad |\pi_1(M)|<\infty. \tag{6}

如果提交一条声称极小、长度为 $L=\pi$ 的测地线，沿它取三个正交平行方向及 $f(t)=\sin t$ 。三个指标形式之和满足

\sum_{i=1}^3I(fE_i,fE_i) \le\frac{3\pi}{2}\left(1-\frac94\right) =-\frac{15\pi}{8}<0. \tag{7}

极小曲线的各项都应非负，式(7)因此否定这个声称。无需解出三条Jacobi方程，也无需定位第一共轭点。

无量纲化与缩放迁移

令

s=\frac{L\sqrt k}{\pi}>0.

式(6)背后的指标上界可写为

\sum I\le\frac{(n-1)\pi\sqrt k}{2} \left(\frac1s-s\right). \tag{8}

因此 $s>1$ 进入严格负区； $s=1$ 只给零上界，不能排除极小； $s<1$ 时，这一项测试不能证明曲线已经最短。

本题 $s=3/2$ ，括号为 $-5/6$ ，恢复式(7)。半径 $2/3$ 的圆球 $S^4_{2/3}$ 恰满足同一Ricci下界，对跖点距离为 $2\pi/3$ ，说明等号可达到。若把度量乘以9，长度乘3， $k$ 除以9，直径界相应变成 $2\pi$ 。

证书五：拓扑与点态曲率边界

两个纤维点已经足够否定单连通

标准 $\mathbb{RP}^2$ 的万有覆叠为 $S^2\to\mathbb{RP}^2$ ，每条纤维为 $\{p,-p\}$ ，所以其基本群有两个元素。它满足 $k=1$ 的条件，却不是单连通。

以 $p=(1,0,0)$ 、 $q=(3/5,4/5,0)$ 为单位球面代表，

d_{\mathbb{RP}^2}([p],[q])=\arccos(3/5).

把 $q$ 换成 $-q$ 不应改变答案。若选正交代表，则距离达到 $\pi/2$ ，给出射影平面的精确直径。与通用界 $\pi$ 比较，可见定理并未声称所有空间都取等。

抛物面中寻找一个低于候选下界的点

抛物面 $z=x^2+y^2$ 完备，但

K(r)=\frac4{(1+4r^2)^2}, \qquad K(1)=\frac4{25},\quad K(2)=\frac4{289},\quad K(10)=\frac4{160801}.

它处处正曲率，同时非紧。给任意候选 $k>0$ ，选正整数 $N$ 使 $4kN^4>1$ ，则

0<K(N)<\frac1{4N^4}<k. \tag{9}

这种 $N$ 可不断加倍找到。它是一份反驳“ $k$ 为统一曲率下界”的有限有理证书；对于每个给定 $k$ 都能给出一个明确反例点。

复算程序与验收

下载标准库复算程序；查看确定性结果。程序只在显式传入输出参数时写文件：

python foundations-global-geodesic-certificates.py --output results.json
python -O foundations-global-geodesic-certificates.py --output results-optimized.json

程序用有理数检查圆柱整数提升、全部最近分支、折线长度平方、曲率下界反证及指标形式的无量纲符号。另用带容差的浮点诊断检查球面指数映射的微分、有限差分与三角积分；这些诊断与有理证书分栏输出，不把有限采样称为定理证明。

验收时需要同时提交条件、结论与证据。例如圆柱证书应包含所有整数提升的最小化理由，缺点平面应包含不取到证明，Ricci证书应保留 $n-1$ 及 $L/2$ 两个因子。只填一个数值距离，无法回答存在性、唯一性和定理适用范围。

任务与交付 ​

证书一：球面中保持了哪些长度 ​

输入与微分 ​

排除离开正常球的竞争曲线 ​

证书二：圆柱上枚举全部最短提升 ​

把所有竞争路线还原到平面 ​

最短路线及次短间隙 ​

移动终点，唯一性如何改变 ​

证书三：下确界、取到与完备性 ​

缺点平面的不取到证书 ​

开圆盘对逆命题的反证 ​

证书四：正Ricci的长度禁区 ​

下界输入与精确积分 ​

无量纲化与缩放迁移 ​

证书五：拓扑与点态曲率边界 ​

两个纤维点已经足够否定单连通 ​

抛物面中寻找一个低于候选下界的点 ​

复算程序与验收 ​