黎曼幾何:列維-奇維塔聯絡與曲率

第二基本形式(second fundamental form)

當一個曲面坐落在更大的空間中時,有兩種彎曲。第一基本形式(誘導度量)量度曲面「之內」的距離——它的內蘊幾何。第二基本形式量度曲面在周圍空間中如何「偏離」平坦地彎曲——它的外蘊幾何。它精確回答了「這個子流形在包含它的空間中如何彎曲?」

設 M 是黎曼流形 (N, g-bar) 的子流形,帶誘導度量,並令 nabla-bar 與 nabla 分別為 N 與 M 的列維-奇維塔聯絡。對 M 上的切向量場 X, Y,第二基本形式是法向分量的餘項 II(X, Y) = nabla-bar_X Y - nabla_X Y,一個對稱的、取值於法叢的向量值雙線性形式。用文字說:用周圍聯絡沿 X 對 Y 求導,再減去切於 M 的部分;剩下、指向 M 之外的,就是 II(X,Y)。對帶單位法向量 nu 的超曲面,常寫純量第二基本形式 h(X,Y) = g-bar(II(X,Y), nu)。

為何重要:II 是內蘊與外蘊幾何之間的橋樑。它(相對於度量的)跡是平均曲率,支配極小曲面與肥皂膜;它的特徵值是主曲率。關鍵在於,高斯方程把 M 的「內蘊」曲率以周圍曲率與 II 表達,所以曲面的內蘊彎曲部分由它在空間中的坐落方式解釋。誠實之言:II 是外蘊的——它依賴於嵌入,而不只是 M 自身的度量。兩個等距的曲面(一張平坦的紙與同一張捲成圓柱的紙)有「相同」的內蘊幾何卻有「不同」的第二基本形式;而內蘊高斯曲率竟然仍相等,正是高斯絕妙定理的內容。

把一張平坦的紙捲成圓柱。內蘊上什麼都沒變——誘導度量仍是平坦的、高斯曲率為 0,你無法拉伸或撕裂。但第二基本形式完全改變了:平坦的紙有 II = 0,而圓柱在環繞方向有非零主曲率 1/r、沿軸向則為 0。這就是內蘊曲率為零的外蘊彎曲。

圓柱與平坦紙:相同的內蘊度量(高斯曲率 0),不同的第二基本形式。

第二基本形式是「外蘊」的:它依賴於嵌入,而不只是 M 的度量。等距的子流形可有不同的 II——絕妙定理的驚奇在於它們的內蘊曲率仍然相符。

又稱
IIextrinsic curvature外曲率