「計量テンソル」の版間の差分
削除された内容 追加された内容
m 余計な全角スペースを削除 |
|||
1行目: | 1行目: | ||
'''計量テンソル'''(けいりょうテンソル、metric tensor)は、[[リーマン幾何学]]において、空間内の[[距離]]と[[角度]]を定義する、[[階数]](rank)が2の[[テンソル]]である。 |
'''計量テンソル'''(けいりょうテンソル、metric tensor)は、[[リーマン幾何学]]において、空間内の[[距離]]と[[角度]]を定義する、[[階数]](rank)が2の[[テンソル]]である。[[多様体]]が与えられたとき、多様体の接空間で、滑らかに変化する非負の2次関数を選ぶことができる場合、その多様体を[[リーマン多様体]]と呼ぶ。そのため、計量テンソルは、'''リーマン計量'''(Riemannian metric)と呼ばれることもある。 |
||
[[多様体]]が与えられたとき、多様体の接空間で、滑らかに変化する非負の2次関数を選ぶことができる場合、その多様体を[[リーマン多様体]]と呼ぶ。そのため、計量テンソルは、'''リーマン計量'''(Riemannian metric)と呼ばれることもある。 |
|||
ひとたび、ある座標系 ''x''<sup>''i''</sup> が選ばれると、計量テンソルは[[行列]]形式で定義される。通常、''G''として表記され、各成分は |
ひとたび、ある座標系 {{math|''x''<sup>''i''</sup>}} が選ばれると、計量テンソルは[[行列]]形式で定義される。通常、{{math|''G''}} として表記され、各成分は {{math| ''g''<sub>''ij''</sub>}} と表される。以下では、添え字の和に関して[[アインシュタインの縮約記法]]を用いる。 |
||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
:<math> |
|||
⚫ | |||
⚫ | |||
{{Indent|<math> |
|||
\cos \theta = \frac{g_{ij}u^iv^j} |
\cos \theta = \frac{g_{ij}u^iv^j} |
||
{\sqrt{ \left| g_{ij}u^iu^j \right| \left| g_{ij}v^iv^j \right|}} |
{\sqrt{ \left| g_{ij}u^iu^j \right| \left| g_{ij}v^iv^j \right|}} |
||
\ </math> |
\ </math> |
||
で与えられる。 |
で与えられる。 |
||
<!-- |
<!-- |
||
The induced metric tensor for a smooth [[embedding]] of a [[manifold]] into [[Euclidean space]] can be computed by the formula |
The induced metric tensor for a smooth [[embedding]] of a [[manifold]] into [[Euclidean space]] can be computed by the formula |
||
28行目: | 21行目: | ||
==例== |
==例== |
||
===ユークリッド計量=== |
===ユークリッド計量=== |
||
2次元の[[ユークリッド計量]](平らな空間)は、 |
2次元の[[ユークリッド計量]](平らな空間)では、計量テンソルは[[クロネッカーのデルタ]]、または[[単位行列]]で与えられる。すなわち |
||
:<math>g = \begin{bmatrix} 1 & 0 \\ 0 & 1\end{bmatrix},\quad ds^2_{}=(dx^1)^2 + (dx^2)^2 </math> |
|||
⚫ | |||
⚫ | |||
⚫ | |||
で与えられる。逆に計量テンソルが単位行列になるのは直交直線座標系のときに限る<ref>{{cite|和書 |author=高橋康 |author2=柏太郎 |title=量子場を学ぶための場の解析力学入門 増補版 |edition=2 |publisher=講談社サイエンティフィク |year=2005 |isbn=4-06-153252-9 |page=10}}</ref>。 |
|||
⚫ | |||
で与えられる。 |
|||
座標系を替えたユークリッド計量の例をいくつか示す。 |
座標系を替えたユークリッド計量の例をいくつか示す。 |
||
;[[極座標]](Polar coordinates): <math>(x^1, x^2)=(r, \theta) \ </math> |
;[[極座標]](Polar coordinates): <math>(x^1, x^2)=(r, \theta) \ </math> |
||
:<math>g = \begin{bmatrix} 1 & 0 \\ 0 & (x^1)^2\end{bmatrix} |
:<math>g = \begin{bmatrix} 1 & 0 \\ 0 & (x^1)^2\end{bmatrix},\quad ds^2_{}=(dr)^2 + r^2(d\theta)^2 </math> |
||
;[[円筒座標]](Cylindrical coordinates): <math>(x^1, x^2, x^3)=(r, \theta, z) \ </math> |
;[[円筒座標]](Cylindrical coordinates): <math>(x^1, x^2, x^3)=(r, \theta, z) \ </math> |
||
:<math>g = \begin{bmatrix} 1 & 0 & 0\\ 0 & (x^1)^2 & 0 \\ 0 & 0 & 1\end{bmatrix} |
:<math>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 </math> |
||
;[[球座標]](Spherical coordinates): <math>(x^1, x^2, x^3)=(r, \theta, \phi) \ </math> |
;[[球座標]](Spherical coordinates): <math>(x^1, x^2, x^3)=(r, \theta, \phi) \ </math> |
||
:<math>g = \begin{bmatrix} 1 & 0 & 0\\ 0 & (x^1)^2 & 0 \\ 0 & 0 & (x^1\sin x^2)^2\end{bmatrix} |
:<math>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 </math> |
||
;平らな [[ミンコフスキー空間]](flat Minkowski space): <math>(x^0, x^1, x^2, x^3)=(t, x, y, z) \ </math> |
;平らな [[ミンコフスキー空間]](flat Minkowski space): <math>(x^0, x^1, x^2, x^3)=(t, x, y, z) \ </math> |
||
:<math>g = \begin{bmatrix} -1 & 0 & 0 & 0\\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1\end{bmatrix} |
:<math>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</math> |
||
==脚注== |
|||
{{reflist}} |
|||
{{Template:Tensors}} |
{{Template:Tensors}} |
2016年8月6日 (土) 00:13時点における版
計量テンソル(けいりょうテンソル、metric tensor)は、リーマン幾何学において、空間内の距離と角度を定義する、階数(rank)が2のテンソルである。多様体が与えられたとき、多様体の接空間で、滑らかに変化する非負の2次関数を選ぶことができる場合、その多様体をリーマン多様体と呼ぶ。そのため、計量テンソルは、リーマン計量(Riemannian metric)と呼ばれることもある。
ひとたび、ある座標系 xi が選ばれると、計量テンソルは行列形式で定義される。通常、G として表記され、各成分は gij と表される。以下では、添え字の和に関してアインシュタインの縮約記法を用いる。
点a から b までの曲線の長さは、t をパラメータとして、
と定義される。2つの接ベクトル(tangent vector) と のなす角度 θ は、
で与えられる。
例
ユークリッド計量
2次元のユークリッド計量(平らな空間)では、計量テンソルはクロネッカーのデルタ、または単位行列で与えられる。すなわち
で与えられ、曲線の長さは良く知られた公式
で与えられる。逆に計量テンソルが単位行列になるのは直交直線座標系のときに限る[1]。
座標系を替えたユークリッド計量の例をいくつか示す。
- 極座標(Polar coordinates)
- 円筒座標(Cylindrical coordinates)
- 球座標(Spherical coordinates)
- 平らな ミンコフスキー空間(flat Minkowski space)
脚注
- ^ 高橋康; 柏太郎『量子場を学ぶための場の解析力学入門 増補版』(2版)講談社サイエンティフィク、2005年、10頁。ISBN 4-06-153252-9。