特殊相対性理論（とくしゅそうたいせいりろん、、）とは、アルベルト・アインシュタインが1905年に発表した、慣性系に対する電磁気学および力学の理論である。特殊相対論と呼ばれる事もある。力学の基本法則は17世紀にニュートン力学として確立された。ニュートンは力学を構築するに当たって以下の絶対時間と絶対空間を仮定した。つまり時間と空間はそこにある物体の存在や運動に何ら影響を受けないと仮定したのである。これは我々が抱いている時間や空間に対する漠然とした感覚を明確化したものであった。ニュートン力学の一つの帰結として、すべての慣性座標系が本質的に等価であり、同一点上にある2つの慣性座標系 、 がという変換（ガリレイ変換）によって結ばれる事が示されている。ここで は慣性系Aにおける時刻と位置であり、 は慣性系Bにおける時刻と位置であり、 はAから見たBの速度である。ニュートン力学においてすべての慣性座標系は本質的に等価なものであるので、ニュートン力学においては空間に対して「"絶対的に"静止している座標系」といった概念は意味をなさず、あくまで「慣性系Aが慣性系Bに対して"相対的に"静止している」という概念のみが意味を持つ。このことから、力学の法則はすべての慣性座標系で同一であることが結論付けられ、この事実を ガリレイの相対性原理と呼ぶ。一方、19世紀後半になると、当時知られていた電磁気学に関する基礎方程式がマクスウェル方程式として整備された。そしてマクスウェル方程式を解くことにより、電磁波の速度を計算したところ、これが光の速度 と一致したため、光の正体は電磁波であると考えられるようになった（そしてそれは正しかった）。光学の分野でも光の回折を説明するため、光を波だとみなす波動説が広まり、光を伝えるための媒質であるエーテルで宇宙が満たされているという仮説がホイヘンスにより提案された（これは後に特殊相対性理論により否定される）。こうした知見から、マクスウェル方程式はエーテルに対して静止している理想的な座標系において電磁気学を記述する方程式とみなされたが、エーテルに対して運動する座標系において、マクスウェル方程式は不十分なものであった。今日の目から見ると、これは電磁気学とニュートン力学との間に明確な齟齬があった事に起因する。まず、マクスウェル方程式はガリレイ変換に従わない。実際、ヘルツは単純に マクスウェル方程式をガリレイ変換させることで運動座標系における電磁場の方程式を導出したが、Wilson や Röntgen–Eichenwald の実験によって否定された。またエーテルの存在を仮定することは、エーテルに対して静止している「絶対静止系」が存在する事を意味するが、前述のようにニュートン力学におけるガリレイの相対性原理は「絶対静止系」のようなものを認めておらず、これは「静止座標系」を認めずガリレイの相対性原理を前提とするニュートン力学の描像とは明確な齟齬をきたしていた。両者の齟齬が特に先鋭化したのは、光の速度に関する解釈である。ガリレイの相対性原理を前提とした場合、光の速度は慣性系に依存するはずであるので、マクスウェル方程式という「静止座標系」でのみで適応できる理論から出た電磁波の速度と一致するのは明らかな矛盾である。以上のように、特殊相対性理論以前の物理学はガリレイの相対性原理を認める立場と絶対静止系を認める立場が混然としていたが、両者には上述したような矛盾があるので、どちらかを修正もしくは放棄する必要がある。特殊相対性理論以前の理論であるエーテル仮説は、「エーテルに対する静止系」という絶対静止系を採用する代わりにガリレイの相対性原理を放棄する立場にたっていたのである。しかしながらその後、エーテル仮説に対する重大な反証が得られた（マイケルソン・モーリーの実験、）。エーテル仮説が正しいとすれば、地球はその公転によりエーテルに対して動いているので、地球上では公転方向に「エーテルの風」が感じられ、その影響により公転方向とそれ以外では光の速度が異なるはずであるが、実験によりそのような速度差は生じず、エーテルの風の風速はほぼ0であることが結論付けられたのである。これをうけてヘルツ、フィッツジェラルド、ローレンツ、ポアンカレなどがいくつかの理論を提唱したが、いずれもエーテル仮説の域を出ず、既存のエーテル仮説にアド・ホックな仮定を加えることで整合性を捕ろうとするものだった。例えばでは運動する物体が「エーテルの風」を受けて収縮する（フィッツジェラルド=ローレンツ収縮）をフィッツジェラルドと独立に提案し、これが原因で、マイケルソン・モーリーの実験の実験では「エーテルの風」の効果がキャンセルされたのだと説明し、収縮度合いを記述した変換式（ローレンツ変換、）を定式化したが、検証可能性を欠いていた。またローレンツとポアンカレは時間のの流れが観測者によって異なるとするとする「局所時間」という相対性理論の萌芽ともいうべき考えを提案し、Wilson や Röntgen–Eichenwald の実験に合致する電磁場の方程式を導出した。彼らはアインシュタインの重要な先駆者であり、彼らの理論は数式上は相対性理論のそれと一致している。しかし彼らの理論はあくまでエーテル仮説に基づいており、エーテル仮説の立場をとらない相対性理論とはその物理的解釈が根本的に異なり、下記のような大きな不満が残るものであった。こうしたローレンツやポアンカレ等の成果とはほぼ独立にアインシュタインは自身の論文において特殊相対性理論を確立した。特殊相対性理論では、エーテルの存在を仮定せず、変わりに理論の基盤として以下の二つの原理を採用した光速度原理は前述したマイケルソン・モーレーの実験の結果から帰結される。実際、この実験の結果によれば、地球から見た光速度は季節によらず同一であった。地球の運動方向や速度は季節によって異なるので、この実験の結果は、光速度が系の運動方向や速度によらないことを意味し、これはすなわちどの慣性系からみても光速度が不変である事を強く示唆しているのである。一方、相対性原理はガリレイの相対性原理を緩和したもので、全ての慣性座標系が等価であることは仮定するが、慣性座標系の間の変換則がガリレイ変換であるとは仮定しない。この原理は、光速度不変の原理から示唆される。光速度不変の原理によれば、どの慣性座標系でも同一であるのだから、絶対静止座標系のような「特別な」座標系は存在せず、全ての慣性座標系は等価であると思われるのである。エーテル仮説は、エーテルによる「絶対静止座標系」が存在するという仮定を採用し、全ての慣性系は等価であるというガリレイの相対性原理を捨て去ったものであった。それに対し特殊相対性理論では、ガリレイの相対性原理を緩和した相対性原理を仮定し、代わりに「絶対静止座標」とその基盤であるエーテル仮定とを放棄したのである。なお、相対性原理理論の成果はそれまでのニュートン力学と次の意味で両立していなければならないなおアインシュタインは特殊相対性理論の構築において前述した指導原理のみならず、空間の等質性や等方性を暗に仮定していた事をのちに認めている。以上の指導原理をもとに、2つの慣性系の間の変換則を導く。まずはそのための準備として、変換則がどのようなものでなければならないかについて考察する。以下、 を光の速度とし、計算を簡単にするため、時間の単位として時刻 のかわりに を用いることとする。 の単位は距離の単位と一致するので、これは時間と距離に同一の単位を用いた事を意味する。今、慣性運動する2人の観測者（すなわち何ら外力のかかっていない観測者）、がある一点ですれ違ったとする。ここで注意しなければならないのは、2つの慣性系における時刻 、 が同一であるとは仮定していない事である。すなわちここで、ニュートン力学の前提であった絶対時間の概念が放棄されているのである。必要なら位置と時刻の起点を取り直すことで、、 がすれ違った位置と時刻がどちらの座標系でも0であるとしてよい。このとき、これら2つの座標系の間の変換則をテイラー展開したものを考えると、何らかの定数ベクトル と行列Λとを用いてと表記できる。しかし 、 がすれ違った位置と時刻がどちらの座標系でも0であるとしたことから、でなければならない。また二次以上の項もゼロでなければならない。なぜなら、もし二次以上の項があるのであれば、 の系で外力が加わっていないにも関わらず、 は に対して加速度運動していることについてなってしまうからである。よってと線形変換でなければならない。すなわち、特殊相対性理論は4次元のベクトル空間で記述され、慣性系はそのベクトル空間の基底であり、慣性系の間の変換は線形写像である事がわかる。前述した考察により、特殊相対性理論では時空間は4次元のベクトル空間で記述される事がわかった。このベクトル空間の点を世界点と呼ぶ。さて、4次元ベクトル空間の原点 を光が通過したとし、この光を にある質点からみた慣性座標系から眺めたとする。この慣性座標系では光は、 秒後に（3次元空間上の）位置 にいたとする。光速度は であったので、これはすなわち、である事を意味する。光速度不変の原理から、上の等式が全ての方向の光と全ての慣性座標系に対して成立するので、時空間上の全ての世界点に対し、 は慣性座標系によらず不変なのではないかという推測が成り立つ。そこで時空間上の世界点 に対し、の平方根をこの世界点と原点との世界距離もしくは世界間隔と呼び、以下の仮定を置く実はこの仮定は光速度不変の原理よりも真に強く、例えば を に写しても光速度 は変わらないが、世界距離は2倍になる。しかし慣性系が全て等価であることや空間の等質性や等方性といった条件から、世界距離が慣性座標系に依存しないと考えられる。世界距離の定義から、以下の内積風の二項演算子を考えると、世界距離の二乗は に一致する。このような二項演算子 をミンコフスキー内積もしくはミンコフスキー計量と呼び、ミンコフスキー内積の定義されたベクトル空間をミンコフスキー空間と呼ぶ。ミンコフスキー空間上の点を世界点もしくは事象と呼び、ミンコフスキー空間のベクトルは通常の3次元のベクトルと区別する為、4元ベクトルという。なお、世界点 は、 と原点 とを結ぶ4元ベクトル formula_7 と自然に同一視できるので、以下紛れがなければ世界点を4元ベクトルとして表現する。特殊相対性理論は、時空間をミンコフスキー空間として記述する理論である。4元ベクトル に対し が非負であればをミンコフスキー・ノルムといい、世界点 、 に対し、 が非負であれば の平方根を 、 の世界距離という。なお、世界「距離」という名称ではあるが、といった点から数学的な距離の公理を満たさない。また、 は常に定義できるとは限らないばかりかミンコフスキー・ノルムが定義できる値に対しても三角不等式の逆向きの不等式が成り立つ事から、ミンコフスキー・ノルムも数学で通常使われるノルムの定義を満たさない。本項では、ミンコフスキー内積をとしたが、書籍によっては符合を逆にしたをミンコフスキー内積としているものもあるので注意が必要である。本項と同じ符合づけを時間的規約、本項とは反対の符合づけを空間的規約と呼んで両者を区別する。また本項ではミンコフスキー内積を で表したが、 で表したり、両者を混用したりするものもある。例えばでは、特殊相対性理論の場合は を用いているのに一般相対性理論では を用いている。またではミンコフスキー内積には を用いているのにその行列表示は で表している。 を 次元実ベクトル空間とし、を 上の対称二次形式とする。このとき、 の基底 formula_13 と非負整数 、 が存在し、が成立する事が知られている。しかも 、 は のみに依存し、基底 formula_16 には依存しない（シルヴェスターの慣性法則）。、 となる二次形式 をミンコフスキー計量と呼び、組 を 次元ミンコフスキー空間という。特殊相対性理論で用いるのは、次元nか4の場合なので、以下特に断りがない限り、とする。空間方向の次元を2に落としたミンコフスキー空間を図示した。図では何らかの慣性系から見たミンコフスキー空間が描かれており、この慣性系に対して静止している観測者 (observer) が原点にいる。この観測系における座標の成分表示を とする。この観測者にとっての時間軸 は図で「時間」と書かれた軸であり、この観測者にとって時間は時間軸にそって流れる。従って図の上方が未来であり、下方が過去である。観測者が慣性系に対して静止している事を仮定したので、時間が 秒経つと、観測者のミンコフスキー空間上の位置は に移る。一方、この観測者にとって現在にある世界点の集まり（すなわちこの観測者にとっての空間方向）は図の[現在]と書かれた平面であり、この観測者からみた空間方向の座標軸 、 が"空間"と書かれた二本の軸である。世界距離の定義から、原点を通る光の軌跡はを満たす。この方程式を満たす世界点の集合は2つの円錐として描かれ、これを光円錐という。図の上にある逆さまの円錐が未来の光円錐 (future light cone) であり、図の下にある円錐が過去の光円錐 (past light cone) である。原点を通る光の軌跡は、光円錐上にある直線である。観測者は光を使って物をみるので、過去の光円錐の上にある世界点が観測者に見える（もちろん、他の物体に遮られなければ）。ミンコフスキー空間上の4元ベクトル の終点が（未来もしくは過去の）光円錐の内側にあるとき は時間的であるといい、終点が光円錐の外側にあるとき は空間的であるといい、光円錐上にあるとき は光的であるという。定義より明らかに、以下が成り立つ。光円錐上の点 は という座標系と無関係な値の符合で特徴づけられるので、4元ベクトルが時間的か、空間的か、光的かは原点を起点するどの慣性座標系からみても不変である事がわかる。特に、光円錐は原点を起点するどの慣性座標系からみても同一である。原点Oを通る観測者から見た慣性座標系を一つ固定すると、前述のようにその慣性系座標系における二つの位置ベクトル間のミンコフスキー内積はと書ける。このような座標系で、と定義すると、、、、 はあきらかにミンコフスキー空間の基底であり、しかもを満たす。ユークリッド空間の類似から式を満たす基底 、、、 を正規直交基底と呼ぶ事にすると、慣性座標系から正規直交基底が1つ定まった事になる。 をこの基底の時間成分といい、、、 をこの基底の空間成分という。逆に式の意味で正規直交基底である 、、、 を一つ任意に選び、この基底における座標の成分表示を と書くことにすると、ミンコフスキー内積が式を満たすことを簡単に確認できる。以上の議論から、原点にいる観測者の慣性座標系と正規直交基底は1対1に対応する事がわかる。従って以下両者を同一視する。ただし、正規直交基底の中には、するものもあるので、このようなものは以下除外して考えるものとする。運動している質点がミンコフスキー空間内に描く軌跡を世界線と言う。今、世界線が原点を通る直線となる質点があったとし、その直線の（4元）方向ベクトルを とする（長さは問わない）。この質点の運動を慣性座標系 、、、 にいる観測者 が原点で眺めたする。この慣性座標系における の成分表示を とすると、3次元ベクトル は から見た質点の速度ベクトルであると解釈できる。次に の速度を光速と比較してみる。 の速度が光を下回る必要十分条件は、 となることであるので、これを書き換えると、 となる。ミンコフスキー計量の定義より、この式は と慣性座標系によらない形で表現できる。従って、 であれば、どの慣性系から見ても光速度を下回り、逆に であれば どの慣性系から見ても光速度を上回る。前述のように の正負によって、 を時間的もしくは空間的と呼ぶので、まとめると以下が結論づけられる。最後のものは光速度不変の原理からの直接の帰結でもある。なお、上の議論では、質点の世界線が直線である事を仮定したが、そうでない場合も原点での接線を として同様の議論をする事で同じ結論が得られる。ローレンツ変換とは、ミンコフスキー空間 上の線形変換でミンコフスキー計量を変えないもの、すなわち任意の4元ベクトル 、 に対し、が成立するものの事である。ユークリッド空間で内積を変えない線形変換は合同変換であるので、ローレンツ変換とは、ミンコフスキー空間における合同変換の対応物である。ただし正規直交基底の場合と同様、ローレンツ変換にもが存在するのでこのようなものは以下除外して考える。なお、空間方向の向き、時間方向の向きの両方を保つローレンツ変換を正規ローレンツ変換という事があるが、本項では以下特に断りがない限り、単にローレンツ変換と言った正規ローレンツ変換をさすものとする。ローレンツ変換 と4元ベクトル を使っての形に書ける変換をポアンカレ変換という。特殊相対性理論では、2人の観測者が原点で出会ったケースにおいてローレンツ変換に関して議論する事が多いが、これは出会った場所を原点に平行移動した上で議論しているという事なので、実質的にはポアンカレ変換に関する議論である事が多い。4次元ミンコフスキー空間 では、 次の定理が成立する事が知られている。この定理はユークリッド空間における2つの正規直交基底が直交変換により写りあう事の類似である。前述のように、正規直交基底は慣性座標系と対応している。よって上の定理は、以下を意味する。ローレンツ変換の具体的な形を求める為、まずは基底をより解析がしやすいものに置き換える。基底 の「空間部分」である の張るミンコフスキー空間上の部分空間を とし、同様に基底 の空間部分である の張るミンコフスキー空間上の部分空間を とすると、これらはそれぞれの慣性座標系における空間方向を表している。そこで をそれぞれ 内、 内で回転することで、ローレンツ変換 の行列表示 を簡単な形で表すことを試みる。従って 内で を回転することで、としてよく、同様に 内の回転によりとできる。最後に 内で を回転することで、としてよい。これらの基底に対し、式を満たすローレンツ変換 の行列表現を とする。これはすなわち、を満たすという事であり、これら2つの基底における座標の成分表示をそれぞれ 、とするとが成立するという事でもある。、 であったので、ローレンツ変換の行列表示は、という形であり、ローレンツ変換がミンコフスキー空間における「回転」であったことを利用すれば、上の行列の(*)の部分が、という形であることがわかる。これを導く厳密な方法はいくつかあるが、簡便な方法としては虚数単位 を用いて時間軸を と置く事で通常のユークリッド空間の回転とみなせる（ウィック回転）という事実を使うものがある。最終的に2つの基底における座標の成分表示の関係式は以下のように書ける事がわかる。この値 は正規直交基底の取り方に依存せず、ローレンツ変換 の固有値のみによって決まることが知られており、 を のラピディティという。なお、 はと具体的に求めることもできる。慣性座標系 にいる観測者 は、原点を通過した後、 という直線（世界線）にそって進んでいく。この様子を別の観測者 の慣性座標系 で記述した式は式に を代入したによって表現できる。この世界線の「傾き」は2人の観測者の相対速度と解釈できるので、観測者 から見た観測者 の相対速度を とすると、となる。よって、である。そこでローレンツ因子 をと定義すると、最終的に以下が結論づけられる。我々は式やそれと同値な式を導くとき、空間方向の座標変換をおこなった。これは別の見方をすると、ローレンツ変換から空間方向の回転成分を取り除いたものが式や式であるということである。式や式のように書けるローレンツ変換、すなわち空間方向に回転しないローレンツ変換の事をと呼ぶ。ローレンツ変換の式式において、"v/c≈0" とすると、式は、となり、ガリレイ変換に一致する。すなわち、このことからニュートン力学近似とは、慣性座標系間の相対速度 が光速 と比べて十分小さい場合の理論であると言うことがいえる。このことからニュートン力学はガリレイ変換に不変であるというガリレイの相対性原理は、特殊相対性理論では以下の形で成立していると考えられる本節では光速を超えずに移動する観測者 の感じる時間の長さ（観測者の固有時間） が、 の世界線の（ミンコフスキー計量で図った）「長さ」に一致することを示す。固有時間について述べる前に、まず慣性系から見た時間についての公式を与える。ただしここでいう「時間の長さ」は 秒を1単位として数えた時間である。秒を単位とした時間の長さの場合は右辺を で割る必要がある。実際、 における成分表示を とすると、 の起こる時刻は を時間軸方向へ射影したものに一致するが、 を時間軸方向へ射影した値は である。本節では以下を示す。なお、 が時間的もしくは光的な4元ベクトルであることから であるので、上式の平方根は意味を持つ。ただしここでいう「時間の長さ」はc秒を1単位として数えた時間である。秒を単位とした時間の長さはである。上の事実を示すため、 から に沿って移動する観測者を考えると、この観測者の慣性座標系は、 を時間方向の単位（4元）ベクトルとする正規直交基底 により表せる。この座標系に前述の公式を適応すれば、この座標系で観測者が原点から の終点まで世界線を移動するのにかかる固有時間はとなり、最初の公式が示された。上では観測者が原点を通る世界線に沿って移動する場合について述べたが、原点を通らない世界線に関しても、観測者が上を から まで直線的に動く間にの固有時間が流れる事を同様の議論により証明できる。本節では光速を超えずに移動する観測者 の世界線 が曲線である場合に対して の固有時間を求める方法を述べる。観測者 の時空間上の位置 が実数 によってパラメトライズされて と書けているとすると、観測者が から まで移動する間に、の固有時間が流れることになる。したがって観測者 が に沿って動いた際に流れる固有時間 は以下のように求まる：これはユークリッド空間において曲線の長さを求める弧長積分のミンコフスキー空間版であるので、上の公式は、観測者 の固有時間が の描く世界線 の「長さ」に一致することを意味している。次に上で示した式を慣性座標で表す。 とは別の観測者 が慣性運動しており、 の慣性座標系 における の位置 がと書けていたとすると、以下が言える：以上の議論では変数 で世界線 をパラメトライズしたが、物理学的に自然な値である秒を単位とした固有時 そのものを使って、 とパラメトライズするのが一般的である。このようにパラメトライズしたとき、質点 の' と' を以下のように定義する：すなわち、 のミンコフスキー空間上の位置の変化率を固有時間 で測ったものが4元速度で、4元速度の変化率を で測ったものが4元加速度である。4元速度のミンコフスキー・ノルムはを満たす。このことから、4元速度は の世界線の接線で長さが であるものである事がわかる。この事実は、ユークリッド空間の曲線を弧長で微分したときの長さが1になることと対応している。長さが1でなく なのは時間の単位が 秒でなく1秒だからである。以上の事から4元速度のミンコフスキー・ノルムの2乗が定数 なので、これを微分する事でである事がわかる。すなわち4元速度と4元加速度は「直交」している。変分法を用いる事で、以下の事実を示せる固有時間が世界線の「長さ」であった事に着目すると、上述した事実は、ユークリッド空間上の二点を結ぶ最短線が直線であることに対応している事がわかる。なお、ユークリッド空間では「最短」であったはずの直線がミンコフスキー空間上では「最大」に変わっているのは、ミンコフスキーノルムの2乗 の空間部分がユークリッドノルムの2乗 とは符合が反対である事に起因する。ニュートン力学では、3次元空間のガリレイ変換に対して不変になるように理論が構築されている。それに対し特殊相対性理論では、4次元時空間のローレンツ変換に対して不変になるように理論を構築する必要があるので、ニュートン力学の概念をそのまま用いることばかりできない。本節では、ニュートン力学の諸概念を「4次元化」し、それがローレンツ変換(と平行移動)に対して不変になることを示すことで特殊相対性理論における力学を構築する。以下、記法を簡単にするため、と書くことにする。光速を超えないで運動する質点 の世界線をと秒を単位とした固有時 でパラメトライズする。このとき、質点 の4元運動量をと定義する。ここで は質点 の慣性座標における質量（静止質量と呼ぶ）である。すなわち、4元運動量は、4元速度に静止質量を掛けたものである。4元運動量の物理学的意味を見るため、慣性座標系 を固定し、 をこの座標系に関してと成分表示する。i=1,2,3に対し、4元運動量の定義より、である。ここで はこの慣性座標系における質点の速度ベクトルであり、である。また、 は質点の「見かけ上の重さ」がである場合の運動量とみなすこともできる。4元運動量の時間成分 に を掛けたものをテイラー展開すると、である。第二項はニュートン力学における運動エネルギーであるので はエネルギーに相当していると考えられる。従って第一項のもエネルギーを表していると解釈できる。この値は質点が例え慣性系に対して静止していて であっても持つエネルギーであることから、この値を質点の静止質量エネルギーと呼ぶ。また、質量欠損や核反応・対消滅から、質量を持つ物質は のエネルギーを持つことが確かめられている。4元運動量のミンコフスキー・ノルムはである。一方、慣性座標系を1つ固定して4元運動量を成分表示したとき、前に示したように、 はエネルギーを表し、 は運動量に対応していた。運動量の大きさを とすると、 と は以下の関係式を満たす：左辺は慣性系によらないので、 は慣性系によらず一定値 になることを意味する。formula_54であれば、上の式は、となり、静止質量エネルギー を無視すれば、 が質点の運動エネルギーに相当するというニュートン力学の式に対応していることがわかる。光速で移動する有限のエネルギーを持った粒子を考える。この時、 の が無限大に発散してしまうので、 でなければならない。この逆も成立するため、質量を持たずに有限のエネルギーを持つ物質は常に光速で走り続けねばならず、また光速で移動するエネルギーを持つ物質はすべて質量が0であることが分かる。特殊相対性理論以前の電磁気学において、J.J.トムソンやによって電子の質量の速さ依存性が指摘されていた。それを説明する理論としてマックス・アブラハムは、電子の慣性質量の起源を全て電磁場に求めるという電磁質量概念を提唱したが、電子以外の物質の構成要素に対して一般化することができなかった。一方、特殊相対性理論はその物質の質量の速さ依存性についての一般的な説明と慣性質量とエネルギーに関する普遍的な関係を与える。すでに運動量の概念を4元ベクトル化したので、力の概念を4元ベクトル化した4元力 が定義できれば、 ニュートンによる質点の運動方程式 をローレンツ変換に不変にした特殊相対性理論の運動方程式が定式化できる。現在知られている4種類の力のうち、電磁気力、強い力、弱い力の3つは4元力として表現可能な事が知られている。このうち電磁気力を4元力として表現する方法は後の節で述べる。一方、重力は特殊相対性理論の範囲で4元ベクトル化しようとしてもローレンツ変換に対して不変にならないためうまくいかない。重力を扱うには一般相対性理論が必要となる。以下話を簡単にするため時間1次元+空間1次元の計2次元の場合について述べるが一般の場合も同様である。慣性系 に対して静止している剛体に対し、この慣性系 で測った剛体の長さをこの剛体の固有長さと呼ぶ。今、固有長さ の棒 が慣性系 に対して静止しており、これを別の慣性系 から眺めたとする。話を簡単にするため、2つの慣性系の原点はいずれも棒 の1つの端点 に一致しているものとする。棒 は慣性系 に対して静止しているので、棒の他方の端点が描く世界線 は と でパラメトライズできる。慣性系 における現在 と世界線 との交わりはローレンツ変換によりなので、棒 の長さはとなる。ここで はローレンツ因子 である。このように、棒に対して運動している座標系からみると、棒の長さは割合 だけ縮んで見える。この現象を ローレンツ収縮もしくはフィッツジェラルド=ローレンツ収縮という。ローレンツ収縮は、アインシュタインが特殊相対性理論を提案する以前に、ローレンツとフィッツジェラルドが独立に提案したものである。彼らの提案は数式上は特殊相対性理論のそれと同一であるが、彼らの理論はエーテル仮説を前提としており、物体は「エーテルの風」を受けて3次元空間内で実際に縮むとするものであった。それに対し特殊相対性理論では、ローレンツ収縮を4次元時空間において解釈したものであり、前述のように慣性系によって計っている場所が違う事が収縮の起こる原因である。観測者 の秒を単位とした固有時間を とし、 とは別の観測者 が慣性運動しており、 の慣性座標系 における の位置が、と書けていたとすると、なので、となる。よってである。右辺はローレンツ因子 の逆数に等しい。これを観測者 の世界線 に沿って積分するとにより、 の固有時間を求められる。ここで は時刻 における と の相対速度である。相対速度が光速を下回っている場合、積分内は常に1未満であるので、これはすなわち、慣性系でみたときの時間は固有時間よりも伸びる事を意味する。特に観測者 も慣性運動しているときは、相対速度 は常に一定値であるので、の関係が導ける。観測者 、 が慣性運動しており、さらに質点 が運動しているとする（慣性運動とは限らない）。観測者 の座標系を とし、観測者 の座標系を とし、 から見た の相対速度の大きさを とし、をローレンツ因子の逆数とする。必要ならミンコフスキー空間の原点を取り替えることで が原点を通っているとしてよく、さらに の運動方向は 軸、軸と直交しているとし、軸、軸が軸、軸と一致しているとしても一般性を失わない。観測者 、 から見た の速度をそれぞれ 、 とするとき、 の座標系から の座標系への速度変換則は、ローレンツ変換の式より以下のようになる：本節では、質点の速度が光速を越えない限り、特殊相対性理論においても因果律が成り立つことを示す。以下、とくに断りがない限り、質点、観測者の双方とも光速度以下であるものとする。、 をミンコフスキー空間上の2つの世界点とする。同様に が未来の光円錐の内部もしくは未来の光円錐上にあるとき、 は の年代的過去 (chronologically precede) といい、 と書く。因果的過去は以下のように特長づけられるよって特に以下が成立する：従って「≦」は数学的な（半）順序の公理を満たす。以下の事実は、質点の速度が光速を越えない限り座標系の取り替えで因果律が破綻しない事を意味している：実際、どのような慣性座標系を選んでも、その時間軸 は未来の光円錐内または未来の光円錐上にあるので、 ≦ であれば、 から までに流れる時間 formula_68 は正である。一方、 ≦ でも ≦ でもないとき、すなわち が空間的なときはこのような関係は成り立たない。つまり空間的な関係にある2元 、 の時間的な順序関係は慣性系に依存してしまう。これはニュートン力学的な直観に反するが、 と には因果関係がないので、どちらが先に起ころうとも因果律が破綻することはない。今、ここに一組の双子がおり、二人は慣性運動しながら次第に離れているとする。このとき兄から見ると、弟の時計は遅れてみえ、逆に弟から見ると兄の時計は遅れてみえる事が特殊相対性理論から帰結される。これは一見奇妙に見えるため、時計のパラドックスと呼ばれることもあるが、実は特に矛盾している訳ではない。なぜなら慣性運動している二人は二度と出会うことがないので、もう一度再会してどちらの時計が遅れているのかを確認するすべはないからである。では次の状況はどうだろうか。やはり一組の双子がいて、弟は慣性運動している。一方、兄はロケットに乗って遠方まで行き、その後ロケットで弟のもとに帰ってきたとする。前述のように弟からみれば兄の時計は遅れるはずで、兄の時計からみれば弟の時計は遅れるはずなので、ふたりが再会したときに矛盾が生じるはずである。結論からいえば、特殊相対性理論から示されるのは、ロケットに乗った兄より慣性運動していた弟の方が再会時に時計が進んでいるという事である。すなわち再会時に兄が弟よりも若い。なぜならミンコフスキー空間上で、兄がロケットで飛び立ったときの世界点を とし、兄が再び弟に再会したときの世界点を とすると、 と を結ぶ世界線のうち最も固有時間が長くなるのは慣性運動する世界線であることをすでに示したからである。従って慣性運動していた弟はロケットに乗った兄より多くの固有時間を費やした事になるのである。では逆に弟のほうが兄より若くなったとする主張のどこが間違っていたのかというと、我々が時間の縮みの公式を導いたとき、慣性系である事を仮定していたのであるが、兄の座標系はロケットが行きと帰りで向きを変える際加速度運動しているので慣性系ではない。従って兄の座標系に対して単純に時間の縮みの公式を適応したのが間違いだったのである。今、長さ のハシゴ と奥行き のガレージがあるとし、ハシゴは高速でガレージに近づいてきたとする。ガレージが静止してい見える慣性系から見ると、ハシゴがローレンツ収縮するので、ハシゴはガレージに入ってしまう。一方、ハシゴが静止して見える慣性系からみると、逆にガレージの方がローレンツ収縮してしまうので、ハシゴはガレージに入らないはずである。正しいのはどちらであろうか。結論からいうと、どちらも正しく、ガレージの系から見た場合は、ハシゴはガレージに入るように見え、ハシゴの系から見るとハシゴはガレージに入らないように見える。すなわち、ハシゴの前端と後端に関する事象を区別して述べれば、ガレージの静止系ではハシゴの後端がガレージに入りきった後、ハシゴの前端がガレージの裏の壁にぶつかるのに対し、ハシゴの静止系ではハシゴがガレージに入り切らず、ハシゴの後端がガレージに入る前にハシゴの前端がガレージの裏壁にぶつかる。ハシゴの前端がガレージの裏壁にぶつかる事象とハシゴの後端がガレージに入りきる事象には因果関係がないので、どちらが先に起こるのかは慣性系によって変化するのである。先に進む前に、特殊相対性理論で頻繁に用いられるテンソル代数の知識について述べる。特殊相対性理論では、のように上つきと下つきで同じ添え字（この場合は"μ"）が使われているときは、Σ記号を省略し、と書き表す慣用的な記法が用いられることが多い。この記法をアインシュタインの縮約記法という。この縮約記法は行列の積や3項以上の場合にも同様に用いられ、例えばはと略す。一方、たとえ2箇所の添え字が共通していても、のように添え字が両方下つき、もしくは両方上つきの場合はΣを省略しない。 を4次元ミンコフスキー空間とし、 を4次元ミンコフスキー空間 上の正規直交とは限らない基底とする。このとき、以下の性質を満たす の基底 が一意に存在する事が知られており、この基底を の双対基底という。ここで formula_76 はクロネッカーのデルタである。正規直交基底の場合は双対基底は非常に簡単に書くことができる：上でも分かるように、双対基底は元の基底と空間方向の向きが反対である。本項では正規直交の場合にしか双対基底の概念を用いないが、一般相対性理論を定式化する際には一般の基底に対する相対基底が必要となる為、以下基底は正規直交とは限らない場合について述べる。双対基底はミンコフスキー計量の成分表示を使って具体的に求めることができる。とするとき、 の逆行列を とすれば、である。実際、である。双対基底の定義から、次が成立する。以下の議論では、「通常の」基底 を一組固定し、 をその双対基底とする。しかし上の定理でもわかるように、どちらの基底を「通常の」基底とみなし、どちらを双対基底とみなすのかは任意である。本項では、空間方向が右手系のものを通常の基底とみなし、左手系のものをその双対基底とみなすことにする。 の元 を基底 で表す場合、 の各成分の添え字をのように上つきに書く（アインシュタインの縮約で表記）。一方、 を の双対基底 を用いて表す場合、 の各成分の添え字をのように下つきに書く。明らかにである。また正規直交基底の場合は明らかにが成立する。と通常の内積のように書け、ミンコフスキー内積特有の符号の煩わしさから解放されるので便利である。基底を一つ指定したとき、 は添え字 に対し反変、 は添え字 に対し共変であるという。これらの名称は、基底を取り替えた際の成分の変化に由来する。ミンコフスキー空間上にもう1組の基底 を用意し、基底の間の座標変換が成分表示でと書けていたとすると4元ベクトル の反変成分 は、という関係になるので、ダッシュつきの座標系にうつるとき、基底とは反対に の逆行列で結ばれる。それゆえ、「反対の変化」、すなわち反変と呼ばれる。基底の変更に対する共変成分の変化を見るため、双対基底が基底の変更でどのような影響を受けるか調べる。とすると、すなわち、 は の逆行列 であるので、双対基底はという変換規則に従うことがわかる。よって4元ベクトル の共変成分 は、という関係になるので、ダッシュつきの座標系にうつるとき、基底と共通の行列に で結ばれる。それゆえ、「共通の変化」、すなわち共変と呼ばれる。本節ではテンソルに関する基本的な知識を紹介する。ただし本節での解説はミンコフスキー空間 上に限定したものであるので、一般の空間で成り立つとは限らない。特殊相対性理論で重要なのは主に2次のテンソルであるので、以下2次のテンソルに話を限定するが、一般の場合も同様である。なお、2次のテンソルは数学で二次形式と呼ばれるものと同一である。2次のテンソル に対し、が全ての4元ベクトル 、 に対して成り立つとき、 を対称テンソルという。またが全ての4元ベクトル 、 に対して成り立つとき、 を反対称テンソルという。 をミンコフスキー空間上の2次のテンソルとし、 をミンコフスキー空間の基底とし、 をその双対基底とする。このとき、上述の基底や相対基底を使って を4通りに成分表示する事が可能である：4元ベクトル , をと成分表示する（アインシュタインの縮約で表記）と、が成立する。上述の4通りに成分表示において、 は上付きの添え字に対し反変、下付きの添え字に対し共変であるという。4元ベクトルの場合と同様、基底を別のものに取り替えたときの各成分は、反変の添え字に関しては基底変換行列の逆行列が、共変の添え字に関しては基底変換行列そのものが作用する。例えばとするとなので、ダッシュつきの基底に関する成分 はと、上付きの添え字には反変、下付の添え字には共変に変化する。ミンコフスキー計量 も二次の対称テンソルであるので、上述のように成分表示できる。基底が正規直交であれば、ミンコフスキー計量の成分表示は非常に簡単になり、のように書くことができる。ミンコフスキー空間上の線形写像 が与えられたとき、2次のテンソルをと定義できる。逆にミンコフスキー空間上の2次のテンソル が任意に与えられたとき、式を満たす線形写像 が一意に存在する事が知られている。従って2次のテンソルと線形写像を自然に同一視できる。2次のテンソル に対応する線形写像は基底 を用いると、下記のように具体的に書き表す事もできる：ミンコフスキー空間上の各世界点 にテンソル を割り振ったもの（すなわちミンコフスキー空間からテンソルの集合への写像 ）をテンソル場という。相対性理論でテンソル場は中核に位置する概念であり、電磁場を初めとして様々なものをテンソル場として表現する。本節では、電磁気学の基本的な概念や方程式を特殊相対性理論に合致する形に書き換える。以下、慣性系を1つ固定し、この慣性系において電磁気学を記述する。詳細は省くが、本節の記述は、他の慣性系で電磁気学を記述したものとローレンツ変換で移りあう事を確認できるので、特殊相対性理論に合致している。なお、本項ではSI単位系を用いる場合に対して記述したが、などを用いている書籍における定義とは光速度 のかかる位置が違うなどの差があるので注意が必要である。電荷密度 と電流密度 formula_102 を使って、4元電流密度を、 によって定義する。すると連続の方程式は、4元電流密度と (4–gradient) formula_105を用いてと表現できる。ここで formula_107 は formula_108 の略記である。真空の誘電率、透磁率をそれぞれ 、 とすると、マクスウェル方程式により導かれる電磁波の速度 formula_109 が真空中の光速度と一致する事が実験・観測により確かめられたので、光の正体は電磁波であると考えられるようになった。この事実から、である。さらに電場 formula_111 と磁束密度 formula_112 を用いて電磁テンソルをにより定義する。電磁場を別の慣性系から見た場合、電場と磁束密度がそれぞれ formula_114 と formula_115 であったとし、これらから作った電磁テンソルを formula_116 とする。formula_116 と formula_118 がローレンツ・ブースト式で移りあう為の必要十分条件は、が成立する事である事を簡単な計算で確認できる。ここで は2つの慣性系の間の相対速度で、 はローレンツ因子である。非相対論的極限 では なので、上述の条件式は、古典電磁気学で知られている慣性系間の変換公式に一致する。よって電磁テンソルはローレンツ変換に対して共変であると結論づけられる。特殊相対性理論以前のマックスウェル方程式の解釈には非対称性があった。例えば磁石を固定されたコイルに近づけた場合は電磁誘導により電流が流れると解釈されるが、逆にコイルを固定された磁石に近づけ場合はローレンツ力で電子が動かされることにより電流が流れると解釈された。今日的な視点から見れば、これら2つのケースは単なる慣性系の取り替えに過ぎないにも関わらず、両者の解釈が異なるのは不自然である。事実、流れる電流の量はどちらのケースであっても同一であり、磁石とコイルの相対速度だけで決まる。このような非対称な解釈になったのは、当時は電場と磁束密度は完全に別概念であったことによる。式も、今日の目から見ると電場と磁束密度を電磁テンソルという同一のテンソルとしてまとめるべき事を示唆しているように見えるが、当時は式の第二項はあくまでも「仮想的な」電場や磁束密度の効果であるとみなされた。上述したような理論の非対称性の解消に関心のあったアインシュタインは、特殊相対性理論によりこの非対称性を解消した。すでに電磁テンソルがローレンツ変換に対して共変であることを示したので、マクスウェル方程式を電磁場テンソルで表せば、マクスウェル方程式もローレンツ変換に対して共変であることを示せる。電磁テンソルと4元電流密度を使うとマクスウェル方程式の2式はいずれもと同一の形で表現でき、残りの2式はいずれもと同一の形で表現できる。なお、リッチ計算の記法を用いると、上の式はとも表記できる。マクスウェル方程式は微分形式と外微分を用いると、さらに簡潔に表現できる事が知られているが、微分形式に関する予備知識を必要とするので本節では述べない。電磁場には必ず以下の条件をみたす組 formula_125（電磁ポテンシャル）が存在する事が知られている本節では、電磁ポテンシャルの4元ベクトル版である4元ポテンシャルを用いる事で、マクスウェル方程式を表現する。なお、上で を座標表示は に関するものであるので、時間軸を でなく とした場合は時間成分を で割る必要がある。1つの電磁場に対し式を満たす電磁ポテンシャルは一意ではない事が知られている。そこでローレンツ共変性を損ねない形で電磁ポテンシャルを制限するため、4元勾配を使った以下の条件（ローレンツ・ゲージ）を課すこのとき、マクスウェル方程式は4元電流密度を用いてという一本の式で書き表せる。ここではダランベルシアンである。今、電荷 を持った質点があるとし、この質点の4元速度を とし、 の反変成分 とする。このとき、この質点が電磁場から受ける4元力を、電磁場テンソル を用いてによって定義すると、この4元力からできる質点の運動方程式はである。ここで は質点の4元運動量の 成分で、 は質点の固有時間である。上の運動方程式は に対して定義されているが、4元運動量と4元速度の空間成分（の共変表現）formula_132、formula_133 に着目すると、電磁場テンソルの定義より、運動方程式の空間成分はとなることがわかる。ここで はローレンツ因子 である。すなわち相対論における運動方程式の空間成分は、ローレンツ力に関する運動方程式と完全に一致する。運動方程式の時間成分に関しては、 が質点のエネルギー を表していた事に着目すると、なので、下記の式が従う：右辺は単位時間当たりに電磁場のローレンツ力が質点に対してした仕事なので、この式はローレンツ力による仕事がエネルギーに化ける事を意味している。すなわちこれは、エネルギー保存則にあたる式である。特殊相対性理論は、次のような事象からも検証されている。特殊相対性理論は重力のない状態での慣性系を取り扱った理論である。後にアインシュタインは空間のゆがみとして重力場をも組み込んだ、より一般的な理論である一般相対性理論を発表した。この理論はニュートンの万有引力論を全面的に書き換えるものになった。特殊相対性理論と一般相対性理論の2つの理論をあわせて相対性理論と呼ばれる。

出典:wikipedia