第二基本形式

微分几何中，第二基本形式（）是三维欧几里得空间中一个光滑曲面的切丛上一个二次形式，通常记作 II。与第一基本形式一起，他们可定义曲面的外部不变量，主曲率。更一般地，若在黎曼流形中或洛伦兹流形中，的一个光滑超曲面上，选取了一个光滑单位法向量场，则可定义这样一个二形式。

 中曲面 
 引论 
中一个参数曲面的第二基本形式由高斯引入。最先假设曲面是两次连续可微函数的像，，且平面与曲面在原点相切。则以及关于和的偏导数在皆为零。从而在处的泰勒展开以二次项开始：

 ，

记 , 则在坐标中原点处的第二基本形式是二次型：



对 参数曲面上一个光滑点，总可以选取坐标系使得坐标的 z-平面与切于，然后可以相同的方式定义第二基本形式。

经典记号

一个一般参数曲面的第二基本形式定义如下。设 是中一个正则参数曲面，这里是两个变量的光滑向量值函数。通常记关于和的偏导数为与。参数化的正则性意味着与对的定义域中任何是线性无关的。等价地，叉积是曲面的一个非零法向量。参数化这样就定义了一个单位法向量场：

第二基本形式通常写成



在基下的矩阵是

在参数化 uv-平面上一个给定点处系数, , 由在那个点的二次偏导数到的法线上投影给出，利用点积可计算如下：

现代记法
一个通常曲面的第二基本形式定义如下：设是中一个正则参数曲面，这里是两个变量的光滑向量值函数。通常记关于的偏导数为，。参数化的正则性意味着与在的定义域上是线性无关的，从而在每一点张成的切空间。等价地，叉积是曲面的一个非零法向量。这样参数化定义了一个单位法向量场： 

第二基本形式通常写作

上式使用了爱因斯坦求和约定。

在参数-曲面给定点处系数由的二次偏导数到的法线的投影给出，利用点积可写成：

 黎曼流形中的超曲面 

在欧几里得空间中，第二基本形式由

给出，这里  是高斯映射，而  是  的微分视为一个向量值微分形式，括号表示欧几里得空间的度量张量。

更一般地，在一个黎曼流形上，第二基本形式是描述一个超曲面形算子（记作）的等价方法，

这里  表示周围空间的共变导数，超曲面上一个法向量场。如果仿射联络是无挠的，则第二基本形式是对称的。

第二基本形式的符号取决于的方向的选取。（这称为曲面的余定向，对欧几里得空间中的曲面，等价于给定曲面的一个定向）。

 推广为任意餘维数 

第二基本形式可以推广到任意餘維數。在这种情形下，它是切空间上取值于法丛的一个二次型，可以定义为

这里  表示共变导数  到法丛的正交投影。

在欧几里得空间中，子流形的曲率张量可以描述为下列公式：

这叫做高斯方程，可以视为高斯绝妙定理的推广。在一个标准正交基中第二基本形式的本征值，是曲面的主曲率。一组正交规范本征向量称为主方向。

对一般的黎曼流形必须添加周围空间的曲率；如果是嵌入黎曼流形中一个流形，则在诱导度量下的曲率张量  可以用第二基本形式与的曲率张量  表示出来：

相关条目
第一基本形式
高斯曲率
高斯-科达齐方程

参考文献




外部链接
 关于第二基本形式的几何的一篇博士论文，作者为 Steven Verpoort: https://lirias.kuleuven.be/bitstream/1979/1779/2/hierrrissiedan!.pdf 

Category:微分几何
Category:曲面的微分几何
Category:黎曼几何
Category:曲率