logo

曲面の基本定理 📂幾何学

曲面の基本定理

定理1

開集合UR2U \subset \mathbb{R}^{2}について、UU内の任意の二点がUU内の曲線で繋がるとしよう。そして、関数Lij,gij:UR (i,j=1,2)L_{ij}, g_{ij} : U \to \mathbb{R}\ (i,j = 1,2)が微分可能で次のような性質を持つとする。

  1. L12=L21L_{12} = L_{21}g12=g21g_{12} = g_{21}g11,g22>0g_{11}, g_{22} > 0、そしてg11g22(g12)2>0g_{11}g_{22} - (g_{12})^{2} > 0
  2. Lij,gijL_{ij}, g_{ij}ガウス方程式コダッチ-マイナルディ方程式を満たすとする。

ΓiklujΓijluk+p(ΓikpΓpjlΓijpΓpkl)=LikLjlLijLkl \dfrac{\partial \Gamma_{ik}^{l}}{\partial u^{j}} - \dfrac{\partial \Gamma_{ij}^{l}}{\partial u^{k}} + \sum_{p} \left( \Gamma_{ik}^{p} \Gamma_{pj}^{l} - \Gamma_{ij}^{p}\Gamma_{pk}^{l}\right) = L_{ik}L_{j}^{l} - L_{ij}L_{k}^{l}

LijukLikuj=l(ΓiklLljΓijlLlk) \dfrac{\partial L_{ij}}{\partial u^{k}_{}} - \dfrac{\partial L_{ik}}{\partial u^{j}} = \sum\limits_{l} \left( \Gamma_{ik}^{l}L_{lj} - \Gamma_{ij}^{l}L_{lk} \right)

この時、Γijk=12l=12glk(gljuigijul+giluj)\Gamma_{ij}^{k} = \dfrac{1}{2} \sum \limits_{l=1}^{2} g^{lk} \left( \dfrac{\partial g_{lj}}{\partial u_{i}} - \dfrac{\partial g_{ij}}{\partial u_{l}} + \dfrac{\partial g_{il}}{\partial u_{j}} \right)である。

それから、pUp \in Uについて、'pVUp \in V \subset Uでありgijg_{ij}LijL_{ij}第一基本形式の係数第二基本形式の係数として持つ 座標片写像 x:VR3\mathbf{x} : V \to \mathbb{R}^{3}が一意に存在するようにする' 開集合VVが存在する。

解説

曲線の基本定理の核心は、'曲率と捩率で曲線が一意に決定される' そして '微分可能なκ>0\overline{\kappa} >0と連続なτ\overline{\tau}について、それを曲率と捩率として持つ曲線が存在する' ということだった。

同様に、曲面の基本定理は、'曲面はガウス方程式とコダッチ-マイナルディ方程式で一意に決定される'と言っている。


  1. Richard S. Millman and George D. Parker, Elements of Differential Geometry (1977), p151 ↩︎