第一基本形式

微分幾何中,第一基本形式first fundamental form)是三維歐幾里得空間中一個曲面切空間內積,由 R3 中標準點積誘導。它使得曲面的曲率和度量性質(比如長度與面積)可與環繞空間一致地計算。第一基本形式用羅馬數字 I 表示:

是一個參數曲面,則兩個切向量的內積為

這裏 E, F,與 G第一基本形式的係數

第一基本形式可以表示為一個對稱矩陣

進一步的記號

編輯

當第一基本形式寫成一個參數時,它表示向量與自己的內積,

 

第一基本形式寫成現代記法的度量張量。係數則可以寫做  

 

這個張量的分量是切向量 X1X2 的數量積:

 

i, j = 1, 2。具體例子可見下一節。

變數變換

編輯

如果有一個曲面具有兩個表示參數 以及 ,則二者的第一基本形式的系數  存在一個關係:

 ,其中 ,所以說可以有

 

計算長度與面積

編輯

第一基本形式完全描述了曲面的度量性質。從而,它使我們可以計算曲面上曲線的長度與區域的面積。線元素英語Line element可以用第一基本形式的係數表示為:

 .

  給出的經典面積元素可以用第一基本形式的係數利用拉格朗日恆等式寫出,

 

例子

編輯

R3 中單位球面可如下參數化

 

  分別對 uv 微分得出

 

第一基本形式的係數可由取偏導數的點積得到:

 
 
 

球面上曲線的長度

編輯

球面的赤道可由   參數化,這裏 t 取值於 0 到  。線元素可用來計算這個曲線的長度。

 

球面上區域的面積

編輯

面積元素可用來計算球面的面積:

 

高斯曲率

編輯

一個曲面的高斯曲率

 

給出,這裏 L, M, 與 N第二基本形式的係數。

高斯絕妙定理斷言一個曲面的高斯曲率可以只用第一基本形式及其導數表示,從而 K 事實上是曲面的一個內蘊不變量。高斯曲率用第一基本形式明確的表達式由 Brioschi 公式給出。

另見

編輯

外部連結

編輯