計量テンソル

リーマン幾何学において計量テンソル（けいりょうテンソル、テンプレート:Lang-en-short）とは、空間の局所ごとの構造を表す階数（テンプレート:En）2のテンソルである。距離と角度の定義を与える。多様体が与えられたとき、多様体の接空間で、滑らかに変化する非負の計量テンソルが得られるときにその多様体をリーマン多様体と呼ぶ。そのため、計量テンソルは、リーマン計量（テンプレート:En）とも呼ばれる。

ひとたびある座標系 テンプレート:Math が選ばれると、計量テンソルは行列で表される。通常、文字 テンプレート:Math があてがわれ、各成分は テンプレート:Math とされる。Gは、ユークリッド空間のように平らな領域では単位行列となる。

以下では、添え字の和に関してアインシュタインの縮約記法に従う。

時刻テンプレート:Math から テンプレート:Math までの曲線の長さは、テンプレート:Math をパラメータとして、

$L=\underset{t_1}{\overset{t_2}{\int }}\sqrt{g_{ij}\frac{d{x}^i}{dt}\frac{d{x}^j}{dt}}dt$

と定義される。

この定義からわかる通り、 テンプレート:Math は、２点間の距離に対する各軸成分の寄与を表す係数である。

このとき2つの接ベクトル（テンプレート:En）$U=u^i\frac{\partial }{\partial x^i}$ と $V=v^i\frac{\partial }{\partial x^i}$ のなす角度 テンプレート:Math は、

$\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=\left[\begin{array}{cc}1& 0\\ 0& 1\end{array}\right],d{s}_{}^2=(d{x}^1{)}^2+(d{x}^2{)}^2$

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

$L=\underset{a}{\overset{b}{\int }}\sqrt{(d{x}^1{)}^2+(d{x}^2{)}^2}$

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

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

極座標（テンプレート:En）

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

$g=\left[\begin{array}{cc}1& 0\\ 0& (x^1{)}^2\end{array}\right],d{s}_{}^2=(dr{)}^2+r^2(d\theta {)}^2$

円筒座標（テンプレート:En）

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

$g=\left[\begin{array}{ccc}1& 0& 0\\ 0& (x^1{)}^2& 0\\ 0& 0& 1\end{array}\right],d{s}_{}^2=(dr{)}^2+r^2(d\theta {)}^2+(dz{)}^2$

球座標（テンプレート:En）

$(x^1,x^2,x^3)=(r,\theta ,\varphi )$

$g=\left[\begin{array}{ccc}1& 0& 0\\ 0& (x^1{)}^2& 0\\ 0& 0& (x^1\sin x^2{)}^2\end{array}\right],d{s}_{}^2=(dr{)}^2+r^2(d\theta {)}^2+r^2{\sin }^2\theta (d\varphi {)}^2$

時空・ローレンツ多様体

• 平らな ミンコフスキー空間（テンプレート:En）

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

$g=\left[\begin{array}{cccc}-1& 0& 0& 0\\ 0& 1& 0& 0\\ 0& 0& 1& 0\\ 0& 0& 0& 1\end{array}\right],d{s}_{}^2=-(dt{)}^2+(dx{)}^2+(dy{)}^2+(dz{)}^2$

• シュワルツシルト計量

非ユークリッド空間

　•ポアンカレ円板

$d{s}^2=(4/(1-(x^2+y^2){)}^2)(d{x}^2+d{y}^2)$

参考文献

• テンプレート:Cite book