この節では反変ベクトルと共変ベクトルの数学的な構造について議論する.
特殊相対性理論では四次元空間上のベクトルを反変ベクトルと呼ぶ.
反変ベクトル をその成分 と区別するために と書こう.
上付き添字 は という量が反変ベクトルであることを明示するもので, を走る添字 とは本質的に異なる.
この添字をWaldの抽象添字 (abstract index) という.
反変ベクトル全体の集合を としその基底を とすると,
と展開できる.和を省略せずに書けば,
普通は基底は各座標軸に平行で大きさ のベクトルにとる.
たとえば など.
を行ったとき,反変ベクトルそのものは変換されないが成分を読み取る軸が変わって,
と書ける. ここで は変換後の基底で はその基底で展開したときの成分.
基底のLorentz変換の式を求めたい.
そこで四次元空間上の座標点 を考える.
これを位置ベクトルとして と展開すると,
は で展開したときの係数だから,
の逆行列を とすると
となる.Lorentz変換は を満たすがこの両辺の左から ,右から をかけると
が導かれる.したがって
これが基底のLorentz変換の式である.
次に反変ベクトル空間 から実数 への線型写像全体の集合を考えよう.
それを と書き,任意の元を のように下付きの抽象添字を用いて書く.
通常写像は のように括弧を使って表記するが, の元が反変ベクトルに作用するときは のように作用している反変ベクトルの抽象添字と同じ添字を使うことで明示する.
次のように和とスカラー倍を定義すれば にも自然にベクトル空間の構造が入る:
つまり の和とスカラー倍は 上の演算で定義する.
このベクトル空間 を の双対ベクトル空間 (deal vector space) という.
また双対ベクトル空間の元を双対ベクトルまたは1形式 (one-form) という.
相対性理論では双対ベクトルを共変ベクトル (covariant vector) という.
の基底 と表記して,
と展開する. 共変ベクトル空間の基底は普通,反変ベクトルの基底に作用するとき
を満たすようにとってくる. つまり は反変ベクトル の 成分を取ってくる写像である: .
上下の抽象添字があると縮約するのと同じようにダミーとなる.
任意の反変ベクトル を任意の共変ベクトル で写すと,
となる.すなわち反変ベクトルと共変ベクトルの各成分どうしの積の和が現れる.
同様に共変ベクトルの基底のLorentz変換を求めたい.
変換後も基底の関係が成り立つとして
したがって,
を両辺にかけて
が得られる.共変ベクトルの基底は座標 と同じ変換則を持つことがわかった.
2つのベクトル空間 と からテンソル (tensor) をつくろう.
最も簡単なものは
という量全体の空間 を作れる.
は2階反変テンソル空間といい,16個の基底 で張られている.
に共変ベクトル を作用すると,
となって成分が の反変ベクトルとなる.
に変えても同様.
2階共変テンソル空間 は16個の基底 で張られ,任意の元は,
と書ける. が反変ベクトルに作用すると,
となって成分が の共変ベクトルとなる.
に変えても同様.
反変と共変が混合した1階反変1階共変テンソル空間 も作れる.
基底は の16個あり,任意の元は,
と書ける.
上と同様にして,反変ベクトルに作用すると反変ベクトルになり,共変ベクトルが作用すると共変ベクトルになることがわかる.
このタイプのテンソルのうちで重要なテンソルは,
これは成分がKroneckerのデルタのテンソルで,任意の反変ベクトルに作用すると となることがわかる.
添え字は変わるが反変ベクトルの成分は何も変化を受けない.
共変ベクトルに対しても同様である.
は表記として でも でもよいが,一般のテンソルは順番に注意しなければならない.
特殊相対性理論で最も重要な2階共変テンソルとして,
がある.
この を用いて反変ベクトル空間の内積を,
で定義する.
一般に内積を決める2階共変テンソルのことを計量 (metric) といい,特殊相対性理論で用いる のことはMinkowski計量という.
はベクトルに線型写像が作用して実数を作っているだけであって内積とは限らないことに注意せよ.
しかし,
によって共変ベクトル を定めれば,
が成り立つ.
Lorentz変換は反変ベクトルと共変ベクトルの基底の取り替えであり
と変換される. これに伴い反変ベクトルと共変ベクトルの成分は
と変換する.
Lorentz変換は計量 を不変に保つ変換として定義されておりその結果任意のベクトルの内積も不変になる.
最後に反変ベクトル空間 個と共変ベクトル空間 個からつくられる 階反変 階共変テンソル空間の元は一般に次のような形をしている:
階反変 階共変テンソルの成分の変換則は