logo

バインガルテン・マップ 📂幾何学

バインガルテン・マップ

定義1

MMを曲面、pMp \in Mを曲面上の点とする。次のように定義される写像L:TpMR3L : T_{p}M \to \mathbb{R}^{3}バインガルテン・マップと呼ぶ。

L(X)=Xn L (\mathbf{X}) = - \mathbf{X}\mathbf{n}

この時、XTpM\mathbf{X} \in T_{p}M接ベクトルで、n\mathbf{n}単位法線Xn\mathbf{X}\mathbf{n}n\mathbf{n}方向微分である。

性質

  1. LLL:TpMTpML : T_{p}M \to T_{p}M線形変換である。

  2. {x1,x2}\left\{ \mathbf{x}_{1}, \mathbf{x}_{2} \right\}TpMT_{p}Mの基底であるから、L(xk)=lLlkxlL(\mathbf{x}_{k}) = \sum\limits_{l}{L^{l}}_{k}\mathbf{x}_{l}とすると、次が成り立つ。

    Llk=iLikgil=iLkigil{L^{l}}_{k} = \sum_{i}L_{ik}g^{il} = \sum_{i}L_{ki}g^{il}

    ここで、LijL_{ij}第二基本形式の係数[gkl][g^{kl}]第一基本形式係数行列の逆行列である。行列で表すと、

    [Llk]=[L11L12L21L22]=[gli][Lik] \begin{bmatrix} {L^{l}}_{k} \end{bmatrix} = \begin{bmatrix} {L^{1}}_{1} & {L^{1}}_{2} \\ {L^{2}}_{1} & {L^{2}}_{2} \end{bmatrix} = \begin{bmatrix} g^{li} \end{bmatrix} \begin{bmatrix} L_{ik} \end{bmatrix}

説明

定義におけるマイナス記号は便宜のために存在する。

バインガルテン・マップは、それぞれの点ppにおいて、各接ベクトル方向へのn\mathbf{n}の変化率を測る作用素として理解できる。この理由で、形状作用素shape operatorとも呼ばれる。

  1. 定義によりLLTpMT_{p}MR3\mathbb{R}^{3}へ送る写像と定めたが、実際はTpMT_{p}Mへ送る写像となることが確認できる。

  2. つまり、Llk{L^{l}}_{k}L(xk)L(\mathbf{x_{k}})ll番目の基底の係数である。すなわち、基底B={x1,x2}B = \left\{ \mathbf{x}_{1}, \mathbf{x}_{2} \right\}に対する座標ベクトルで表せば、以下のようになる。 L(xk)=L1kx1+L2kx2 L(\mathbf{x}_{k}) = {L^{1}}_{k}\mathbf{x}_{1} + {L^{2}}_{k}\mathbf{x}_{2} [L(xk)]B=[L1kL2k] \left[ L(\mathbf{x}_{k}) \right]_{B} = \begin{bmatrix} {L^{1}}_{k} \\ {L^{2}}_{k} \end{bmatrix} したがって、LL行列表現は、以下のようになる。 [L]B=[L11L12L21L22] [L]_{B} = \begin{bmatrix} {L^{1}}_{1} & {L^{1}}_{2} \\ {L^{2}}_{1} & {L^{2}}_{2} \end{bmatrix} また、第一基本形式の性質により、以下が成り立つ。 Lij=lLilδlj=l,kLilglkgkj=l,kLliglkgkj=kLkigkj L_{ij} = \sum_{l}L_{il}\delta_{lj} = \sum\limits_{l,k} L_{il}g^{lk}g_{kj} = \sum\limits_{l,k} L_{li}g^{lk}g_{kj} = \sum\limits_{k}{L^{k}}_{i}g_{kj}

LLが有限次元ベクトル空間間の線形変換であるため、trL\tr{L}det(L)\det(L)は不変量であり、これをそれぞれ平均曲率ガウス曲率と呼ぶ。


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