第一基本形式

微分幾何学における第一基本形式（テンプレート:Lang-en-short）とは、 テンプレート:Mathの標準内積から標準的に誘導される3次元ユークリッド空間中の曲面の接空間上の内積を言う。これにより全体空間（ambient space）と一致する方法で曲面の曲率や例えば長さと面積などの曲面の計量的性質を計算することができるようになる。第一基本形式は、ローマ数字の テンプレート:Math で表示される。$$\mathrm{I}(x,y)=⟨x,y⟩.$$

定義

テンプレート:Mathを媒介変数表示された曲面（parametric surface）とする。このとき、2つの接線ベクトルの内積は次のようになる。$$\begin{array}{cc}& \mathrm{I}(a{X}_u+b{X}_v,c{X}_u+d{X}_v)\\ & =ac⟨X_u,X_u⟩+(ad+bc)⟨X_u,X_v⟩+bd⟨X_v,X_v⟩\\ & =Eac+F(ad+bc)+Gbd,\end{array}$$ここで、 テンプレート:Mvar 、 テンプレート:Mvar 、およびテンプレート:Mvarは、第一基本形式の係数（coefficients of the first fundamental form）である。

第一基本形式は対称行列として表現することもできる。$$\mathrm{I}(x,y)=x^{𝖳}\left[\begin{array}{cc}E& F\\ F& G\end{array}\right]y$$

ほかの表記法

第一基本形式がただ1つの引数のみで記述される場合、第一基本形式はそのベクトルとそれ自身の内積を表示することになる。$$\mathrm{I}(v)=⟨v,v⟩=|v{|}^2$$第一基本形式は、しばしば、計量テンソルの現代的な表記として記述される。このとき、係数は テンプレート:Mvar として以下のように記述される。$$\left(g_{ij}\right)=\left(\begin{array}{cc}{g}_{11}& g_{12}\\ g_{21}& g_{22}\end{array}\right)=\left(\begin{array}{cc}E& F\\ F& G\end{array}\right)$$計量テンソルの成分は接ベクトル テンプレート:Math と テンプレート:Math の内積として計算される。$$g_{ij}=X_i\cdot X_j$$ただし、テンプレート:Math 。以下の例を参照せよ。

長さと面積の計算

第一基本形式は、曲面の計量的な性質を完全に記述する。したがって、第一基本形式によって曲面上の曲線の長さや曲面上の領域の面積の計算ができるようになる。線素（line element）テンプレート:Math は、第一基本形式の係数を用いて次のように表すことができる。$$d{s}^2=Ed{u}^2+2Fdudv+Gd{v}^2.$$古典的な面積要素 テンプレート:Math は、ラグランジュの恒等式（Lagrange's identity）を補助的に使って、第一基本形式を用いて表すことができる。$$dA=|X_u\times X_v|dudv=\sqrt{⟨X_u,X_u⟩⟨X_v,X_v⟩-{⟨X_u,X_v⟩}^2}dudv=\sqrt{EG-F^2}dudv.$$

例：球面上の曲線

テンプレート:Mathの単位球上の球面曲線は、次のように媒介変数表示することができる。$$X(u,v)=\left[\begin{array}{c}\cos u\sin v\\ \sin u\sin v\\ \cos v\end{array}\right],(u,v)\in [0,2\pi )\times [0,\pi ].$$テンプレート:Math を テンプレート:Mvar と テンプレート:Mvar に関して微分すると、次のようになる。$$\begin{array}{cc}{X}_u& =\left[\begin{array}{c}-\sin u\sin v\\ \cos u\sin v\\ 0\end{array}\right],\\ X_v& =\left[\begin{array}{c}\cos u\cos v\\ \sin u\cos v\\ -\sin v\end{array}\right].\end{array}$$第一基本形式の係数は、この偏導関数の内積を取ることで得ることもできる。$$\begin{array}{cc}E& =X_u\cdot X_u={\sin }^{2}v\\ F& =X_u\cdot X_v=0\\ G& =X_v\cdot X_v=1\end{array}$$すなわち、次のようになる。$$\left[\begin{array}{cc}E& F\\ F& G\end{array}\right]=\left[\begin{array}{cc}{\sin }^{2}v& 0\\ 0& 1\end{array}\right].$$

球面上の曲線の長さ

単位球面の赤道は、次の式で与えられる媒介変数表示された曲線である。$$(u(t),v(t))=(t,\frac{\pi }{2})$$テンプレート:Mvar の範囲は 0 から 2テンプレート:Pi である。線素は曲線の長さを計算するために用いられることもある。$$\underset{0}{\overset{2\pi }{\int }}\sqrt{E{\left(\frac{du}{dt}\right)}^2+2F\frac{du}{dt}\frac{dv}{dt}+G{\left(\frac{dv}{dt}\right)}^2}dt=\underset{0}{\overset{2\pi }{\int }}|\sin v|dt=2\pi \sin \frac{\pi }{2}=2\pi$$

球面上の領域の面積

面積要素は、単位球面の面積を計算するために用いられることもある。$$\underset{0}{\overset{\pi }{\int }}\underset{0}{\overset{2\pi }{\int }}\sqrt{EG-F^2}dudv=\underset{0}{\overset{\pi }{\int }}\underset{0}{\overset{2\pi }{\int }}\sin vdudv=2\pi {[-\cos v]}_0^{\pi }=4\pi$$

ガウス曲率

曲面のガウス曲率は次の式で与えられる。$$K=\frac{\det \mathrm{I}\mathrm{I}}{\det \mathrm{I}}=\frac{LN-M^2}{EG-F^2},$$ここで、 テンプレート:Mvar 、 テンプレート:Mvar 、およびテンプレート:Mvarは、第二基本形式の係数である。

ガウスのTheorema Egregiumは、曲面のガウス曲率は第一基本形式とその微分を用いるだけで表すことができるということを主張しており、したがって、ガウス曲率 テンプレート:Mvar は、事実として、曲面の内在的な不変量であるということを主張している。第一基本形式に関するガウス曲率の明示的な表現は、 Brioschiの式によって与えられる。

関連項目

• 計量テンソル
• 第二基本形式
• 第三基本形式
• トートロジー形式

外部リンク

• 第一基本形式—WolframMathWorldから