特殊相対性理論

テンプレート:Pathnav 特殊相対性理論（とくしゅそうたいせいりろん、テンプレート:Lang-de-short、テンプレート:Lang-en-short）は、あらゆる慣性系間の等価性を公理とした物理学の理論である。特殊相対論（とくしゅそうたいろん）とも訳される。特殊相対性理論は一般相対性理論に包含される理論であるが、一般相対論と特殊相対論を特に区別せずに、相対性理論と呼称されることもある。光速に近い速度で相対移動する観測者対について古典力学 (ニュートン力学)は一般に実験事実と整合しないが、特殊相対性理論においては、観測者に固有の（あるいは観測者間の互いの）時間と空間の測量について定式化することで、これらの関係・法則を捉える。

概要

力学において、電磁気学の説くところによれば、観測者あるいは観測対象の慣性運動を伴う実験において、その結果には従来のニュートン力学の示すところと不整合が生じ得る (#特殊相対性理論に至るまでの背景)。アルベルト・アインシュタインは1905年に発表した論文テンプレート:Sfnにおいて特殊相対性理論を発表し、電磁気学的現象まで含めた慣性系間の等価性を公理として、以下の帰結を示した。

• ある観測者に対する、時間の経過と空間中の移動速度との関係
  • 相対運動する座標系における時間の経過
  • 相対運動する座標系における、“ローレンツ収縮”の空間上の形状にかかる効果
• 質量とエネルギーの等価性

特殊相対性理論はニュートン力学では説明できなかった事柄をことごとく説明しており、とりわけ、ニュートン力学が矛盾をきたす光速度に近い速度で運動する物体の力学的挙動に対して、その実験事実によく整合する。こういった経緯から、特殊相対性理論を含む相対性理論は、現代物理学において重要な一体系として支持されている。定性的には、物体に対するエネルギーの放出・吸収にともなったその質量の減少・増加などが確認されている。

その名の通り、特殊相対性理論は一般相対性理論に包含される特殊論である。一般相対性理論が重力をはじめとする外力（あるいは慣性力）のある非慣性系等の定式化を含むものであるのに対して、特殊相対性理論では慣性力のはたらかない状況（たとえば加減速のない状況）、すなわち慣性系を主眼に据えて扱う。慣性系は非慣性系を含むあらゆる座標系の特殊・特別な場合のひとつであるので、本理論はこれを指すために「特殊」の語を冠して特殊相対論と呼称している。

特殊相対性理論に至るまでの背景

ニュートン力学とガリレイの相対性原理

ニュートンは力学を記述するに当たって以下のような、「絶対時間と絶対空間」を定義した。 テンプレート:Cquote3 すなわち、時間と空間は、そこにある物体の存在や運動に影響を受けないと仮定したテンプレート:Sfnp。これをもって、我々が日常的直観として抱いている時間や空間に対する根本的感覚を表そうとしたテンプレート:Sfnp。この絶対時間をかかげるニュートン力学においても、あらゆる慣性系は本質的に等価（すなわち相対的）でもある。ニュートン力学では、2つの慣性座標系(慣性系Aおよび慣性系B）における同一点テンプレート:Mathとテンプレート:Mathを示す関係は、次に示すガリレイ変換によって結ばれている。 テンプレート:Indent

ここで テンプレート:Mvar は慣性系Aにおける時刻と位置であり、テンプレート:Mvar は慣性系Bにおける時刻と位置である。テンプレート:Mvar は、慣性系Aから見た慣性系Bの移動速度である。

狭義の例を示すならば、ある座標系Aに対して等速直線運動する別の座標系Bがあるとして、これら二つの座標系は本質的に等価（相対的）である。すべての基準となる静止座標系といった概念は、上式では規定されておらず、力学の法則はあらゆる慣性系からの観測について本質的に同一である。すなわち、ガリレイ変換によって形式が変わらない。ガリレイ変換におけるニュートンの運動方程式の不変性、すなわち、この変換でつながる座標系間の等価性は、 ガリレオの相対性原理テンプレート:Enlinkと呼ばれるテンプレート:疑問点。ニュートン力学は、少なくとも当時に再現し得た諸実験事実と整合し、その矛盾があらわになる時代を迎えるまで（以下節）、力学の普遍的法則とも捉えられた。

電磁気学/光学の相対性原理との矛盾

19世紀後半になると、当時既に知られていた電磁気学に関するいくつかの基礎方程式群が、ジェームズ・クラーク・マクスウェルにより系統化され、マクスウェル方程式としてあらわされた。マクスウェル方程式の自由空間における解のひとつは電磁波である。この解が示す電磁波の伝播速度は、当時知られていた精度での光速度 テンプレート:Mvar とよく一致した。このため、光と電磁波が同一のものと捉えられ、マクスウェル方程式は、電磁気学の基礎方程式であるのみならず、光の挙動を記述する支配方程式とみなされるようになった。

同時期において光学分野では、光の回折現象が知られていた。これを説明するために、光を波の伝播と見做す光の波動説が見出され、その支持が広まった。光の波動説では、光も空間を伝播する「もの」であるため、光が伝わる媒質であるエーテルなるものが宇宙に満たされているという仮説が、ホイヘンスにより提案された。

光の波動説およびエーテルを前提とした議論では、エーテルに対して静止している理想的な座標系テンプレート:Refnestテンプレート:Rにおいてマクスウェル方程式は実験事実をよく支持し、有用な基礎物理方程式とみなされた。その一方で、エーテルに対して運動する基準系から見た状況について、次第に関心が寄せられるようになっていった。

ニュートン力学の基礎方程式であるニュートンの運動方程式は、ガリレイ変換による座標変換のもとで本質的には形を変えない。しかし、電磁気学の基礎方程式であるマクスウェル方程式は、ガリレイ変換のもとで形式が本質的に変化してしまう。この数式上の変化は、マクスウェル方程式が真に成り立つ慣性系がこの世界のどこかにあり、（形式を変化させずに）マクスウェル方程式が別の慣性系においても成立できる「ガリレイ変換でない新たな座標変換」が必要だと予想された。

ヘルツはこの変形された方程式を運動座標系における電磁場の支配方程式として導出したテンプレート:Sfnpテンプレート:Sfnpが、Wilson や Röntgen–Eichenwald の実験によって否定されたテンプレート:Sfnpテンプレート:Sfnテンプレート:Sfn。当時の電磁気学についての問題提起として、たとえば以下のようなものが挙げられる。

• 光の伝播速度は実験的に光源の速度に依存しないことが判っている。にもかかわらず、その媒質（エーテル）が存在しないとすることは理解しがたい（よって、エーテルがあるに違いない）。
• エーテルの存在を仮定するならば、エーテルに対して静止する「絶対静止系」が存在することになるテンプレート:R。これは、絶対空間を否定する相対性原理に反し得る。テンプレート:Sfnp

このような光の速度と観測者・光源の運動（運動する座標間の変換）に関して混迷した状況があり、なんらかの新たな実験及び理論が求められる状況であった。そのようななか、「ガリレイの相対性原理を是とし、光の速度が慣性系に依存するテンプレート:Sfnpのであれば、様々な異なる慣性系（運動座標系）から光の速度を計測すれば、マクスウェル方程式と一致する"ただ一つの静止基準系"が見つかるであろう」との発想からマイケルソン・モーリーの実験テンプレート:Sfnpが行われた。

マイケルソン・モーリーの実験

エーテル前提の解釈

マイケルソン・モーリーの実験 (テンプレート:Enlink)テンプレート:Sfnpにて、両氏は、地球の公転移動に着目した。実験空間の環境下において、公転運動の進行方向の前後に対してエーテルの「風」が吹くことを想定して、そこで伝播する２経路の光の干渉縞を見ることを通じて、光のエーテル中の伝播速度を精密に測定しようと試みた。これにより、エーテル中における観測者の移動速度（ここでは地球の公転速度）の影響を調べられると考えたのである。これは当時の技術で十分に機能できる手法であった。しかしながら、光の速度に有意の差異は認められず、両氏の期待した観測者移動速度の影響（「エーテルの風」の効果）は実験的に支持されなかった。この当時は「観測者の運動の光速度に及ぼす影響について、”予想されていた水準”よりは、無に近いか全く無いものであろう」と結論された。

一方で、上記の実験を支持できる物理体系を見出す試みとして、ヘルツ、フィッツジェラルド、ローレンツ、ポアンカレなどテンプレート:Sfnpテンプレート:Sfnの学者は、エーテル説に付け加えて、辻褄合わせのための仮定を付与することで実験事実と理論を整合させようと試みた。例えばローレンツとフィッツジェラルドは各々独立に、運動する物体が「エーテルの風」を受けて収縮するフィッツジェラルド=ローレンツ収縮テンプレート:Sfnp（テンプレート:仮リンク）を提示した。フィッツジェラルド=ローレンツ収縮によって、マイケルソン・モーリーの実験では「エーテルの風」の効果がキャンセルされたと説明しており、その際の収縮の度合いを説明する座標変換式（ローレンツ変換、テンプレート:Enlinkテンプレート:Refnest）を定式化した。しかしながら、この座標変換の理解のみでは検証可能性を欠いていた。他方で、ローレンツとポアンカレは、時間の流れが観測者によって異なるとする「局所時間」という相対性理論の萌芽ともいえる思索を提起し、Wilson や Röntgen–Eichenwald の実験に合致できる電磁場の方程式を導出していたテンプレート:Sfnp。

以上の理論はいずれも数式上は実験事実と合致しており、現代物理学が支持するアインシュタインの理論とも整合する。すなわち、このような数式を持ち込みさえすれば、従来の物理理論との実験上の矛盾はひとまず解消されるということは、一定の成果ではあった。しかしこれらの理論は、あくまでもエーテル仮説（絶対空間の存在）と光速度不変則（実験事実）の食い違う部分のみを解消する為に導出された解決策に過ぎず、たとえば下記のような疑問について、理論上・実験上の不満を残した。

• 運動する物体が、実際に縮むことなどあり得るのか？　実際に縮むのであれば、その物体の破壊には影響するのか？テンプレート:Refnest
• 数式上導入された「局所時間」を、物理学の体系としてどう解釈するのか？

ガリレイ原理にのっとった解釈

ガリレイ等価原理に則るならば、マイケルソンらの実験結果を整合するように解釈するには、物体の移動速度と位置と時刻の関係について、まったくの未知の法則の発見が必要であることを示すのみである。

結局、以上までの一連の経緯を経て当時の物理学が得たものは、光速は不変という実験事実が分かったこと、および、時間や空間の絶対的均質性といった前提が揺らいだことであった。前提の思想として「絶対空間」や「絶対時間」に拘泥しがちな一方で、「絶対空間」ではないはずの実験環境下で精密測定される光の速度はどれも一定値（有意の差のない範囲で同一・不変）であり、それに整合する一応の理論は構築可能であった。このように、時間・空間に対する思想と実験結果に対する（いわば応急措置的な）理論の間に、ある種の不調和ともとれる状況があった。そういった従来の疑わしい前提を排除したうえで、新たに基礎的な物理法則体系を提唱・検証する必要が生じていた。これを成し遂げたのが、当時アマチュアの物理研究家であったアインシュタインであった。

特殊相対性理論の基礎

アインシュタインは、自身のいくつかの（主に3つの）論文テンプレート:R を通して、「特殊相対性理論」を確立した。その大部分は、１つ目の論文「運動物体の電気力学について ON THE ELECTRODYNAMICS OF MOVING BODIES」に記されている。本節では、アインシュタインの「運動物体の電気力学について」を軸に据えつつ、後世の補足・解釈も踏まえながら、特殊相対性理論の基礎となる部分（公理と数学的準備）について説明する。

『運動物体の電気力学について』概要

アインシュタインによる著作「運動物体の電気力学について」は、序文と10個の節からなる。第5節までは「力学」、第6節以降は「電気力学」とそれぞれ題されている。序文の中で「相対性原理」と「光源の運動と無関係に光速は一定である」という２つの前提が示されている。この２条件をもって、”静止物体のためのマクスウェル理論に基づいて運動物体を論ずるのに十分”と述べられている。

指導原理

アインシュタインの原論文における特殊相対性理論では、以下の二つの事柄を指導原理（前提条件、公理）として、その物理学的枠組みが展開されているテンプレート:Sfnpテンプレート:Sfnp。#特殊相対性理論に至るまでの背景に述べた「エーテルに対して動いていない”特別なひとつの慣性系”が存在するはず」という思想からの脱却である。

特殊相対性原理

物理法則に関してすべての慣性系は対等である。すなわち、あらゆる慣性系において物理法則を記述する運動方程式は、その形式が不変である。

光速度不変の原理

真空中の光の速さは光源の運動状態に無関係である。

特殊相対性原理は運動方程式がある種の座標変換に関して共変であるべき、との原理である。なお、アインシュタインの最初の論文では単に「相対性原理」と呼ばれていた。のちに一般相対性理論が世に出てから、それと区別するために「特殊相対性原理」と呼ばれるようになった。 光速度不変の原理は相対性理論構築に必要な最低限の要請をマクスウェル理論から抽出したものであり、物理的に新しい主張を含むのは特殊相対性原理のみであるテンプレート:Sfnp。

なお、現代では光速度不変の原理として以下のような表現を採用する流儀も多いテンプレート:Sfnpテンプレート:Sfnp。

「真空中の光の速さは一定であり、どの慣性系で測定しても同じ値をとる」

しかし、これは本来、特殊相対性原理と（原論文の）光速度不変の原理から、次に記すように演繹される内容である。

いま、ある慣性系Sと、Sに対して一定方向に速さvで運動する慣性系S'を考える。光速度不変の原理より、慣性系Sにおいては、あらゆる光の速さが光源の運動状態によらず一定値をとる。ここではそれをcとする。同様に、慣性系S'においては、あらゆる光の速さがc'と観測されるとする。このとき、慣性系間の等価性を主張する特殊相対性原理に従うならば、c' = cであることが言える。すなわち、「全ての慣性系において、あらゆる光源からの光の速さは一定値cである」という主張は、アインシュタインの原論文の二つの指導原理から導出可能である。このように、光の速さのような物理定数は全ての慣性系で同一の値をとることを、特殊相対性原理は含意しているのであるテンプレート:Sfnpテンプレート:Sfnp。

以上の指導原理に加えて、主に次の2つの要請を満たすことを要求としたうえで、特殊相対性理論は構築されている。

「特殊相対性理論は、電磁気学（マクスウェル方程式）と整合するべきである」

光の支配方程式とされるマクスウェル方程式には、当時は観測者の運動の効果（慣性系から別の動く慣性系への座標変換への対応）が抜けているとされていた。しかし、光速度を不変とする特殊相対性理論の思想的枠組みを取り入れれば、座標変換を考慮に含めても、マクスウェル方程式自体は修正不要であることが示されている（#特殊相対性理論における電磁気学）。

「特殊相対性理論の成果は、それまでのニュートン力学と両立すべきである」

特殊相対性理論で用いる慣性座標系間の変換則は、非相対論的極限 (テンプレート:Math) においてガリレイ変換に漸近する（ここで テンプレート:Mvar は2つの慣性座標系間の速度で、テンプレート:Mvar は真空中の光速度であるテンプレート:Sfnp）。そのため、この条件下では、ガリレイ変換のもとで不変のニュートン力学との齟齬はないことが示されている。

なお、これら指導原理や諸要請の他にも、従来の物理学から継承される「空間の等質性」や「空間の等方性」といった暗黙の前提は、特殊相対性理論においても基礎とされている。

変換則の形態

以上の指導原理と諸要請・前提を満たすべく、特殊相対性理論においては、2つの慣性系の間の座標変換則を次のように導入する（実際に特殊相対性理論で用いられる座標変換「ローレンツ変換」を導く）。以下では、テンプレート:Mvar を不変の光速度とし、時刻 テンプレート:Mvar の代わりにテンプレート:Mvar を乗じた テンプレート:Mvar を用いることとして、時間軸と空間軸を統一的に扱って述べる。

今、慣性運動する2人の観測者（すなわち何ら外力のかかっていない観測者）テンプレート:Math、テンプレート:Mathがある一点ですれ違ったとする。テンプレート:Math の慣性系における位置と時刻を表す座標系を テンプレート:Math 、テンプレート:Math の慣性系における位置と時刻を表す座標系を テンプレート:Math とする。ここで、2つの時刻 テンプレート:Mvar、テンプレート:Mvar は各観測者に独立なものである。すなわち、特殊相対性理論においてここでまさに、絶対時間が放棄されている（二人の観測者に共通の「絶対時間」はどこにも存在しない）テンプレート:Sfnp。もちろん、位置座標軸も各観測者に独立固有の存在であり、二人の観測者に共通の空間的尺度「絶対空間」もない。なお、以降では便宜上、二人の観測者がすれ違った際に、位置と時刻の起点（一般に原点・ゼロ点）を規定することが多いが、位置と時刻の起点は再現性のある然るべき手段によって適宜取り直してもよい。また、二人の観測者に共通の絶対時間も絶対空間も存在せず不可知である一方で、それぞれの観測者が（何らかの手段で）もう一方の観測者が観測した時刻・位置の値を知ることは一般に妨げられない。

ここで、2つの座標系の間の一般的な変換規則の数学表現として、テイラー展開による座標変換規則をまず考える。テンプレート:Mathあるいは テンプレート:Math という表現から示唆されるように、各慣性系での時刻・空間座標の数値の組は4次元の行ベクトル・列ベクトルとして扱える（時刻(1次元)と空間(3次元)をあわせた4次元。下記では縦ベクトル(列ベクトル)の表記を用いる）。一般に座標変換規則は、何らかの定数ベクトル テンプレート:Mvar と行列 テンプレート:Mvar （この場合では4行4列の行列）とを用いて、次のように記述できる。

$\left(\begin{array}{c}c{t}^{\prime }\\ {𝒙}^{\prime }\end{array}\right)=\overrightarrow{b}+\mathrm{\Lambda }\left(\begin{array}{c}ct\\ 𝒙\end{array}\right)+$（二次以上の項）

テンプレート:Mathとテンプレート:Math が最も接近してすれ違った際において、位置と時刻を双方の座標系の原点と定めると、 テンプレート:Math と簡略化することができる。また、特殊相対性理論においては、外力の無い慣性系を前提とする。このことから、上式の二次以上の項はゼロとできる（二次以上の項があると、テンプレート:Mathとテンプレート:Math が相互に加速度運動していることとなり、慣性系であるという要請から外れるテンプレート:Sfnp）。以上の諸仮定をもとに、次に示す線形変換の形態として、特殊相対性理論に則った座標変換則を得ることができる。

$\left(\begin{array}{c}c{t}^{\prime }\\ {𝒙}^{\prime }\end{array}\right)=\mathrm{\Lambda }\left(\begin{array}{c}ct\\ 𝒙\end{array}\right)$

すなわち、特殊相対性理論においては、物理現象は4次元のベクトル空間で記述される。慣性系はその4次元ベクトル空間の基底であり、各慣性系の間の座標変換は行列テンプレート:Mvarによる線形写像である。

世界間隔

上記であつかった空間の3次元に時刻(1次元)を加えた4次元の時空間における点を世界点と呼ぶテンプレート:Sfnp。

ある慣性座標系から見て、ある時刻 テンプレート:Math に、3次元空間上のある位置 テンプレート:Math を光が通過したとする。その後、この光が時刻 テンプレート:Math に位置 テンプレート:Math まで伝播したとする。光速度は不変量 テンプレート:Mvar であるので、これは

$\frac{|{𝒙}_1-{𝒙}_2|}{|t_1-t_2|}=c$

すなわち、

$c^2(t_1-t_2{)}^2-|{𝒙}_1-{𝒙}_2{|}^2=0$

である事を意味するテンプレート:Sfnp。

世界点 1 と世界点 2 の間に定義される量

$s_{12}:=\sqrt{c^2(t_1-t_2{)}^2-|{𝒙}_1-{𝒙}_2{|}^2}$

を世界間隔テンプレート:Sfnpもしくは世界距離テンプレート:要出典と呼ぶことにする。ある慣性系において テンプレート:Math が成り立つならば、特殊相対性原理から、他の任意の慣性系でも テンプレート:Math が成り立つことになる。ここで、微分表現を採用して、これらの微小世界間隔を次のように表記する。

$\mathrm{d}{s}^2:=c^2(\mathrm{d}t{)}^2-|\mathrm{d}𝒙{|}^2,\mathrm{d}s{\text{'}}^2:=c^2(\mathrm{d}{t}^{\prime }{)}^2-|\mathrm{d}{𝒙}^{\prime }{|}^2$

これらは同次微小量であることから、

$\mathrm{d}{s}^2=a\mathrm{d}s{\text{'}}^2$

という関係式が成り立つ。ここで、この係数 テンプレート:Mvarは時間と空間の一様性から時間と座標に依存せず、空間の等方性から慣性系間の相対速度の方向に依存しないことが要請される。したがって、慣性系間の相対速度の絶対値にのみ依存するテンプレート:Sfnp。特殊相対性理論において、微小世界間隔の不変性、すなわち、テンプレート:Mathであることを示す手法は、たとえば以下の2つが存在する。

逆変換に関する要請を利用する手法

２つの慣性系 テンプレート:Math の間の相対速度を テンプレート:Mathとすると、それぞれの慣性系における微小世界間隔 テンプレート:Mathおよび係数 テンプレート:Math についての関係式として、逆変換に対する要請から

$\mathrm{d}{s}_1{}^2=a(|𝑽|)\mathrm{d}{s}_2^2,\mathrm{d}{s}_2{}^2=a(|\mathit{-}V|)\mathrm{d}{s}_1{}^2$

が得られ、代入して $a(|𝑽|{)}^2=1$ が得られるテンプレート:Sfnp。テンプレート:Mathよりテンプレート:Mathが得られる。

速度合成に関する要請を利用する手法

三つの慣性系 テンプレート:Math の間の相対速度を テンプレート:Math とすると、それぞれの慣性系における微小世界間隔 テンプレート:Math および係数 テンプレート:Math についての関係式として

$\mathrm{d}{s}_1{}^2=a(|{𝑽}_{12}|)\mathrm{d}{s}_2^2,\mathrm{d}{s}_2{}^2=a(|{𝑽}_{23}|)\mathrm{d}{s}_3^2,\mathrm{d}{s}_3{}^2=a(|{𝑽}_{31}|)\mathrm{d}{s}_1^2,$

$\therefore \frac{a(|{𝑽}_{12}|)}{a(|{𝑽}_{23}|)}=a(|{𝑽}_{31}|)$

が得られる。後者の左辺は テンプレート:Math の絶対値にのみ依存するのに対し、右辺のテンプレート:Mathは テンプレート:Math間の角度にも依存すると考えられるため、 テンプレート:Math はテンプレート:Mathによらず、定数であることがわかるテンプレート:Sfnp。（ここで、ニュートン力学とは異なり、相対性理論ではガリレイ変換は成立せずテンプレート:Sfnp、${𝑽}_{31}\ne -{𝑽}_{12}-{𝑽}_{23}$であることに注意せよ。）さらに、関係式から テンプレート:Math が得られるテンプレート:Sfnp。

以上二つのいずれを採用するにせよ、微小世界間隔はあらゆる慣性系間で保存されることになる（座標変換に関して不変）。したがって、このような微分の集積である有限の世界間隔についても、慣性系間の座標変換を経ても不変の保存量となる。

ミンコフスキー空間

世界距離の定義から、以下の内積風の二項演算子

$\eta ((ct,x,y,z),(c{t}^{\prime },x^{\prime },y^{\prime },z^{\prime })):=(ct)\cdot (c{t}^{\prime })-x{x}^{\prime }-y{y}^{\prime }-z{z}^{\prime }$

を考えると、世界距離の二乗は テンプレート:Math に一致する。このような二項演算子 テンプレート:Mvar をミンコフスキー内積もしくはミンコフスキー計量と呼び、ミンコフスキー内積の定義されたベクトル空間をミンコフスキー空間と呼ぶ。ミンコフスキー空間上の点を世界点もしくは事象テンプレート:Sfnpと呼び、ミンコフスキー空間のベクトルは通常の3次元のベクトルと区別する為、4元ベクトルという。

なお、世界点 テンプレート:Mvar は、テンプレート:Mvar と原点 テンプレート:Mvar とを結ぶ4元ベクトル $\overrightarrow{\mathrm{O}\mathrm{P}}$ と自然に同一視できるので、以下、表現に紛れがなければ世界点を4元ベクトルとして表現する。

特殊相対性理論では、時空間をミンコフスキー空間として記述する。

ミンコフスキー・ノルム

4元ベクトル テンプレート:Mvar に対し テンプレート:Math が非負であれば テンプレート:Indent をミンコフスキー・ノルムといい、世界点 テンプレート:Mvar、テンプレート:Mvar に対し、テンプレート:Math が非負であれば テンプレート:Math の平方根を テンプレート:Mvar、テンプレート:Mvar の世界距離という。

なお、世界「距離」という名称ではあるが、

• 負の値や虚数も取りうる
• 0ベクトルでなくとも世界距離が0になることがある

といった点から数学的な距離の公理を満たさない。

また、テンプレート:Mvar は常に定義できるとは限らないばかりかミンコフスキー・ノルムが定義できる値に対しても三角不等式の逆向きの不等式 テンプレート:Indent が成り立つ事から、ミンコフスキー・ノルムも数学で通常使われるノルムの定義を満たさない。

符号と記法に関して

テンプレート:Main 本項では、ミンコフスキー内積を

$\eta ((ct,x,y,z),(c{t}^{\prime },x^{\prime },y^{\prime },z^{\prime }))=(ct)\cdot (c{t}^{\prime })-x{x}^{\prime }-y{y}^{\prime }-z{z}^{\prime }$

としたが、書籍によっては符号を逆にした

$\eta ((ct,x,y,z),(c{t}^{\prime },x^{\prime },y^{\prime },z^{\prime }))=-(ct)\cdot (c{t}^{\prime })+x{x}^{\prime }+y{y}^{\prime }+z{z}^{\prime }$

をミンコフスキー内積としているものもあるので注意が必要である。

本項と同じ符号づけを時間的規約、本項とは反対の符号づけを空間的規約と呼んで両者を区別する。

また本項ではミンコフスキー内積を テンプレート:Mvar で表したが、テンプレート:Mvar で表したり、両者を混用することもある。例えばテンプレート:Harvtxtは、特殊相対性理論には テンプレート:Mvar を用いる一方で一般相対性理論では テンプレート:Mvar を用いている。またテンプレート:Harvtxtではミンコフスキー内積には テンプレート:Mvar を用いてその行列表示は テンプレート:Mvar としている。

厳密な定義

テンプレート:Mvar を テンプレート:Mvar 次元実ベクトル空間とし、

$\eta :V\times V\to ℝ$

を テンプレート:Mvar 上の対称二次形式とする。このとき、テンプレート:Mvar の基底 テンプレート:Math と非負整数 テンプレート:Mvar、テンプレート:Mvar が存在し、

$\eta (\sum _{\mu }{a}^{\mu }{\overrightarrow{e}}_{\mu },\sum _{\nu }{b}^{\nu }{\overrightarrow{e}}_{\nu })=a^1{b}^1+\cdots +a^p{b}^p-a^{p+1}{b}^{p+1}-\cdots -a^{p+q}{b}^{p+q}$

が成立する事が知られている。しかも テンプレート:Mvar、テンプレート:Mvar は テンプレート:Math のみに依存し、基底 テンプレート:Math には依存しない（シルヴェスターの慣性法則）。

テンプレート:Math、テンプレート:Math となる二次形式 テンプレート:Mvar をミンコフスキー計量と呼び、組 テンプレート:Math を テンプレート:Mvar次元ミンコフスキー空間という。

特殊相対性理論で用いるのは、次元 テンプレート:Mvar が4の場合なので、以下特に断りがない限り、テンプレート:Mathとする。

ミンコフスキー空間の図示

時間1次元+空間2次元のミンコフスキー空間を描いた抽象図。
過去光円錐の範囲内において発生した森羅万象の結果が観測者の示す中心点へと集まり、その結果に対する森羅万象が未来光円錐の範囲内へと時間軸に沿って広がっていく様を表現している。

空間方向の次元を2に落としたミンコフスキー空間を図示した。図では何らかの慣性系から見たミンコフスキー空間が描かれており、この慣性系に対して静止している観測者 (observer) が原点にいる。この観測系における座標の成分表示を テンプレート:Math とする。

この観測者にとっての時間軸 テンプレート:Math は図で「時間」と書かれた軸であり、この観測者にとって時間は時間軸にそって流れる。従って図の上方が未来であり、下方が過去である。観測者が慣性系に対して静止している事を仮定したので、時間が テンプレート:Mvar 秒経つと、観測者のミンコフスキー空間上の位置は テンプレート:Math に移る。

一方、この観測者にとって現在にある世界点の集まり（すなわちこの観測者にとっての空間方向）は図の「現在」と書かれた平面であり、この観測者からみた空間方向の座標軸 テンプレート:Math が「空間」と書かれた二本の軸である。

世界距離の定義から、原点を通る光の軌跡は

テンプレート:Math

を満たす。この方程式を満たす世界点の集合は2つの円錐として描かれ、これを光円錐という。図の上にある逆さまの円錐が未来の光円錐 (future light cone) であり、図の下にある円錐が過去の光円錐 (past light cone) である。

原点を通る光の軌跡は、光円錐上にある直線である。観測者は光を使って物をみるので、過去の光円錐の上にある世界点が観測者に見える（もちろん、他の物体に遮られなければ）。

ミンコフスキー空間上の4元ベクトル テンプレート:Mvar の終点が（未来もしくは過去の）光円錐の内側にあるとき テンプレート:Mvar は時間的であるといい、終点が光円錐の外側にあるとき テンプレート:Mvar は空間的であるといい、光円錐上にあるとき テンプレート:Mvar は光的であるという。定義より明らかに、以下が成り立つ：テンプレート:Mvar が時間的、空間的、光的であるのは、テンプレート:Math がそれぞれ正、負、0のときである。

光円錐上の点 テンプレート:Mvar は テンプレート:Math という座標系と無関係な値の符号で特徴づけられるので、4元ベクトルが時間的か、空間的か、光的かは原点を起点するどの慣性座標系からみても不変である事がわかる。特に、光円錐は原点を起点するどの慣性座標系からみても同一である。

慣性座標系の数学的特徴づけ

原点Oを通る観測者から見た慣性座標系を一つ固定すると、前述のようにその慣性座標系における二つの位置ベクトル間のミンコフスキー内積は

$\eta ((ct,x,y,z),(c{t}^{\prime },x^{\prime },y^{\prime },z^{\prime }))=(ct)\cdot (c{t}^{\prime })-x{x}^{\prime }-y{y}^{\prime }-z{z}^{\prime }$               テンプレート:EquationRef

と書ける。このような座標系で、

${\overrightarrow{e}}_0:=\left(\begin{array}{c}1\\ 0\\ 0\\ 0\end{array}\right)$、${\overrightarrow{e}}_1:=\left(\begin{array}{c}0\\ 1\\ 0\\ 0\end{array}\right)$、${\overrightarrow{e}}_2:=\left(\begin{array}{c}0\\ 0\\ 1\\ 0\end{array}\right)$、${\overrightarrow{e}}_3:=\left(\begin{array}{c}0\\ 0\\ 0\\ 1\end{array}\right)$

と定義すると、テンプレート:Math、テンプレート:Math、テンプレート:Math、テンプレート:Math はあきらかにミンコフスキー空間の基底であり、しかも

$\eta ({\overrightarrow{e}}_{\mu },{\overrightarrow{e}}_{\nu })=\{\begin{array}{cc}1& \text{if}\mu =\nu =0\\ -1& \text{if}\mu =\nu \ne 0\\ 0& \text{otherwise}\end{array}$               テンプレート:EquationRef

を満たす。

ユークリッド空間の類似からテンプレート:EquationNote式を満たす基底 テンプレート:Math、テンプレート:Math、テンプレート:Math、テンプレート:Math を正規直交基底テンプレート:Sfnpと呼ぶ事にすると、慣性座標系から正規直交基底が1つ定まった事になる。テンプレート:Math をこの基底の時間成分といい、テンプレート:Math、テンプレート:Math、テンプレート:Math をこの基底の空間成分という。

逆にテンプレート:EquationNote式の意味で正規直交基底である テンプレート:Math、テンプレート:Math、テンプレート:Math、テンプレート:Math を一つ任意に選び、この基底における座標の成分表示を テンプレート:Math と書くことにすると、ミンコフスキー内積がテンプレート:EquationNote式を満たすことを簡単に確認できる。

以上の議論から、原点にいる観測者の慣性座標系と正規直交基底は1対1に対応する事がわかる。従って以下両者を同一視する。

ただし、正規直交基底の中には、テンプレート:Math が過去の方向を向いていたり、テンプレート:Math、テンプレート:Math、テンプレート:Math が左手系だったりするものもあるので、このようなものは以下除外して考えるものとする。

世界線、光速との比較

運動している質点がミンコフスキー空間内に描く軌跡を世界線と言う。今、世界線が原点を通る直線となる質点の運動があるとし、その直線の（4元）方向ベクトルを テンプレート:Mvar とする（長さは問わない）。

この質点の運動を慣性座標系 テンプレート:Math、テンプレート:Math、テンプレート:Math、テンプレート:Math にいる観測者 テンプレート:Math が原点で眺めるとする。この慣性座標系における テンプレート:Mvar の成分表示を テンプレート:Math とすると、3次元ベクトル テンプレート:Math は テンプレート:Math から見た質点の速度ベクトルであると解釈できる。

次に テンプレート:Mvar の速度を光速と比較してみる。テンプレート:Mvar の速度が光を下回る必要十分条件は、テンプレート:Math となることであるので、これを書き換えると、テンプレート:Math となる。ミンコフスキー計量の定義より、この式は テンプレート:Math と慣性座標系によらない形で表現できる。従って、テンプレート:Math であれば、どの慣性系から見ても光速度を下回り、逆に テンプレート:Math であれば どの慣性系から見ても光速度を上回る。

前述のように テンプレート:Math の正負によって、テンプレート:Mvar を時間的もしくは空間的と呼ぶので、まとめると以下が結論づけられる：

• 方向ベクトル テンプレート:Mvar が時間的 ⇔ 質点はどの慣性系から見ても光速を下回る
• 方向ベクトル テンプレート:Mvar が空間的 ⇔ 質点はどの慣性系から見ても光速を上回る
• 方向ベクトル テンプレート:Mvar が光的 ⇔ 質点はどの慣性系から見ても光速と等しい

最後のものは光速度不変の原理からの直接の帰結でもある。

なお、上の議論では、質点の世界線が直線である事を仮定したが、そうでない場合も原点での接線を テンプレート:Mvar として同様の議論をする事で同じ結論が得られる。

ローレンツ変換

定義

ローレンツ変換とは、ミンコフスキー空間 テンプレート:Mvar 上の線形変換 テンプレート:Math でミンコフスキー計量を変えないもの、すなわち任意の4元ベクトル テンプレート:Mvar、テンプレート:Mvar に対し、

$\eta (\phi (\overrightarrow{a}),\phi (\overrightarrow{b}))=\eta (\overrightarrow{a},\overrightarrow{b})$

が成立するものの事である。

ユークリッド空間で内積を変えない線形変換は合同変換であるので、ローレンツ変換とは、ミンコフスキー空間における合同変換の対応物である。

ただし正規直交基底の場合と同様、ローレンツ変換にも

• 空間方向の向きを保たないもの
• 時間方向の向きを保たないもの

が存在するのでこのようなものは以下除外して考える。

なお、空間方向の向き、時間方向の向きの両方を保つローレンツ変換を正規ローレンツ変換という事があるがテンプレート:Sfn、本項では以下、特に断りがない限り、単にローレンツ変換と言ったならば正規ローレンツ変換を指すものとする。

ローレンツ変換 テンプレート:Mvar と4元ベクトル テンプレート:Mvar を使って

テンプレート:Math

の形に書ける線形変換をポアンカレ変換という。特殊相対性理論では、2人の観測者が原点で出会ったケースにおいてローレンツ変換に関して議論する事が多いが、これは出会った場所を原点に平行移動した上で議論しているという事なので、実質的にはポアンカレ変換に関する議論である事が多い。

ローレンツ変換の意義

4次元ミンコフスキー空間 テンプレート:Math では、 次の定理が成立する事が知られている。 テンプレート:Math theorem この定理はユークリッド空間における2つの正規直交基底が直交変換により写りあう事の類似である。

前述のように、正規直交基底は慣性座標系と対応している。よって上の定理は、以下を意味する：慣性座標系から別の慣性座標系への座標変換はローレンツ変換である。

ローレンツ変換の具体的な形

ローレンツ変換の図示。テンプレート:Mvar を テンプレート:Mvar に変換する様子が テンプレート:Mathに対して描かれている。

ローレンツ変換の具体的な形を求める為、まずは基底をより解析がしやすいものに置き換える。

基底 テンプレート:Math の「空間部分」である テンプレート:Math の張るミンコフスキー空間上の部分空間を テンプレート:Mvar とし、同様に基底 テンプレート:Math の空間部分である テンプレート:Math の張るミンコフスキー空間上の部分空間を テンプレート:Mvar とする。これらはそれぞれの慣性座標系における空間方向を表している。

テンプレート:Math を テンプレート:Mvar 内で回転した別の正規直交基底に取り替えても、テンプレート:Math と実質的に同じ慣性系を表しているとみなしてよい。そこで テンプレート:Math をそれぞれ テンプレート:Mvar 内、テンプレート:Mvar 内で回転することで、ローレンツ変換 テンプレート:Mvar の行列表示 テンプレート:Math を簡単な形で表すことを試みる。

テンプレート:Mvar と テンプレート:Mvar の共通部分 テンプレート:Mvar を テンプレート:Mvar とすると、テンプレート:Mvar は4次元ベクトル空間上の2つの3次元部分ベクトル空間の共通部分なので、テンプレート:Mvar は2次元（以上）のベクトル空間である。従って テンプレート:Mvar 内で テンプレート:Math を回転することで、テンプレート:Math としてよく、同様に テンプレート:Mvar 内の回転により テンプレート:Math とできる。最後に テンプレート:Mvar 内で テンプレート:Math を回転することで テンプレート:Math、テンプレート:Math としてよい。

これらの基底に対し、テンプレート:EquationNote式を満たすローレンツ変換 テンプレート:Mvar の行列表現を テンプレート:Math とする。これはすなわち、

$(\overrightarrow{e}{\text{'}}_0,\overrightarrow{e}{\text{'}}_1,\overrightarrow{e}{\text{'}}_2,\overrightarrow{e}{\text{'}}_3)=({\overrightarrow{e}}_0,{\overrightarrow{e}}_1,{\overrightarrow{e}}_2,{\overrightarrow{e}}_3)\mathrm{\Lambda }$

を満たすという事であり、これら2つの基底における座標の成分表示をそれぞれ テンプレート:Math、テンプレート:Mathとすると テンプレート:NumBlk が成立するという事でもある。

テンプレート:Math、テンプレート:Math であったので、ローレンツ変換の行列表示は、

$\mathrm{\Lambda }=\left(\begin{array}{cccc}*& & & \\ & & & \\ & & 1& \\ & & & 1\end{array}\right)$

という形であり、ローレンツ変換がミンコフスキー空間における「回転」であったことを利用すれば、上の行列の(*)の部分が、

$\left(\begin{array}{cc}\cosh \zeta & -\sinh \zeta \\ -\sinh \zeta & \cosh \zeta \end{array}\right)$

という形であることがわかる。これを導く厳密な方法はいくつかあるが、簡便な方法としては虚数単位 テンプレート:Mvar を用いて時間軸を テンプレート:Mvar と置く事で通常のユークリッド空間の回転とみなせる（ウィック回転）という事実を使うものがある。

最終的に2つの基底における座標の成分表示の関係テンプレート:EquationNote式は以下のように書ける事がわかる。 テンプレート:Math theorem

この値 テンプレート:Mvar は正規直交基底の取り方に依存せず、ローレンツ変換 テンプレート:Mvar の固有値のみによって決まることが知られており、テンプレート:Mvar を テンプレート:Mvar のラピディティという。なお、テンプレート:Mvar は

$\zeta =\mathrm{arccosh}(\eta ({\overrightarrow{e}}_0,\overrightarrow{e}{\text{'}}_0))$

と具体的に求めることもできる。

ローレンツ変換の物理的解釈

テンプレート:Main 慣性座標系 テンプレート:Math にいる観測者 テンプレート:Math は、原点を通過した後、テンプレート:Math という直線（世界線）にそって進んでいく。この様子を別の観測者 テンプレート:Math の慣性座標系 テンプレート:Math で記述した式はテンプレート:EquationNote式に テンプレート:Math を代入した

$\left(\begin{array}{c}c{t}^{\prime }\\ x^{\prime }\\ y^{\prime }\\ z^{\prime }\end{array}\right)=\left(\begin{array}{c}ct\cosh \zeta \\ -ct\sinh \zeta \\ 0\\ 0\end{array}\right)$

によって表現できる。この世界線の「傾き」

$x^{\prime }/t^{\prime }=-c\tanh \zeta$

は2人の観測者の相対速度と解釈できるので、観測者 テンプレート:Math から見た観測者 テンプレート:Math の相対速度を テンプレート:Mvar とすると、

$v=c\tanh \zeta$

となる。よって、

$\cosh \zeta =\frac{1}{\sqrt{1-{\tanh }^2\zeta }}=\frac{1}{\sqrt{1-(v/c{)}^2}},$

$\sinh \zeta =\frac{\tanh \zeta }{\sqrt{1-{\tanh }^2\zeta }}=\frac{(v/c)}{\sqrt{1-(v/c{)}^2}}$

である。そこでローレンツ因子 テンプレート:Mvar を テンプレート:Indent と定義すると、以下が導かれる： テンプレート:Math theorem

我々はテンプレート:EquationNote式やそれと同値なテンプレート:EquationNote式を導くとき、空間方向の座標変換をおこなった。これは別の見方をすると、ローレンツ変換から空間方向の回転成分を取り除いたものがテンプレート:EquationNote式やテンプレート:EquationNote式であるということである。

テンプレート:EquationNote式やテンプレート:EquationNote式のように書けるローレンツ変換、すなわち空間方向に回転しないローレンツ変換の事をローレンツ・ブーストと呼ぶ。

ガリレイの相対性原理と特殊相対性原理

ローレンツ変換の式テンプレート:EquationNote式において、テンプレート:Math (0に近似) とすると、テンプレート:EquationNote式は、

$\left(\begin{array}{c}c{t}^{\prime }\\ x^{\prime }\\ y^{\prime }\\ z^{\prime }\end{array}\right)=\left(\begin{array}{c}ct\\ x-vt\\ y\\ z\end{array}\right)$

となり、ガリレイ変換に一致する。すなわち、「ニュートン力学近似」とは、慣性座標系間の相対速度 テンプレート:Mvar が光速 テンプレート:Mvar と比べて十分小さい場合の理論であるということが言える。

このことからテンプレート:疑問点範囲と考えられる： テンプレート:Indent

固有時

本節では光速を超えずに移動する観測者 テンプレート:Math の感じる時間の長さ（観測者の固有時間）テンプレート:Mvar が、テンプレート:Math の世界線の（ミンコフスキー計量で測った）「長さ」に一致することを示す。

慣性系から見た時間

固有時間について述べる前に、まず慣性系から見た時間についての公式を与える。

テンプレート:Mvar を世界点とし、テンプレート:Math を原点における慣性座標系とする。このとき、以下が成立する： テンプレート:Indent

ただしここでいう「時間の長さ」は テンプレート:Mvar 秒を1単位として数えた時間である。秒を単位とした時間の長さの場合は右辺を テンプレート:Mvar で割る必要がある。

実際、テンプレート:Math における成分表示を テンプレート:Math とすると、テンプレート:Mvar の起こる時刻は テンプレート:Mvar を時間軸方向へ射影したものに一致するが、テンプレート:Mvar を時間軸方向へ射影した値は テンプレート:Math である。

直線的に動く場合の固有時間

本節では以下を示す：時間的もしくは光的な4元ベクトル テンプレート:Mvar に沿って原点から テンプレート:Mvar の終点まで直線的に動く観測者の固有時間 テンプレート:Mvar は テンプレート:Mvar のミンコフスキー・ノルム $\Vert \overrightarrow{u}\Vert =\sqrt{\eta (\overrightarrow{u},\overrightarrow{u})}$ に一致する。

なお、テンプレート:Mvar が時間的もしくは光的な4元ベクトルであることから テンプレート:Math であるので、上式の平方根は意味を持つ。

ただしここでいう「時間の長さ」は テンプレート:Mvar 秒を1単位として数えた時間である。秒を単位とした時間の長さは テンプレート:Math である。

上の事実を示すため、テンプレート:Math から テンプレート:Mvar に沿って移動する観測者を考えると、この観測者の慣性座標系は、テンプレート:Math を時間方向の単位（4元）ベクトルとする正規直交基底 テンプレート:Math により表せる。この座標系に前述の公式を適用すれば、この座標系で観測者が原点から テンプレート:Mvar の終点まで世界線を移動するのにかかる固有時間は テンプレート:Indent となり、最初の公式が示された。

上では観測者が原点を通る世界線に沿って移動する場合について述べたが、原点を通らない世界線に関しても、観測者が上を テンプレート:Mvar から テンプレート:Mvar まで直線的に動く間に テンプレート:Math の固有時間が流れる事を同様の議論により証明できる。

一般の場合

本節では光速を超えずに移動する観測者 テンプレート:Math の世界線 テンプレート:Math が曲線である場合に対して テンプレート:Math の固有時間を求める方法を述べる。

観測者 テンプレート:Math の時空間上の位置 テンプレート:Mvar が実数 テンプレート:Mvar によってパラメトライズされて テンプレート:Math と書けているとすると、観測者が テンプレート:Math から テンプレート:Math まで移動する間に、

$\mathrm{\Delta }s=\Vert \overrightarrow{x}(r_0+\mathrm{\Delta }r)-\overrightarrow{x}(r_0)\Vert =\Vert \frac{\mathrm{\Delta }\overrightarrow{x}}{\mathrm{\Delta }r}\Vert \mathrm{\Delta }r$

の固有時間が流れることになる。したがって観測者 テンプレート:Math が テンプレート:Math に沿って動いた際に流れる固有時間 テンプレート:Mvar は以下のように求まる： テンプレート:Indent これはユークリッド空間において曲線の長さを求める弧長積分のミンコフスキー空間版であるので、上の公式は、観測者 テンプレート:Math の固有時間が テンプレート:Math の描く世界線 テンプレート:Math の「長さ」に一致することを意味している。

次に上で示した式を慣性座標で表す。テンプレート:Math とは別の観測者 テンプレート:Math が慣性運動しており、テンプレート:Math の慣性座標系 テンプレート:Math における テンプレート:Math の位置 テンプレート:Math が

テンプレート:Math

と書けていたとすると、以下が言える： テンプレート:Indent

4元速度と4元加速度

以上の議論では変数 テンプレート:Mvar で世界線 テンプレート:Math をパラメトライズしたが、物理学的に自然な値である秒を単位とした固有時 テンプレート:Mvar そのものを使って、テンプレート:Math とパラメトライズするのが一般的である。このようにパラメトライズしたとき、質点 テンプレート:Mvar のテンプレート:仮リンク テンプレート:Mvar とテンプレート:仮リンク テンプレート:Mvar を以下のように定義する：

$\overrightarrow{u}:=\frac{\mathrm{d}\overrightarrow{x}}{\mathrm{d}\tau }$、 $\overrightarrow{a}:=\frac{{\mathrm{d}}^2\overrightarrow{x}}{\mathrm{d}{\tau }^2}.$

すなわち、テンプレート:Mvar のミンコフスキー空間上の位置の変化率を固有時間 テンプレート:Mvar で測ったものが4元速度で、4元速度の変化率を テンプレート:Mvar で測ったものが4元加速度である。

4元速度のミンコフスキー・ノルムは

$\frac{1}{c}\Vert \frac{\mathrm{d}\overrightarrow{x}}{\mathrm{d}\tau }\Vert =\frac{\Vert \mathrm{d}\overrightarrow{x}\Vert }{\mathrm{d}s}=\frac{\mathrm{d}s}{\mathrm{d}s}=1$

を満たすテンプレート:Sfnp。このことから、4元速度は テンプレート:Mvar の世界線の接線で長さが テンプレート:Mvar であるものである事がわかる。この事実は、ユークリッド空間の曲線を弧長で微分したときの長さが1になることと対応している。長さが1でなく テンプレート:Mvar なのは時間の単位が テンプレート:Mvar 秒でなく1秒だからである。

以上の事から4元速度のミンコフスキー・ノルムの2乗が定数 テンプレート:Math なので、これを微分する事で テンプレート:Indent である事がわかる。すなわち4元速度と4元加速度は「直交」しているテンプレート:Sfnp。

固有時間による慣性系の特徴付け

変分法を用いる事で、以下の事実を示せる：ミンコフスキー空間上の2つの世界点 テンプレート:Mvar を結ぶ世界線（で光速度未満のもの）のうち、最も固有時間が長くなるのは、テンプレート:Mvar と テンプレート:Mvar を直線的に結ぶ世界線である。

テンプレート:Mvar から テンプレート:Mvar へと直線的に動く観測者は慣性系にいることになるので、これは慣性運動している場合が最も固有時間が長くなる事を意味する。

固有時間が世界線の「長さ」であった事に着目すると、上述した事実は、ユークリッド空間上の二点を結ぶ最短線が直線であることに対応している事がわかる。なお、ユークリッド空間では「最短」であったはずの直線がミンコフスキー空間上では「最大」に変わっているのは、ミンコフスキーノルムの2乗 テンプレート:Math の空間部分がユークリッドノルムの2乗 テンプレート:Math とは符号が反対である事に起因する。

特殊相対性理論における力学

ニュートン力学では、3次元空間のガリレイ変換に対して不変になるように理論が構築されている。それに対し特殊相対性理論では、4次元時空間のローレンツ変換に対して不変になるように理論を構築する必要があるので、ニュートン力学の概念をそのまま用いることはできない。本節では、ニュートン力学の諸概念を「4次元化」し、それがローレンツ変換(と平行移動)に対して不変になることを示すことで特殊相対性理論における力学を構築する。

以下、記法を簡単にするため、4元ベクトルの成分を テンプレート:Indent などと書くことにする。

4元運動量

光速を超えないで運動する質点 テンプレート:Mvar の世界線を テンプレート:Math と秒を単位とした固有時 テンプレート:Mvar でパラメトライズする。このとき、質点 テンプレート:Mvar の4元運動量を

$\overrightarrow{p}:=m\frac{\mathrm{d}\overrightarrow{x}}{\mathrm{d}\tau }$

と定義する。ここで テンプレート:Mvar は質点 テンプレート:Mvar の慣性座標における質量（静止質量と呼ぶ）である。すなわち、4元運動量は、4元速度に静止質量を掛けたものである。

4元運動量の物理学的意味を見るため、慣性座標系 テンプレート:Math を固定し、テンプレート:Mvar をこの座標系に関して テンプレート:Math と成分表示する。

4元運動量の空間成分

テンプレート:Math に対し、4元運動量の定義より、

$p^i=m\frac{\mathrm{d}{x}^i}{\mathrm{d}\tau }=\frac{m\mathrm{d}{x}^i/\mathrm{d}t}{\mathrm{d}\tau /\mathrm{d}t}=\frac{m{v}^i}{\sqrt{1-(v/c{)}^2}}$

である。ここで テンプレート:Math はこの慣性座標系における質点の速度ベクトルであり、テンプレート:Mathである。

テンプレート:Math の極限において テンプレート:Mvar は テンプレート:Math に漸近するので、4元運動量の空間部分 テンプレート:Math はニュートン力学の運動量 テンプレート:Math をローレンツ変換で不変にしたものであるとみなす事ができる。

また、テンプレート:Math は質点の「見かけ上の重さ」テンプレート:Sfnpが

$M:=\frac{m}{\sqrt{1-(v/c{)}^2}}$

である場合の運動量とみなすこともできる。

4元運動量の時間成分

4元運動量の時間成分 テンプレート:Math に テンプレート:Mvar を掛けたものをテイラー展開すると、

$\begin{array}{cc}c{p}^0& =cm\frac{\mathrm{d}{x}^0}{\mathrm{d}\tau }=\frac{m\mathrm{d}{x}^0/\mathrm{d}t}{\mathrm{d}\tau /\mathrm{d}t}\\ & =\frac{m{c}^2}{\sqrt{1-(v/c{)}^2}}=m{c}^2+\frac{m{v}^2}{2}+\cdots \end{array}$

である。

第二項はニュートン力学における運動エネルギーであるので テンプレート:Math はエネルギーに相当していると考えられる。

従って第一項の テンプレート:Indent もエネルギーを表していると解釈できる。この値は質点が例え慣性系に対して静止していて テンプレート:Math であっても持つエネルギーであることから、この値を質点の静止質量エネルギーと呼ぶ。

質量 テンプレート:Math を持つこととエネルギー テンプレート:Math を持つことは等価であり、質量欠損や核反応・対消滅に伴うエネルギー放出・吸収から確かめられている。

エネルギーと運動量の関係

テンプレート:Main 4元運動量のミンコフスキー・ノルムは

$\Vert \frac{\mathrm{d}\overrightarrow{p}}{\mathrm{d}\tau }\Vert =m\Vert \frac{\mathrm{d}\overrightarrow{x}}{\mathrm{d}\tau }\Vert =m\frac{\Vert \mathrm{d}\overrightarrow{x}\Vert }{\mathrm{d}\tau }=m\frac{\mathrm{d}s}{\mathrm{d}\tau }=mc$

である。一方、慣性座標系を1つ固定して4元運動量を成分表示したとき、前に示したように、テンプレート:Math はエネルギーを表し、テンプレート:Math は運動量に対応していた。運動量の大きさを テンプレート:Math とすると、テンプレート:Mvar と テンプレート:Mvar は以下の関係式を満たす：

$(m{c}^2{)}^2=\Vert c\overrightarrow{p}{\Vert }^2=(c{p}^0{)}^2-|c𝒑{|}^2=E^2-(cp{)}^2.$

左辺は慣性系によらないので、テンプレート:Math は慣性系によらず一定値 テンプレート:Math になることを意味する。

テンプレート:Math であれば上の式は

$E=\sqrt{(m{c}^2{)}^2+(cp{)}^2}=m{c}^2+\frac{p^2}{2m}+\cdots$

となりテンプレート:Sfnp、静止質量エネルギー テンプレート:Math を無視すれば、テンプレート:Math が質点の運動エネルギーに相当するというニュートン力学の式に対応していることがわかる。

正の質量を持った質点は光速度以上になれない

光速で移動する有限のエネルギーを持った粒子を考える。この時、テンプレート:Math の テンプレート:Mvar が無限大に発散してしまうので、テンプレート:Math でなければならない。この逆も成立するため、質量を持たずに有限のエネルギーを持つ物質は常に光速で走り続けねばならず、また光速で移動するエネルギーを持つ物質はすべて質量が0であることが分かる。

特殊相対性理論以前の解釈

特殊相対性理論以前の電磁気学において、J.J.トムソンやテンプレート:仮リンクによって電子の質量の速さ依存性が指摘されていた。それを説明する理論としてマックス・アブラハムは、電子の慣性質量の起源を全て電磁場に求めるという電磁質量概念テンプレート:Enlinkを提唱したが、電子以外の物質の構成要素に対して一般化することができなかった。

一方、特殊相対性理論はその物質の質量の速さ依存性についての一般的な説明と慣性質量とエネルギーに関する普遍的な関係を与えるテンプレート:Refnest。

運動方程式

すでに運動量の概念を4元ベクトル化したので、力の概念を4元ベクトル化した4元力 テンプレート:Mvar が定義できれば、 ニュートンによる質点の運動方程式 テンプレート:Math をローレンツ変換に不変にした特殊相対性理論の運動方程式

$\overrightarrow{f}=m\frac{\mathrm{d}\overrightarrow{p}}{\mathrm{d}t}$

が定式化できる。

現在知られている4種類の力のうち、電磁気力、強い力、弱い力の3つは4元力として表現可能な事が知られているテンプレート:Sfnp。このうち電磁気力を4元力として表現する方法は後の節で述べる。

一方、重力は特殊相対性理論の範囲で4元ベクトル化しようとしてもローレンツ変換に対して不変にならないためうまくいかないテンプレート:Sfnp。重力を扱うには一般相対性理論が必要となる。

特殊相対性理論の帰結

特殊相対性理論から導かれる帰結として、たとえば、主に以下の事項を挙げることができる。項目ごとの詳細は後述する。

• ある観測者（A, Bとする）が有限の速度差をもって互いに運動（相対運動）するとき、一方の観測者Aから観測したもう一方の観測者Bの時計の時刻の遅れが生じる。このずれの大きさは相対運動の速さによる(#時間（時刻の隔たり）の伸び)。この観測のずれはまさに「相対的」であり、もう一方の観測者Bから観測者Aの持つ時計を観測しても遅れを認めることができる。観測者AとBは等価であり、双方が双方の時計に（自身の持つ時計と比べて）遅れが生じていると観測できる。（「観測者Aと観測者Bのどちらかの時計が誤りである」あるいは「観測者Aでも観測者Bでもない”絶対時間”を指す正しい時計が存在する」、といった考え方を特殊相対性理論は放棄している）
• 相対運動する物体どうしは、互いに相手からは縮んで見える（#ローレンツ収縮）。これも上記の考え方に類似であり、どちらかの観測者のモノサシが誤っていたり、”絶対空間”にある正しいモノサシは存在したりはしない。
• エネルギーと質量は可換であり、観測者・観測対象の運動状態によって（座標変換によって）双方は相互に変換される。
• 速度の合成則は非線形接続である。たとえば、観測者に対して光速の0.6倍で動く宇宙船から、（宇宙船からみて）光速の0.6倍で物体を進行方向に射出しても、観測者から見た宇宙船からの射出部隊の速度は光速の1.2倍にはならない。(#速度の合成則)
• 運動する物体は高速になるほど加速しづらくなり、光速に到達することはない。

次の事柄は、特殊相対性理論の前提あるいは理論展開(#特殊相対性理論の基礎)するところそのものである。特殊相対論によって座標変換に関して対称な簡潔な数式系にまとめられることができたこと、さらに、後に実験事実として得た諸結果が特殊相対性理論によく整合したことから、物理の基本原理として、これらはより支持されるようになった（#特殊相対性理論の実験的検証）。

• 光の速度は観測者の移動の影響を受けず一定値である。
• 慣性系相互の座標変換において、物理法則を普遍に保つ変換則はローレンツ変換である。
• マクスウェル方程式は修正する必要はない。

ローレンツ収縮

ローレンツ収縮。図では時間 テンプレート:Mvar を テンプレート:Mvar で表している。慣性系 テンプレート:Mvar に固有長さが テンプレート:Mvar の棒（テンプレート:Mvar 軸の濃い紫）があり、この棒の時空間上の軌跡が薄紫である。それを別の慣性系 テンプレート:Mvar で計ると長さが テンプレート:Math に縮んで見える。ここで テンプレート:Mvar はローレンツ因子 テンプレート:Math である。慣性系 テンプレート:Mvar と慣性系 テンプレート:Mvar とでは棒の測っている箇所が違うことに注意。図の双曲線は原点からの世界距離の2乗 テンプレート:Math が テンプレート:Math になる箇所。

以下では話を簡単にするため時間1次元+空間1次元の計2次元の場合について述べる。

ある慣性系 テンプレート:Math において静止している剛体について、この慣性系 テンプレート:Math で測った剛体の長さをこの剛体の固有長さと呼ぶ。

今、固有長さ テンプレート:Mvar の棒が慣性系 テンプレート:Math に対して静止しており、これを別の慣性系 テンプレート:Math から眺めたとする。話を簡単にするため、2つの慣性系の原点はいずれも棒の1つの端点 テンプレート:Math に一致しているものとする。

棒は慣性系 テンプレート:Math に対して静止しているので、棒の他方の端点が描く世界線 テンプレート:Math は テンプレート:Math と テンプレート:Mvar でパラメトライズできる。

慣性系 テンプレート:Math における現在 テンプレート:Math と世界線 テンプレート:Math との交わりはローレンツ変換により

$\left(\begin{array}{c}c{t}^{\prime }\\ l\end{array}\right)=\gamma \left(\begin{array}{c}c\cdot 0+x\cdot (v/c)\\ x-v\cdot 0\end{array}\right)$

なので、棒の長さは テンプレート:Indent となる。ここで テンプレート:Math はローレンツ因子 テンプレート:Math である。

これにしたがうと、棒に対して長さ方向に運動している座標系からみると、棒の長さは テンプレート:Math 倍に縮んだかのように見える。この現象を ローレンツ収縮テンプレート:Sfnpテンプレート:Sfnpもしくはフィッツジェラルド=ローレンツ収縮という。

ロケット（宇宙船）

地上で（地面に対して）静止している観測者からみて、高速で飛んでいるロケットは（地上に）停まっているときよりも短く見える（進行方向に収縮している）。

地上から上空へ向かうロケットを地上から観測したとき、ロケットの後端に設置した時計は、ロケットの先端に設置した時計よりずれが大きい。このとき、ロケットに乗る観測者からすれば、ロケットの速度での運動座標系において、ロケットの後端と先端の時計が刻む時刻は同時に見える。

なお、実際にはロケットが観測者にどのように見えるかという点については、特殊相対性理論による時刻・座標のずれに加えて、ロケット各部からの光の到達時刻を加味する必要がある（これを考慮に入れた場合、さらに歪んだ見え方となりうる）

ローレンツ自身の解釈との違い

ローレンツ収縮は、アインシュタインが特殊相対性理論を提案する以前に、ローレンツとフィッツジェラルドが独立に提案したものである。彼らの提案は、数式上は特殊相対性理論のそれと同一であるが、彼らの理論はエーテル仮説を前提としており、物体は「エーテルの風」を受けて3次元空間内で実際に縮むテンプレート:Sfnpとするものであった。すなわち、あくまでも彼らは「エーテルが静止している絶対空間がある」という考えのもとに立っていた。

それに対して、特殊相対性理論では、ローレンツ収縮を4次元時空間の各観測者ごとの座標系において解釈したものであり、絶対空間や絶対時間の存在を前提としない。前述のように慣性系によって測っている場所が違う事が収縮の起こる原因である。

時間（時刻の隔たり）の伸び

運動する観測者 A があり、A とは別の観測者 B が慣性運動し、A 側の座標系 テンプレート:Math にて B の位置が、

テンプレート:Math

と書けるとき、

$\mathrm{d}{s}^2=(c\mathrm{d}t{)}^2-\mathrm{d}{x}^2-\mathrm{d}{y}^2-\mathrm{d}{z}^2$

というローレンツ変換について不変な量 テンプレート:Mvar をとり、A側の固有時刻を テンプレート:Math とする。

$c^2{\left(\frac{\mathrm{d}\tau }{\mathrm{d}t}\right)}^2={\left(\frac{\mathrm{d}s}{\mathrm{d}t}\right)}^2=c^2-{\left(\frac{\mathrm{d}x}{\mathrm{d}t}\right)}^2-{\left(\frac{\mathrm{d}y}{\mathrm{d}t}\right)}^2-{\left(\frac{\mathrm{d}z}{\mathrm{d}t}\right)}^2=c^2-v^2$

であることより テンプレート:Indent である。右辺はローレンツ因子 テンプレート:Math の逆数である。これを観測者 A の世界線 C に沿って積分すると テンプレート:Indent により、A 側の固有時間 テンプレート:Mvar が得られる。ここで テンプレート:Math は時刻 テンプレート:Mvar における A と B の相対速度である。

テンプレート:Math ゆえ、積分内は常に1未満であり、慣性系B側の時間 テンプレート:Mvar との関係は次式となる： テンプレート:Indent これはすなわち、ある慣性系でみたときの時間は固有時間よりも長い事を意味する。

特に観測者 A も慣性運動しているときは、相対速度 テンプレート:Mvar は常に一定であり、次式となる： テンプレート:Indent

速度の合成則

観測者 テンプレート:Math、テンプレート:Math が慣性運動しており、さらに質点 テンプレート:Math が運動しているとする（慣性運動とは限らない）。

観測者 テンプレート:Math の座標系を テンプレート:Math とし、観測者 テンプレート:Math の座標系を テンプレート:Math とし、テンプレート:Math から見た テンプレート:Math の相対速度の大きさを テンプレート:Mvar とし、

$\gamma =1/\sqrt{1-(V/c{)}^2}$

をローレンツ因子とする。

必要ならミンコフスキー空間の原点を取り替えることで テンプレート:Math は原点を通っているとしてよく、さらに テンプレート:Math の運動方向は テンプレート:Mvar軸、テンプレート:Mvar軸と直交しているとし、テンプレート:Mvar軸、テンプレート:Mvar軸がテンプレート:Mvar軸、テンプレート:Mvar軸と一致しているとしても一般性を失わない。

観測者 テンプレート:Math、テンプレート:Math から見た テンプレート:Math の速度をそれぞれ テンプレート:Math、テンプレート:Math とするとき、テンプレート:Math の座標系から テンプレート:Math の座標系への速度変換則は、ローレンツ変換のテンプレート:EquationNote式より以下のようになる：

$\begin{array}{cc}(v{\text{'}}_x,v{\text{'}}_y,v{\text{'}}_z)& =\frac{c(\mathrm{d}{x}^{\prime },\mathrm{d}{y}^{\prime },\mathrm{d}{z}^{\prime })}{c\mathrm{d}{t}^{\prime }}\\ & =\frac{c(\gamma (\mathrm{d}x-v\mathrm{d}t),\mathrm{d}y,\mathrm{d}z)}{\gamma (c\mathrm{d}t+(v/c)\mathrm{d}x)}\\ & =\frac{(v_x-V,v_y/\gamma ,v_z/\gamma )}{1+V{v}_x/c^2}.\end{array}$

因果律、同時性の相対性

本節では、質点の速度が光速を越えない限り、特殊相対性理論においても因果律が成り立つことを示す。以下、特に断りがない限り、質点、観測者の双方とも光速度以下であるものとする。

テンプレート:Mvar をミンコフスキー空間上の2つの世界点とする。テンプレート:Math が未来の光円錐の内部にあるとき、テンプレート:Mvar は テンプレート:Mvar の因果的過去 (causally precede) といい、テンプレート:Math と書く。同様に テンプレート:Math が未来の光円錐の内部もしくは未来の光円錐上にあるとき、テンプレート:Mvar は テンプレート:Mvar の年代的過去 (chronologically precede) といい、テンプレート:Math と書く。

因果的過去は以下のように特長づけられる： テンプレート:Indent よって特に以下が成立する： テンプレート:Indent 従って「≦」は数学的な（半）順序の公理を満たす。

以下の事実は、質点の速度が光速を越えない限り座標系の取り替えで因果律が破綻しない事を意味している： テンプレート:Indent

実際、どのような慣性座標系を選んでも、その時間軸 テンプレート:Math は未来の光円錐内または未来の光円錐上にあるので、テンプレート:Mvar ≦ テンプレート:Mvar であれば、テンプレート:Mvar から テンプレート:Mvar までに流れる時間 テンプレート:Math は正である。

一方、テンプレート:Mvar ≦ テンプレート:Mvar でも テンプレート:Mvar ≦ テンプレート:Mvar でもないとき、すなわち テンプレート:Math が空間的なときはこのような関係は成り立たない。テンプレート:Math が空間的なとき、以下の3種類の慣性座標系が存在する：

1. テンプレート:Mvar が テンプレート:Mvar より後に起こる
2. テンプレート:Mvar と テンプレート:Mvar が同時に起こる
3. テンプレート:Mvar が テンプレート:Mvar より先に起こる

すなわち空間的な関係にある2点 テンプレート:Mvar、テンプレート:Mvar の時間的な順序関係は慣性系に依存してしまう。これはニュートン力学的な直観に反するが、テンプレート:Mvar と テンプレート:Mvar には因果関係がないので、どちらが先に起ころうとも因果律が破綻することはないテンプレート:Sfnp。

時計のパラドックス

今、ここに一組の双子がおり、二人は慣性運動しながら次第に離れているとする。このとき兄から見ると、弟の時計は遅れてみえ、逆に弟から見ると兄の時計は遅れてみえる事が特殊相対性理論から帰結される。

これは一見奇妙に見えるため、時計のパラドックスと呼ばれることもあるがテンプレート:Sfnp、実は特に矛盾している訳ではない。なぜなら慣性運動している二人は二度と出会うことがないので、もう一度再会してどちらの時計が遅れているのかを確認するすべはないからである。

双子のパラドックス

テンプレート:Main では次の状況はどうだろうか。やはり一組の双子がいて、弟は慣性運動している。一方、兄はロケットに乗って遠方まで行き、その後ロケットで弟のもとに帰ってきたとする。前述のように弟からみれば兄の時計は遅れるはずで、兄の時計からみれば弟の時計は遅れるはずなので、ふたりが再会したときに矛盾が生じるはずである。

結論からいえば、特殊相対性理論から示されるのは、ロケットに乗った兄より慣性運動していた弟の方が再会時に時計が進んでいるという事である。すなわち再会時に兄が弟よりも若いテンプレート:Sfnp。

なぜならミンコフスキー空間上で、兄がロケットで飛び立ったときの世界点を テンプレート:Mvar とし、兄が再び弟に再会したときの世界点を テンプレート:Mvar とすると、テンプレート:Mvar と テンプレート:Mvar を結ぶ世界線のうち最も固有時間が長くなるのは慣性運動する世界線であることをすでに示したからである。従って慣性運動していた弟はロケットに乗った兄より多くの固有時間を費やした事になるのであるテンプレート:Sfnp。

では逆に弟のほうが兄より若くなったとする主張のどこが間違っていたのかというと、我々が時間の縮みの公式を導いたとき、慣性系である事を仮定していたのであるが、兄の座標系はロケットが行きと帰りで向きを変える際加速度運動しているので慣性系ではないテンプレート:Sfnp。従って兄の座標系に対して単純に時間の縮みの公式を適応したのが間違いだったのであるテンプレート:Sfnp。

ガレージのパラドックス

テンプレート:Main 今、長さ テンプレート:Mvar のハシゴ と奥行き テンプレート:Math のガレージがあるとし、ハシゴは高速でガレージに近づいてきたとする。ガレージが静止して見える慣性系から見ると、ハシゴがローレンツ収縮するので、ハシゴはガレージに入ってしまう。一方、ハシゴが静止して見える慣性系からみると、逆にガレージの方がローレンツ収縮してしまうので、ハシゴはガレージに入らないはずである。正しいのはどちらであろうか。

結論からいうと、どちらも正しく、ガレージの系から見た場合は、ハシゴはガレージに入るように見え、ハシゴの系から見るとハシゴはガレージに入らないように見える。すなわち、ハシゴの前端と後端に関する事象を区別して述べれば、ガレージの静止系ではハシゴの後端がガレージに入りきった後、ハシゴの前端がガレージの裏の壁にぶつかるのに対し、ハシゴの静止系ではハシゴがガレージに入り切らず、ハシゴの後端がガレージに入る前にハシゴの前端がガレージの裏壁にぶつかる。ハシゴの前端がガレージの裏壁にぶつかる事象とハシゴの後端がガレージに入りきる事象には因果関係がないので、どちらが先に起こるのかは慣性系によって変化するのである。

テンソル代数の準備

先に進む前に、特殊相対性理論で頻繁に用いられるテンソル代数の知識について述べる。

アインシュタインの縮約記法

テンプレート:Main 特殊相対性理論では、

$\sum _{\mu }{a}^{\mu }{b}_{\mu }$

のように上つきと下つきで同じ添え字（この場合は テンプレート:Mvar）が使われているときは、テンプレート:Math 記号を省略し、

$a^{\mu }{b}_{\mu }$

と書き表す慣用的な記法が用いられることが多い。この記法をアインシュタインの縮約記法という。

この縮約記法は行列の積や3項以上の場合にも同様に用いられ、例えば

$\sum _{\kappa ,\tau }{a}^{\mu }{}_{\kappa }{b}^{\kappa }{}_{\tau }{c}^{\tau }{}_{\nu }$

は

$a^{\mu }{}_{\kappa }{b}^{\kappa }{}_{\tau }{c}^{\tau }{}_{\nu }$

と略す。

一方、たとえ2箇所の添え字が共通していても、

$\sum _{\mu }{a}_{\mu }{b}_{\mu }$、$\sum _{\nu }{c}^{\nu }{d}^{\nu }$

のように添え字が両方下つき、もしくは両方上つきの場合は テンプレート:Math を省略しない。

双対基底

テンプレート:Math を4次元ミンコフスキー空間とし、テンプレート:Math を テンプレート:Math 上の（正規直交とは限らない）基底とする。このとき、以下の性質を満たす テンプレート:Mvar の基底 テンプレート:Math が一意に存在する事が知られており、この基底を テンプレート:Math の双対基底というテンプレート:R：

任意の テンプレート:Math に対し、$\eta ({\overrightarrow{e}}^{\mu },{\overrightarrow{e}}_{\nu })={\delta }^{\mu }{}_{\nu }.$

ここで ${\delta }^{\mu }{}_{\nu }$ はクロネッカーのデルタである。

正規直交基底の場合は双対基底は非常に簡単に書くことができる：

$({\overrightarrow{e}}^0,{\overrightarrow{e}}^1,{\overrightarrow{e}}^2,{\overrightarrow{e}}^3)=({\overrightarrow{e}}_0,-{\overrightarrow{e}}_1,-{\overrightarrow{e}}_2,-{\overrightarrow{e}}_3).$

上でも分かるように、双対基底は元の基底と空間方向の向きが反対である。

本項では正規直交の場合にしか双対基底の概念を用いないが、一般相対性理論を定式化する際には一般の基底に対する相対基底が必要となる為、以下基底は正規直交とは限らない場合について述べる。

双対基底はミンコフスキー計量の成分表示を使って具体的に求めることができる。

${\eta }_{\mu \nu }=\eta ({\overrightarrow{e}}_{\mu },{\overrightarrow{e}}_{\nu })$

とするとき、テンプレート:Math の逆行列を テンプレート:Math とすれば、

${\overrightarrow{e}}^{\mu }=({\eta }^{-1}{)}^{\mu \xi }{\overrightarrow{e}}_{\xi }$

である。実際、

$\eta ({\overrightarrow{e}}^{\mu },{\overrightarrow{e}}_{\nu })=({\eta }^{-1}{)}^{\mu \xi }\eta ({\overrightarrow{e}}_{\xi },{\overrightarrow{e}}_{\nu })=({\eta }^{-1}{)}^{\mu \xi }{\eta }_{\xi \nu }={\delta }^{\mu }{}_{\nu }$

である。

双対基底の定義から、次が成立する： テンプレート:Indent

以下の議論では、「通常の」基底 テンプレート:Math を一組固定し、テンプレート:Math をその双対基底とする。しかし上の定理でもわかるように、どちらの基底を「通常の」基底とみなし、どちらを双対基底とみなすのかは任意である。本項では、空間方向が右手系のものを通常の基底とみなし、左手系のものをその双対基底とみなすことにする。

共変性と反変性

テンプレート:Main テンプレート:Mvar の元 テンプレート:Mvar を基底 テンプレート:Math で表す場合、テンプレート:Mvar の各成分の添え字を

$\overrightarrow{a}=a^{\mu }{\overrightarrow{e}}_{\mu }$

のように上つきに書く（アインシュタインの縮約で表記）。一方、テンプレート:Mvar を テンプレート:Math の双対基底 テンプレート:Math を用いて表す場合、テンプレート:Mvar の各成分の添え字を

$\overrightarrow{a}=a_{\mu }{\overrightarrow{e}}^{\mu }$

のように下つきに書く。明らかに

$a^{\mu }=\eta (\overrightarrow{a},{\overrightarrow{e}}^{\mu }),a_{\mu }=\eta (\overrightarrow{a},{\overrightarrow{e}}_{\mu })$

である。また正規直交基底の場合は明らかに

$(a^0,a^1,a^2,a^3)=(a_0,-a_1,-a_2,-a_3)$

が成立する。

テンプレート:Mvar の2つの元 テンプレート:Mvar、テンプレート:Mvar のミンコフスキー内積をとるとき、一方を基底 テンプレート:Math で表し、他方をその双対基底で表すと、

$\eta (\sum _{\mu }{a}^{\mu }{\overrightarrow{e}}_{\mu },\sum _{\nu }{b}_{\nu }{\overrightarrow{e}}^{\nu })=a^0{b}_0+a^1{b}_1+a^2{b}_2+a^3{b}_3=a^{\mu }{b}_{\mu }$

と通常の内積のように書け、ミンコフスキー内積特有の符号の煩わしさから解放されるので便利である。

基底を一つ指定したとき、テンプレート:Mvar は添え字 テンプレート:Mvar に対し反変、テンプレート:Mvar は添え字 テンプレート:Mvar に対し共変であるという。これらの名称は、基底を取り替えた際の成分の変化に由来する。すなわち、ミンコフスキー空間上にもう1組の基底 テンプレート:Math を用意し、基底の間の座標変換が成分表示で

テンプレート:Math

と書けていたとすると4元ベクトル テンプレート:Math の反変成分 テンプレート:Math は、

テンプレート:Math

という関係になるので、ダッシュつきの座標系にうつるとき、基底とは反対に テンプレート:Math の逆行列で結ばれる。それゆえ、「反対の変化」、すなわち反変と呼ばれる。

一方、基底の変更に対する共変成分の変化を見るため、双対基底が基底の変更でどのような影響を受けるか調べる。

テンプレート:Math

とすると、

${\delta }^{\mu }{}_{\nu }=\eta (\overrightarrow{e}{\text{'}}^{\mu },\overrightarrow{e}{\text{'}}_{\nu })={\mathrm{\Gamma }}^{\mu }{}_{\xi }{\mathrm{\Lambda }}^{\kappa }{}_{\nu }\eta ({\overrightarrow{e}}^{\xi },{\overrightarrow{e}}_{\kappa })$ $={\mathrm{\Gamma }}^{\mu }{}_{\xi }{\mathrm{\Lambda }}^{\kappa }{}_{\nu }{\delta }^{\xi }{}_{\kappa }={\mathrm{\Gamma }}^{\mu }{}_{\xi }{\mathrm{\Lambda }}^{\xi }{}_{\nu }$

すなわち、テンプレート:Math は テンプレート:Math の逆行列 テンプレート:Math であるので、双対基底は

テンプレート:Math

という変換規則に従うことがわかる。よって4元ベクトル テンプレート:Mvar の共変成分 テンプレート:Math は、

テンプレート:Math

という関係になるので、ダッシュつきの座標系にうつるとき、基底と共通の行列 テンプレート:Math で結ばれる。それゆえ、「共通の変化」、すなわち共変と呼ばれる。

テンソル

本節ではテンソルに関する基本的な知識を紹介する。ただし本節での解説はミンコフスキー空間 テンプレート:Mvar 上に限定したものであるので、一般の空間で成り立つとは限らないテンプレート:R。

テンプレート:Mvar を自然数とする。写像 $T:V^n\to ℝ$ が以下の性質（多重線形性）を満たすとき、テンプレート:Mvar をテンプレート:Mvar次のテンソルという：

テンプレート:Mvar の任意の4元ベクトル テンプレート:Mvar と任意の実数 テンプレート:Mvar に対し、

$\begin{array}{cc}& T(\sum _{{\nu }_1}{k}_{{\nu }_1}^1{\overrightarrow{a}}_{{\nu }_1}^1,\dots ,\sum _{{\nu }_n}{k}_{{\nu }_n}^n{\overrightarrow{a}}_{{\nu }_n}^n)\\ & =\sum _{{\nu }_1,\dots ,{\nu }_n}{k}_{{\nu }_1}^1\cdots k_{{\nu }_n}^{n}T({\overrightarrow{a}}_{{\nu }_1}^1,\dots ,{\overrightarrow{a}}_{{\nu }_n}^n).\end{array}$

特殊相対性理論で重要なのは主に2次のテンソルであるので、以下2次のテンソルに話を限定するが、一般の場合も同様である。なお、2次のテンソルは数学で二次形式と呼ばれるものと同一である。

2次のテンソル テンプレート:Mvar に対し、

$T(\overrightarrow{a},\overrightarrow{b})=T(\overrightarrow{b},\overrightarrow{a})$

が全ての4元ベクトル テンプレート:Mvar、テンプレート:Mvar に対して成り立つとき、テンプレート:Mvar を対称テンソルという。また

$T(\overrightarrow{a},\overrightarrow{b})=-T(\overrightarrow{b},\overrightarrow{a})$

が全ての4元ベクトル テンプレート:Mvar、テンプレート:Mvar に対して成り立つとき、テンプレート:Mvar を反対称テンソルという。

成分表示

テンプレート:Mvar をミンコフスキー空間上の2次のテンソルとし、テンプレート:Math をミンコフスキー空間の基底とし、テンプレート:Math をその双対基底とする。このとき、上述の基底や相対基底を使って テンプレート:Mvar を4通りに成分表示する事が可能である：

$\begin{array}{cc}{T}_{\mu \nu }& =T({\overrightarrow{e}}_{\mu },{\overrightarrow{e}}_{\nu }),\\ T^{\mu }{}_{\nu }& =T({\overrightarrow{e}}^{\mu },{\overrightarrow{e}}_{\nu }),\\ T_{\mu }{}^{\nu }& =T({\overrightarrow{e}}_{\mu },{\overrightarrow{e}}^{\nu }),\\ T^{\mu \nu }& =T({\overrightarrow{e}}^{\mu },{\overrightarrow{e}}^{\nu }).\end{array}$

4元ベクトル テンプレート:Mvar, テンプレート:Mvar を

$\overrightarrow{a}=a^{\mu }{\overrightarrow{e}}_{\mu }=a_{\mu }{\overrightarrow{e}}^{\mu }$

$\overrightarrow{b}=b^{\nu }{\overrightarrow{e}}_{\nu }=b_{\nu }{\overrightarrow{e}}^{\nu }$

と成分表示する（アインシュタインの縮約で表記）と、 テンプレート:Indent が成立する。

上述の4通りの成分表示において、テンプレート:Mvar は上付きの添え字に対し反変、下付きの添え字に対し共変であるという。

4元ベクトルの場合と同様、基底を別のものに取り替えたとき テンプレート:Mvar の各成分は、反変の添え字に関しては基底変換行列の逆行列が、共変の添え字に関しては基底変換行列そのものが作用する。例えば

テンプレート:Math

とすると

テンプレート:Math

なので、ダッシュつきの基底に関する成分 テンプレート:Math は

$T{\text{'}}^{\mu }{}_{\nu }=T(\overrightarrow{e}{\text{'}}^{\mu },\overrightarrow{e}{\text{'}}_{\nu })=T({\overrightarrow{e}}^{\xi },{\overrightarrow{e}}_{\kappa })({\mathrm{\Lambda }}^{-1}{)}_{\xi }{}^{\mu }{\mathrm{\Lambda }}^{\kappa }{}_{\nu }=T^{\xi }{}_{\kappa }({\mathrm{\Lambda }}^{-1}{)}_{\xi }{}^{\mu }{\mathrm{\Lambda }}^{\kappa }{}_{\nu }$

と、上付きの添え字には反変、下付の添え字には共変に変化する。

ミンコフスキー計量の成分表示

ミンコフスキー計量 テンプレート:Mvar も二次の対称テンソルであるので、上述のように成分表示できる。

基底が正規直交であれば、ミンコフスキー計量の成分表示は非常に簡単になり、

$({\eta }_{\mu \nu }{)}_{\mu \nu }=({\eta }^{\mu \nu }{)}_{\mu \nu }=\left(\begin{array}{cccc}1& & & \\ & -1& & \\ & & -1& \\ & & & -1\end{array}\right),$

$({\eta }_{\mu }{}^{\nu }{)}_{\mu \nu }=({\eta }^{\mu }{}_{\nu }{)}_{\mu \nu }=\left(\begin{array}{cccc}1& & & \\ & 1& & \\ & & 1& \\ & & & 1\end{array}\right).$

のように書くことができる。

2次のテンソルと線形写像

ミンコフスキー空間上の線形写像 テンプレート:Math が与えられたとき、2次のテンソルを テンプレート:NumBlk と定義できる。

逆にミンコフスキー空間上の2次のテンソル テンプレート:Mvar が任意に与えられたとき、テンプレート:EquationNote式を満たす線形写像 テンプレート:Mvar が一意に存在する事が知られている。従って2次のテンソルと線形写像を自然に同一視できる。

2次のテンソル テンプレート:Mvar に対応する線形写像は基底 テンプレート:Math を用いると、下記のように具体的に書き表す事もできる：

$a^{\mu }{\overrightarrow{e}}_{\mu }\mapsto T^{\nu }{}_{\mu }{a}^{\mu }{\overrightarrow{e}}_{\nu }.$

テンソル場

ミンコフスキー空間上の各世界点 テンプレート:Mvar にテンソル テンプレート:Mvar を割り振ったもの（すなわちミンコフスキー空間からテンソルの集合への写像 テンプレート:Mvar）をテンソル場という。

相対性理論でテンソル場は中核に位置する概念であり、電磁場を初めとして様々なものをテンソル場として表現する。

特殊相対性理論における電磁気学

本節では、電磁気学の基本的な概念や方程式を特殊相対性理論に合致する形に書き換える。

以下、慣性系

$(x^0,x^1,x^2,x^3),x^0=ct$

を1つ固定し、この慣性系において電磁気学を記述する。詳細は省くが、本節の記述は、他の慣性系で電磁気学を記述したものとローレンツ変換で移りあう事を確認できるので、特殊相対性理論に合致している。

なお、本項では国際単位系を用いる場合に対して記述したが、テンプレート:Harvtxtなどテンプレート:仮リンクを用いている書籍における定義とは光速度 テンプレート:Mvar のかかる位置が違うなどの差があるので注意が必要である。

4元電流密度と連続の方程式

電荷密度 テンプレート:Mvar と電流密度 テンプレート:Math を使って、4元電流密度を、

$(j^0,j^1,j^2,j^3):=(c\rho ,j_x,j_y,j_z)$

によって定義する。

すると連続の方程式

$\frac{\partial \rho }{\partial t}+\mathrm{\nabla }\cdot 𝒋=0$

は、4元電流密度とテンプレート:仮リンク (4–gradient) テンプレート:Math を用いて

${\partial }_{\nu }{j}^{\nu }=0$

と表現できる。ここで テンプレート:Mvar は テンプレート:Math の略記である。

電磁テンソル

真空の誘電率、透磁率をそれぞれ テンプレート:Math とすると、マクスウェル方程式により導かれる電磁波の速度 テンプレート:Math が真空中の光速度と一致する事が実験・観測により確かめられたので、光の正体は電磁波であると考えられるようになった。この事実から、

$c=\frac{1}{\sqrt{{\mu }_0{\epsilon }_0}}$

である。

さらに電場 テンプレート:Math と磁束密度 テンプレート:Math を用いて電磁テンソルを

$(F^{\alpha \beta }{)}_{\alpha \beta }:=\left(\begin{array}{cccc}0& -E_x/c& -E_y/c& -E_z/c\\ E_x/c& 0& -B_z& B_y\\ E_y/c& B_z& 0& -B_x\\ E_z/c& -B_y& B_x& 0\end{array}\right)$

により定義する。

電磁場を別の慣性系から見た場合、電場と磁束密度がそれぞれ テンプレート:Math と テンプレート:Math であったとし、これらから作った電磁テンソルを テンプレート:Math とする。

テンプレート:Math と テンプレート:Mvar がローレンツ・ブーストテンプレート:EquationNote式で移りあう為の必要十分条件は、

$\begin{array}{cc}(E{\text{'}}_x,B{\text{'}}_x)& =(E_x,B_x),\\ (E{\text{'}}_y,B{\text{'}}_y)& =\gamma (E_y-|𝒗|B_z,B_y+|𝒗|E_z/c^2),\\ (E{\text{'}}_z,B{\text{'}}_z)& =\gamma (E_z+|𝒗|B_y,B_z-|𝒗|E_y/c^2)\end{array}$

が成立する事である事を簡単な計算で確認できるテンプレート:Sfnpテンプレート:Sfnp。ここで テンプレート:Mvar は2つの慣性系の間の相対速度で、テンプレート:Math はローレンツ因子である。

非相対論的極限 テンプレート:Math では テンプレート:Math なので、上述の条件式は、古典電磁気学で知られている慣性系間の変換公式

$\begin{array}{c}{𝑬}^{\prime }=𝑬+𝒗\times 𝑩,\\ {𝑩}^{\prime }=𝑩-𝒗\times 𝑬/c^2\end{array}$              テンプレート:EquationRef

に一致する。

よって電磁テンソルはローレンツ変換に対して共変であると結論づけられる。

相対性理論以前の解釈

特殊相対性理論以前のマックスウェル方程式の解釈には非対称性があった。例えば磁石を固定されたコイルに近づけた場合は電磁誘導により電流が流れると解釈されるが、逆にコイルを固定された磁石に近づけた場合はローレンツ力で電子が動かされることにより電流が流れると解釈された。今日的な視点から見れば、これら2つのケースは単なる慣性系の取り替えに過ぎないにも関わらず、両者の解釈が異なるのは不自然である。事実、流れる電流の量はどちらのケースであっても同一であり、磁石とコイルの相対速度だけで決まる。

このような非対称な解釈になったのは、当時は電場と磁束密度は完全に別概念であったことによる。テンプレート:EquationNote式も、今日の目から見ると電場と磁束密度を電磁テンソルという同一のテンソルとしてまとめるべき事を示唆しているように見えるが、当時はテンプレート:EquationNote式の第二項はあくまでも「仮想的な」電場や磁束密度の効果であるとみなされた。

上述したような理論の非対称性の解消に関心のあったテンプレート:Sfnpアインシュタインは、特殊相対性理論によりこの非対称性を解消したテンプレート:R。

マクスウェル方程式

電磁テンソルによる表現

すでに電磁テンソルがローレンツ変換に対して共変であることを示したので、マクスウェル方程式を電磁場テンソルで表せば、マクスウェル方程式もローレンツ変換に対して共変であることを示せる。

電磁テンソルと4元電流密度を使うとマクスウェル方程式の2式

$\begin{array}{cc}\mathrm{\nabla }\cdot 𝑬& =\frac{\rho }{{ϵ}_0}\\ \mathrm{\nabla }\times 𝑩-\frac{1}{c^2}\frac{\partial 𝑬}{\partial t}& ={\mu }_0𝒋\end{array}$

はいずれも

${\partial }_{\alpha }{F}^{\alpha \beta }={\mu }_0{j}^{\beta }$

と同一の形で表現でき、残りの2式

$\begin{array}{cc}\mathrm{\nabla }\cdot 𝑩& =0\\ \frac{\partial 𝑩}{\partial t}+\mathrm{\nabla }\times 𝑬& =0\end{array}$

はいずれも

${\partial }_{\gamma }{F}_{\alpha \beta }+{\partial }_{\alpha }{F}_{\beta \gamma }+{\partial }_{\beta }{F}_{\gamma \alpha }=0$（テンプレート:Math は相異なる）

と同一の形で表現できる。なお、リッチ計算の記法を用いると、上の式は

${\partial }_{[\alpha }{F}_{\beta \gamma ]}=0$

とも表記できる。

マクスウェル方程式は微分形式と外微分を用いるとさらに簡潔に表現できる事が知られているが、微分形式に関する予備知識を必要とするので本節では述べない（マクスウェル方程式#微分形式による表現を参照）。

4元ポテンシャルによる表現

電磁場には必ず以下の条件をみたす組 テンプレート:Mvar（電磁ポテンシャル）が存在する事が知られている

$𝑩=\mathrm{rot}𝑨$、$𝑬=-\mathrm{grad}\varphi -\frac{\partial 𝑨}{\partial t}$               テンプレート:EquationRef

本節では、電磁ポテンシャルの4元ベクトル版である4元ポテンシャル テンプレート:Indent を用いる事で、マクスウェル方程式を表現する。

1つの電磁場に対しテンプレート:EquationNote式を満たす電磁ポテンシャルは一意ではない事が知られている。そこでローレンツ共変性を損ねない形で電磁ポテンシャルを制限するため、4元勾配を使った以下の条件（ローレンツ・ゲージ）を課す： テンプレート:Indent このとき、マクスウェル方程式は4元電流密度を用いて テンプレート:Indent という一本の式で書き表せる。ここで

$◻:=\frac{1}{c^2}\frac{{\partial }^2}{\partial t^2}-\frac{{\partial }^2}{\partial x^2}-\frac{{\partial }^2}{\partial y^2}-\frac{{\partial }^2}{\partial z^2}$

はダランベルシアンである。

ローレンツ力と運動方程式

今、電荷 テンプレート:Mvar を持った質点があるとし、この質点の4元速度を テンプレート:Mvar とし、テンプレート:Mvar の反変成分を テンプレート:Math とする。このとき、この質点が電磁場から受ける4元力を、電磁場テンソル テンプレート:Math を用いて テンプレート:Indent によって定義すると、この4元力からできる質点の運動方程式は

$\frac{\mathrm{d}{p}^{\alpha }}{\mathrm{d}\tau }=q{F}^{\alpha \beta }{u}_{\beta }$

である。ここで テンプレート:Math は質点の4元運動量の テンプレート:Mvar 成分で、テンプレート:Mvar は質点の固有時間である。

上の運動方程式は テンプレート:Math に対して定義されているが、4元運動量と4元速度の空間成分（の共変表現）テンプレート:Math に着目すると、電磁場テンソルの定義より、運動方程式の空間成分は

左辺の空間成分 $=\gamma \frac{\mathrm{d}𝒑}{\mathrm{d}t}$

右辺の空間成分 $=\gamma q(𝑬+𝒗\times 𝑩)$

となることがわかる。ここで テンプレート:Mvar はローレンツ因子 テンプレート:Math である。

すなわち相対論における運動方程式の空間成分は、ローレンツ力に関する運動方程式

$\frac{\mathrm{d}𝒑}{\mathrm{d}t}=q(𝑬+𝒗\times 𝑩)$

と完全に一致する。

運動方程式の時間成分に関しては、テンプレート:Math が質点のエネルギー テンプレート:Mvar を表していた事に着目すると、

左辺の時間成分 $=\frac{\gamma }{c}\frac{\mathrm{d}E}{\mathrm{d}t}$

右辺の時間成分 $=\frac{\gamma }{c}(q𝑬\cdot 𝒗)$

なので、下記の式が従う：

$\frac{\mathrm{d}E}{\mathrm{d}t}=q𝑬\cdot 𝒗=q(𝑬+𝒗\times 𝑩)\cdot 𝒗.$

右辺は単位時間当たりに電磁場のローレンツ力が質点に対してした仕事なので、この式はローレンツ力による仕事がエネルギーに変わる事を意味している。すなわちこれは、エネルギー保存則にあたる式であるテンプレート:Sfnp。

特殊相対性理論の実験的検証

特殊相対性理論は、次のような事象からも検証されている。

• 電場と磁場の統一理論としての特殊相対性理論の検証

  電流が流れる電線の周りに磁場が生じる。

• 時計の遅れの検証
  • 横方向のドップラー効果の測定（赤道上の時計の遅れの実験）テンプレート:Sfnp

    メスバウアー効果を起こす放射線源とその吸収体について、放射線源を回転する円盤の中心に、吸収体を円周に配置して回転させるとメスバウアー効果が発生しなくなるテンプレート:Sfnpテンプレート:Sfnp, 第7,8章。

  • ハフェル–キーティング実験 (Hafele–Keating experiment)

    航空機で運んだ原子時計と地上で静止したままの原子時計との間に発生するズレが理論と誤差（不確定性原理も含む）の範囲で一致する。なお、この実験における相対論効果は

    1. 特殊相対性理論における運動によるいわゆる時計の遅れ、
    2. 一般相対性理論における重力偏移によるいわゆる時計の遅れ、
    3. サニャック効果（Sagnac effect）

    の3つが複合して現れるテンプレート:Refnest。

  • 粒子の平均寿命の延長

    宇宙線の衝突により発生する非常に寿命の短い粒子が、単純に光速度程度で移動したと考えても数百メートル程度しか移動できないはずであるのに、地上で観測することができる。また、粒子加速器で粒子を光速近くまで加速すると、崩壊するまでの寿命が延びる。なお、この寿命の延びは厳密に特殊相対性理論による予測に従う。

• 質量とエネルギーの等価性

  オットー・ハーンは核分裂を発見したが、この反応の際の質量欠損により、大量のエネルギーが放出された。この放出は特殊相対性理論の帰結のひとつである質量とエネルギーの等価性 [[E=mc2|テンプレート:Math]] において欠損相当の質量に換算される原子核内部の核子の結合エネルギーである。

• その他

  光速近くまで加速した電子等の荷電粒子を磁場によって曲げると、放射光と呼ばれる光が発生する。この光は特殊相対性理論の効果により前方に集中し、粒子軌道の接線方向への極めて指向性の高い光となる。

一般相対性理論へ

特殊相対性理論すなわち慣性力のない慣性系を対象とする理論体系が一通り出来上がった後、アインシュタインは、非慣性系と重力場へ対象を広げる仕事に取り組み、より一般的な理論である一般相対性理論を導いた。

特殊相対性理論では「あらゆる慣性系どうしが等価である」ことを原理としたが、さらに「慣性力と重力は本質的に区別がなく等価である」との視点に立ち、一般相対性理論を展開した。一般相対性理論によると、離れた観測者には光は速さが変化し曲線を描いて見える。この理論は、ニュートンの万有引力論による物理事象の捉え方を、全面的かつ発展的に書き換える内容である。

一般相対性理論では思索の対象を慣性系以外にも広げており、その名の通り、特殊相対性理論は一般相対性理論の「特殊な場合」に相当し、一般相対性理論は特殊相対性理論を包含する理論である。これらの2つの相対性理論を総称して（あるいは、両者を区別をせずに）相対性理論と呼ぶこともある。

参考文献

原論文

• テンプレート:Cite journal
  • 邦訳：テンプレート:Cite book
• テンプレート:Cite journal
• テンプレート:Cite journal

全般

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
  • 本項執筆には英語第3版を参照した（最新は第4版）テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite journal（テンプレート:Cite book）
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite web
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book

時刻合わせ、電磁波測距儀、いわゆる時計の遅れの実験について

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite journal
• テンプレート:Cite journal

その他参照

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite wikisource
• テンプレート:Cite wikisource
• テンプレート:Cite wikisource
• テンプレート:Cite book
• テンプレート:Cite journal

外部リンク

• テンプレート:Cite wikisource
• テンプレート:Kotobank
• テンプレート:Britannica