4元ベクトル

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

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

定義

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

位置ベクトル

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

$x^{\mu }=(ct,𝒙)=(ct,x,y,z)$ もしくは $x^{\mu }=(𝒙,ct)=(x,y,z,ct)$

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

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

その他のベクトル

座標変換に対して、上に定義した4元位置ベクトルと同様にふるまうベクトルを4元ベクトルと呼ぶ。座標変換に対するふるまいかたには反変性と共変性の二通りがあるが（後述）、両方を4元ベクトルと呼ぶ。いくつかの具体例についても後述する。

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

テンプレート:Main 座標変換 $x^{\mu }\to {x^{\prime }}^{\mu }$ に対して、

$A^{\mu }\to {A^{\prime }}^{\mu }=\frac{\partial {x^{\prime }}^{\mu }}{\partial x^{\nu }}{A}^{\nu }$

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

同じ座標変換に対して、

$B_{\mu }\to {B^{\prime }}_{\mu }=\frac{\partial x^{\nu }}{\partial {x^{\prime }}^{\mu }}{B}_{\nu }$

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

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

$x_{\mu }=g_{\mu \nu }{x}^{\nu },$

$x^{\mu }=g^{\mu \nu }{x}_{\nu }.$

内積

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

$A\cdot B=g_{\mu \nu }{A}^{\mu }{B}^{\nu }=A_{\nu }{B}^{\nu }=A^{\mu }{B}_{\mu }$

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

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

$A^2=A\cdot A=-(A_0{)}^2+(A_1{)}^2+(A_2{)}^2+(A_3{)}^2=-(A_0{)}^2+|𝑨{|}^2.$

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

4元ベクトルの例

• 4元運動量：時間成分がエネルギー テンプレート:Mvar、空間成分が運動量 テンプレート:Mvar である。

$p^{\mu }=(\frac{E}{c},𝒑)$

特に、その絶対値は質量であり、通常は負又は零である。

$p^2=-\frac{E^2}{c^2}+{𝒑}^2=-m^2{c}^2$

• 微分

${\partial }_{\mu }=\frac{\partial }{\partial x^{\mu }}=(\frac{1}{c}\frac{\partial }{\partial t},\mathrm{\nabla })$

• 4元電流密度：時間成分が電荷密度 テンプレート:Math、空間成分が電流密度 テンプレート:Mvar

$J^{\mu }=(\rho c,𝒋)$

• 4元ポテンシャル：時間成分がスカラーポテンシャル テンプレート:Math、空間成分がベクトルポテンシャル テンプレート:Mvar

$A^{\mu }=(\frac{\varphi }{c},𝑨)$

• 波数：時間成分が角振動数 テンプレート:Math、空間成分が波数 テンプレート:Mvar

$k^{\mu }=(\frac{\omega }{c},𝒌)$

関連項目

• 相対性理論
  • 特殊相対性理論
  • 一般相対性理論
• テンソル
• 計量
• ミンコフスキー空間
• ローレンツ変換
• アインシュタインの縮約記法
• ベクトルの共変性と反変性