計量テンソル

リーマン幾何学において計量テンソル（けいりょうテンソル、英: metric tensor）とは、空間内の距離と角度を定義する階数（rank）が2のテンソルを言う。多様体が与えられたとき、多様体の接空間で、滑らかに変化する非負の2次関数を選ぶことができる場合、その多様体をリーマン多様体と呼ぶ。そのため、計量テンソルは、リーマン計量（Riemannian metric）と呼ばれることもある。

ひとたび、ある座標系 xⁱ が選ばれると、計量テンソルは行列形式で定義される。通常、G として表記され、各成分は g_ij と表される。以下では、添え字の和に関してアインシュタインの縮約記法を用いる。

点a から b までの曲線の長さは、t をパラメータとして、

$L=\int _{a}^{b}{\sqrt {g_{ij}{dx^{i} \over dt}{dx^{j} \over dt}}}dt\$

と定義される。2つの接ベクトル（tangent vector）$U=u^{i}{\partial \over \partial x^{i}}\$ と $V=v^{i}{\partial \over \partial x^{i}}\$ のなす角度 θ は、

$\cos \theta ={\frac {g_{ij}u^{i}v^{j}}{\sqrt {\left|g_{ij}u^{i}u^{j}\right|\left|g_{ij}v^{i}v^{j}\right|}}}\$

で与えられる。

例

ユークリッド空間

2次元のユークリッド計量（平らな空間）では、計量テンソルはクロネッカーのデルタ、または単位行列で与えられる。すなわち

$g={\begin{bmatrix}1&0\\0&1\end{bmatrix}},\quad ds_{}^{2}=(dx^{1})^{2}+(dx^{2})^{2}$

で与えられ、曲線の長さは良く知られた公式

$L=\int _{a}^{b}{\sqrt {(dx^{1})^{2}+(dx^{2})^{2}}}\$

で与えられる。逆に計量テンソルが単位行列になるのは直交直線座標系のときに限る。

座標系を替えたユークリッド計量の例をいくつか示す。

極座標（Polar coordinates）

$(x^{1},x^{2})=(r,\theta )\$

$g={\begin{bmatrix}1&0\\0&(x^{1})^{2}\end{bmatrix}},\quad ds_{}^{2}=(dr)^{2}+r^{2}(d\theta )^{2}$

円筒座標（Cylindrical coordinates）

$(x^{1},x^{2},x^{3})=(r,\theta ,z)\$

$g={\begin{bmatrix}1&0&0\\0&(x^{1})^{2}&0\\0&0&1\end{bmatrix}},\quad ds_{}^{2}=(dr)^{2}+r^{2}(d\theta )^{2}+(dz)^{2}$

球座標（Spherical coordinates）

$(x^{1},x^{2},x^{3})=(r,\theta ,\phi )\$

$g={\begin{bmatrix}1&0&0\\0&(x^{1})^{2}&0\\0&0&(x^{1}\sin x^{2})^{2}\end{bmatrix}},\quad ds_{}^{2}=(dr)^{2}+r^{2}(d\theta )^{2}+r^{2}\sin ^{2}\theta (d\phi )^{2}$

時空・ローレンツ多様体

• 平らな ミンコフスキー空間（Minkowski space）

$(x^{0},x^{1},x^{2},x^{3})=(t,x,y,z)\$

$g={\begin{bmatrix}-1&0&0&0\\0&1&0&0\\0&0&1&0\\0&0&0&1\end{bmatrix}},\quad ds_{}^{2}=-(dt)^{2}+(dx)^{2}+(dy)^{2}+(dz)^{2}$

• シュワルツシルト計量

非ユークリッド空間

　•ポアンカレ円板

$ds^{2}=(4/(1-(x^{2}+y^{2}))^{2})(dx^{2}+dy^{2})$

参考文献

• 石原繁 『テンソル －科学技術のために－』裳華房、1991年。