更新时间:2023-01-08 23:30
微分几何中,第二基本形式(second fundamental form)是三维欧几里得空间中一个光滑曲面的切丛上一个二次形式,通常记作 II。与第一基本形式一起,他们可定义曲面的外部不变量,主曲率。更一般地,若在黎曼流形中一个光滑超曲面上选取了一个光滑单位法向量场,则可定义这样一个二形式。
在基 {ru,rv} 下的矩阵是
在参数化uv-平面上一个给定点处系数L,M,N由r在那个点的二次偏导数到S的法线上投影给出,利用点积可计算如下:
一个通常曲面S的第二基本形式定义如下:设r=r(u,u) 是R中一个正则参数曲面,这里r是两个变量的光滑向量值函数。通常记r关于u的偏导数为rα,α = 1,2。参数化的正则性意味着r1与r2在r的定义域上是线性无关的,从而在每一点张成S的切空间。等价地,叉积r1×r2是曲面的一个非零法向量。这样参数化定义了一个单位法向量场n:
第二基本形式通常写作
上式使用了爱因斯坦求和约定。
在参数 (u,u)-曲面给定点处系数bαβ由r的二次偏导数到S的法线的投影给出,利用点积可写成:
在欧几里得空间中,第二基本形式由
给出,这里 是高斯映射,而 是 的微分视为一个向量值微分形式,括号表示欧几里得空间的度量张量。
更一般地,在一个黎曼流形上,第二基本形式是描述一个超曲面形算子(记作S)的等价方法,
这里 表示周围空间的共变导数,n超曲面上一个法向量场。如果仿射联络是无挠的,则第二基本形式是对称的。
第二基本形式的符号取决于n的方向的选取。(这称为曲面的余定向,对欧几里得空间中的曲面,等价于给定曲面的一个定向)。
推广为任意余维数
第二基本形式可以推广到任意余维数。在这种情形下,它是切空间上取值于法丛的一个二次型,可以定义为
这里 表示共变导数 到法丛的正交投影。
在欧几里得空间中,子流形的曲率张量可以描述为下列公式:
这叫做高斯方程,可以视为高斯绝妙定理的推广。在一个标准正交基中第二基本形式的本征值,是曲面的主曲率。一组正交规范本征向量称为主方向。
对一般的黎曼流形必须添加周围空间的曲率;如果N是嵌入黎曼流形(M,g) 中一个流形,则N在诱导度量下的曲率张量 可以用第二基本形式与M的曲率张量 表示出来: