曲面论的系统综述：从第一基本型到高斯绝妙定理

引言：从曲面测量的问题出发

在欧几里得空间中，平面几何的研究已经相当完善。然而，当我们把目光投向弯曲的曲面——地球的球面、马鞍形的双曲抛物面、或者更一般的任意光滑曲面时，许多在平面上理所当然的性质突然变得复杂起来。

一个朴素的问题：给定曲面上的两点 $A$ 和 $B$，如何测量它们之间的距离？在平面上，答案是简单的直线段长度。但在曲面上，“直线"的概念本身就需要重新审视。更重要的是，如果我们只允许在曲面上"行走”（不能离开曲面穿越三维空间），我们能测量的几何量是什么？这些量与曲面在三维空间中的嵌入方式有什么关系？

这些问题引导高斯（Carl Friedrich Gauss）在1827年发表了奠基性论文《关于曲面的一般研究》，开创了现代微分几何的曲面理论。高斯的天才洞察在于：曲面上存在着两类几何量——一类是"内蕴的"（intrinsic），只依赖于曲面本身的几何结构；另一类是"外蕴的"（extrinsic），依赖于曲面在三维空间中的具体嵌入方式。

本文将系统地介绍曲面论的核心框架，重点阐述第一基本型和第二基本型的深刻意义，揭示它们如何从测量问题中自然涌现，并最终导向高斯那令人惊叹的"绝妙定理"（Theorema Egregium）。

第一章：曲面的参数化表示

1.1 从隐式到参数化

在三维欧几里得空间 $\mathbb{R}^3$ 中，一个曲面可以用隐式方程表示：

$$ F(x, y, z) = 0 $$

例如，半径为 $R$ 的球面由 $x^2 + y^2 + z^2 = R^2$ 定义。然而，对于微分几何的研究，参数化表示更为便利：

$$ \mathbf{r}(u, v) = (x(u, v), y(u, v), z(u, v)) $$

其中 $(u, v) \in D \subset \mathbb{R}^2$ 是参数域。这种表示将二维参数域"贴"到三维空间中，形成曲面。

参数化曲面与切平面

图1：鞍面 $z = x^2 - y^2$ 的参数化表示，展示了坐标曲线和切平面。在点 $P$ 处，$u$-曲线（绿色）和 $v$-曲线（蓝色）张成了切平面。

1.2 切向量与切平面

在参数化表示下，曲面上一点的切向量可以通过对参数求偏导得到：

$$ \mathbf{r}_u = \frac{\partial \mathbf{r}}{\partial u}, \quad \mathbf{r}_v = \frac{\partial \mathbf{r}}{\partial v} $$

这两个向量（假设线性无关）张成了曲面在该点的切平面 $T_pS$。曲面上过点 $p$ 的任意曲线的切向量都可以表示为 $\mathbf{r}_u$ 和 $\mathbf{r}_v$ 的线性组合：

$$ \mathbf{v} = \lambda \mathbf{r}_u + \mu \mathbf{r}_v $$

法向量则由叉积给出：

$$ \mathbf{n} = \frac{\mathbf{r}_u \times \mathbf{r}_v}{|\mathbf{r}_u \times \mathbf{r}_v|} $$

这是单位法向量，指向曲面的某一侧。

第二章：第一基本型——曲面的内在度量

2.1 问题的提出：曲面上的测量

假设我们生活在一个曲面上（想想二维的"平面国"居民生活在球面上），我们只能在这个曲面上移动，无法感知第三维度。我们能测量什么？

曲线的长度：我们可以在曲面上沿着某条曲线行走，测量走过的距离
曲线之间的夹角：两条曲线在交点处的夹角
区域的面积：曲面上某个区域的"表面积"

第一基本型正是为了回答这些问题而诞生的。

2.2 第一基本型的定义

考虑曲面上的一条曲线 $\mathbf{r}(u(t), v(t))$，其中 $t \in [a, b]$。曲线的弧长微元为：

$$ ds^2 = |d\mathbf{r}|^2 = |\mathbf{r}_u du + \mathbf{r}_v dv|^2 $$

展开后得到：

$$ ds^2 = E , du^2 + 2F , du , dv + G , dv^2 $$

这就是第一基本型（First Fundamental Form），其中：

$$E = \mathbf{r}_u \cdot \mathbf{r}_u = |\mathbf{r}_u|^2$$

$$F = \mathbf{r}_u \cdot \mathbf{r}_v$$

$$G = \mathbf{r}_v \cdot \mathbf{r}_v = |\mathbf{r}_v|^2$$

用矩阵形式，第一基本型可以写成：

$$ I = \begin{pmatrix} du & dv \end{pmatrix} \begin{pmatrix} E & F \ F & G \end{pmatrix} \begin{pmatrix} du \ dv \end{pmatrix} $$

矩阵 $\begin{pmatrix} E & F \ F & G \end{pmatrix}$ 称为度量张量或第一基本形式系数矩阵。

第一基本型的度量意义

图2：球面上的弧长度量。曲面上曲线的长度只能通过第一基本型计算，而不能直接用欧氏空间的距离公式。

2.3 第一基本型的几何意义

第一基本型究竟告诉了我们什么？

（1）弧长计算

给定曲面上曲线 $(u(t), v(t))$，$t \in [a, b]$，其长度为：

$$ L = \int_a^b \sqrt{E \left(\frac{du}{dt}\right)^2 + 2F \frac{du}{dt} \frac{dv}{dt} + G \left(\frac{dv}{dt}\right)^2} , dt $$

（2）夹角计算

两条曲线在交点处的夹角 $\theta$ 满足：

$$ \cos \theta = \frac{E , du_1 , du_2 + F(du_1 , dv_2 + du_2 , dv_1) + G , dv_1 , dv_2}{\sqrt{E , du_1^2 + 2F , du_1 , dv_1 + G , dv_1^2} \cdot \sqrt{E , du_2^2 + 2F , du_2 , dv_2 + G , dv_2^2}} $$

（3）面积计算

曲面上区域的面积为：

$$ A = \iint_D \sqrt{EG - F^2} , du , dv $$

其中 $\sqrt{EG - F^2} = |\mathbf{r}_u \times \mathbf{r}_v|$ 是面积元素。

2.4 为什么需要第一基本型？

核心洞察：第一基本型完全刻画了曲面的内蕴几何（intrinsic geometry）。

想象你是一个二维生物，生活在曲面上，无法离开曲面感知第三维。你能测量的所有几何量——距离、角度、面积——都完全由第一基本型决定。你根本不需要知道曲面在三维空间中是如何弯曲的！

例子：球面与平面的第一基本型

平面 $\mathbf{r}(u, v) = (u, v, 0)$：$E = 1$, $F = 0$, $G = 1$，因此 $ds^2 = du^2 + dv^2$
球面（半径 $R$）：使用球坐标 $\mathbf{r}(\theta, \varphi) = (R\sin\theta\cos\varphi, R\sin\theta\sin\varphi, R\cos\theta)$
$$ ds^2 = R^2 d\theta^2 + R^2 \sin^2\theta , d\varphi^2 $$
即 $E = R^2$, $F = 0$, $G = R^2 \sin^2\theta$

注意到球面的度量与平面的度量不同——这正反映了球面的"非欧几里得性"。

第三章：第二基本型——曲面的外在弯曲

3.1 问题的提出：曲面的弯曲程度

第一基本型告诉我们如何在曲面上测量，但它没有告诉我们曲面本身是如何弯曲的。考虑两个曲面：

平面：$z = 0$
圆柱面：$x^2 + y^2 = R^2$

它们的第一基本型可以通过适当的参数化变得相同（见后文的"可展曲面"），但它们明显"看起来"不同——一个是"平"的，一个是"弯"的。这种弯曲性需要用第二基本型来刻画。

3.2 法曲率的直观理解

考虑曲面上一点 $P$ 和该点处的单位切向量 $\mathbf{v}$。包含 $\mathbf{v}$ 和法向量 $\mathbf{n}$ 的平面与曲面相交，得到一条法截线。这条曲线在 $P$ 点的曲率称为法曲率，记为 $\kappa_n$。

关键观察：改变切向量的方向，法曲率会随之变化。对于圆柱面：

沿母线方向（平行于圆柱轴）：法曲率为 $0$（截线是直线）
沿圆周方向（垂直于母线）：法曲率为 $1/R$（截线是圆）

圆柱面上不同方向的法曲率

图3：圆柱面上不同方向的法曲率。沿母线方向（绿色）曲率为0，沿圆周方向（蓝色）曲率为 $1/R$。

3.3 第二基本型的定义

第二基本型的引入需要考察曲面的"局部形状"。考虑曲面在一点附近的二阶近似：

$$ \mathbf{r}(u + du, v + dv) \approx \mathbf{r}(u, v) + \mathbf{r}u du + \mathbf{r}v dv + \frac{1}{2}(\mathbf{r}{uu} du^2 + 2\mathbf{r}{uv} du , dv + \mathbf{r}_{vv} dv^2) $$

曲面相对于切平面的偏离程度由法向分量决定：

$$ \delta = (\mathbf{r}(u + du, v + dv) - \mathbf{r}(u, v)) \cdot \mathbf{n} \approx \frac{1}{2}(L , du^2 + 2M , du , dv + N , dv^2) $$

其中：

$$L = \mathbf{r}_{uu} \cdot \mathbf{n} = \frac{(\mathbf{r}_u \times \mathbf{r}v) \cdot \mathbf{r}{uu}}{|\mathbf{r}_u \times \mathbf{r}_v|}$$

$$M = \mathbf{r}_{uv} \cdot \mathbf{n} = \frac{(\mathbf{r}_u \times \mathbf{r}v) \cdot \mathbf{r}{uv}}{|\mathbf{r}_u \times \mathbf{r}_v|}$$

$$N = \mathbf{r}_{vv} \cdot \mathbf{n} = \frac{(\mathbf{r}_u \times \mathbf{r}v) \cdot \mathbf{r}{vv}}{|\mathbf{r}_u \times \mathbf{r}_v|}$$

第二基本型（Second Fundamental Form）定义为：

$$ II = L , du^2 + 2M , du , dv + N , dv^2 $$

3.4 第二基本型与法曲率的关系

法曲率可以直接用第二基本型表示：

$$ \kappa_n = \frac{II}{I} = \frac{L , du^2 + 2M , du , dv + N , dv^2}{E , du^2 + 2F , du , dv + G , dv^2} $$

这个公式揭示了深刻的联系：法曲率是第二基本型与第一基本型的比值，刻画了曲面在某方向上的"弯曲率"。

3.5 为什么需要第二基本型？

如果说第一基本型回答了"如何在曲面上行走"的问题，第二基本型则回答了"曲面在空间中是朝向哪个方向弯曲的"这一外在几何问题。

第二基本型依赖于曲面在 $\mathbb{R}^3$ 中的具体嵌入方式。两个曲面可以有相同的第一基本型（内蕴几何相同），但有不同的第二基本型（外在弯曲不同）。这正是区分"平面"和"圆柱面"的关键。

第四章：主曲率与高斯曲率

4.1 欧拉定理与主曲率

给定曲面上一点，法曲率 $\kappa_n$ 随方向变化。欧拉证明了一个重要定理：存在两个互相垂直的方向，使得法曲率分别取最大值和最小值。这两个方向称为主方向，对应的曲率称为主曲率，记为 $\kappa_1$ 和 $\kappa_2$（假设 $\kappa_1 \geq \kappa_2$）。

椭球面的主曲率方向

图4：椭球面顶点处的主曲率方向。蓝色曲线方向曲率最大，绿色曲线方向曲率最小。

4.2 高斯曲率与平均曲率

高斯曲率（Gaussian curvature）定义为：

$$ K = \kappa_1 \cdot \kappa_2 = \frac{LN - M^2}{EG - F^2} $$

平均曲率（Mean curvature）定义为：

$$ H = \frac{\kappa_1 + \kappa_2}{2} = \frac{EN - 2FM + GL}{2(EG - F^2)} $$

这两个曲率量有截然不同的几何意义：

曲率类型	定义	几何意义
高斯曲率 $K$	$\kappa_1 \kappa_2$	曲面在某点附近的"二维弯曲程度"
平均曲率 $H$	$(\kappa_1 + \kappa_2)/2$	曲面在某点附近的"平均弯曲趋势"

4.3 高斯曲率的分类

根据高斯曲率的符号，曲面上的点可以分为三类：

椭圆点（$K > 0$）：两个主曲率同号。曲面在该点局部像一个椭球面或球面。
双曲点（$K < 0$）：两个主曲率异号。曲面在该点局部像一个马鞍面（双曲抛物面）。
抛物点（$K = 0$）：至少一个主曲率为零。曲面在该点局部像柱面或锥面。

高斯曲率分类

图5：高斯曲率的分类。从左到右：椭圆点（球面）、双曲点（鞍面）、抛物点（圆柱面）。

第五章：高斯绝妙定理

5.1 定理的陈述

1827年，高斯证明了微分几何中最优美的定理之一：

高斯绝妙定理（Theorema Egregium）：高斯曲率 $K$ 是一个内蕴量，它只依赖于第一基本型及其导数，而与曲面在三维空间中的嵌入方式无关。

用公式表示：

$$ K = \frac{LN - M^2}{EG - F^2} = -\frac{1}{2\sqrt{EG - F^2}} \left[ \frac{\partial}{\partial u}\left(\frac{G_u}{\sqrt{EG - F^2}}\right) + \frac{\partial}{\partial v}\left(\frac{E_v}{\sqrt{EG - F^2}}\right) \right] + \cdots $$

（完整公式涉及克里斯托费尔符号，但核心信息是：$K$ 可以仅用 $E, F, G$ 及其导数表示。）

5.2 为什么这是"绝妙的"？

高斯绝妙定理的深刻性在于：高斯曲率最初是用第二基本型（外在量）定义的，但它实际上只依赖于第一基本型（内蕴量）。

这意味着：

生活在曲面上的二维生物可以测量高斯曲率，尽管他们不知道第三维的存在！
等距变换（保持第一基本型的变换）保持高斯曲率不变。例如，将圆柱面"剪开铺平"成平面是一种等距变换，两者的高斯曲率都为 $0$。
球面无法无变形地铺平在平面上。因为球面的 $K = 1/R^2 > 0$，而平面的 $K = 0$，任何地图投影都会引入扭曲。

5.3 可展曲面

可展曲面（developable surface）是指高斯曲率处处为零的曲面。它们可以被"展开"成平面而不产生任何拉伸或撕裂。

常见的可展曲面包括：

柱面：如圆柱面 $x^2 + y^2 = R^2$
锥面：如圆锥面 $z^2 = x^2 + y^2$
切线面：由空间曲线的切线形成的曲面

可展曲面

图6：可展曲面的例子——圆锥面。它可以被剪开并展平为平面的一部分。

第六章：测地线

6.1 测地线的定义

在曲面上，测地线（geodesic）是"直线"概念的推广。直观上，测地线是曲面上两点之间的"最短路径"，或者等价地，是"局部最直"的曲线。

更精确地说，测地线满足以下等价条件之一：

曲线的测地曲率处处为零
曲线的主法向量与曲面的法向量平行
曲线是弧长泛函的极值曲线（满足欧拉-拉格朗日方程）

6.2 测地线的方程

测地线满足二阶常微分方程组（测地线方程）：

$$ \frac{d^2 u^k}{dt^2} + \sum_{i,j} \Gamma^k_{ij} \frac{du^i}{dt} \frac{du^j}{dt} = 0 $$

其中 $\Gamma^k_{ij}$ 是克里斯托费尔符号（Christoffel symbols），仅依赖于第一基本型：

$$ \Gamma^k_{ij} = \frac{1}{2} \sum_l g^{kl} \left( \frac{\partial g_{jl}}{\partial u^i} + \frac{\partial g_{il}}{\partial u^j} - \frac{\partial g_{ij}}{\partial u^l} \right) $$

这里 $g_{ij}$ 是度量张量，$(g^{kl})$ 是其逆矩阵。

球面上的测地线

图7：球面上的测地线是大圆。橙色和蓝色曲线都是通过球心的平面与球面的交线。

6.3 测地线的例子

平面：测地线是直线
球面：测地线是大圆（如经线和赤道）
圆柱面：测地线是螺旋线（包括母线和圆周作为特例）
双曲平面：测地线是与边界垂直的圆弧或直径

6.4 测地线与第一基本型的关系

测地线方程只涉及克里斯托费尔符号，而克里斯托费尔符号只依赖于第一基本型。这意味着：测地线是一个内蕴概念。

生活在曲面上的二维生物可以画出测地线，测量测地线之间的角度，研究由测地线构成的三角形——所有这些都不需要知道曲面在三维空间中的形状。

第七章：应用与拓展

7.1 地图制作与曲率

高斯绝妙定理的一个直接推论是：不存在完美的世界地图。任何将球面映射到平面的方式都会引入扭曲——要么面积扭曲，要么角度扭曲，要么两者都有。

墨卡托投影：保持角度（共形），但高纬度地区面积严重放大
等面积投影：保持面积，但形状变形
球极投影：保持角度，将北极映射到无穷远

7.2 广义相对论与曲面论

曲面论为爱因斯坦的广义相对论提供了数学语言。在广义相对论中：

时空是一个四维黎曼流形（曲面概念的推广）
度量张量 $g_{\mu\nu}$ 对应于第一基本型，描述了时空的几何结构
测地线描述了自由粒子在引力场中的运动轨迹
曲率张量描述了物质-能量如何弯曲时空

爱因斯坦场方程：

$$ G_{\mu\nu} + \Lambda g_{\mu\nu} = \frac{8\pi G}{c^4} T_{\mu\nu} $$

本质上是在说：物质-能量分布（右边）决定了时空的曲率（左边）。

7.3 计算机图形学

在计算机图形学中，曲面论的概念被广泛用于：

曲面重建：从点云数据重建光滑曲面
纹理映射：将二维图像映射到三维曲面，需要理解曲面的度量结构
曲面变形：保持某些几何性质（如等距变形）的曲面编辑
离散微分几何：将连续理论推广到多边形网格

7.4 材料科学与生物学

薄壳结构：建筑中的薄壳结构（如穹顶）利用曲面的力学性质
细胞膜：生物膜的曲率弹性理论用到了平均曲率和高斯曲率
折纸数学：可展曲面的研究启发了折纸艺术和工程应用

结语：从曲面到流形

曲面论是理解现代微分几何的绝佳起点。高斯的研究揭示了内蕴几何的深刻意义——几何量应该只依赖于空间本身的结构，而非它在更高维空间中的嵌入方式。

这一思想在黎曼（Bernhard Riemann）手中得到了推广。1854年，黎曼在他的著名就职演说中提出了黎曼流形的概念，将曲面论推广到任意维数。在黎曼几何中：

第一基本型推广为黎曼度量 $g_{ij}$
测地线方程保持不变
曲率推广为黎曼曲率张量
高斯绝妙定理推广为高斯-科达齐方程

最终，这些数学工具成为爱因斯坦广义相对论的基石，彻底改变了我们对引力、时空和宇宙的理解。

回顾本文的核心脉络：

第一基本型刻画了曲面的内蕴度量结构——生活在曲面上的生物可以测量的所有内容。
第二基本型刻画了曲面的外在弯曲——曲面在三维空间中的"形状"。
高斯绝妙定理揭示了看似外在的高斯曲率实际上是内蕴的，连接了内蕴几何与外在几何。
测地线是曲面上的"直线"，其性质完全由内蕴度量决定。

这些概念从对曲面上测量的朴素问题出发，最终导向了对空间本质的深刻理解——这正是微分几何的魅力所在。

参考文献

Gauss, C. F. (1827). Disquisitiones generales circa superficies curvas.
do Carmo, M. P. (1976). Differential Geometry of Curves and Surfaces. Prentice-Hall.
O’Neill, B. (2006). Elementary Differential Geometry (2nd ed.). Academic Press.
陈省身, & 陈维桓. (1983). 微分几何讲义. 北京大学出版社.
Pressley, A. (2010). Elementary Differential Geometry (2nd ed.). Springer.

引言：从曲面测量的问题出发#

第一章：曲面的参数化表示#

1.1 从隐式到参数化#

1.2 切向量与切平面#

第二章：第一基本型——曲面的内在度量#

2.1 问题的提出：曲面上的测量#

2.2 第一基本型的定义#

2.3 第一基本型的几何意义#

2.4 为什么需要第一基本型？#

第三章：第二基本型——曲面的外在弯曲#

3.1 问题的提出：曲面的弯曲程度#

3.2 法曲率的直观理解#

3.3 第二基本型的定义#

3.4 第二基本型与法曲率的关系#

3.5 为什么需要第二基本型？#

第四章：主曲率与高斯曲率#

4.1 欧拉定理与主曲率#

4.2 高斯曲率与平均曲率#

4.3 高斯曲率的分类#

第五章：高斯绝妙定理#

5.1 定理的陈述#

5.2 为什么这是"绝妙的"？#

5.3 可展曲面#

第六章：测地线#

6.1 测地线的定义#

6.2 测地线的方程#

6.3 测地线的例子#

6.4 测地线与第一基本型的关系#

第七章：应用与拓展#

7.1 地图制作与曲率#

7.2 广义相对论与曲面论#

7.3 计算机图形学#

7.4 材料科学与生物学#

结语：从曲面到流形#

参考文献#