4元ベクトル

物理学の、特に相対性理論における4元ベクトル（よんげんべくとる、テンプレート:Lang-en ）とは、ミンコフスキー空間上の実 4 次元のベクトルである。より具体的には、時間に対応する物理量と空間に対応する 3 次元ベクトルをまとめて 4 次元時空上のベクトルとして表示したものである。

ベクトルということで太字で表されたり、3次元のベクトルと区別するため細字のままのこともある。4元ベクトルの添え字はテンプレート:Math などギリシャ文字を使用することが多い。テンプレート:Mvar などラテン文字の添え字は、しばしば空間成分のみを表す意図で用いられる。添え字の上付き・下付きによって、後述する共変ベクトルと反変ベクトルを区別する。

定義

以下ではアインシュタインの縮約を使う。同じ添え字が上付きと下付きで出てきた場合はその添え字に対して和テンプレート:Math をとる[[総和|テンプレート:Math記号]]を省略している。

位置ベクトル

時間をテンプレート:Mvar, 空間の 3 成分をテンプレート:Math とすると、4元ベクトルは、

<math>x^\mu=(ct,\boldsymbol{x})=(ct,x,y,z)</math> もしくは <math>x^\mu=(\boldsymbol{x},ct)=(x,y,z,ct)</math>

として表される。このテンプレート:Math は、時間と空間が結合された時空上の一点を表す位置ベクトルになっている。このときテンプレート:Math が指す点を事象 (テンプレート:En ) と呼ぶ。定数テンプレート:Mvar は真空中の光速で、時間を長さの次元に換算する役割を果たす。

時間成分を何番目に置くかは、その記法を一貫して用いる限りにおいて自由である。ただし慣例的には上に挙げた順序で記される。なお、テンプレート:Math どちらの表記でも空間成分を第 1, 2, 3 と呼ぼうとする為、時間成分を前者では第 0 成分、後者では第 4 成分と呼ぶ。また、時間成分に虚数単位テンプレート:Mvar をかけて、テンプレート:Math やテンプレート:Math とする場合もある。しかし、どの定義を用いても、物理学の問題を記述する上では差し支えない。

反変ベクトルと共変ベクトル

テンプレート:Main 座標変換 <math>x^\mu \to {x'}^\mu</math> に対して、

<math>A^\mu\to{A'}^\mu=\frac{\partial {x'}^\mu}{\partial x^\nu}A^\nu </math>

のように変換されるベクトルテンプレート:Mvar を反変ベクトル (テンプレート:En ) という。反変ベクトルであることを明示するために、添え字は右肩につける。反変ベクトルの例として、位置ベクトルや速度ベクトルがある。

同じ座標変換に対して、

<math>B_\mu \to {B'}_\mu = \frac{\partial x^\nu}{\partial {x'}^\mu}B_\nu</math>

のように変換されるベクトルテンプレート:Mvar を共変ベクトル (テンプレート:En ) という。共変ベクトルの添え字は右下につけると約束されている。例えば静電ポテンシャルの空間微分として定義される電場は共変ベクトルである。

反変ベクトルと共変ベクトルは、計量テンソルテンプレート:Math を用いて互いに変換することができる。

内積

4元ベクトルの内積は、計量テンソルテンプレート:Math を用いて、次のように定義される。

この内積はローレンツ変換に対して不変となる。このような量をローレンツ不変量という。

4元ベクトルの二乗は、内積の定義に計量テンソルが入っているため、通常のユークリッド空間における内積とは異なり、負の値をとり得る。ミンコフスキー計量の符号をテンプレート:Math にとれば以下のようになる。

<math>A^2=A\cdot A=-(A_0)^2+(A_1)^2+(A_2)^2+(A_3)^2=-(A_0)^2+|\boldsymbol{A}|^2\,.</math>

時空上で、位置ベクトルの絶対値が正になる領域 (テンプレート:Math) を空間的 (テンプレート:En )、負になる領域 (テンプレート:Math) を時間的 (テンプレート:En )、零になる領域 (テンプレート:Math) を光的 (テンプレート:En ) という。ある時空上の点を出発した光は、出発点を原点とした光的な領域の上を運動する。光的な領域全体を光円錐と呼び、特に時間軸の正の側を未来光円錐 (テンプレート:En )、時間軸の負の側を過去光円錐 (テンプレート:En ) という。物体は光速を超えては運動できないので、光円錐の外、すなわち空間的領域へは行くことができない。このことは相対性理論における因果律を示している。