ガウス写像の定義とガウス曲率との関係
定義1
曲面 $M$ の各点 $p$ を単位法線に写像する関数 $\nu$ を ガウス写像Gauss mapと呼ぶ。
$$ \nu : M \to \mathbb{S}^{2} \quad \text{and} \quad \nu (p) = \mathbf{n}_{p} $$
説明
ガウス写像は、normal spherical imageとも呼ばれる。
定理
曲面上のある領域 $\mathscr{R}$ について $A(\mathscr{R})$ を$\mathscr{R}$ の面積としよう。すると以下が成り立つ。
$$ K = \lim \limits_{\mathscr{R} \to p} \dfrac{A(\nu (\mathscr{R}))}{A(\mathscr{R})} $$
ここで $K$ はガウス曲率である。
証明
$\mathbf{n} : \mathbf{x}^{-1}(\mathscr{R}) \to \mathbb{S}^{2}$ が正則であると仮定しよう。そうすると、座標チャート写像になる。
$$ \dfrac{\partial \mathbf{n}}{\partial u_{1}} \times \dfrac{\partial \mathbf{n}}{\partial u_{2}} \ne 0 $$
$\mathbf{n}$自体が座標チャート写像であるので、次のように書ける。
$$ 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} $$
$$ \mathbf{m} = \dfrac{\mathbf{n}_{1} \times \mathbf{n}_{2}}{\left\| \mathbf{n}_{1} \times \mathbf{n}_{2} \right\|} $$
しかし $\mathbf{m}$ は $\mathbb{S}^{2}$ の法線なので、実際は $\mathbf{n} = \mathbf{m}$ である。
$$ \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]} $$
スカラー三重積を計算すると、
$$ \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*} $$
この場合、${L^{i}}_{j} = \sum \limits_{k} L_{kj}g^{ki}$である。従って
$$ \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*} $$
■
Richard S. Millman and George D. Parker, Elements of Differential Geometry (1977), p130-131 ↩︎