4元ベクトル

物理学の、特に相対性理論における4元ベクトル（よんげんべくとる、 ）とは、ミンコフスキー空間またはローレンツ多様体上の 4 次元のベクトルである。より具体的には、時間に対応する物理量と空間に対応する 3 次元ベクトルをまとめて 4 次元時空上のベクトルとして表示したものである。
ベクトルということで太字で表されたり、3次元のベクトルと区別するため細字のままのこともある。4元ベクトルの添え字は などギリシャ文字を使用することが多い。 などラテン文字の添え字は、しばしば空間成分のみを表す意図で用いられる。添え字の上付き・下付きによって、後述する反変ベクトルと共変ベクトルを区別する。
定義.
以下ではアインシュタインの縮約を使う。同じ添え字が上付きと下付きで出てきた場合はその添え字に対して和 をとる記号を省略している。
位置ベクトル.
時間を , 空間の 3 成分を とすると、4元位置ベクトルは、
として表される。この は、時間と空間が結合された時空上の一点を表す位置ベクトルになっている。このとき が指す点を事象 ("" ) と呼ぶ。定数 は真空中の光速で、時間を長さの次元に換算する役割を果たす。
時間成分を何番目に置くかは、その記法を一貫して用いる限りにおいて自由である。ただし慣例的には上に挙げた順序で記される。なお、 どちらの表記でも空間成分を第 1, 2, 3 と呼ぼうとする為、時間成分を前者では第 0 成分、後者では第 4 成分と呼ぶ。また、時間成分に虚数単位 をかけて、 や とする場合もある。しかし、どの定義を用いても、物理学の問題を記述する上では差し支えない。
その他のベクトル.
座標変換に対して、上に定義した4元位置ベクトルと同様にふるまうベクトルを4元ベクトルと呼ぶ。座標変換に対するふるまいかたには反変性と共変性の二通りがあるが（後述）、両方を4元ベクトルと呼ぶ。いくつかの具体例についても後述する。
反変ベクトルと共変ベクトル.
座標変換 formula_3 に対して、
のように変換されるベクトル を反変ベクトル ( ) という。反変ベクトルであることを明示するために、添え字は右肩につける。反変ベクトルの例として、位置ベクトルや速度ベクトルがある。
同じ座標変換に対して、
のように変換されるベクトル を共変ベクトル ( ) という。共変ベクトルの添え字は右下につけると約束されている。例えば静電ポテンシャルの空間微分として定義される電場は共変ベクトルである。
反変ベクトルと共変ベクトルは、計量テンソル を用いて互いに変換することができる。
内積.
4元ベクトルの内積は、計量テンソル を用いて、次のように定義される。
この内積はローレンツ変換に対して不変となる。このような量をローレンツ不変量という。
4元ベクトルの二乗は、内積の定義に計量テンソルが入っているため、通常のユークリッド空間における内積とは異なり、負の値をとり得る。
ミンコフスキー計量の符号を にとれば以下のようになる。
時空上で、位置ベクトルの絶対値が正になる領域 () を空間的 ( )、負になる領域 () を時間的 ( )、零になる領域 () を光的 ( ) という。
ある時空上の点を出発した光は、出発点を原点とした光的な領域の上を運動する。光的な領域全体を光円錐と呼び、特に時間軸の正の側を未来光円錐 ( )、時間軸の負の側を過去光円錐 ( ) という。物体は光速を超えては運動できないので、光円錐の外、すなわち空間的領域へは行くことができない。このことは相対性理論における因果律を示している。