第2正規形の性質
📂幾何学第2正規形の性質
定義
第2基本形式とは、接空間 TpMの上の双線形形式として定義されるもので、次のように定義される。二つの接ベクトルX=∑XixiとY=∑Yjxjに対して、
II(X,Y)=i,j∑LijXiYj
この時、係数Lijは次の通りである。
Lij=⟨xij,n⟩
性質
IIは対称的である。
Tを単位速度曲線 γの接ベクトル場とすると、κn=II(T,T)が成立する。κnは法曲率である。
α,βをα(0)=β(0)が成立する正則曲線としよう。もしλ=0に対して二つの曲線の速度ベクトルがα′(0)=λβ′(0)を満たすなら、t=0の時、二つの曲線の法曲率κnは同じである。
説明
t=0の時に記述されたけれども、自然に任意のtに一般化される。
タンジェントは速度ベクトルの大きさを1とするもので、速度ベクトルが定数倍であることは、二つの曲線のタンジェントに対してTα=±Tβが成立するということと同じである。
同じ方向のタンジェントを持つ曲線の法曲率が同じであるという意味で、法曲率は曲線に依存せず、タンジェントによってのみ決定されることがわかる。
証明
性質1
IIが対称であるとは、II(X,Y)=II(Y,X)またはLij=Ljiが成立することを意味する。座標変換写像xが十分に滑らかであると仮定すると、xij=xjiが成立する。したがって、
Lij=⟨xij,n⟩=⟨xji,n⟩=Lji
■
性質2
γ(s)=x(γ1(s),γ2(s))を単位速度曲線としよう。すると、接ベクトルは連鎖律により、次のようになる。
T=dsdγ=dsdx(γ1(s),γ2(s))=∂γ1∂x∂s∂γ1+∂γ2∂x∂s∂γ2=(γ1)′x1+(γ2)′x2=T1x1+T2x2
⟹Ti=(γi)′
補助定理
任意の単位速度曲線 γ(s)=x(γ1(s),γ2(s))に対して、
κn=i=1∑2j=1∑2Lij(γi)′(γj)′
したがって、第2基本形式の定義と上記の補助定理により、次が成立する。
II(T,T)=i,j∑LijTiTj=i,j∑Lij(γi)′(γj)′=κn
■
性質3
αとβのt=0における接ベクトルをそれぞれTα,Tβとしよう。するとα′(0)=λβ′(0)と仮定したので、次が成立する。
Tα=±Tβ
それゆえ、次が成立する。
II(Tα,Tα)=II(±Tβ,±Tβ)=II(Tβ,Tβ)
したがって、性質2によりt=0の時、二つの曲線の法曲率が同じである。
■