空間中の近接する二点
と
(
と
) とを結ぶベクトルを
![$\displaystyle d\bm{x}= dx^i \bm{a}_i = d\bar{x}^i \bar{\bm{a}}_i$](Tensor-img48.png) |
(13) |
と表せば(従って
など )、この二点間の距離はスカラー積を用いて
と書ける。ここで
![$\displaystyle g_{ij} = \bm{a}_i \cdot \bm{a}_j,\qquad \bar{g}_{ij} = \bar{\bm{a}}_i \cdot \bar{\bm{a}}_j$](Tensor-img53.png) |
(15) |
などとした。二点間の距離がスカラー量であり座標系に依存しないことから
![$\displaystyle ds^2 = g_{ij} dx^i dx^j= \bar{g}_{ij} d\bar{x}^i d\bar{x}^j$](Tensor-img54.png) |
(16) |
であり、従って
![$\displaystyle \bar{g}_{ij} = \frac{\partial x^k}{\partial \bar{x}^i}\frac{\partial x^l}{\partial \bar{x}^j} g_{kl}$](Tensor-img55.png) |
(17) |
が成り立ち、
が二階の共変テンソルであることが分かる。この共変テンソル
は計量(metric)テンソルと呼ばれ、
![$\displaystyle g_{ij}= g_{ji}$](Tensor-img57.png) |
(18) |
が成り立つ対称テンソルである。
を直交系にとれば
は対角成分のみが零でない値をもつことになる。
また
の逆行列を
と書くことにすると、
は
![$\displaystyle \bar{g}^{ij} = \frac{\partial \bar{x}^i}{\partial {x}^k}\frac{\partial \bar{x}^j}{\partial {x}^l} g^{kl}$](Tensor-img62.png) |
(19) |
であり、二階の反変テンソルである。従って
![$\displaystyle g^{ik} g_{jk} = \delta_{j}^i$](Tensor-img63.png) |
(20) |
と書ける。
は Kronecker delta であり、
任意の座標系で
のとき
、
のとき
で定義されるとする。
このとき
は
を満たすので、二階の混合テンソルである。
また
であるから、
をKronecker delta とすれば、
や
は必ずしも Kronecker delta として振る舞わないことが分かる。
を反変ベクトル(成分)とするとき、
で定義される
は
であるから、共変ベクトル(成分)として振る舞うことが分かる。
同様にして
を反変ベクトル(成分)とするとき、
で定義される
は
であるから、反変ベクトル(成分)として振る舞うことが分かる。
上の様にして計量テンソル
や
などを使って反変テンソル成分と共変テンソル成分とを結びつけることは、
であることから、
反変成分と共変成分の基底ベクトルを
などの関係で結びつけることに対応する。
これはまた、
であることを意味している。
またこのとき二つのベクトル量の内積は
![$\displaystyle \vec{\xi} \cdot \vec{\eta} = \xi^i \eta^j \bm{a}_i \cdot \bm{a}_j = g_{ij} \xi^i \eta^j = \xi^i \eta_i = \xi_i \eta^i$](Tensor-img84.png) |
(21) |
で定義されることになる。
また
が単位直交基底となるような定ベクトルを使うデカルト座標の場合は、反変ベクトルと共変ベクトルの区別は必ずしも必要では無くなる。
また、例えば
を球座標
の場合にあからさまに書き表せば
となるが、ベクトル
を導入して
などと書くのが普通である。
直交系の場合、
となり、
の前に来る量が同じ物理的次元を持つようにすることができる。
同様にして
として,
ベクトル
を導入することができる。
fat-cat
平成16年11月29日