(考試資料下載)微分幾何教案曲面論（十二）

微分幾何教案（二十） 曲面論基本定理：5.1曲面的基本方程和克里斯托費爾符號5. 曲面的基本定理通過上面幾節(jié)的討論,我們知道,給定曲面，我們就可以得到它的兩個基本形式：。 曲面的各種曲率完全由它的兩個基本形式?jīng)Q定。因為曲率是用來描述曲面形狀的，所以如果我們知道了曲面的第一、第二基本形式后，也就基本上知道了曲面的形狀?，F(xiàn)在提出這樣的問題：曲面在空間的形狀是否由第一、第二基本形式完全確定？說得詳細一點，如果給出了u,v的兩個二次微分形式，我們能否確定一個曲面，使它的第一、第二基本形式恰為上述所給出的兩個微分形式？ 一般說來，這個反問題不可能有解。因為確定一個曲面需要三個函數(shù)x(u,v),y(u,v),z(u,v),而曲面的第一、第二基本形式是由這三個函數(shù)確定的，也即第一、第二基本形式中的六個函數(shù)E(u,v),F(u,v), N(u,v)是有聯(lián)系。反過來說，如果這六個函數(shù)之間沒有聯(lián)系，就不可能確定一個曲面。由六個函數(shù)確定一個曲面,就是確定三個函數(shù)x(u,v),y(u,v),z(u,v).這六個函數(shù)只有三個是獨立的。也就是說，這六個函數(shù)之間有三個關系式。這一節(jié)的目的就是要尋找這三個關系式,稱為高斯科達齊邁因納爾迪公式，并將證明定理：給出兩個二次微分形式，如果它們滿足高斯科達齊邁因納爾迪條件，則存在一個曲面面，它的第一、第二基本形式正好就是給定的兩個二次微分形式。為了把一些式子表達得更有規(guī)律些，本節(jié)將采用以下一些新的記號，以后將同時采用這一套符號和以前采用的記號。記，。，并且注意，。5.1 曲面的基本定理和克里斯托菲耳（Christoffer)符號在曲線論中，曲線的三個基本向量的導向量可以用三個基本向量來表出,即有弗雷內(nèi)(Frenet)公式。在空間給出一個類曲面S：,它確定了向量，。那么這三個向量的導向量能否由這三個向量表出呢？表出的系數(shù)是什么呢？結論 對于,我們有 , 這式稱為曲面的基本方程。第一式稱為高斯方程，第二式稱為魏因加爾吞方程。其中稱為第二類克里斯托菲耳符號，也記作，簡稱克氏記號。而ij,l= 叫做第一類克里斯托菲耳符號。而 。證明 我們設的導向量用表示的表達式為 （*） 下面我們確定這些式子的系數(shù) 。 將(*)的第一式點乘，注意到，因此得 因為,對此式求導數(shù)得，由于和（*）的第一式，所以，即： ,兩邊左乘得 即 即 。 下面確定（*）中第二式中的。用點乘（*）中第二式的兩邊得，I,j=1,2因此（像求一樣）得 (2) 將(1)(2)帶入( *) 即得所證關系式并且 。注：采用過去的記號： ， 。于是得六個系數(shù)如下：，；而。對于正交