曲面の基本定理
📂幾何学曲面の基本定理
定理
開集合U⊂R2について、U内の任意の二点がU内の曲線で繋がるとしよう。そして、関数Lij,gij:U→R (i,j=1,2)が微分可能で次のような性質を持つとする。
- L12=L21、g12=g21、g11,g22>0、そしてg11g22−(g12)2>0
- Lij,gijがガウス方程式とコダッチ-マイナルディ方程式を満たすとする。
∂uj∂Γikl−∂uk∂Γijl+p∑(ΓikpΓpjl−ΓijpΓpkl)=LikLjl−LijLkl
∂uk∂Lij−∂uj∂Lik=l∑(ΓiklLlj−ΓijlLlk)
この時、Γijk=21l=1∑2glk(∂ui∂glj−∂ul∂gij+∂uj∂gil)である。
それから、p∈Uについて、'p∈V⊂UでありgijとLijを 第一基本形式の係数、第二基本形式の係数として持つ 座標片写像 x:V→R3が一意に存在するようにする' 開集合Vが存在する。
解説
曲線の基本定理の核心は、'曲率と捩率で曲線が一意に決定される' そして '微分可能なκ>0と連続なτについて、それを曲率と捩率として持つ曲線が存在する' ということだった。
同様に、曲面の基本定理は、'曲面はガウス方程式とコダッチ-マイナルディ方程式で一意に決定される'と言っている。