Movatterモバイル変換


[0]ホーム

URL:


跳至內容
維基百科自由的百科全書
搜尋

第一基本形式

維基百科,自由的百科全書

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

I(v,w)=v,w.{\displaystyle \mathrm {I} (v,w)=\langle v,w\rangle .\,}

X(u,v){\displaystyle X(u,v)}是一個參數曲面,則兩個切向量的內積為

I(aXu+bXv,cXu+dXv)=acXu,Xu+(ad+bc)Xu,Xv+bdXv,Xv=Eac+F(ad+bc)+Gbd,{\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}}}

這裏E{\displaystyle E}F{\displaystyle F}G{\displaystyle G}第一基本形式的係數

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

I(v,w)=vT(EFFG)w.{\displaystyle \mathrm {I} (v,w)=v^{T}{\begin{pmatrix}E&F\\F&G\end{pmatrix}}w.}

進一步的記號

[編輯]

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

I(v)=v,v=|v|2.{\displaystyle \mathrm {I} (v)=\langle v,v\rangle =|v|^{2}.\,}

第一基本形式寫成現代記法的度量張量。係數則可以寫做gij{\displaystyle g_{ij}}

(gij)=(g11g12g21g22)=(EFFG){\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}}}

這個張量的分量是切向量X1{\displaystyle X_{1}}X2{\displaystyle X_{2}}的數量積:

gij=XiXj{\displaystyle g_{ij}=X_{i}\cdot X_{j}}

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

變數變換

[編輯]

如果有一個曲面具有兩個表示參數X(u,v){\displaystyle X(u,v)}以及X~(u~,v~){\displaystyle {\tilde {X}}({\tilde {u}},{\tilde {v}})},則二者的第一基本形式的系數E,F,G{\displaystyle E,F,G}E~,F~,G~{\displaystyle {\tilde {E}},{\tilde {F}},{\tilde {G}}}存在一個關係:

(EFFG)=(u~uv~uu~vv~v)(E~F~F~G~)(u~uu~vv~uv~v){\displaystyle {\begin{pmatrix}E&F\\F&G\end{pmatrix}}={\begin{pmatrix}{\tilde {u}}_{u}&{\tilde {v}}_{u}\\{\tilde {u}}_{v}&{\tilde {v}}_{v}\end{pmatrix}}{\begin{pmatrix}{\tilde {E}}&{\tilde {F}}\\{\tilde {F}}&{\tilde {G}}\end{pmatrix}}{\begin{pmatrix}{\tilde {u}}_{u}&{\tilde {u}}_{v}\\{\tilde {v}}_{u}&{\tilde {v}}_{v}\end{pmatrix}}},其中(u~uu~vv~uv~v)=(u~,v~)(u,v){\displaystyle {\begin{pmatrix}{\tilde {u}}_{u}&{\tilde {u}}_{v}\\{\tilde {v}}_{u}&{\tilde {v}}_{v}\end{pmatrix}}={\frac {\partial ({\tilde {u}},{\tilde {v}})}{\partial (u,v)}}},所以說可以有

EGF2=(E~G~F~2)|(u,v)(u,v)|2{\displaystyle EG-F^{2}=({\tilde {E}}{\tilde {G}}-{\tilde {F}}^{2})|{\frac {\partial (u,v)}{\partial (u,v)}}|^{2}}

計算長度與面積

[編輯]

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

ds2=Edu2+2Fdudv+Gdv2{\displaystyle ds^{2}=Edu^{2}+2Fdudv+Gdv^{2}\,}.

dA=|Xu×Xv| dudv{\displaystyle dA=|X_{u}\times X_{v}|\ du\,dv} 給出的經典面積元素可以用第一基本形式的係數利用拉格朗日恆等式寫出,

dA=|Xu×Xv| dudv=Xu,XuXv,XvXu,Xv2 dudv=EGF2dudv.{\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.}

例子

[編輯]

R3{\displaystyle \mathbf {R} ^{3}}中單位球面可如下參數化

X(u,v)=(cosusinvsinusinvcosv), (u,v)[0,2π)×[0,π).{\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 ).}

X(u,v){\displaystyle X(u,v)} 分別對uv 微分得出

Xu=(sinusinvcosusinv0), Xv=(cosucosvsinucosvsinv).{\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}}.}

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

E=XuXu=sin2v{\displaystyle E=X_{u}\cdot X_{u}=\sin ^{2}v}
F=XuXv=0{\displaystyle F=X_{u}\cdot X_{v}=0}
G=XvXv=1{\displaystyle G=X_{v}\cdot X_{v}=1}

球面上曲線的長度

[編輯]

球面的赤道可由(u(t),v(t))=(t,π2){\displaystyle (u(t),v(t))=(t,{\frac {\pi }{2}})} 參數化,這裏t{\displaystyle t}取值於 0 到2π{\displaystyle 2\pi }。線元素可用來計算這個曲線的長度。

02πE(dudt)2+2Fdudtdvdt+G(dvdt)2dt=02πsinvdt=2πsinv=2π.{\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 .}

球面上區域的面積

[編輯]

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

0π02πEGF2 dudv=0π02πsinvdudv=2π[cosv]0π=4π.{\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 .}

高斯曲率

[編輯]
主條目:高斯曲率

一個曲面的高斯曲率

K=detIIdetI=LNM2EGF2,{\displaystyle K={\frac {\det II}{\det I}}={\frac {LN-M^{2}}{EG-F^{2}}},}

給出,這裏L{\displaystyle L}M{\displaystyle M}N{\displaystyle N}第二基本形式的係數。

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

另見

[編輯]

外部連結

[編輯]
微分幾何中定義的曲率的不同概念
曲線的微分幾何
曲面的微分幾何英語Differential geometry of surfaces
黎曼幾何
聯絡的曲率
取自 "https://zh.wikipedia.org/w/index.php?title=第一基本形式&oldid=85930502"
分類:​
隱藏分類:​

[8]ページ先頭

©2009-2025 Movatter.jp