本页目录

微分几何 II · 曲面论与 Gauss 绝妙定理

曲面的几何由两个二次型掌管：第一基本形式（内在度量——在曲面上量长度）与第二基本形式（外在弯曲——曲面如何嵌在空间里）。本页的顶点是 Gauss 的绝妙定理：高斯曲率看似外在，实则内在——住在曲面里的蚂蚁不抬头就能测出自己世界的弯曲。这句话是广义相对论的几何序章。

1. 正则曲面与第一基本形式

参数曲面 \(\mathbf{r}(u, v)\)，正则性 \(\mathbf{r}_u \times \mathbf{r}_v \neq \mathbf 0\)（切平面处处存在，法向 \(\mathbf n = \frac{\mathbf r_u\times\mathbf r_v}{|\mathbf r_u\times\mathbf r_v|}\)）。

第一基本形式（曲面上的"勾股定理"）：曲面上曲线的弧长微元

\[ ds^2 = E\,du^2 + 2F\,du\,dv + G\,dv^2, \qquad E = \mathbf r_u\cdot\mathbf r_u,\ F = \mathbf r_u\cdot\mathbf r_v,\ G = \mathbf r_v\cdot\mathbf r_v \]

——切平面上的正定二次型（高代 VI 上岗）。一切"内在测量"由它包办：长度、夹角、面积（\(dA = \sqrt{EG - F^2}\,du\,dv\)——数分 VI 曲面积分那个根号的真名）。等距（保长变形，如卷纸成筒）= 保持第一基本形式。

2. 第二基本形式与曲率家族

球面正曲率鞍面负曲率 — 图 2.1高斯曲率的符号：球面处处 \(K>0\)（各方向同向弯）、鞍面 \(K<0\)（两方向反向弯）——绝妙定理说 \(K\) 只由内蕴度量决定。

第二基本形式（曲面偏离切平面的二阶量）：

\[ II = L\,du^2 + 2M\,du\,dv + N\,dv^2, \qquad L = \mathbf r_{uu}\cdot\mathbf n,\ M = \mathbf r_{uv}\cdot\mathbf n,\ N = \mathbf r_{vv}\cdot\mathbf n \]

法曲率：曲面上沿某方向走，曲线被迫的弯曲 \(\kappa_n = \frac{II}{I}\)（两个二次型之比——广义 Rayleigh 商，高代 VI 的结构）。转动方向，\(\kappa_n\) 的最大最小值为主曲率 \(\kappa_1, \kappa_2\)（相应方向正交——对称阵特征理论的几何化身）。两个组合统治全场：

\[ \text{高斯曲率 } K = \kappa_1\kappa_2 = \frac{LN - M^2}{EG - F^2}, \qquad \text{平均曲率 } H = \frac{\kappa_1 + \kappa_2}{2} \]

\(K\) 的符号 = 局部形状：\(K > 0\) 碗状（椭圆点，球面）；\(K < 0\) 鞍状（双曲点，马鞍面——解几 II 的马鞍在此定量化）；\(K = 0\) 可展（抛物点，柱面锥面）。\(H = 0\) 的曲面 = 极小曲面（肥皂膜——面积泛函的临界点，变分法的名产）。

3. 绝妙定理（Theorema Egregium）

定理（Gauss 1827） 高斯曲率 \(K\) 只由第一基本形式（及其导数）决定——\(K\) 是内在量。

（定义里明明用了第二基本形式（外在嵌入信息），算出来却只依赖内在度量——Gauss 自己命名"绝妙"。）

三个立即推论：

地图必失真：球面 \(K = \frac{1}{R^2} > 0\)，平面 \(K = 0\)——不存在保长的地图投影（等距保 \(K\)）。一切世界地图都在撒谎，只是各有取舍（Mercator 保角、等积投影保面积）；
披萨折叠原理：纸（\(K = 0\)）怎么弯都保持 \(K = 0\)——沿一个方向卷起（\(\kappa_1 \neq 0\)）就锁死另一方向（\(\kappa_2 = 0\) 被迫）：折起披萨边，尖端就不下垂；瓦楞纸、瓦片屋顶同理；
内在几何学的诞生：曲面的几何可以不提"外面的空间"——蚂蚁测三角形内角和（\(> \pi\) 则 \(K > 0\)）即可知世界的弯曲。这条路通向 Riemann 几何（度量张量 = 第一基本形式的推广）与广义相对论（引力 = 时空的内在曲率）——本科微分几何是那扇门的门把手。

4. Gauss–Bonnet：局部曲率与整体拓扑的会师

定理（Gauss–Bonnet，闭曲面版）

\[ \iint_S K\,dA = 2\pi\,\chi(S) \]

\(\chi\) = Euler 示性数（球面 2、环面 0、\(g\) 洞曲面 \(2 - 2g\)——拓扑不变量！）。

读法：把局部几何量 \(K\) 攒起来积一圈，答案竟只看拓扑（有几个洞）——怎么揉捏曲面，总曲率分毫不变（球面凹一块，别处必凸回来）。几何（曲率）与拓扑（洞数）在此正式握手——拓扑 II"不变量阶梯"的最高一层在本科的照面；现代版的儿孙（示性类、指标定理）是研究生的风景。

🔗 衔接：流形上的机器学习（数据流形假设——ai 课 01/comfy 课 01 的"针尖流形"）以"内在几何"为世界观：测地距离、Riemann 度量下的梯度（自然梯度，统计 II Fisher 信息的几何身份——信息几何）都是本页概念的直系后代。

5. 典型例题

例 1（球面全套） \(\mathbf r = R(\cos u\cos v, \cos u\sin v, \sin u)\)：算得 \(E = R^2, F = 0, G = R^2\cos^2 u\)；\(L = R, M = 0, N = R\cos^2 u\) ⇒ \(K = \frac{LN}{EG} = \frac{1}{R^2}\)，\(H = \frac1R\)——处处同曲率（球是"最匀称"曲面）；Gauss–Bonnet 对账：\(\iint K\,dA = \frac{1}{R^2}\cdot 4\pi R^2 = 4\pi = 2\pi\chi\) ⇒ \(\chi = 2\) ✓。

例 2（柱面的可展性） 圆柱 \(\mathbf r = (a\cos u, a\sin u, v)\)：\(K = 0\)（\(N = 0\)）——与平面同 \(K\)，果然能剪开摊平（易拉罐商标纸）；但 \(H = \frac{1}{2a} \neq 0\)——外在弯而内在平：\(K\) 与 \(H\) 一内一外的分工在此看得最清。

例 3（马鞍点判型） \(z = x^2 - y^2\) 原点：\(L = 2, N = -2, M = 0\)，\(E = G = 1, F = 0\) ⇒ \(K = -4 < 0\)——双曲点；主方向沿 \(x, y\) 轴、主曲率 \(\pm 2\)。解几 II 的"薯片"至此有了曲率坐标。\(\blacksquare\)

代数几何线全线完工。最后一门：数学建模——把全站十六门课的工具箱对准真实世界。