logo

ガウス写像の定義とガウス曲率との関係 📂幾何学

ガウス写像の定義とガウス曲率との関係

定義1

曲面 MM の各点 pp単位法線に写像する関数 ν\nuガウス写像Gauss mapと呼ぶ。

ν:MS2andν(p)=np \nu : M \to \mathbb{S}^{2} \quad \text{and} \quad \nu (p) = \mathbf{n}_{p}

説明

ガウス写像は、normal spherical imageとも呼ばれる。

定理

曲面上のある領域 R\mathscr{R} について A(R)A(\mathscr{R})R\mathscr{R} の面積としよう。すると以下が成り立つ。

K=limRpA(ν(R))A(R) K = \lim \limits_{\mathscr{R} \to p} \dfrac{A(\nu (\mathscr{R}))}{A(\mathscr{R})}

ここで KKガウス曲率である。

証明

n:x1(R)S2\mathbf{n} : \mathbf{x}^{-1}(\mathscr{R}) \to \mathbb{S}^{2}正則であると仮定しよう。そうすると、座標チャート写像になる。

nu1×nu20 \dfrac{\partial \mathbf{n}}{\partial u_{1}} \times \dfrac{\partial \mathbf{n}}{\partial u_{2}} \ne 0

n\mathbf{n}自体が座標チャート写像であるので、次のように書ける。

A(ν(R))=x1(R)[n1,n2,m]du1du2 A( \nu (\mathscr{R})) = \int\int_{\mathbf{x}^{-1}(\mathscr{R})} \left[ \mathbf{n}_{1}, \mathbf{n}_{2}, \mathbf{m} \right] du^{1}du^{2}

m=n1×n2n1×n2 \mathbf{m} = \dfrac{\mathbf{n}_{1} \times \mathbf{n}_{2}}{\left\| \mathbf{n}_{1} \times \mathbf{n}_{2} \right\|}

しかし m\mathbf{m}S2\mathbb{S}^{2} の法線なので、実際は n=m\mathbf{n} = \mathbf{m} である。

limRpA(ν(R))A(R)=[n1,n2,n][x1,x2,n] \lim \limits_{\mathscr{R} \to p} \dfrac{A(\nu (\mathscr{R}))}{A(\mathscr{R})} = \dfrac{\left[ \mathbf{n}_{1}, \mathbf{n}_{2}, \mathbf{n} \right]}{\left[ \mathbf{x}_{1}, \mathbf{x}_{2}, \mathbf{n} \right]}

スカラー三重積を計算すると、

(n1×n2)n=(L(x1)×L(x2))n=((L11x1+L21x2)×(L12x1+L22x2))n=(L11L22L21L12)(x1×x2)n \begin{align*} (\mathbf{n}_{1} \times \mathbf{n}_{2}) \cdot \mathbf{n} &= \left( L(\mathbf{x}_{1})\times L(\mathbf{x}_{2}) \right) \cdot \mathbf{n} \\ &= \left( \left( {L^{1}}_{1}\mathbf{x}_{1} + {L^{2}}_{1}\mathbf{x}_{2} \right) \times \left( {L^{1}}_{2}\mathbf{x}_{1} + {L^{2}}_{2}\mathbf{x}_{2} \right) \right) \cdot \mathbf{n} \\ &= \left( {L^{1}}_{1}{L^{2}}_{2} - {L^{2}}_{1}{L^{1}}_{2} \right) (\mathbf{x}_{1} \times \mathbf{x}_{2}) \cdot \mathbf{n} \end{align*}

この場合、Lij=kLkjgki{L^{i}}_{j} = \sum \limits_{k} L_{kj}g^{ki}である。従って

limRpA(ν(R))A(R)=[n1,n2,n][x1,x2,n]=(L11L22L21L12)(x1×x2)n(x1×x2)n=(L11L22L21L12)=det([Lji])=K \begin{align*} \lim \limits_{\mathscr{R} \to p} \dfrac{A(\nu (\mathscr{R}))}{A(\mathscr{R})} &= \dfrac{\left[ \mathbf{n}_{1}, \mathbf{n}_{2}, \mathbf{n} \right]}{\left[ \mathbf{x}_{1}, \mathbf{x}_{2}, \mathbf{n} \right]} \\[1em] &= \dfrac{\left( {L^{1}}_{1}{L^{2}}_{2} - {L^{2}}_{1}{L^{1}}_{2} \right) (\mathbf{x}_{1} \times \mathbf{x}_{2}) \cdot \mathbf{n}}{(\mathbf{x}_{1} \times \mathbf{x}_{2}) \cdot \mathbf{n}} \\[1em] &= \left( {L^{1}}_{1}{L^{2}}_{2} - {L^{2}}_{1}{L^{1}}_{2} \right) \\ &= \det ([L_{j}^{i}]) \\ &= K \end{align*}


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