第二基本形式

微分幾何中，第二基本形式（second fundamental form）是三維歐幾里得空間中一個光滑曲面的切叢上一個二次形式，通常記作 II。與第一基本形式一起，他們可定義曲面的外部不變量，主曲率。更一般地，若在黎曼流形中或洛倫茲流形中，的一個光滑超曲面上，選取了一個光滑單位法向量場，則可定義這樣一個二形式。

R 3 {\displaystyle \mathbf {R} ^{3}} 中曲面

引論

${\displaystyle \mathbf {R} ^{3}}$中一個參數曲面${\displaystyle S}$的第二基本形式由高斯引入。最先假設曲面是兩次連續可微函數的像，${\displaystyle z=f(x,y)}$，且平面${\displaystyle z=0}$與曲面在原點相切。則${\displaystyle f}$以及關於${\displaystyle x}$和${\displaystyle y}$的偏導數在${\displaystyle (0,0)}$皆為零。從而${\displaystyle f}$在${\displaystyle (0,0)}$處的泰勒展開以二次項開始：

${\displaystyle z=f_{xx}{\frac {x^{2}}{2}}+f_{xy}xy+f_{yy}{\frac {y^{2}}{2}}+o(n)}$，

記 ${\displaystyle L=f_{xx},M=f_{xy},N=f_{yy}}$, 則在${\displaystyle (x,y)}$坐標中原點處的第二基本形式是二次型：

${\displaystyle Ldx^{2}+2Mdxdy+Ndy^{2}.\,}$

對 參數曲面${\displaystyle S}$上一個光滑點${\displaystyle p}$，總可以選取坐標系使得坐標的 z-平面與${\displaystyle S}$切於${\displaystyle p}$，然後可以相同的方式定義第二基本形式。

經典記號

一個一般參數曲面的第二基本形式定義如下。設${\displaystyle \mathbf {r} =\mathbf {r} (u,v)}$ 是${\displaystyle \mathbf {R} ^{3}}$中一個正則參數曲面，這裡${\displaystyle \mathbf {r} }$是兩個變量的光滑向量值函數。通常記${\displaystyle \mathbf {r} }$關於${\displaystyle u}$和${\displaystyle v}$的偏導數為${\displaystyle \mathbf {r} _{u}}$與${\displaystyle \mathbf {r} _{v}}$。參數化的正則性意味著${\displaystyle \mathbf {r} _{u}}$與${\displaystyle \mathbf {r} _{v}}$對${\displaystyle \mathbf {r} }$的定義域中任何${\displaystyle (u,v)}$是線性無關的。等價地，叉積${\displaystyle \mathbf {r} _{u}\times \mathbf {r} _{v}}$是曲面的一個非零法向量。參數化這樣就定義了一個單位法向量場${\displaystyle \mathbf {n} (u,v)}$：

${\displaystyle \mathbf {n} ={\frac {\mathbf {r} _{u}\times \mathbf {r} _{v}}{|\mathbf {r} _{u}\times \mathbf {r} _{v}|}}.}$

第二基本形式通常寫成

${\displaystyle \mathrm {II} =Ldu^{2}+2Mdudv+Ndv^{2},\,}$

在基${\displaystyle \{\mathbf {r} _{u},\mathbf {r} _{v}\}}$下的矩陣是

${\displaystyle {\begin{bmatrix}L&M\\M&N\end{bmatrix}}.}$

在參數化 uv-平面上一個給定點處係數${\displaystyle L}$, ${\displaystyle M}$, ${\displaystyle N}$由${\displaystyle \mathbf {r} }$在那個點的二次偏導數到${\displaystyle S}$的法線上投影給出，利用點積可計算如下：

${\displaystyle L=\mathbf {r} _{uu}\cdot \mathbf {n} ,\quad M=\mathbf {r} _{uv}\cdot \mathbf {n} ,\quad N=\mathbf {r} _{vv}\cdot \mathbf {n} .}$

現代記法

一個通常曲面${\displaystyle S}$的第二基本形式定義如下：設${\displaystyle \mathbf {r} =\mathbf {r} (u^{1},u^{2})}$是${\displaystyle \mathbf {R} ^{3}}$中一個正則參數曲面，這裡${\displaystyle \mathbf {r} }$是兩個變量的光滑向量值函數。通常記${\displaystyle \mathbf {r} }$關於${\displaystyle u^{\alpha }}$的偏導數為${\displaystyle \mathbf {r} _{\alpha }}$，${\displaystyle \alpha =1,2}$。參數化的正則性意味著${\displaystyle \mathbf {r} _{1}}$與${\displaystyle \mathbf {r} _{2}}$在${\displaystyle \mathbf {r} }$的定義域上是線性無關的，從而在每一點張成${\displaystyle \mathbf {S} }$的切空間。等價地，叉積${\displaystyle \mathbf {r} _{1}\times \mathbf {r} _{2}}$是曲面的一個非零法向量。這樣參數化定義了一個單位法向量場${\displaystyle \mathbf {n} }$：

${\displaystyle \mathbf {n} ={\frac {\mathbf {r} _{1}\times \mathbf {r} _{2}}{|\mathbf {r} _{1}\times \mathbf {r} _{2}|}}}$

第二基本形式通常寫作

${\displaystyle \mathrm {II} =b_{\alpha \beta }du^{\alpha }du^{\beta }}$

上式使用了愛因斯坦求和約定。

在參數${\displaystyle (u^{1},u^{2})}$-曲面給定點處係數${\displaystyle b_{\alpha \beta }}$由${\displaystyle \mathbf {r} }$的二次偏導數到${\displaystyle S}$的法線的投影給出，利用點積可寫成：

${\displaystyle b_{\alpha \beta }=\mathbf {r} _{\alpha \beta }\cdot \mathbf {n} }$

黎曼流形中的超曲面

在歐幾里得空間中，第二基本形式由

${\displaystyle I\!I(v,w)=\langle d\nu (v),w\rangle }$

給出，這裡 ${\displaystyle \nu }$ 是高斯映射，而 ${\displaystyle d\nu }$ 是 ${\displaystyle \nu }$ 的微分視為一個向量值微分形式，括號表示歐幾里得空間的度量張量。

更一般地，在一個黎曼流形上，第二基本形式是描述一個超曲面形算子（記作${\displaystyle S}$）的等價方法，

${\displaystyle \mathrm {I} \!\mathrm {I} (v,w)=\langle S(v),w\rangle =-\langle \nabla _{v}n,w\rangle =\langle n,\nabla _{v}w\rangle ,}$

這裡 ${\displaystyle \nabla _{v}w}$ 表示周圍空間的共變導數，${\displaystyle n}$超曲面上一個法向量場。如果仿射聯絡是無撓的，則第二基本形式是對稱的。

第二基本形式的符號取決於${\displaystyle n}$的方向的選取。（這稱為曲面的余定向，對歐幾里得空間中的曲面，等價於給定曲面的一個定向）。

推廣為任意餘維數

第二基本形式可以推廣到任意餘維數。在這種情形下，它是切空間上取值於法叢的一個二次型，可以定義為

${\displaystyle \mathrm {I} \!\mathrm {I} (v,w)=(\nabla _{v}w)^{\bot },}$

這裡 ${\displaystyle (\nabla _{v}w)^{\bot }}$ 表示共變導數 ${\displaystyle \nabla _{v}w}$ 到法叢的正交投影。

在歐幾里得空間中，子流形的曲率張量可以描述為下列公式：

${\displaystyle \langle R(u,v)w,z\rangle =\langle \mathrm {I} \!\mathrm {I} (u,z),\mathrm {I} \!\mathrm {I} (v,w)\rangle -\langle \mathrm {I} \!\mathrm {I} (u,w),\mathrm {I} \!\mathrm {I} (v,z)\rangle .}$

這叫做高斯方程，可以視為高斯絕妙定理的推廣。在一個標準正交基中第二基本形式的本徵值，是曲面的主曲率。一組正交規範本徵向量稱為主方向。

對一般的黎曼流形必須添加周圍空間的曲率；如果${\displaystyle N}$是嵌入黎曼流形${\displaystyle (M,g)}$中一個流形，則${\displaystyle N}$在誘導度量下的曲率張量 ${\displaystyle R_{N}}$ 可以用第二基本形式與${\displaystyle M}$的曲率張量 ${\displaystyle R_{M}}$ 表示出來：

${\displaystyle \langle R_{N}(u,v)w,z\rangle =\langle R_{M}(u,v)w,z\rangle +\langle \mathrm {I} \!\mathrm {I} (u,z),\mathrm {I} \!\mathrm {I} (v,w)\rangle -\langle \mathrm {I} \!\mathrm {I} (u,w),\mathrm {I} \!\mathrm {I} (v,z)\rangle .}$

相關條目

• 第一基本形式
• 高斯曲率
• 高斯-科達齊方程

參考文獻

• Guggenheimer, Heinrich. Chapter 10. Surfaces. Differential Geometry. Dover. 1977. ISBN 0-486-63433-7.
• Kobayashi, Shoshichi and Nomizu, Katsumi. Foundations of Differential Geometry, Vol. 2. Wiley-Interscience. 1996 (New edition). ISBN 0471157325. 請檢查|date=中的日期值 (幫助)
• Spivak, Michael. A Comprehensive introduction to differential geometry (Volume 3). Publish or Perish. 1999. ISBN 0-914098-72-1.

外部連結

• 關於第二基本形式的幾何的一篇博士論文，作者為 Steven Verpoort: https://lirias.kuleuven.be/bitstream/1979/1779/2/hierrrissiedan!.pdf （頁面存檔備份，存於網際網路檔案館）