logo

第2正規形の性質 📂幾何学

第2正規形の性質

定義

第2基本形式とは、接空間 TpMT_{p}Mの上の双線形形式として定義されるもので、次のように定義される。二つの接ベクトルX=Xixi\mathbf{X}=\sum X^{i}\mathbf{x}_{i}Y=Yjxj\mathbf{Y} = \sum Y^{j}\mathbf{x}_{j}に対して、

II(X,Y)=i,jLijXiYj II ( \mathbf{X}, \mathbf{Y}) = \sum _{i,j} L_{ij} X^{i} Y^{j}

この時、係数LijL_{ij}次の通りである。

Lij=xij,n L_{ij} = \left\langle \mathbf{x}_{ij}, \mathbf{n} \right\rangle

性質1

  1. IIII対称的である。

  2. T\mathbf{T}単位速度曲線 γ\boldsymbol{\gamma}接ベクトル場とすると、κn=II(T,T)\kappa_{n} = II (\mathbf{T}, \mathbf{T})が成立する。κn\kappa_{n}法曲率である。

  3. α,β\boldsymbol{\alpha}, \boldsymbol{\beta}α(0)=β(0)\boldsymbol{\alpha}(0) = \boldsymbol{\beta}(0)が成立する正則曲線としよう。もしλ0\lambda \ne 0に対して二つの曲線の速度ベクトルがα(0)=λβ(0)\boldsymbol{\alpha}^{\prime}(0) = \lambda \boldsymbol{\beta}^{\prime}(0)を満たすなら、t=0t=0の時、二つの曲線の法曲率κn\kappa_{n}は同じである。

説明

  1. t=0t=0の時に記述されたけれども、自然に任意のttに一般化される。

    タンジェントは速度ベクトルの大きさを11とするもので、速度ベクトルが定数倍であることは、二つの曲線のタンジェントに対してTα=±TβT_{\boldsymbol{\alpha}} = \pm T_{\boldsymbol{\beta}}が成立するということと同じである。

    同じ方向のタンジェントを持つ曲線の法曲率が同じであるという意味で、法曲率は曲線に依存せず、タンジェントによってのみ決定されることがわかる。

証明

性質1

IIIIが対称であるとは、II(X,Y)=II(Y,X)II( \mathbf{X}, \mathbf{Y} ) = II( \mathbf{Y}, \mathbf{X} )またはLij=LjiL_{ij} = L_{ji}が成立することを意味する。座標変換写像x\mathbf{x}が十分に滑らかであると仮定すると、xij=xji\mathbf{x}_{ij} = \mathbf{x}_{ji}が成立する。したがって、

Lij=xij,n=xji,n=Lji L_{ij} = \left\langle \mathbf{x}_{ij}, \mathbf{n} \right\rangle = \left\langle \mathbf{x}_{ji}, \mathbf{n} \right\rangle = L_{ji}

性質2

γ(s)=x(γ1(s),γ2(s))\boldsymbol{\gamma}(s) = \mathbf{x}\left( \gamma^{1}(s), \gamma^{2}(s) \right)を単位速度曲線としよう。すると、接ベクトルは連鎖律により、次のようになる。

T=dγds=ddsx(γ1(s),γ2(s))=xγ1γ1s+xγ2γ2s=(γ1)x1+(γ2)x2=T1x1+T2x2 \begin{align*} \mathbf{T} &= \dfrac{d \boldsymbol{\gamma}}{d s} = \dfrac{d }{d s}\mathbf{x}\left( \gamma^{1}(s), \gamma^{2}(s) \right) \\ &= \dfrac{\partial \mathbf{x}}{\partial \gamma^{1}}\dfrac{\partial \gamma^{1}}{\partial s} + \dfrac{\partial \mathbf{x}}{\partial \gamma^{2}}\dfrac{\partial \gamma^{2}}{\partial s} \\ &= (\gamma^{1})^{\prime}\mathbf{x}_{1} + (\gamma^{2})^{\prime}\mathbf{x}_{2} \\ &= T^{1}\mathbf{x}_{1} + T^{2}\mathbf{x}_{2} \end{align*}

    Ti=(γi) \implies T^{i} = (\gamma^{i})^{\prime}

補助定理

任意の単位速度曲線 γ(s)=x(γ1(s),γ2(s))\boldsymbol{\gamma}(s) = \mathbf{x}\left( \gamma^{1}(s), \gamma^{2}(s) \right)に対して、

κn=i=12j=12Lij(γi)(γj) \kappa_{n} = \sum \limits_{i=1}^{2} \sum \limits_{j=1}^{2} L_{ij} (\gamma^{i})^{\prime} (\gamma^{j})^{\prime}

したがって、第2基本形式の定義と上記の補助定理により、次が成立する。

II(T,T)=i,jLijTiTj=i,jLij(γi)(γj)=κn II(\mathbf{T}, \mathbf{T}) = \sum\limits_{i, j} L_{ij}T^{i}T^{j} = \sum \limits_{i, j} L_{ij} (\gamma^{i})^{\prime} (\gamma^{j})^{\prime} = \kappa_{n}

性質3

α\boldsymbol{\alpha}β\boldsymbol{\beta}t=0t=0における接ベクトルをそれぞれTα,TβT_{\boldsymbol{\alpha}}, T_{\boldsymbol{\beta}}としよう。するとα(0)=λβ(0)\boldsymbol{\alpha} ^{\prime}(0) = \lambda \boldsymbol{\beta} ^{\prime}(0)と仮定したので、次が成立する。

Tα=±Tβ T_{\boldsymbol{\alpha}} = \pm T_{\boldsymbol{\beta}}

それゆえ、次が成立する。

II(Tα,Tα)=II(±Tβ,±Tβ)=II(Tβ,Tβ) II ( T_{\boldsymbol{\alpha}}, T_{\boldsymbol{\alpha}}) = II ( \pm T_{\boldsymbol{\beta}}, \pm T_{\boldsymbol{\beta}}) = II ( T_{\boldsymbol{\beta}}, T_{\boldsymbol{\beta}})

したがって、性質2によりt=0t=0の時、二つの曲線の法曲率が同じである。


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