在微分幾何中,第一基本形式(first fundamental form)是三維歐幾里得空間中一個曲面的切空間中內積,由 R3 中標準點積誘導。它使得曲面的曲率和度量性質(比如長度與面積)可與環繞空間一致地計算。第一基本形式用羅馬數字 I 表示:
![{\displaystyle \mathrm {I} (v,w)=\langle v,w\rangle .\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c21fb5edbda1d8c1cbaf71d18ab62193f19fd545)
設
是一個參數曲面,則兩個切向量的內積為
![{\displaystyle {\begin{aligned}&{}\quad \mathrm {I} (aX_{u}+bX_{v},cX_{u}+dX_{v})\\&=ac\langle X_{u},X_{u}\rangle +(ad+bc)\langle X_{u},X_{v}\rangle +bd\langle X_{v},X_{v}\rangle \\&=Eac+F(ad+bc)+Gbd,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48b92589e582e02dfafa8ffa6aa576250f1d641d)
這裏 E, F,與 G 是第一基本形式的係數。
第一基本形式可以表示為一個對稱矩陣
![{\displaystyle \mathrm {I} (v,w)=v^{T}{\begin{pmatrix}E&F\\F&G\end{pmatrix}}w.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5540846521efc47aaa0340139b3c8fd0d9531845)
進一步的記號[編輯]
當第一基本形式寫成一個參數時,它表示向量與自己的內積,
![{\displaystyle \mathrm {I} (v)=\langle v,v\rangle =|v|^{2}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df1161468a64839d4e6880b44e560d4d0be5963a)
第一基本形式寫成現代記法的度量張量。係數則可以寫做
:
![{\displaystyle \left(g_{ij}\right)={\begin{pmatrix}g_{11}&g_{12}\\g_{21}&g_{22}\end{pmatrix}}={\begin{pmatrix}E&F\\F&G\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71d4809464925be98b9a5cf2dda76d3c3c2693a8)
這個張量的分量是切向量 X1 與 X2 的數量積:
![{\displaystyle g_{ij}=X_{i}\cdot X_{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e51ee78215acc30fecc3462d245f351699742c7f)
對 i, j = 1, 2。具體例子可見下一節。
變數變換[編輯]
如果有一個曲面具有兩個表示參數
以及
,則二者的第一基本形式的系數
與
存在一個關係:
,其中
,所以說可以有
計算長度與面積[編輯]
第一基本形式完全描述了曲面的度量性質。從而,它使我們可以計算曲面上曲線的長度與區域的面積。線元素可以用第一基本形式的係數表示為:
.
由
給出的經典面積元素可以用第一基本形式的係數利用拉格朗日恆等式寫出,
![{\displaystyle dA=|X_{u}\times X_{v}|\ du\,dv={\sqrt {\langle X_{u},X_{u}\rangle \langle X_{v},X_{v}\rangle -\langle X_{u},X_{v}\rangle ^{2}}}\ du\,dv={\sqrt {EG-F^{2}}}\,du\,dv.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94bc50150062b0abf22e881fd05a43c8c2f3bce5)
R3 中單位球面可如下參數化
![{\displaystyle X(u,v)={\begin{pmatrix}\cos u\sin v\\\sin u\sin v\\\cos v\end{pmatrix}},\ (u,v)\in [0,2\pi )\times [0,\pi ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a4c1a466d0d7ec5b4abd16c550f47bfbf26625d)
分別對 u 和 v 微分得出
![{\displaystyle X_{u}={\begin{pmatrix}-\sin u\sin v\\\cos u\sin v\\0\end{pmatrix}},\ X_{v}={\begin{pmatrix}\cos u\cos v\\\sin u\cos v\\-\sin v\end{pmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/613adb9b38eec60cd665da5a7cf020b37615ab2d)
第一基本形式的係數可由取偏導數的點積得到:
![{\displaystyle E=X_{u}\cdot X_{u}=\sin ^{2}v}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b010a84b8d51831e8407cd7cc8bf55d97df25447)
![{\displaystyle F=X_{u}\cdot X_{v}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab9d057ef30fad69bb53ec66d72952fb2ed76421)
![{\displaystyle G=X_{v}\cdot X_{v}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/973ab042ade1a2639f83e4a6b1358bf54db1bb84)
球面上曲線的長度[編輯]
球面的赤道可由
參數化,這裏 t 取值於 0 到
。線元素可用來計算這個曲線的長度。
![{\displaystyle \int _{0}^{2\pi }{\sqrt {E\left({\frac {du}{dt}}\right)^{2}+2F{\frac {du}{dt}}{\frac {dv}{dt}}+G\left({\frac {dv}{dt}}\right)^{2}}}\,dt=\int _{0}^{2\pi }\sin v\,dt=2\pi \sin v=2\pi .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba5dc9f0c55bbbcbb59fc6bfc3092303cfab7dde)
球面上區域的面積[編輯]
面積元素可用來計算球面的面積:
![{\displaystyle \int _{0}^{\pi }\int _{0}^{2\pi }{\sqrt {EG-F^{2}}}\ du\,dv=\int _{0}^{\pi }\int _{0}^{2\pi }\sin v\,du\,dv=2\pi \left[-\cos v\right]_{0}^{\pi }=4\pi .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee3bdebf1bc127b7272048c5ce431ae62d1a35f6)
高斯曲率[編輯]
一個曲面的高斯曲率由
![{\displaystyle K={\frac {\det II}{\det I}}={\frac {LN-M^{2}}{EG-F^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1277c3515fdaa9ed85633ad2bff280784b4a55b9)
給出,這裏 L, M, 與 N 是第二基本形式的係數。
高斯的絕妙定理斷言一個曲面的高斯曲率可以只用第一基本形式及其導數表示,從而 K 事實上是曲面的一個內蘊不變量。高斯曲率用第一基本形式明確的表達式由 Brioschi 公式給出。
外部連結[編輯]