第一基本形式

第一基本形式

第一基本形式（First Fundamental Form）は、微分幾何学において、3次元ユークリッド空間における曲面の接空間上に構造を与える重要な概念です。この形式は、3次元空間の標準内積から導かれ、曲面上の距離、面積、曲率などの計量的性質を計算するための基盤となります。

定義

曲面が媒介変数表示として表現される場合、たとえば $X(u, v)$ で表されるとします。このとき、曲面上の接線ベクトルの内積は以下のように定義されます:

$$
I(aX_u + bX_v, cX_u + dX_v) = Eac + F(ad + bc) + Gbd
$$

ここで、$E, F, G$ は第一基本形式の係数です。

第一基本形式は次のように行列形式でも表されます:

$$
I(x, y) = x^T egin{bmatrix} E & F \ F & G \\ \, \\ \, \\ \, \\ \, \, \\ \, \, \\ \end{bmatrix} y$$

他の表現法

第一基本形式が一つの引数で記述される場合、内積を示し、次のように表現されます:

$$
I(v) = egin{langle} v, v egin{rangle} = |v|^2$$

この形式は、しばしば計量テンソルの記述としても用いられ、係数は $g_{ij}$ として示されます:

$$
(g_{ij}) = egin{pmatrix} g_{11} & g_{12} \ g_{21} & g_{22} \ \\ \\ \\ \\ \\ \\ \\ \end{pmatrix} = egin{pmatrix} E & F \ F & G \\ \end{pmatrix}$$

長さと面積の計算

曲面の計量的性質は、第一基本形式を用いて完全に記述できます。例えば、線素 $ds$ を用いて曲面上の曲線の長さや領域の面積を計算することができます。

線素は次のように表現されます:

$$
ds^2 = E \, du^2 + 2F \, du \, dv + G \, dv^2$$

また、古典的な面積要素は次のように書かれることがあり、ラグランジュの恒等式を用いて第一基本形式によって表現できます:

$$
dA = |X_u imes X_v| \, du \, dv = ext{計算式}$$

例: 球面上の曲線

R^3の単位球上における曲線は、媒介変数表示として次のように表現されます:

$$
X(u, v) = egin{pmatrix} \, \ cos u \, sin v \\ \sin u \, sin v \\ \cos v \end{pmatrix}, (u,v) \\in [0, 2ackslash pi) \, \times [0, \, pi]$$

この曲面を微分することで、第一基本形式の係数を得ることも可能です。与えられた引数に対して異なる計算を行うことで、$E, F, G$の値を算出します。これにより、曲面上の点間の長さを正確に測定することができます。

ガウス曲率

曲面のガウス曲率は、第一基本形式とその微分を用いて表現される内在的な特性です。完全な式は次のようになります:

$$
K = rac{ ext{det } I ext{I}}{ ext{det } I} = rac{LN - M^2}{EG - F^2}$$

このように、第一基本形式とその微分を用いることで、曲面のさまざまな性質や特徴を深く理解することができるのです。

まとめ

第一基本形式は微分幾何学の基礎的な概念として、曲面の幾何学的特性を表現し、探求するための強力なツールです。様々な計算や理論に応用することで、曲面の特性を豊かに理解できます。

もう一度検索