零高斯曲率与平面展开坐标

形式陈述

光滑二维 Riemann 度量在一点附近具有平面局部等距坐标，当且仅当它的高斯曲率在某个该点邻域恒等于零。这里“平面坐标”指存在局部微分同胚 $D=(x,y)$ ，满足

g=dx^2+dy^2. \tag{1}

这既适用于三维中正则曲面的诱导度量，也适用于尚未给出任何三维实现的抽象二维度量。只在一个点 $K(p)=0$ 不够； $K\equiv0$ 不要求曲面形算子为零。

更具体地，若 $U\subset\mathbb R^2$ 连通且单连通， $g$ 光滑正定且 $K\equiv0$ ，则存在全域光滑映射 $D:U\to\mathbb R^2$ 满足式 (1)，称为平面展开映射。它处处为局部微分同胚，但不保证全域单射。固定参数域的定向后，可取 $D$ 保向；两保向展开映射相差平面保向刚体运动。若允许反向展开，则再允许反射。

直觉

在一点把度量矩阵变成单位矩阵，只是校准一把尺子。要在整片区域铺出笛卡尔网格，还要保证沿路搬动尺子不会产生转动矛盾。

二维的旋转只有一个角度。曲率为零使记录标架转动的一形式闭；在小圆盘上，它可写成一个角度函数的微分。反向旋转掉这个角度后，两支正交尺子的分量形式也都闭，于是能分别积分成 $x,y$ 。这就是下面的实际构造。

例子与边界

圆锥切开后究竟展开成多大扇形

取 $a=3/5,c=4/5$ ，圆锥去尖点后的参数为

X(r,\theta)=(ar\cos\theta,ar\sin\theta,cr),\qquad r>0.

$r$ 是母线距离，不是水平圆半径。诱导度量为

g=dr^2+a^2r^2d\theta^2.

选余标架 $\omega^1=dr,\omega^2=ar\,d\theta$ ，下文的联络一形式为 $\alpha=a\,d\theta$ ，所以 $d\alpha=0$ 。取旋转角 $\phi=-a\theta$ ，得到

\eta^1=\cos(a\theta)dr-ar\sin(a\theta)d\theta, \quad \eta^2=\sin(a\theta)dr+ar\cos(a\theta)d\theta.

积分给

D(r,\theta)=(r\cos(a\theta),r\sin(a\theta)). \tag{2}

直接计算 $(DD)^TDD=\operatorname{diag}(1,a^2r^2)$ ，独立核验了展开。将 $0<\theta<2\pi$ 作为切开一条母线的片，展开后的角度范围是 $0<a\theta<6\pi/5$ ，因此是 $216^\circ$ 扇形。固定母线半径 $r$ 的圆周长 $2\pi ar=6\pi r/5$ ，恰等于扇形圆弧长。

圆锥上两条切缝边在三维中重合，切开后成为平面扇形的两条不同径向边；同一条母线半径r与周长6πr/5分别保持。 — 圆锥的母线与扇形角度

图中的扇形缺口表示切缝打开后的角度差，不表示在正则圆锥上删去了面积。尖点 $r=0$ 被排除：那里度量在这些坐标中退化，圆锥也没有正则切平面，不能用本定理跨过它。

单点为零不能替代邻域为零

对正函数 $f(u)$ ，考虑 $g=du^2+f(u)^2dv^2$ 。取 $\omega^1=du,\omega^2=f\,dv$ ，得到 $\alpha=f'(u)dv$ ，故

K=-\frac{f''(u)}{f(u)}. \tag{3}

例如 $f(u)=1+u^4$ ，在 $u=0$ 上 $K=0$ ，但 $u\ne0$ 时 $K=-12u^2/(1+u^4)<0$ 。所以任何跨过 $u=0$ 的开邻域都不能等距展开成平面。式 (3) 也立即核验圆锥的 $f(r)=ar$ 与平面极坐标的 $f(r)=r$ 。

单连通也不使展开单射

在整个 $(u,v)\in\mathbb R^2$ 上取

g=e^{2u}(du^2+dv^2).

余标架 $e^u du,e^u dv$ 给 $\alpha=dv$ 、 $K=0$ ，展开为

D(u,v)=(e^u\cos v,e^u\sin v).

Jacobian 行列式为 $e^{2u}>0$ ，处处局部可逆，却有 $D(u,v+2\pi)=D(u,v)$ 。因此全域展开可以是穿孔平面的重复覆盖，并非一张不重叠的平面裁片。

推论与应用

第一步：只从度量造两把正交尺子

写

g=E\,du^2+2F\,du\,dv+G\,dv^2,\qquad E>0,\quad\Delta=EG-F^2>0.

定义

\omega^1=\sqrt E\,du+\frac F{\sqrt E}\,dv, \qquad \omega^2=\sqrt{\frac\Delta E}\,dv. \tag{4}

则 $g=(\omega^1)^2+(\omega^2)^2$ ，且 $\omega^1\wedge\omega^2=\sqrt\Delta\,du\wedge dv$ 。这是一个正向正交余标架。符号的平方表示对称二次型， $\wedge$ 表示交替乘积，两者不能混用。

用外微分写

d\omega^1=f\,\omega^1\wedge\omega^2, \qquad d\omega^2=h\,\omega^1\wedge\omega^2.

因为两形式组成非退化面积形式， $f,h$ 唯一。令

\alpha=f\omega^1+h\omega^2.

便有

d\omega^1=\alpha\wedge\omega^2, \qquad d\omega^2=-\alpha\wedge\omega^1. \tag{5}

它正是对偶正交标架 $(e_1,e_2)$ 的 Levi–Civita 联络形式：定义 $\nabla e_1=\alpha e_2,\nabla e_2=-\alpha e_1$ 使度量相容，而式 (5) 给无挠性，故由唯一性识别。将它代入曲率定义，得 $R(V,W)e_1=d\alpha(V,W)e_2$ ，因此

d\alpha=-K\,\omega^1\wedge\omega^2. \tag{6}

这也固定了本页所有旋转负号。

第二步：旋去联络，再积分位置

若 $K\equiv0$ ，式 (6) 给 $d\alpha=0$ 。在足够小的星形坐标域上，Poincaré 引理构造光滑 $\phi$ ，满足 $d\phi=-\alpha$ 。在单连通的整个 $U$ 上，也可令 $\phi(p)=-\int_{p_0}^p\alpha$ ：闭性使小矩形回路积分为零，同伦的有限网格将一般零伦回路拆成这些小回路，因而积分与路径无关。

旋转余标架为

\eta^1=\cos\phi\,\omega^1+\sin\phi\,\omega^2, \qquad \eta^2=-\sin\phi\,\omega^1+\cos\phi\,\omega^2. \tag{7}

由乘积法则和式 (5) 直接算得

d\eta^1=(\alpha+d\phi)\wedge\eta^2=0, \qquad d\eta^2=-(\alpha+d\phi)\wedge\eta^1=0.

再分别积分，取 $dx=\eta^1,dy=\eta^2$ 。正交旋转不改二次型，所以得到式 (1)；又有

dx\wedge dy=\omega^1\wedge\omega^2=\sqrt\Delta\,du\wedge dv\ne0.

逆函数定理保证 $D=(x,y)$ 局部可逆。这完成 $K\equiv0$ 的充分性证明，而不只是在圆柱上验证一个公式。

必要性同样可算：若 $g=dx^2+dy^2$ ，就取余标架 $dx,dy$ ；二者闭，式 (5) 迫使 $\alpha=0$ ，进而式 (6) 给 $K=0$ 。保向展开的唯一性来自平行标架：两组零联络正交架之间的局部旋转角满足 $d\psi=0$ ，连通性使旋转为常数；两组位置微分只差这一常旋转，积分后再差常平移。

与曲面重建及外在弯曲的关系

也可从曲面基本定理理解充分性：给平坦度量配上 $II=0$ ，Gauss–Codazzi 自动满足，重建出的法向恒定，曲面落在一个固定平面。上面的余标架方法额外给出只用度量即可执行的二维展开步骤。

原曲面的第二基本形式未必为零。圆锥按图中参数诱导法向， $II=acr\,d\theta^2$ ，非零主曲率为 $c/(ar)=4/(3r)$ ；展开平面的第二形式为零。两者有相同第一形式，却有不同形算子。这正是内在平坦与外在不弯的区别。

非单连通域上，旋转和位移可能分别留下周期。圆锥绕一圈后展开角增加 $2\pi a$ ；即使旋转周期消失，闭的一形式仍可能不恰当，例如平直圆柱展开后的横向位移是一个周长。要得到一张全局不重叠的裁片，还须检查周期、单射性和目标范围；局部曲率条件不代替这些检查。

参考资料

Peter Petersen，Classical Differential Geometry，§6.3，Theorem 6.3.4，p. 173：常零曲率度量局部实现为平面。本页给出余标架的直接积分算法。
Theodore Shifrin，Differential Geometry，April 2021，Ch. 3 §3，pp. 101–105：正交标架结构方程；Ch. 3 §1，pp. 79–83：沿回路的转动。正文独立区分局部坐标、全域展开和单射。

形式陈述 ​

圆锥切开后究竟展开成多大扇形 ​

单点为零不能替代邻域为零 ​

单连通也不使展开单射 ​

第一步：只从度量造两把正交尺子 ​

第二步：旋去联络，再积分位置 ​

与曲面重建及外在弯曲的关系 ​

反向链接