作者：王幼宁
第五章 曲面论基本定理
中心问题：寻求E3中曲面的完全不变量系统．
将要证明：曲面的第一和第二基本形式能够构成曲面的完全的几何不变量系统并且在合同意义下确定曲面本身．
为此，应该首先考虑曲面的第一和第二基本形式之间的自然联系；并进一步考察何时可以由所给定的第一和第二基本形式反过来确定曲面．
§1 曲面论基本方程
对正则曲面 S: r ? r(u1, u2) , (u1, u2)?U?R2 ，已知第一基本形式和第二基本形式分别为
Ⅰ? ds2 ? dr?dr ? (ri dui)?(rj duj) ? gij duiduj , gij ? ri?rj ， Ⅱ? ?dr?dn ? ?(ri dui)?(nj duj) ? ?ij duiduj , ?ij ? ? ri?nj ? rij?n ． 有理由预期，这两个基本形式之间的一般约束关系一定是存在的．比如可以如此预测独立约束方程的个数： [2 ? (6 ? 2)] ? (2 ? 1) ? 3 ——两个基本形式的系数组一般由两个自变量的六个函数组成，当两个基本形式同时对角化时由两个自变量的四个函数组成；当动点轨迹形成E3中曲面时，动点在曲面上的两个“自由度”反映在曲面的两个正则参数之上，而另外一个“自由度”需要四个系数函数在三个独立的约束方程之下确定．
为确定约束方程，以下将从自然标架微分方程存在解时的相容性条件出发而逐步进行考察．已知自然标架的运动公式确定为Gauss公式和Weingarten公式
rik ? ?ijk rj ? ?ik n ;
ni ? ??ij rj ? ??ik gkj rj .
一．Gauss-Codazzi方程
首先考虑相容性条件 (ri)jk ? (ri)kj ，或写为 rijk ? rikj ．为此，计算如下：
rijk ? (rij)k ? (?ilj rl ? ?ij n)k ? (?ilj)k rl ? ?ilj rlk ? (?ij)k n ? ?ij nk
? (?ilj)k rl ? ?ilj (?lmk rm ? ?lk n) ? (?ij)k n ? ?ij (??kl rl) ? (?ilj)k rl ? ?imj (?mlk rl ? ?mk n) ? (?ij)k n ? ?ij (??km gml rl) ? [(?ilj)k ? ?imj ?mlk ? ?ij ?km gml)] rl ? [?imj ?mk ? (?ij)k ] n ，
- 1 -
作者：王幼宁
在该式之中交换指标 j 和 k ，则由相容性条件得
[(?ilj)k ? ?imj ?mlk ? ?ij ?km gml)] rl ? [?imj ?mk ? (?ij)k ] n ? [(?ilk)j ? ?imk ?mlj ? ?ik ?jm gml)] rl ? [?imk ?mj ? (?ik)j ] n ， 整理成分量形式即得
(1.1) (?ilj)k ? (?ilk)j ? ?imj ?mlk ? ?imk ?mlj ? ?ij ?km gml ? ?ik ?jm gml ， (1.2) (?ij)k ? (?ik)j ? ?imj ?mk ? ?imk ?mj ? 0 ．
通常，称方程组 (1.1) 式为曲面 S 的Gauss方程，称方程组 (1.2) 式为曲面 S 的Codazzi方程，合称为曲面 S 的Gauss-Codazzi方程或曲面论基本方程．对于Codazzi方程 (1.2) 式，3个指标对应于8个方程；但其中 j ? k 时平凡，j 和 k 互换时相同，因而对应于指标 i 的不同取值实质上有不超过2个独立方程．同理，对于Gauss方程 (1.1) 式，4个指标对应于16个方程；但其中 j ? k 时平凡，j 和 k 互换时相同，因而对应于指标 i 和 l 的不同取值实质上有不超过4个独立方程．独立方程的个数将留待下一段确定．
现在再考虑另一组相容性条件 nij ? nji ．由于 n 是 r1?r2 的单位化向量，因而关于 r 的偏导数次序的可交换性蕴含了关于 n 的低一阶偏导数次序的可交换性，即相容性条件组 nij ? nji 蕴含于相容性条件组 rijk ? rikj 之中．若具体运算，也可得到Codazzi方程 (1.2) 式的等价形式 (1.3) (?ik)j ? (?jk)i ? ?il ?lkj ? ?jl ?lki ? 0 ．
二．Gauss-Codazzi方程的独立性 ⒈ Codazzi方程的独立性
去掉明显平凡的和明显等价的式子，Codazzi方程 (1.2) 式化为 (?11)2 ? (?12)1 ? ?1l1 ?l2 ? ?1l2 ?l1 ? 0 ，
(1.4) {
(?21)2 ? (?22)1 ? ?2l1 ?l2 ? ?2l2 ?l1 ? 0 ．
在正交网下，联络系数易表示成第一基本形式系数的表达式，Codazzi方程可进一步表示成第一和第二基本形式系数所满足的表达式．特别，在正交曲率线网之下，Codazzi方程 (1.4) 式化简（留作习题）为 (1.5)
L2 ? HE2 ， {N 1 ? HG1 ．
至此可以看出，Codazzi方程 (1.4) 式由两个独立的方程组成．
⒉ Riemann曲率张量
为了方便于进一步讨论Gauss方程 (1.1) 式，记 (1.6) Riljk ? ? [(?ilj)k ? (?ilk)j ? ?imj ?mlk ? ?imk ?mlj ] ， (1.7) Rimjk ? Riljk glm ．
- 2 -
作者：王幼宁
通常，函数组 { Rijkl } 称为曲面 S 的第二类Riemann曲率张量的分量组，函数组 { Rijkl } 称为曲面 S 的第一类Riemann曲率张量的分量组．它们可以由第一基本形式系数完全确定，因而对应于内蕴几何量．进一步，有 Rijkl ? Rimkl gmj
? ? [(?imk)l ? (?iml)k ? ?ink ?nml ? ?inl ?nmk ] gmj ? ? (?imk)l gmj ? (?iml)k gmj ? ?ink ?njl ? ?inl ?njk
? ? (?imk gmj)l ? ?imk (gmj)l ? (?iml gmj)k ? ?iml (gmj)k ? ?ink ?njl ? ?inl ?njk ? ? (?ijk)l ? ?imk (gmj)l ? (?ijl)k ? ?iml (gmj)k ? ?imk ?mjl ? ?iml ?mjk ? (?ijl)k ? (?ijk)l ? ?imk [(gmj)l ? ?mjl] ? ?iml [(gmj)k ? ?mjk] ； 1
而由第一类Christoffel记号 ?ijk ? [(gjk)i ? (gij)k ? (gik)j] 代入整理，得
2 2[(gmj)l ? ?mjl] ? 2(gmj)l ? [(gjl)m ? (gmj)l ? (gml)j] ? (gmj)l ? (gml)j ? (gjl)m ? (gml)j ? (gjm)l ? (gjl)m ? 2?jml ， 从而
(1.8) Rijkl ? (?ijl)k ? (?ijk)l ? ?imk ?jml ? ?iml ?jmk ， 或表示为
1
(1.9) Rijkl ? [(gjl)ik ? (gil)jk ? (gjk)il ? (gik)jl] ? ?ink gnm ?jml ? ?iml gnm ?jmk ．
2 由此，利用关于指标的已知的对称性直接验算，易得下列性质．
性质 ① Rijkl ? Rklij ；
② Rjikl ? ?Rijkl ；Rijlk ? ?Rijkl ； ③ Rijkl ? Riklj ? Riljk ? 0 ．
该性质表明，函数组 { Rijkl } 之中有许多平凡元素为零，非平凡的元素只有 R1212 ? ? R1221 ? ? R2112 ? R2121 ．
⒊ Gauss方程的独立性
利用Riemann曲率张量的分量组，Gauss方程 (1.1) 式可等价变形为 ?Riljk ? (?ij ?km ? ?ik ?jm) gml ??Riljk gln ? (?ij ?km ? ?ik ?jm) gml gln ??Rinjk ? ?ij ?kn ? ?ik ?jn ．
直接验证，可知上式右端关于指标满足Riemann曲率张量分量组关于指标所满足的同样的性质；故而Gauss方程 (1.1) 式等价变形为12个左、右恒为零的恒等式，以及4个互相等价的方程 (1.10) ?R1212 ? ?11?22 ? (?12)2 ? ??? ．
- 3 -
作者：王幼宁
特别当参数网正交时， g12 ? 0 ，联络系数有由第三章§3例1所示的简化形式，代入 (1.9) 式并整理可得 R1212 ?
1
[(g22)11 ? (g11)22] ? ?1m1 ?2m2 ? ?1m2 ?2m1 2
1
? [G11 ? E22] ? ?111(?212E) ? ?121(?222G) ? ?112(?211E) ? ?122(?221G)
2 1E1?G1?E2G2E2E2G1G1
? [G11 ? E22] ? ? ? ? ；
2 2E 2 2G 2 2E 2 2G 2 由此，在正交参数网下，可直接验算（留作习题）成立 (1.11) R1212 ? EG { [(E )2 (G )1
] ? [ E ]1 } ． G 2
三．Gauss绝妙定理
Gauss方程 (1.10) 式改写成Gauss曲率的形式，便得到内蕴几何发展史上具有重要意义的结果，表述为下列定理．
定理（Gauss绝妙定理） 曲面 S 的Gauss曲率 ? 由第一基本形式完全确定，在第一基本形式系数表示下即为 ?R1212
(1.12) ? ? ．
g11g22 ? (g12)2
推论1 若两张曲面局部等距对应，则它们在对应点处的Gauss曲率相等．
推论2（可展曲面内蕴特征） 若曲面 S 无脐点，则有充要条件： S 可展? S 局部等距对应于平面? S 的Gauss曲率 ? ? 0 ．
注记 ① 在正交参数网下，由 (1.12) 式和 (1.11) 式可写 ?1(E )2 (G )1
(1.13) ? ? { [] ? [ E ]1 } ．
EG G 2
② 在等温参数 (u1, u2) 下，ds2 ? ?2 [(du1)2 ? (du2)2] ，? ? 0 ，则 ?1 ?2 ?2
(1.14) ? ? 2 [12 ? 22] (ln ? ) ．
? ?(u)?(u)此式说明Gauss曲率与Laplace算子有关．
③ 在一般参数 (u1, u2) 下，较易记忆的有Liouville形式的Gauss方程
- 4 -
作者：王幼宁
?1 E2
(1.15) ? ? [()2 ? (G1)1 ? (F2)1 ? (F1)2 ]
2?g? ?g? ?g? ?g? ?g? E F G
1
? E1 F1 G1 ．
4?g?2
E2 F2 G2
利用Gauss曲率是等距不变量，既有助于鉴别不等距的曲面，也有助于寻求等距曲面之间的等距对应关系．
习 题
⒈ 验证 (1.11) 式．
⒉ 设正则曲面 S 具有第一和第二基本形式Ⅰ? du2 ? dv2 , Ⅱ? ?(u, v) dudv ．试证 S 是
平面．
⒊ 在曲面的正交曲率线网 (u1, u2)之下，试证： L2 ? HE2 ，
① Codazzi方程简化为 {
N1 ? HG1 ．
??1 1 ?E
? (?2 ? ?1) ，?u22E?u2
② 主曲率 ?1, ?2 满足
??2 1 ?G
? (?1 ? ?2) ．?u12G?u1
⒋ 设正则曲面 S 在参数 (u, v) 下具有第一和第二基本形式 Ⅰ? u2 (du2 ? dv2) , Ⅱ? ?(u, v) du2 ? ?(u, v) dv2 ． ① 证明 ?(u, v) 和 ?(u, v) 只依赖于 u ； ② 证明 ?? ? 1．
⒌ 设正则曲面 S 具有常平均曲率函数．试证曲面 S 或者是全脐曲面，或者第一和第
二基本形式可以化为在某个参数 (u, v) 下的如下形式： Ⅰ? ? (du2 ? dv2) , Ⅱ? (1 ? ?H) du2 ? (1 ? ?H) dv2 ．
⒍ 设正则曲面 S 在参数 (u, v) 下的第一和第二基本形式系数分别都是常值函数．试证
曲面 S 或者是平面，或者是圆柱面．
⒎ 已知下列曲面 r(u, v) 的第一基本形式Ⅰ，其中c ? const. ?R ；试求其Gauss曲率． ① Ⅰ?
du2 ? dv2
；
(u2 ? v2 ? c)2 c2
(du2 ? dv2) ； v2
2u
② Ⅰ?
③
Ⅰ? du2 ? e c dv2 ；
- 5 -
§1 曲面论基本方程
