特殊相対性理論
特殊相対性理論（とくしゅそうたいせいりろん、独: Spezielle Relativitätstheorie、英: Special relativity）とは、慣性運動する観測者が電磁気学的現象および力学的現象をどのように観測するかを記述する、物理学上の理論である。アルベルト・アインシュタインが1905年に発表した論文に端を発する。特殊相対論と呼ばれる事もある。
最も端的に述べると、重力のない状態での慣性系を取り扱った理論である。
電磁気学や光学との齟齬
一方、19世紀後半になると、当時知られていた電磁気学に関する基礎方程式がマクスウェル方程式として整備された。
そしてマクスウェル方程式を解くことにより、電磁波の速度を計算したところ、これが光の速度 c と一致したため、光の正体は電磁波であると考えられるようになった（そしてそれは正しかった）。
光学の学問分野でも光の回折を説明するため、光を波だとみなす波動説が広まり、光を伝えるための媒質であるエーテルで宇宙が満たされているという仮説がホイヘンスにより提案された（これは後に特殊相対性理論により否定される）。
こうした知見から、マクスウェル方程式はエーテルに対して静止している理想的な座標系において電磁気学を記述する方程式とみなされたが、エーテルに対して運動する基準系から見た電磁気現象についての理解は未だ不充分であった。
今日の目から見ると、これは電磁気学とニュートン力学の間に明確な齟齬があった事に起因する。
まず、マクスウェル方程式はガリレイ変換の下で不変ではない。すなわち、ある慣性系でマクスウェル方程式が成り立つものとすると、そこからガリレイ変換で移った別の基準系ではマクスウェル方程式は成り立たず、別の変形された方程式が成り立つことになるのである。実際、ヘルツはこの変形された方程式を運動座標系における電磁場の振る舞いを表す方程式として提案したが、Wilson や Röntgen–Eichenwald の実験によって否定された。
またエーテルの存在を仮定することは、エーテルに対して静止している「絶対静止系」が存在する事を意味するが、前述のようにニュートン力学におけるガリレイの相対性原理は「絶対静止系」のようなものを認めておらず、これは「静止座標系」を認めずガリレイの相対性原理を前提とするニュートン力学の描像とは明確な齟齬をきたしていた。
両者の齟齬が特に先鋭化したのは、光の速度に関する解釈である。ガリレイの相対性原理を前提とした場合、光の速度は慣性系に依存するはずであるので、光の速度を異なる慣性系で計測すれば、マクスウェル方程式が成立するただ一つの「静止基準系」を見つけることができるはずである。この発想からマイケルソン・モーリーの実験Michelson–Morley experimentが行われたが、後述のようにどれもが「静止基準系」であるかのような結果が得られてしまった。
以上のように、特殊相対性理論以前の物理学はガリレイの相対性原理を認める立場と絶対静止系を認める立場が混然としていたが、両者には上述したような矛盾があるので、どちらかを修正もしくは放棄する必要がある。特殊相対性理論以前の理論であるエーテル仮説は、「エーテルに対する静止系」という絶対静止系を採用する代わりにガリレイの相対性原理を放棄する立場にたっていたのである。
特殊相対性理論の基礎
こうしたローレンツやポアンカレ等の成果とはほぼ独立にアインシュタインは自身の論文において特殊相対性理論を確立した。
固有時
本節では光速を超えずに移動する観測者 A の感じる時間の長さ（観測者の固有時間）s が、A の世界線の（ミンコフスキー計量で図った）「長さ」に一致することを示す。
慣性系から見た時間
固有時間について述べる前に、まず慣性系から見た時間についての公式を与える。
x→ を世界点とし、(e→₀, e→₁, e→₂, e→₃) を原点における慣性座標系とする。このとき、以下が成立する。
慣性座標系 (e→₀, e→₁, e→₂, e→₃) における x→ の起こる時刻は η(x→, e→₀)である。
ただしここでいう「時間の長さ」は c 秒を1単位として数えた時間である。秒を単位とした時間の長さの場合は右辺を c で割る必要がある。
実際、(e→₀, e→₁, e→₂, e→₃) における成分表示を (ct,x,y,z) とすると、x→ の起こる時刻は x→ を時間軸方向へ射影したものに一致するが、x→ を時間軸方向へ射影した値は η(x→,e→₀) である。
固有時間による慣性系の特徴付け
変分法を用いる事で、以下の事実を示せる
ミンコフスキー空間上の2つの世界点 x→, y→ を結ぶ世界線（で光速度未満のもの）のうち、最も固有時間が長くなるのは、x→ と y→ を直線的に結ぶ世界線である
x→ から y→ へと直線的に動く観測者は慣性系にいることになるので、これは慣性運動している場合が最も固有時間が長くなる事を意味する。
固有時間が世界線の「長さ」であった事に着目すると、上述した事実は、ユークリッド空間上の二点を結ぶ最短線が直線であることに対応している事がわかる。なお、ユークリッド空間では「最短」であったはずの直線がミンコフスキー空間上では「最大」に変わっているのは、ミンコフスキーノルムの2乗 ct² − x² − y² − z² の空間部分がユークリッドノルムの2乗 x² + y² + z² とは符号が反対である事に起因する。
特殊相対性理論における力学
ニュートン力学では、3次元空間のガリレイ変換に対して不変になるように理論が構築されている。
それに対し特殊相対性理論では、4次元時空間のローレンツ変換に対して不変になるように理論を構築する必要があるので、ニュートン力学の概念をそのまま用いることばかりできない。
本節では、ニュートン力学の諸概念を「4次元化」し、それがローレンツ変換(と平行移動)に対して不変になることを示すことで特殊相対性理論における力学を構築する。
以下、記法を簡単にするため、
と書くことにする。
正の質量を持った質点は光速度以上になれない
光速で移動する有限のエネルギーを持った粒子を考える。この時、mγc² の γ が無限大に発散してしまうので、m = 0 でなければならない。この逆も成立するため、質量を持たずに有限のエネルギーを持つ物質は常に光速で走り続けねばならず、また光速で移動するエネルギーを持つ物質はすべて質量が0であることが分かる。
特殊相対性理論以前の解釈
特殊相対性理論以前の電磁気学において、J.J.トムソンやワルター・カウフマンによって電子の質量の速さ依存性が指摘されていた。それを説明する理論としてマックス・アブラハムは、電子の慣性質量の起源を全て電磁場に求めるという電磁質量概念 (Electromagnetic mass) を提唱したが、電子以外の物質の構成要素に対して一般化することができなかった。
一方、特殊相対性理論はその物質の質量の速さ依存性についての一般的な説明と慣性質量とエネルギーに関する普遍的な関係を与える。
ローレンツ自身の解釈との違い
ローレンツ収縮は、アインシュタインが特殊相対性理論を提案する以前に、ローレンツとフィッツジェラルドが独立に提案したものである。
彼らの提案は数式上は特殊相対性理論のそれと同一であるが、彼らの理論はエーテル仮説を前提としており、物体は「エーテルの風」を受けて3次元空間内で実際に縮むとするものであった。
それに対し特殊相対性理論では、ローレンツ収縮を4次元時空間において解釈したものであり、前述のように慣性系によって計っている場所が違う事が収縮の起こる原因である。
時計のパラドックス
今、ここに一組の双子がおり、二人は慣性運動しながら次第に離れているとする。
このとき兄から見ると、弟の時計は遅れてみえ、逆に弟から見ると兄の時計は遅れてみえる事が特殊相対性理論から帰結される。
これは一見奇妙に見えるため、時計のパラドックスと呼ばれることもあるが、実は特に矛盾している訳ではない。なぜなら慣性運動している二人は二度と出会うことがないので、もう一度再会してどちらの時計が遅れているのかを確認するすべはないからである。
双子のパラドックス
では次の状況はどうだろうか。やはり一組の双子がいて、弟は慣性運動している。一方、兄はロケットに乗って遠方まで行き、その後ロケットで弟のもとに帰ってきたとする。前述のように弟からみれば兄の時計は遅れるはずで、兄の時計からみれば弟の時計は遅れるはずなので、ふたりが再会したときに矛盾が生じるはずである。
結論からいえば、特殊相対性理論から示されるのは、ロケットに乗った兄より慣性運動していた弟の方が再会時に時計が進んでいるという事である。すなわち再会時に兄が弟よりも若い。
なぜならミンコフスキー空間上で、兄がロケットで飛び立ったときの世界点を x→ とし、兄が再び弟に再会したときの世界点を y→ とすると、x→ と y→ を結ぶ世界線のうち最も固有時間が長くなるのは慣性運動する世界線であることをすでに示したからである。従って慣性運動していた弟はロケットに乗った兄より多くの固有時間を費やした事になるのである。
では逆に弟のほうが兄より若くなったとする主張のどこが間違っていたのかというと、我々が時間の縮みの公式を導いたとき、慣性系である事を仮定していたのであるが、兄の座標系はロケットが行きと帰りで向きを変える際加速度運動しているので慣性系ではない。従って兄の座標系に対して単純に時間の縮みの公式を適応したのが間違いだったのである。
ガレージのパラドックス
今、長さ l のハシゴ と奥行き L < l のガレージがあるとし、ハシゴは高速でガレージに近づいてきたとする。ガレージが静止してい見える慣性系から見ると、ハシゴがローレンツ収縮するので、ハシゴはガレージに入ってしまう。一方、ハシゴが静止して見える慣性系からみると、逆にガレージの方がローレンツ収縮してしまうので、ハシゴはガレージに入らないはずである。正しいのはどちらであろうか。
結論からいうと、どちらも正しく、ガレージの系から見た場合は、ハシゴはガレージに入るように見え、ハシゴの系から見るとハシゴはガレージに入らないように見える。すなわち、ハシゴの前端と後端に関する事象を区別して述べれば、ガレージの静止系ではハシゴの後端がガレージに入りきった後、ハシゴの前端がガレージの裏の壁にぶつかるのに対し、ハシゴの静止系ではハシゴがガレージに入り切らず、ハシゴの後端がガレージに入る前にハシゴの前端がガレージの裏壁にぶつかる。ハシゴの前端がガレージの裏壁にぶつかる事象とハシゴの後端がガレージに入りきる事象には因果関係がないので、どちらが先に起こるのかは慣性系によって変化するのである。
テンソル代数の準備
先に進む前に、特殊相対性理論で頻繁に用いられるテンソル代数の知識について述べる。
テンソル場
ミンコフスキー空間上の各世界点 P にテンソル TP を割り振ったもの（すなわちミンコフスキー空間からテンソルの集合への写像 P ⤅ TP）をテンソル場という。
相対性理論でテンソル場は中核に位置する概念であり、電磁場を初めとして様々なものをテンソル場として表現する。
相対性理論以前の解釈
特殊相対性理論以前のマックスウェル方程式の解釈には非対称性があった。
例えば磁石を固定されたコイルに近づけた場合は電磁誘導により電流が流れると解釈されるが、逆にコイルを固定された磁石に近づけ場合はローレンツ力で電子が動かされることにより電流が流れると解釈された。
今日的な視点から見れば、これら2つのケースは単なる慣性系の取り替えに過ぎないにも関わらず、両者の解釈が異なるのは不自然である。事実、流れる電流の量はどちらのケースであっても同一であり、磁石とコイルの相対速度だけで決まる。
このような非対称な解釈になったのは、当時は電場と磁束密度は完全に別概念であったことによる。(E1)式も、今日の目から見ると電場と磁束密度を電磁テンソルという同一のテンソルとしてまとめるべき事を示唆しているように見えるが、当時は(E1)式の第二項はあくまでも「仮想的な」電場や磁束密度の効果であるとみなされた。
上述したような理論の非対称性の解消に関心のあったアインシュタインは、特殊相対性理論によりこの非対称性を解消した。
一般相対性理論へ
特殊相対性理論は重力のない状態での慣性系を取り扱った理論である。
後にアインシュタインは空間のゆがみとして重力場をも組み込んだ、より一般的な理論である一般相対性理論を発表した。この理論はニュートンの万有引力論を全面的に書き換えるものになった。
特殊相対性理論と一般相対性理論の2つの理論をあわせて相対性理論と呼ばれる。