这个系列是北京大学陈维桓教授《微分几何(第二版)》的学习笔记,主要涉及古典微分几何中曲线曲面理论的相关知识。系统学习微分几何对于理解计算机图形学中的各种几何处理算法是十分有益的。本节介绍活动标架和外微分法的相关理论。
外形式
本节要在代数上做一些准备,介绍外形式和外代数的概念。
对偶空间
设是维向量空间,是它的一个基底,则空间中的任意一个元素都能够唯一地表示为基底向量的线性组合,设为
在最右端我们采用了Einstein的和式约定。在本节,我们规定所有的指标,,,的取值范围是从1到的整数。实数称为向量在基底下的分量。
设是向量空间上的函数。如果对于任意的及总有
则称是向量空间上的线性函数。在固定的基底下,取向量在该基底下的第的分量,显然它是在向量空间的一个线性函数,记为,即
特别地,函数在基底向量上的值是
为方便起见,常常把上式右端记为,称作Kronecker 记号,即
这里的是专用记号,与基底所用的字母的记号没有关系。
很明显,向量空间上的任意两个线性函数的和是上的线性函数,上的一个线性函数与实数的乘积仍然是上的线性函数。这就是说,上全体线性函数的集合关于加法和数乘法是封闭的。因此该集合是一个新的向量空间,记为, 称为原向量空间的对偶空间。容易证明,前面在的固定基底下定义的个线性函数恰好构成空间的基底,称为与原向量空间的基底对偶的基底。实际上,对于任意的线性函数和任意的向量,我们有
命
则可以得到
因此
这说明向量空间上的任意一个线性函数能够表示成线性函数的线性组合,组合系数正好是线性函数在基底向量上的值。下面要证明这个线性函数是线性无关的。假定有个实数使得线性组合为零,即
将这个零函数在基底上求值得到
这意味着所有的实数必须为零,因此线性函数是线性无关的,故它们构成对偶向量空间的基底,特别是。上的线性函数也称为一次形式,或者1-形式。
多重线性函数
类似地,我们可以考虑线性空间上的多重线性函数。设
是上的元函数。如果它对于每一个自变量来说都是线性函数,则称它是重线性函数。线性空间上全体重线性函数的集合关于加法和数乘法自然是封闭的,因此它本身是一个向量空间,记为,或者。
另外,任意两个多重线性函数能够作张量积,得到一个新的多重线性函数。例如,设是一个重线性函数,是一个重线性函数,和的张量积定义为
其中。很明显,是一个重线性函数。容易验证,张量积具有分配律和结合律,即
分配率:,
结合律:
因此,个线性函数的张量积便成为一个重线性函数。特别地,设是对偶向量空间的基底,任意固定个指标,则我们得到一个重线性函数,它在向量上的值是
指标的选法共有种,因此我们得到个重线性函数
它们构成向量空间的基底,由此可见。实际上,若设,,则
其中
因此
类似地,可以证明个重线性函数是线性无关的。
外形式
设。如果在函数的任意两个自变量交换位置时的值只改变它的符号,即对于任意的以及任意的总有
则称是一个反对称的重线性函数,或称是一个次外形式,简称为-形式。此时,如果是的任意一个置换,则有
其中是置换的符号,即
实际上,次外形式的最简单的例子就是由行列式给出的。
设是向量空间中的个元素,在基底下它们可以表示为
任意取定一组指标,命
根据行列式的形式,函数是的反对称的重线性函数,即是一个次外形式。
外积
以后我们要证明任意一个次外形式无非是这样的一些行列式的线性组合。为此我们先介绍反对称化运算和外积运算这两个概念。
所谓的反对称化运算是将一个重线性函数变成一个重反对称线性函数的手段。实际上,重线性函数的反对称化(记为)就是将它的自变量做所有的置换,然后取它们的值的交替平均值。例如,设是上的一个2重线性函数,则
如果是上的一个3重线性函数,则
其中。一般地,设是上的一个重线性函数,则
其中是个整数的置换群。很明显,是一个次外形式。如果本身是次外形式,则。
向量空间上的全体次外形式集合记为,因为加法和数乘法在集合中是封闭的,因此它自然是一个向量空间。更要紧的一个事实是在外形式之间还能够定义外积运算, 它在实质上是张量积和反对称化运算的复合。
定义7.1
设,,则和的外积是一个次外形式,定义为。
根据定义7.1,设、是向量空间上的两个一次形式,则它们的外积为
其中。类似地,设、、是向量空间上的三个一次形式,它们的外积为
定理7.1
外积运算遵循下列运算法则:
(1) 分配率:
(2) 反交换律:设,,则
(3) 结合律:
根据结合律,任意多个外形式的外积是有意义的。例如:3个外形式、、的外积可以写成,也可以写成。
由反交换律得知,如果、是上的一次形式,则
特别地,
另外,如果在、中至少有一个是偶次外形式,则下面的交换律成立:
现在设是上的个一次形式,则有
任意取,则
特别地,在的基底中任意取定个成员,则由上式得到
和前面相对照不难知道
若在的基底中任意取定个成员,则由上面的式子得到
我们把称为广义的Kronecker 记号。由它的定义式即知
根据反交换律,对于一次形式的外积,交换其中的任意两个因子,则该外积必反号。所以,对任意的有
外代数
定理7.2
设是对偶向量空间的一个基底,则是次外形式空间的基底。特别是,空间的维数是。当时,。
证明 设,则作为重线性函数可以表示为
其中
这里是向量空间中对偶的基底。因为的反对称性,所以系数关于下指标是反对称的,即
因此
这说明任意一个次外形式都能够表示成,的线性组合。
为了证明这个次形式,是线性无关的,假定有一组实数,,使得线性组合
将这个零函数在向量,上求值,得到
由此可见,这组实数,必须全部为零。证毕∎
上面的构造可以从代数上进行抽象。假定是任意一个维向量空间,它的一个基底是。把看作个字母,构造实系数多项式,只是要求字母之间的乘法不是普通的交换乘法,而是反交换乘法。也就是在交换任意两个字母的位置时该乘积变号:
把这种乘法称为外积,假定多个字母的外积遵循结合律,同时假定分配律也成立。如此得到的多项式称为外多项式。由于
故
因此在外多项式的每一项中同一个字母不能出现两次,于是高于次的齐次外多项式必定是零。这样,一次外多项式是字母的线性组合,它们构成向量空间本身。二次外多项式是,的线性组合,它们构成的空间记成。一般地,次外多项式是
的线性组合,它们构成的空间记成。零次外多项式定义为实数本身。全体外多项式的集合记为
其元素是各次外多项式的形式和。在集合中有加法和外积运算,并且外积运算适合分配律、结合律和反交换律,所以从代数上讲,是一个结合代数,称为向量空间上的外代数。
由此可见向量空间上的外形式就是其对偶空间的基底向量的外多项式。但是,我们在本节具体地、构造性地定义了外形式的外积,而不只是一种抽象的规定。这就是说,本节叙述的外形式的理论具体地构造出一个外代数。
外多项式的形式化定义的好处在于消除外形式和外积的神秘感。从普通的多项式出发,只要规定字母之间的乘法是反交换的,则所得到的便是外多项式。
具有反交换乘法的代数结构的例子还有:设是三维向量空间,「×」是该空间上的向量积(叉积)。容易验证,空间关于向量积是一个代数。不过,向量积不具有结合律,而满足所谓的Jacobi恒等式,因此关于向量积不是外代数,而是所谓的李代数。
最后,我们叙述一个重要的定理,它在微分几何中是十分有用的。
定理7.3 (Cartan引理)
设,是维向量空间的个一次形式,其中是线性无关的。如果恒等式成立,则每一个必定是的线性组合,即,并且组合系数是对称的,即。
证明 因为是线性无关的,所以可以把它们扩充成为对偶空间的一个基底,因此每一个一次形式可以由该基底表示,命
已知空间的基底是,将上式代入已知条件得到
于是所有的组合系数必须为零,即
这样成为
证毕∎
外微分式和外微分
本节的主要内容是介绍外微分式的概念及其外微分运算。为此,我们首先复习曲纹坐标系的概念。
曲纹坐标系
设欧式空间中的正则曲面的参数方程是,其中,则
在前面的章节,我们已经强调可以作为曲面上的点的坐标,称为曲面上的点的曲纹坐标。另外,从上式得知曲面在点的切空间的基底是,而是在点的任意一个切向量的分量,因此、分别是曲面在点的切空间上的线性函数,它们构成曲面在点的切空间的对偶空间上与自然基底对偶的基底,记为。我们把曲面在点的切空间的对偶空间称为曲面在点的余切空间,记为。余切空间中的元素称为曲面在点的余切向量,也就是曲面在点的切空间上的线性函数。
上面的说法可以搬到欧氏空间的一个区域上去,得到平面区域上的曲纹坐标的概念。设是平面区域上的笛卡尔直角坐标系,是另一个平面区域上的笛卡儿直角坐标系。如果在平面区域和之间存在一个一一对应,它可以表示为从到的映射, 即
以及从到的逆映射,即
并且假定函数、都是连续可微的,则称是平面区域上的曲纹坐标系。如果让的值固定,而让变化,则我们再平面区域上得到一条曲线,称为平面区域上的一条-曲线。同理,我们有平面区域上的一条-曲线。由于平面区域和的点之间是一一对应的,因此经过区域上的每一点只有一条-曲线,也只有一条-曲线。我们把-曲线的切向量记为,把-曲线的切向量记为,于是它们构成区域在点的切空间的基底,记为,同时区域在点的余切空间的基底是。在点的任意一个余切向量是、的线性组合。
由于映射和互为逆映射,因此有恒等式
和恒等式
因为,都是连续可微函数,将对求导得到
所以Jacobi行列式
反过来,根据反函数定理,如果有两个连续可微函数
只要它们的Jacobi行列式处处不为零,则在任意一点的一个邻域内存在反函数
使得恒等式成立,因此可作为区域在点的邻域内的曲纹坐标。由此可见,平面区域上的曲纹坐标系要比笛卡儿直角坐标系随意得多。克服笛卡儿直角坐标系的局限性是数学发展过程中的重要一步,同时曲纹坐标系的概念又导致微分流形概念的产生。
一般地,设是维欧氏空间中的区域上的笛卡儿直角坐标系,是维欧氏空间中的另一个区域上笛卡儿直角坐标系。如果在区域和之间存在一个一一对应,它可以表示为从到的映射,即
以及从到的逆映射,即
并且假定函数,都是连续可微的,则称是区域上的曲纹坐标系。区域在点的切空间的自然基底是,同时区域在点的余切空间的基底是。在点的任意一个余切向量是的线性组合。
反过来,根据反函数定理,如果有个连续可微函数
只要它们满足条件
则在任意一点的一个邻域内存在反函数
使得恒等式
和恒等式
成立,因此可以作为区域在点的邻域内的曲纹坐标。由此可见,是函数组能够在点的邻域内引进曲纹坐标系的充分必要条件。
在20世纪中叶,所谓的大范围微分几何和大范围分析的课题成为数学研究的热门课题,所考虑的空间不再限于具有笛卡儿直角坐标系的欧氏空间,而只要求这种空间在局部上具有曲纹坐标系,并且容许曲纹坐标系作一定的变换,这种空间就是现在所称的微分流形。稍微确切一点说,所谓的维微分流形是指由维欧氏空间中的一些小块区域一片、一片连续可微地拼接起来得到的空间。这里,「连续可微地拼接起来」的意思是在有些小块区域的某部分可以通过其上面的曲纹坐标的正则的连续可微的函数关系等同起来。当时,这就是前面所叙述的二维光滑流形。以后为方便起见,总是假定连续可微函数指它有连续的任意阶的各种偏导数,有时也称这种函数是光滑函数。在维微分流形的每一点有切向量、切空间、余切向量、余切空间的概念,特别地在曲纹坐标系下是维微分流形在一点的余切空间的基底。
外微分式
现在,我们要给出外微分式的定义。
定义7.2
设是为欧式空间中的一个区域,是区域上的曲纹坐标系。如果以连续可微的方式在每一点给定了一个次外形式
其中假定系数函数对于下指标是反对称的,则称是定义在上的次外微分式。
在这里,所谓的「以连续可微的方式」是指系数,是的连续可微函数,即是的光滑函数。
设是定义在上的连续可微函数,则它的微分
即为区域上的1次微分式,因而也是上的一个1次外微分式。
设是三维欧式空间中的一块正则参数曲面,参数方程是
并且它的第一基本形式是
命
则是曲面上的一个2次微分式。
容易证明:2次微分式在曲面的保持定向的容许参数变换下是不变的。实际上,如果是曲面的另一个保持定向的参数系,于是的至少3次以上连续可微的函数,并且
假定曲面的第一基本形式用新参数的表达式是
则根据第一基本形式的不变性,在第一类基本量和之间有关系式
其中
对等式两边取行列式得到
因此
但是根据已知条件,Jacobi行列式大于0
所以关于第一基本形式的等式成为
在另一方面,对函数求微分得到
因此
综合前面的推导可以得到
这就证明了2次微分式在曲面的保持定向的容许参数变换下是不变的。
这个事实蕴涵着一个十分重要的结果。我们在前已经定义过正则曲面的概念(定义3.1),它是一片、一片正则参数曲面粘合的结果,在重叠部分会有多个曲纹坐标系,但是在不同的曲纹坐标系之间的变换都是容许的参数变换。上面的断言表明,虽然2次微分式在曲面的每一个参数表示是,但是它在实际上是定义在整个有向正则曲面上的2次外微分式。同样,有向抽象曲面(二维黎曼流形)上也有定义在整个曲面上的2次微分式。在这里,我们具体地描述了构造定义在整个有向曲面上的量的一种方式,即这个量可以用局部坐标来表示、但是与局部坐标系的选择无关。这种方式有普遍意义。
2次外微分式称为在曲面上的面积元素,其理由如下:假设在曲纹坐标系下,在点给定两个切向量
那么
作切向量、的向量积得到
因此
换言之,恰好是切向量所张的平行四边形的有向面积。
外微分
区域上的任意两个同次的外微分式能够以逐点计算的方式作加法和外积运算。对于外微分式来说,更重要的一种运算是外微分,它把次外微分式变为一个次外微分式。
定义7.3
设 是定义在区域上的一个次外微分式。用如下的方式定义次外微分式:
称为的外微分。如果是定义在上的连续可微函数(即零次外微分式),则它的外微分就是它的普通微分。
定理7.4
外微分运算遵循下面的运算法则:
(1) 是线性算子,即对于任意的外微分式、有 ,
(2) ,即对于任意一个外微分式,有 (3) 若是次外微分式,则对于任意一个外微分式,有
关于运算法则(3)有两个特殊情形需要特别强调一些。若是定义在区域上的零次外微分式,即是定义在区域上的连续可微函数,则由(3)得到
若是定义在区域上的一次外微分式,则
外微分运算还有一个更重要的性质,也就是外微分与外微分式的参数表示的方式无关,这称为「外微分的形式不变性」,是微积分学中「一次微分的形式不变性」的推广。确切地说我们有下面的定理。
定理7.5
设是定义在维区域上的一个次外微分式,它在曲纹坐标系下的表示是
在另一个曲纹坐标系下的表示是
其中假定和对下指标都是反对称的,则有
证明 由于不同的曲纹坐标系之间有容许的坐标变换,设为
故
因此
很明显,对于下指标仍然是反对称的,因此比较上式的前后两端的系数得到
对上式求微分得到
所以
在这里,第二个等号成立的理由是除了第1项以外,其余各项全部为零,例如
证毕∎
根据定理7.5,外微分实际上是定义在整个正则曲面上的算子,或者更一般地,外微分是定义在光滑流形上的算子。因为在这种空间每一点的邻域内有局部坐标系,而在不同的局部坐标系之间有容许的坐标变换,但是外微分算子与局部坐标系的选取无关,所以它是在整个空间上定义好的算子。这就是说,给定一个定义在光滑流形上的一个次外微分式,尽管在不同的局部坐标系下,外微分式有不同的表达式,但是它们的外微分仍旧是同一个外微分式在相应的局部坐标系下的表达式。因此,外微分运算把定义在整个流形上的一个次外微分式变成定义在整个流形上的一个确定的次外微分式。
定理7.5还可以作一些推广,这在以后十分有用。设有另一个维区域,曲纹坐标系是,并且是一个连续可微映射,表示为
映射诱导出一个映射,它把定义在区域上的次外微分式变为区域上的次外微分式。例如,设
则是区域上的次外微分形式,它是把代入式所得到的结果,即
其中指标的取值范围从1到,指标的取值范围从1到,并且上式使用了Einstein和式约定。通常,我们把称为区域上的次外微分式通过映射在区域上的拉回。
定理7.6
设是连续可微映射,则对区域上的任意外微分式、有下面的等式:
(1)
(2)
(3)
把微积分学中的重积分的被积表达式写成外微分式是更加自然的,因为此时积分的变扯替换公式可以通过直接计算得到。例如,考虑二维区域上的重积分,其中的应该换成。如果有变量替换
则
所以
这正好是二重积分的变量替换公式。三重积分的情况是一样的。
Stokes公式
采用外微分的语言,积分的Green公式、Stokes公式和Gauss 公式可以统一地表述如下:设是维欧式空间中的一个维有向曲面上的一个区域,是的边界,具有从诱导的定向,是定义在上的次外微分式,则有
上式统称为Stokes公式。
E³中的标架族
活动标架的运动公式
在第一章中, 我们已经讨论过由中的标架的全体所组成的12维空间。具体一点说,就是在中取定一个右手单位正交标架,那么在中的任意一个右手标架都可以表示成
并且条件
成立。因此,中全体右手标架的集合是中满足行列式大于0条件的区域,位于区域中的点的坐标就是
如果是右手单位正交标架,则除了满足行列式大于0条件外,它还要满足方程
即
因此中全体右手标架的集合是中满足上述条件的一张6维(代数)曲面。
现在我们来考察标架的无穷小位移,也就是标架原点和标架向量的微分,则有
但是是线性无关的,因此基底反过来可以用来表示,即
其中系数矩阵
将上式代入标架向量的微分得到
展开以后得到
其中
向这里的,是区域上的12个一次微分式,称为欧式空间上的活动标架的相对分量。方程称为活动标架的运动公式。
上面的讨论对于欧氏空间上的单位正交活动标架也是适用的,只是现在要求矩阵是正交矩阵,即
因此欧式空间上的单位正交活动标架的相对分量是
另外,容易得知
因此欧式空间上的单位正交活动标架的相对分量在实质上只有6个,它们是
这些一次微分式定义在中的6维曲面上。
标架空间的结构方程
定理7.7
欧式空间上的活动标架的相对分量,满足下列方程式:
这组方程称为欧氏空间上的标架空间的结构方程。
证明 标架族的位置向量相当于函数,,,而每一个标架向量相当于函数,,,所以和实际上是标架空间中的12个坐标函数。根据外微分的性质得到
代入活动标架的运动方程得到
因为,,是线性无关的,因此上式终端的系数必须为零。证毕∎
欧式空间上的单位正交标架空间有相同的结构方程,但是由于外微分式关于指标有反对称性,故结构方程成为
下面我们考虑欧氏空间中依赖个参数的标架族。设变量的定义域是空间中的一个区域,那么所谓的中依赖个参数的标架族是指从维区域到标架空间中的一个连续可微映射,即有12个连续可微函数
其中。把看作自变量,将上式代入标架的定义方程并求微分,故有
很明显
它们是维区域上的一次微分式,称为中依赖个参数的标架族的相对分量。上式称为中依赖个参数的标架族的运动公式。
如果考虑欧式空间中依赖个参数的单位正交标架族,则它是从维区域到标架空间中的一个连续可微映射,换言之,这12个函数,还要满足条件
相应地,相对分量,满足关系式
定理7.8
欧式空间中依赖个参数的任意一个标架族的相对分量,必定满足结构方程
证明 根据定理7.6可以得到
证毕∎
结构方程的重要性在于上述定理的逆定理成立,即结构方程成立是使标架族存在、且以给定的一组一次微分式,,为其相对分量的充分条件。具体地说,我们有下面的定理:
定理7.9
任意给定12个依赖自变量的一次微分式,,,如果它们满足结构方程
则在欧式空间中有依赖个参数的右手标架族以,为它的相对分量。
定理7.9′
任意给定6个依赖自变量的一次微分式
如果它们满足结构方程
则在欧式空间中有依赖个参数的右手单位正交标架族以,为它的相对分量,并且任意两个这样的右手单位正交标架族可以通过空间的一个刚体运动彼此重合。
定理7.9和定理7.9′的证明,实际上要化为在证明曲面存在定理时用到的一阶线性齐次偏微分方程组的求解问题,而结构方程相当于这组偏微分方程组的完全可积条件。
曲面上的正交标架场
本节的目的是把中的标架族的理论用于曲面论的研究。首先我们求曲面上自然标架场的相对分量,然后把曲面论的Gauss-Codazzi方程和自然标架场的结构方程等同起来。我们所着眼的重点还是如何在曲面上取单位正交标架场,并且把曲面的有关几何量用曲面上的一阶标架场的相对分量表示出来,为在曲面上用活动标架法创造条件。
自然标架场
设欧式空间中曲面的参数方程是,相应的自然标架场是,其中
因此,自然标架场是空间中依赖参数,的标架族。
现在求这个标架族的相对分量,。假定曲面的两个基本形式分别是
由于
与活动标架的运动公式对照得到
由曲面论的Gauss-Weingarten公式得到
其中是度量矩阵的Christoffel记号。与活动标架的运动公式对照得到
下面考察该标架族的结构方程。根据,,得知。而在另一方面,由于和关于下指标的对称性我们有
因此第一组结构方程
是自动成立的。第二组结构方程可以写成
可以验证,上面的前两个式子分别是Gauss方程和Codazzi方程。
总起来说,在曲面上取自然标架场,则它的相对分量为
它们所满足的结构方程恰好是曲面所满足的Gauss-Codazzi方程。由此可见,如果已知两个二次微分形式
其中是正定的,要验证它们是否满足Gauss-Codazzi方程,只要构造一次微分式,,然后验证它们是否满足结构方程就行了。由于结构方程比Gauss-Codazzi方程容易记忆,所以验证结构方程显然是比较方便的。
正交标架场
下面我们来讨论曲面上的单位正交标架场。首先我们要指出,从曲面的自然标架场得到单位正交标架场的最简单的方法是所谓的Schmidt正交化步骤。假定曲面的第一基本形式是(采用Gauss记号)
则从经过Schmidt正交化得到
命,则上式可以用矩阵表示为
命
现在,是定义在曲面上的单位正交标架场,其中和是曲面的切向量。这时欧式空间中依赖参数,的正交标架族。为求该标架族的相对分量,注意到是曲面的切向量,所以
另外,根据相对分量的定义得到
所以
或者
即
上面求曲面上的单位正交标架场的相对分量,的过程,可以简单地归结为曲面的第一基本形式配平方的过程。实际上,将第一基本形式配平方得到
把等式终端的第一个括号内的式子记为,第二个括号内的式子记为即可。
一阶标架场
一般地,如果曲面上的单位正交标架场中的成员,是曲面的切向量,则称这样的标架场为曲面的一阶标架场。对于曲面的任意一个一阶标架场必定有
因此并且
反过来,只要将曲面的第一基本形式作任意的配平方,把它写成两个一次微分式的平方和,并且把这两个一次微分式分别记为和,而让,则我们便得到曲面的某个一阶标架场的相对分量,并且由此可以得到曲面的一阶标架场关于自然标架场的表达式。这个看法为在曲面上选用一阶标架场带来方便,在实践中是十分有用的。
下面我们来求曲面的一阶标架场相对分量的其他成员。假定我们有曲面的一阶标架场,换言之,我们有一次微分式,,,使得
因为是正定的,容易证明和是处处线性无关的。首先我们断言:一次微分式是由,根据结构方程唯一确定的。确切地说,我们有下面的定理。
定理7.10
假定,是依赖自变量,的两个处处线性无关的一次微分式,则存在唯一的一个一次微分式满足条件
证明 因为曲面的一阶标架场是空间中依赖参数,的单位正交标架族,它的相对分量必定是自变量,的一次微分式,但是,是,的处处线性无关的一次微分式,故可设
将上式代入结构方程得到
因为,是自变量,的二次微分式,所以它们必定是的倍数,其系数是,的函数。同时因为,是,的处处线性无关的一次微分式,故二次微分式是的非零函数倍,这样,,必定是的倍数,其系数恰好是我们要确定的,,即
由此可见,一次微分式是由和借助于结构方程唯一确定的。证毕∎
关于曲面的一阶标架场的相对分量,还需要求出和,它们与曲面的第二基本形式有关。根据结构方程
以及和的线性无关性,由Cartan引理得知
根据曲面的第二基本形式的定义
如果已知曲面的第二基本形式是
则将,关于,的表达式代入上式就能够得到待定系数,,。
将上面的讨论综合起来,我们有下面的结论:如果给定曲面的第一基本形式和第一基本形式,将作任意一个配平方,写成两个一次微分式,的平方和,那么,,一定是曲面的某个一阶标架场的相对分量。根据定理7.10,相对分量由,借助于结构方程唯一地确定,和由曲面的第二基本形式借助于结构方程唯一地确定。至此,尚未涉及曲面的另一组结构方程,它们恰好是曲面的Gauss-Codazzi方程。
定理7.10说明,对于曲面的一阶标架场来说,相对分量是由,借助于结构方程唯一确定的。这个事实可以用来证实上切向量场的协变微分和沿曲线的平行移动是属于曲面的内蕴几何的概念。设是曲面的一阶标架场,则
根据曲面上切向量场协变微分的定义,我们有
假定
是曲面上的一个连续可微切向量场,则它的协变微分是
命
分别称为切向量场的分量,的协变微分。注意到协变微分,中只用到相对分量,而它们是由,确定的,与曲面的第二基本形式无关,所以协变微分是曲面的内蕴几何的概念,在曲面作保长变换时它是保持不变的。在曲面的内蕴微分几何学中,一次微分形式
通常称为联络形式。
曲面的一阶标架场是与曲面有密切关系的标架场,曲面的一些几何量应该能够用一阶标架场的相对分量来表示。但是曲面的一阶标架场的选取又有相当大的随意性,因为让曲面的一阶标架场在每一点绕法向量转过一个角度得到的仍然是曲面的一阶标架场。换言之,曲面的一阶标架场容许作如下的变换:
其中是曲面上的连续可微函数。正是因为曲面的一阶标架场的选取享有这种自由度,使得它与曲面的参数系的关系比较松弛,从而为处理曲面的问题带来很多便利,这就是所谓的活动标架的优越性。当然,曲面的几何量在用一阶标架场的相对分量表示时应该与一阶标架场的容许变换无关。
我们先考虑曲面的一阶标架场的相对分量在一阶标架场经受容许变换时的变换规律。用,记一阶标架场的相对分量。容易得知
因此
所以,并且
根据协变微分,我们有
因此
同理,因为,故
因此
假定
通过计算可以得到
所以
即用表示时其系数矩阵在变换下经受一个相似变换(或合同变换),其过渡矩阵就是标架场容许变换对应的旋转矩阵。
定理7.11
若曲面上的一阶标架场经受如下的变换
则对应的相对分量按下列规律进行变换
曲面上的曲线
在前面我们曾经指出,落在曲面上的曲线受到曲面的制约,它的弯曲性质必然在某种程度上反映了曲面的弯曲情况。现在,我们要把上一节所建立的曲面的一阶标架场理论用于曲面上曲线的研究。
假定在曲面上取定一个一阶标架场,其中。设它的相对分量是,,以及,它们都是参数,的一次微分式。
设是曲面上的一条连续可微曲线,其参数方程为,,为弧长参数。因此,曲线的单位切向量是
这里的,是曲面的相对分量在曲线上的限制。设是与所构成的方向角,即
故沿曲线有
命
于是是沿曲面上的曲线所定义的单位正交标架场,它是曲面的一阶标架场在曲线上的限制、并在每一点转过一个角度得到的。根据定义,曲线的曲率向量是
所以
故曲面上的曲线的测地曲率是
法曲率是,即
其中,,是相对分量,用,线性表示时的系数。为求得沿曲线的单位正交标架场的运动公式,还需要作如下计算:
所以曲面上的曲线的测地挠率是
前面推导的法曲率公式可以看作切方向的方向角的函数,使我们能够容易地考虑的极值性质。根据法曲率计算公式得到
如果,同时为零,则与方向角无关,即曲面在该点沿各个切方向的法曲率都相同,因此该点是曲面的脐点。假定,不同时为零,则可取使得
于是曲面的法曲率可以写成
由此可见,曲面在一点的法曲率在,时达到最大值
在,时达到最小值
换句话说,,是曲面在一点的主曲率,是曲面在该点的主方向,而且对应于不同主曲率的主方向必定是彼此正交的。另外,从主曲率两个计算式得到
法曲率公式还能够进一步写成
这正是Euler公式的一般情形。如果取曲面的一阶标架场使得,是曲面的主方向,则这样的标架场称为曲面的二阶标架场。对于曲面的二阶标架场,显然有,因此Euler公式成为
这就是关于曲面的法曲率的标准Euler公式。
另外,当,不同时为零时,测地挠率能够改写成
所以,曲面在任意一点沿主方向时总是有测地挠率。反之亦然,由此可见
是曲面上曲率线的微分方程。比较上式和法曲率计算公式,不难知道
曲面上的二阶标架场是与曲面有更加密切关系的标架场。假定是曲面的二阶标架场,则,故,因此
在的假设下,我们有,,并且曲面的第二基本形式成为
由此可见在曲面的二阶标架场下,它的第一基本形式和第二基本形式有最简单的表达式。