第二基本形式

微分幾何学における**第二基本形式**（）または**形テンソル**（shape tensor）とは、3次元ユークリッド空間の滑らかな曲面（smooth surface）の接平面上の2次形式を言う。普通、 \mathrm{I\!I} と表記される（「２」と読む）。第一基本形式とともに、曲面の外在的不変量、例えば曲面の主曲率、を定義するのに役立つ。より一般的には、このような2次形式は、リーマン多様体に滑らかに埋め込まれた部分多様体に対して定義される。

## <math>\R^3</math>の曲面

### 動機
の媒介変数表示された曲面  の第二基本形式は、ガウスによって導入され、研究された。まず、曲面が表面が2回連続的微分可能（continuously differentiable）な関数  のグラフであり、平面  が原点で曲面に接していると仮定する。そして、  とそれの  および  に関する偏導関数は、（0,0）でゼロになるとする。それ故、（0,0）での *f* のテイラー展開は次のように2次の項で始まることになる。

:  z=L\frac{x^2}{2} + Mxy + N\frac{y^2}{2} + \text{higher order terms}\,,

座標  で表される原点における第二基本形式は2次形式となる。

:  L \, dx^2 + 2M \, dx \, dy + N \, dy^2 \,. 

 上の滑らかな点  に対し、平面  が  で  に接するように座標系を選択し、同様の方法で第二基本形式を定義できる。

### 古典的な記法
一般的な媒介変数表示された曲面の第二基本形式は、次のように定義される。  を  の曲面の正則（regular）な媒介変数表示とする。ここで、  は２変数の滑らかなベクトル値関数である。 と  に関する  の偏導関数は  と  で表示するのが普通である。媒介変数表示の正則性（regularity）は、 の定義域において 任意の に対して  と  が線型独立であることを意味する。すなわち、 と   は、各点で  の接平面を張る（span）ことになる。同様に、外積  は曲面に垂直な非ゼロのベクトルとなる。媒介変数表示は、したがって、単位法線ベクトル  の場を次のように定義する。

: \mathbf{n} = \frac{\mathbf{r}_u\times\mathbf{r}_v} \,.

第二基本形式はたいてい次のように書かれる。

: \mathrm{I\!I} = L\, du^2 + 2M\, du\, dv + N\, dv^2 \,,

接平面の基底  の行列は次のようになる。

:  \begin{bmatrix}
L&M\\
M&N
\end{bmatrix} \,. 

媒介変数表示による  平面における与えられた点での係数  は、その点での  の2次偏導関数を、 の法線上に射影することによって与えられ、内積を使用して次のように計算できる。

: L = \mathbf{r}_{uu} \cdot \mathbf{n}\,, \quad
M = \mathbf{r}_{uv} \cdot \mathbf{n}\,, \quad
N = \mathbf{r}_{vv} \cdot \mathbf{n}\,. 

ヘッセ行列  の符号付き距離場（signed distance field）に対して、第二基本形式の係数は次のように計算される。

: L = -\mathbf{r}_u \cdot \mathbf{H} \cdot \mathbf{r}_u\,, \quad
M = -\mathbf{r}_u \cdot \mathbf{H} \cdot \mathbf{r}_v\,, \quad
N = -\mathbf{r}_v \cdot \mathbf{H} \cdot \mathbf{r}_v\,. 

### 物理学における記法
一般的な媒介変数表示された曲面  の第二基本形式は、次のように定義される。

 を  の曲面の正則な媒介変数表示とする。ここで、 は２変数の滑らかなベクトル値関数である。 の  に関する偏導関数を  （）と表示するのが普通である。媒介変数表示の正則性（regularity）は、 と  が  の定義域内の任意の  に対して線形独立であることを意味する。したがって、 と  が各点で  の接平面を張る（span）ことを意味する。同様に、外積  は曲面に垂直な非ゼロのベクトルとなる。媒介変数表示は、したがって、単位法線ベクトル  の場を次のように定義する。

: \mathbf{n} = \frac{\mathbf{r}_1\times\mathbf{r}_2}\,.

第二基本形式は大抵次のように書かれる。

: \mathrm{I\!I} = b_{\alpha \beta} \, du^{\alpha} \, du^{\beta} \,.

上記の式は、アインシュタインの縮約記法を用いている。

媒介変数表示された  平面における与えられた点における第二基本形式の係数  は、その点での  の2次偏導関数を、 の法線に射影することで与えられる。そして、法線ベクトル  を用いて次のように計算できる。

: b_{\alpha \beta} = r_{\,\alpha \beta}^{\ \ \,\gamma} n_{\gamma}\,. 

## リーマン多様体の超曲面

ユークリッド空間において、第二基本形式は次のように与えられる。

: \mathrm{I\!I}(v,w) = -\langle d\nu(v),w\rangle\nu

ここで、  はガウス写像であり、  はベクトル値の微分形式と見なされる  の微分であり、括弧はユークリッド空間の計量テンソルを表示している。

より一般的には、リーマン多様体では、第二基本形式は、超曲面の で示される形作用素（shape operator）を記述するための同等の方法である。

: \mathrm I\!\mathrm I(v,w)=\langle S(v),w\rangle n = -\langle \nabla_v n,w\rangle n=\langle n,\nabla_v w\rangle n\,,

ここで、 は全体多様体（ambient manifold）の共変微分、 は超曲面上の法線ベクトル場を表示している。（アフィン接続に捩じれがない場合、第二基本形式は対称となる。 ）

第二基本形式の符号は、  の方向の選択に依存する（これは超曲面の共方向（co-orientation）と呼ばれる。ユークリッド空間の曲面の場合、これは同様に曲面の向きの選択によって与えられる。）

### 任意の余次元への一般化
第二基本形式は、任意の余次元（codimension）に一般化できる。その場合、それは法ベクトル束（normal bundle）における値を持つ接空間上の二次形式である。次のように定義できる。

: \mathrm{I\!I}(v,w)=(\nabla_v w)^\bot\,, 

ここで、(\nabla_v w)^\bot は共変微分 \nabla_v w の法ベクトル束への直交射影（orthogonal projection）を表す。

ユークリッド空間では、部分多様体の曲率テンソルは次の式で表すことができる。

: \langle R(u,v)w,z\rangle =\langle \mathrm I\!\mathrm I(u,z),\mathrm I\!\mathrm I(v,w)\rangle-\langle \mathrm I\!\mathrm I(u,w),\mathrm I\!\mathrm I(v,z)\rangle.

これは、ガウスのTheorema Egregiumの一般化と見なすことができるため、**ガウス方程式**と呼ばれる。

一般的なリーマン多様体の場合、全体空間（ambient space）の曲率を追加する必要がある。 がリーマン多様体  に埋め込まれた多様体である場合、  から誘導された計量を持つ  の曲率テンソル  は、第二基本形式と  の曲率テンソル  を用いて次のように表現することができる。

: \langle R_N(u,v)w,z\rangle = \langle R_M(u,v)w,z\rangle+\langle \mathrm I\!\mathrm I(u,z),\mathrm I\!\mathrm I(v,w)\rangle-\langle \mathrm I\!\mathrm I(u,w),\mathrm I\!\mathrm I(v,z)\rangle\,.

## 関連項目

* 第一基本形式
* ガウス曲率
* ガウス・コダッチ方程式
* 形作用素
* 第三基本形式
* トートロジー形式

## 参考文献

* 
* 
* 

## 外部リンク

* Steven Verpoort (2008) Geometry of the Second Fundamental Form: Curvature Properties and Variational Aspects from Katholieke Universiteit Leuven.