バインガルテン・マップ
📂幾何学バインガルテン・マップ
定義
Mを曲面、p∈Mを曲面上の点とする。次のように定義される写像L:TpM→R3をバインガルテン・マップと呼ぶ。
L(X)=−Xn
この時、X∈TpMは接ベクトルで、nは単位法線、Xnはnの方向微分である。
性質
LはL:TpM→TpMの線形変換である。
{x1,x2}がTpMの基底であるから、L(xk)=l∑Llkxlとすると、次が成り立つ。
Llk=i∑Likgil=i∑Lkigil
ここで、Lijは第二基本形式の係数、[gkl]は第一基本形式係数行列の逆行列である。行列で表すと、
[Llk]=[L11L21L12L22]=[gli][Lik]
説明
定義におけるマイナス記号は便宜のために存在する。
バインガルテン・マップは、それぞれの点pにおいて、各接ベクトル方向へのnの変化率を測る作用素として理解できる。この理由で、形状作用素shape operatorとも呼ばれる。
定義によりLはTpMをR3へ送る写像と定めたが、実際はTpMへ送る写像となることが確認できる。
つまり、LlkはL(xk)のl番目の基底の係数である。すなわち、基底B={x1,x2}に対する座標ベクトルで表せば、以下のようになる。
L(xk)=L1kx1+L2kx2
[L(xk)]B=[L1kL2k]
したがって、Lの行列表現は、以下のようになる。
[L]B=[L11L21L12L22]
また、第一基本形式の性質により、以下が成り立つ。
Lij=l∑Lilδlj=l,k∑Lilglkgkj=l,k∑Lliglkgkj=k∑Lkigkj
Lが有限次元ベクトル空間間の線形変換であるため、trLとdet(L)は不変量であり、これをそれぞれ平均曲率、ガウス曲率と呼ぶ。