特殊相対性理論のソースを表示

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

== 概要 ==
[[力学]]において、[[電磁気学]]の説くところによれば、観測者あるいは観測対象の[[慣性]]運動を伴う実験において、その結果には従来の[[ニュートン力学]]の示すところと不整合が生じ得る ([[#特殊相対性理論に至るまでの背景]])。[[アルベルト・アインシュタイン]]は[[1905年]]に発表した論文{{Sfn|アインシュタイン|1905a}}において特殊相対性理論を発表し、電磁気学的現象まで含めた慣性系間の等価性を[[公理]]として、以下の帰結を示した。
*ある観測者に対する、時間の経過と空間中の移動速度との関係
**相対運動する座標系における時間の経過
**相対運動する座標系における、“ローレンツ収縮”の空間上の形状にかかる効果
*[[質量とエネルギーの等価性]]
特殊相対性理論はニュートン力学では説明できなかった事柄をことごとく説明しており、とりわけ、ニュートン力学が矛盾をきたす光速度に近い速度で運動する物体の力学的挙動に対して、その実験事実によく整合する。こういった経緯から、特殊相対性理論を含む[[相対性理論]]は、現代物理学において重要な一体系として支持されている。定性的には、物体に対するエネルギーの放出・吸収にともなったその質量の減少・増加などが確認されている。

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

== 特殊相対性理論に至るまでの背景 ==
{{Main|en:history of special relativity}}
=== ニュートン力学とガリレイの相対性原理 ===
[[アイザック・ニュートン|ニュートン]]は[[ニュートン力学|力学]]を記述するに当たって以下のような、「[[絶対時間と絶対空間]]」を定義した。
{{Cquote3|　
;絶対時間
:その本質において外界とはなんら関係することなく一様に流れ、これを持続と呼ぶことのできるもの
;絶対空間
:その本質においていかなる外界とも関係なく常に均質であり揺らぎがないもの|4=[[アイザック・ニュートン|ニュートン]]|5=『[[自然哲学の数学的諸原理|プリンキピア]]』{{sfnp|佐藤|1994|p=2}}}}
すなわち、時間と空間は、そこにある物体の存在や運動に影響を受けないと仮定した{{sfnp|佐藤|1994|p=2}}。これをもって、我々が日常的直観として抱いている時間や空間に対する根本的感覚を表そうとした{{sfnp|佐藤|1994|p=2}}。この絶対時間をかかげるニュートン力学においても、あらゆる[[慣性系]]は本質的に等価（すなわち相対的）でもある。ニュートン力学では、2つの慣性座標系(慣性系Aおよび慣性系B）における同一点{{math|''A'' {{=}} (''t'', '''''x''''')}}と{{math|''B'' {{=}} (''t&prime;'', '''''x&prime;''''')}}を示す関係は、次に示す'''[[ガリレイ変換]]'''によって結ばれている。
{{Indent|{{math|(''t&prime;'', '''''x&prime;''''') {{=}} (''t'', '''''x''''' &minus; '''''v''''' ''t'')}}}}
:ここで {{mvar|t, '''x'''}} は慣性系Aにおける時刻と位置であり、{{mvar|t&prime;, '''x&prime;'''}} は慣性系Bにおける時刻と位置である。{{mvar|'''v'''}} は、慣性系Aから見た慣性系Bの移動速度である。
狭義の例を示すならば、ある座標系Aに対して[[等速直線運動]]する別の座標系Bがあるとして、これら二つの座標系は本質的に等価（相対的）である。すべての基準となる静止座標系といった概念は、上式では規定されておらず、力学の法則はあらゆる慣性系からの観測について本質的に同一である。すなわち、ガリレイ変換によって形式が変わらない。ガリレイ変換における[[ニュートンの運動方程式]]の不変性、すなわち、この変換でつながる座標系間の等価性は、 '''[[ガリレイ不変性|ガリレオの相対性原理]]'''{{enlink|Galilean invariance}}と呼ばれる{{疑問点|date=2021年4月|title=慣性系の同等性 を指すのか、ガリレイ変換の下での不変性 まで含んだ意味か、曖昧。}}。ニュートン力学は、少なくとも当時に再現し得た諸実験事実と整合し、その矛盾があらわになる時代を迎えるまで（以下節）、力学の普遍的法則とも捉えられた。

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

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

光の波動説およびエーテルを前提とした議論では、エーテルに対して静止している理想的な座標系{{refnest|group="注"|ローレンツはこのようなエーテルに対して静止している系のことをそのまま『静止している系』または『静止系』と呼んだ{{sfnp|ローレンツ電子論|1973}}。}}{{R|group="注"|LPabs}}においてマクスウェル方程式は実験事実をよく支持し、有用な基礎物理方程式とみなされた。その一方で、エーテルに対して運動する基準系から見た状況について、次第に関心が寄せられるようになっていった。

ニュートン力学の基礎方程式であるニュートンの運動方程式は、ガリレイ変換による座標変換のもとで本質的には形を変えない。しかし、電磁気学の基礎方程式である'''マクスウェル方程式は、ガリレイ変換のもとで形式が本質的に変化してしまう'''<ref group="注">ここで述べる意味での「本質的に形式が変化する」や「本質的に不変」といった表現に関しては、数学的に立ち入った説明が必要であり、概説・導入部の域を超えるので、詳説は以降の節の「共変」に関する説明を参照されたし。</ref>。この数式上の変化は、マクスウェル方程式が真に成り立つ慣性系がこの世界のどこかにあり、（形式を変化させずに）マクスウェル方程式が別の慣性系においても成立できる「ガリレイ変換でない新たな座標変換」が必要だと予想された。

[[ハインリヒ・ヘルツ|ヘルツ]]はこの変形された方程式を運動座標系における電磁場の支配方程式として導出した{{Sfnp|Hertz|1890}}{{Sfnp|砂川|1999}}が、Wilson や Röntgen&ndash;Eichenwald の実験によって否定された{{sfnp|広重|1980|loc=『世代交代期における電磁理論』}}{{Sfn|後藤|1970|loc={{page needed|date=2016年5月23日 (月) 10:31 (UTC)}}}}{{Sfn|砂川|1999|refname=砂川1999要ページ番号a|loc={{Page needed|date=2016年5月23日 (月) 10:31 (UTC)}}}}。当時の電磁気学についての問題提起として、たとえば以下のようなものが挙げられる。
*光の伝播速度は実験的に光源の速度に依存しないことが判っている。にもかかわらず、その媒質（エーテル）が存在しないとすることは理解しがたい（よって、エーテルがあるに違いない）。
*'''エーテルの存在を仮定するならば、エーテルに対して静止する「絶対静止系」が存在することになる'''{{R|group="注"|LPabs}}。これは、絶対空間を否定する相対性原理に反し得る。{{sfnp|佐藤|1994|p=5}}
このような光の速度と観測者・光源の運動（運動する座標間の変換）に関して混迷した状況があり、なんらかの新たな実験及び理論が求められる状況であった。そのようななか、「'''ガリレイの相対性原理を是とし、光の速度が慣性系に依存する'''{{sfnp|佐藤|1994|p=5}}のであれば、様々な異なる慣性系（運動座標系）から光の速度を計測すれば、マクスウェル方程式と一致する"ただ一つの静止基準系"が見つかるであろう」との発想から[[マイケルソン・モーリーの実験]]{{Sfnp|マイケルソン・モーリー|1887}}が行われた。

===マイケルソン・モーリーの実験===
==== エーテル前提の解釈 ====
'''[[マイケルソン・モーリーの実験]]''' ({{enlink|Michelson&ndash;Morley experiment|p=off|s=off}}){{Sfnp|マイケルソン・モーリー|1887}}にて、両氏は、地球の公転移動に着目した。実験空間の環境下において、公転運動の進行方向の前後に対してエーテルの「風」が吹くことを想定して、そこで伝播する２経路の光の干渉縞を見ることを通じて、光のエーテル中の伝播速度を精密に測定しようと試みた。これにより、エーテル中における観測者の移動速度（ここでは地球の公転速度）の影響を調べられると考えたのである。これは当時の技術で十分に機能できる手法であった<ref group="注">即ち、もし両氏の仮説が正しいのなら、「光の速度差」を検出可能な精度を有していた。</ref>。しかしながら、光の速度に有意の差異は認められず、両氏の期待した観測者移動速度の影響（「エーテルの風」の効果）は実験的に支持されなかった。この当時は「観測者の運動の光速度に及ぼす影響について、”予想されていた水準”よりは、無に近いか全く無いものであろう」と結論された。

一方で、上記の実験を支持できる物理体系を見出す試みとして、[[ハインリヒ・ヘルツ|ヘルツ]]、[[ジョージ・フィッツジェラルド|フィッツジェラルド]]、[[ヘンドリック・ローレンツ|ローレンツ]]、[[アンリ・ポアンカレ|ポアンカレ]]など{{sfnp|後藤|1970|p=386&ndash;388}}{{Sfn|砂川|1999|refname=砂川1999要ページ番号b|loc={{Page needed|date=2016年5月23日 (月) 10:31 (UTC)}}}}の学者は、エーテル説に付け加えて、辻褄合わせのための仮定を付与することで実験事実と理論を整合させようと試みた。例えばローレンツとフィッツジェラルドは各々独立に、運動する物体が「エーテルの風」を受けて収縮する'''フィッツジェラルド=ローレンツ収縮'''{{sfnp|Lorentz|1904}}<ref group="注">特殊相対性理論では物体が実際に縮むという意味のフィッツジェラルド=ローレンツ収縮はしない。ローレンツの理論との混同を招き紛らわしいので特殊相対性理論では用いない方が良い用語である{{要出典|date=2016年5月}}<!--佐藤の本を始め、大抵の相対論の教科書では「ローレンツ収縮」と言う言葉を使っているが、正確性に欠ける百科事典や辞書ではこの語を掲載している（後述）。-->。</ref>（{{仮リンク|ローレンツのエーテル理論|en|Lorentz ether theory}}）を提示した。フィッツジェラルド=ローレンツ収縮によって、マイケルソン・モーリーの実験では「エーテルの風」の効果がキャンセルされたと説明しており、その際の収縮の度合いを説明する座標変換式（'''[[ローレンツ変換]]'''、{{enlink|Lorentz transformation|p=off|s=off}}{{refnest|group="注"|この変換に対して最初にローレンツ変換という名称をあたえたのは[[ポアンカレ]]である{{sfnp|ポアンカレ|1905}}。}}）を定式化した。しかしながら、この座標変換の理解のみでは検証可能性を欠いていた<ref group="注">ローレンツの理論では物体が'''実際に'''収縮するとみなすので、運動する物体が一律に収縮するならば、「長さ」の基準となる物差しさえも収縮してしまい、結果として収縮は観測されない為に検証不能となる。一方、特殊相対性理論では実際に収縮するのではなく、同時である状態が座標系によって異なる（位置のみならず運動状態によっても同時性が異なる）ため収縮して観測される、とされる。特殊相対性理論においては普遍定数である光速を物差しとして「長さ」が再定義されており、上述した検証不能性の問題は生じない。</ref>。他方で、ローレンツと[[アンリ・ポアンカレ|ポアンカレ]]は、時間の流れが観測者によって異なるとする「局所時間」という相対性理論の萌芽ともいえる思索を提起し<ref group="注">ただし、ローレンツは局所時間をあくまで形式的なものだとした。</ref>、Wilson や Röntgen&ndash;Eichenwald の実験に合致できる電磁場の方程式を導出していた{{Sfnp|Lorentz|1895}}。

以上の理論はいずれも'''数式上は'''実験事実と合致しており、現代物理学が支持するアインシュタインの理論とも整合する。すなわち、このような数式を持ち込みさえすれば、従来の物理理論との実験上の矛盾はひとまず解消されるということは、一定の成果ではあった。しかしこれらの理論は、あくまでもエーテル仮説（絶対空間の存在）と光速度不変則（実験事実）の食い違う部分のみを解消する為に導出された解決策に過ぎず、たとえば下記のような疑問について、理論上・実験上の不満を残した。
* 運動する物体が、実際に縮むことなどあり得るのか？　実際に縮むのであれば、その物体の破壊には影響するのか？{{refnest|group="注"|ローレンツが提唱した時点ですでに楕円体に変形した電子の安定性について[[マックス・アブラハム]]から批判が出ていた{{sfnp|ローレンツ電子論|1973|p=235}}。}}
* 数式上導入された「局所時間」を、物理学の体系としてどう解釈するのか？<ref group="注">実際、アインシュタインの理論を認めたローレンツは{{Harvtxt|ローレンツ電子論|1973|p=360}} において『わたくしが誤った主な原因は、変数 {{mvar|t}} だけが真の時間と見なしうるのであって、わたくしの局所時 {{mvar|t'}} は補助的な数学的な量以上のものと見なしてはならないという観念を固守していたことである。それに反して、Einsteinの理論では {{mvar|t'}} は {{mvar|t}} と同じ役を果たす。』（{{mvar|t'}} はこの節における {{mvar|τ}} である）と述懐している</ref>

==== ガリレイ原理にのっとった解釈 ====
ガリレイ等価原理に則るならば、マイケルソンらの実験結果を整合するように解釈するには、物体の移動速度と位置と時刻の関係について、まったくの未知の法則の発見が必要であることを示すのみである。
<!--いま、ある慣性系における静止した観測者Aと静止した光源Lを考える。光源Lから出る光の速さを観測者Aはcと観測したとする。次に観測者Aに対して一定方向に速さvで運動する観測者A'と光源L'を考える。光源L'は観測者A'から見ると静止している。光源L'から出る光の速さを観測者A'はc'と観測したとすると特殊相対性原理よりc'=cであることが言える。（a(v)をvの関数として、c'=a(v)cとおく。a(v)が速さvの関数で向きによらないのは空間の等方性による。特殊相対性原理より全ての慣性系は等価であるので逆にc=a(v)c'も言えて、a(v)<math>{}^2</math>=1よりc'=cを得る。）すなわち、どの慣性系でも観測者に対して静止した光源から出る光の速さはcと観測される。ここまでが特殊相対性原理の主張である。次に、観測者A'と光源L, L'の関係について考える。光源Lは観測者A'に対して運動しているが、光速度不変の原理より光の速さは光源の運動によらない。従って、観測者A'は光源Lから出る光の速さを光源L'のものと同じくcと観測する。最後に観測者A, A'と光源Lに注目する。上の議論から、観測者AとA'はともに光源Lから出る光の速さをcと観測する。すなわち、
: 一つの光源を考えたとき、光源に対して静止している観測者も、光源に対して等速度運動している観測者も光源から出る光の速さを同じcとして観測する
という驚くべき内容が結論される。（この結論の方を光速度不変の原理として採用する流儀も多い。）これは日常の感覚からすると奇異に感じられるが、[[マイケルソン・モーリーの実験]]の結果から支持されるところである。-->

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

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

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

===指導原理===
<!--{{Main|{{仮リンク|特殊相対性理論における前提|en|Postulates of special relativity}}}}-->
アインシュタインの原論文における特殊相対性理論では、以下の二つの事柄を指導原理（前提条件、公理）として、その物理学的枠組みが展開されている<!--{{sfnp|シュッツ|2010|pp=1,2}}{{sfnp|佐藤|1994|p=8}}-->{{sfnp|内山|1977|p=6-7}}{{sfnp|パウリ|2007|p=33-36}}。[[#特殊相対性理論に至るまでの背景]]に述べた「エーテルに対して動いていない”特別なひとつの慣性系”が存在するはず<!--であり、他の”特別でない慣性系たち”における物理現象は”特別なひとつの慣性系”からの座標変換を経て理解するべきだ-->」という思想からの脱却である。
;特殊相対性原理
:物理法則に関してすべての慣性系は対等である。すなわち、あらゆる慣性系において物理法則を記述する運動方程式は、その形式が不変である。
;光速度不変の原理
:真空中の光の速さは光源の運動状態に無関係である。<!--真空における光の速度 {{mvar|c}} はどの慣性座標系でも同一である <ref group="注">前述のように光は[[電磁波]]であるので、これは電場や磁束密度に[[ダランベール演算子|ダランベルシアン]] <math>\Box_c</math> を作用させるとどの慣性系でも 0 になるということである。これは現代から考えれば当たり前であるが、ヘルツは運動座標系においてはヘルツ項なるものが必要であると主張したりしており、当時は当たり前ではなかった。ヘルツ項については{{Harvtxt|砂川|1999}}が詳しい。</ref>--> 

<!-- 光速度不変の原理は前述した[[マイケルソン・モーリーの実験]]の結果から帰結される。実際、この実験の結果によれば、地球から見た光速度は季節によらず同一であった。地球の運動方向や速度は季節によって異なるので、この実験の結果は、光速度が系の運動方向や速度によらないことを意味し、これはすなわちどの[[慣性系]]から見ても光速度が不変である事を強く示唆しているのである{{sfnp|佐藤|1994|p=8}}。一方、相対性原理は[[ガリレイの相対性原理]]を緩和したもので、全ての慣性座標系が等価であることは仮定するが、慣性座標系の間の変換則がガリレイ変換であるとは仮定しない。この原理は、光速度不変の原理から示唆される。光速度不変の原理によれば、どの慣性座標系でも同一であるのだから、絶対静止座標系のような「特別な」座標系は存在せず、全ての慣性座標系は等価であると思われるのである{{sfnp|佐藤|1994|p=8}}。-->
特殊相対性原理は運動方程式が<!--ガリレイ変換やローレンツ変換、あるいは、何らかの別の-->ある種の座標変換に関して共変であるべき、との原理である。なお、アインシュタインの最初の論文では単に「相対性原理」と呼ばれていた。のちに一般相対性理論が世に出てから、それと区別するために「特殊相対性原理」と呼ばれるようになった。
光速度不変の原理は相対性理論構築に必要な最低限の要請をマクスウェル理論から抽出したものであり、物理的に新しい主張を含むのは特殊相対性原理のみである{{sfnp|内山|1977|p=7-8}}。

なお、現代では光速度不変の原理として以下のような表現を採用する流儀も多い{{sfnp|佐藤|1994|p=8}}{{sfnp|シュッツ|2010|p=2}}。
:「真空中の光の速さは一定であり、どの慣性系で測定しても同じ値をとる」
<!--特殊相対性理論の前提条件は特殊相対性原理と光速値不変の2つとされる。これはアインシュタインの原論文にある2つの前提条件とは異なる。原論文では「あらゆる慣性系において物理法則は同一」「（光源の移動によらず）光速一定」であり、この2点は相対論構築に必要な最低限の要請をマクスウェル理論から抽出したという位置づけである。この2条件を合わせると、以下に記すように、高速度/値不変則が導かれる。-->
しかし、これは本来、特殊相対性原理と（原論文の）光速度不変の原理から、次に記すように演繹される内容である。
:いま、ある慣性系Sと、Sに対して一定方向に速さvで運動する慣性系S'を考える。光速度不変の原理より、慣性系Sにおいては、あらゆる光の速さが光源の運動状態によらず一定値をとる。ここではそれをcとする。同様に、慣性系S'においては、あらゆる光の速さがc'と観測されるとする。このとき、慣性系間の等価性を主張する特殊相対性原理に従うならば、c' = cであることが言える<ref group="注">定式化して具体的に述べる。a(v)をvの関数として、c' = a(v)cとおく（a(v)が速さvの関数で向きによらないのは空間の等方性による）。特殊相対性原理より全ての慣性系は同等であるので逆にc = a(v)c'も言えて、a(v)<math>{}^2</math>=1よりc'=cを得る。</ref>。すなわち、「全ての慣性系において、あらゆる光源からの光の速さは一定値cである」という主張は、アインシュタインの原論文の二つの指導原理から導出可能である。このように、光の速さのような物理定数<ref group = "注">マクスウェル方程式の解の導出経緯をたどれば、国際単位系での真空中の誘電率と透磁率という別の物理定数について、これら(の積)と光速は原理上同一のものである。</ref>は全ての慣性系で同一の値をとることを、特殊相対性原理は含意しているのである{{sfnp|広江|2008|p=13}}{{sfnp|Landau|Lifshitz|1978|p=2}}。
以上の指導原理に加えて、主に次の2つの要請を満たすことを要求としたうえで、特殊相対性理論は構築されている。
;「特殊相対性理論は、電磁気学（マクスウェル方程式）と整合するべきである」
:光の支配方程式とされるマクスウェル方程式には、当時は観測者の運動の効果（慣性系から別の動く慣性系への座標変換への対応）が抜けているとされていた。しかし、光速度を不変とする特殊相対性理論の思想的枠組みを取り入れれば、座標変換を考慮に含めても、マクスウェル方程式自体は修正不要であることが示されている（[[#特殊相対性理論における電磁気学]]）。
;「特殊相対性理論の成果は、それまでのニュートン力学と両立すべきである」
:特殊相対性理論で用いる慣性座標系間の変換則は、'''非相対論的極限''' ({{math|''v'' / ''c'' &rarr; 0}}) においてガリレイ変換に漸近する（ここで {{Mvar|v}} は2つの慣性座標系間の速度で、{{Mvar|c}} は真空中の光速度である{{sfnp|佐藤|1994|p=8}}）。そのため、この条件下では、ガリレイ変換のもとで不変のニュートン力学との齟齬はないことが示されている。

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

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

今、慣性運動する2人の観測者（すなわち何ら[[外力]]のかかっていない観測者）{{Math|A}}、{{Math|B}}がある一点ですれ違ったとする。{{Math|A}} の慣性系における位置と時刻を表す座標系を {{math|(''ct'', '''''x''''')}} 、{{Math|B}} の慣性系における位置と時刻を表す座標系を {{math|(''ct''&prime;, '''''x'''''&prime;)}} とする。<!--なお、両者の座標系で同一の[[光速|光速度]] {{mvar|c}} を用いることができるのは、光速度不変の原理による。-->ここで、2つの時刻 {{mvar|ct}}、{{mvar|ct&prime;}} は各観測者に独立なものである。すなわち、特殊相対性理論においてここでまさに、絶対時間が放棄されている（二人の観測者に共通の「絶対時間」はどこにも存在しない）{{sfnp|佐藤|1994|p=9}}。もちろん、位置座標軸も各観測者に独立固有の存在であり、二人の観測者に共通の空間的尺度「絶対空間」もない。なお、以降では便宜上、二人の観測者がすれ違った際に、位置と時刻の起点（一般に原点・ゼロ点）を規定することが多いが、位置と時刻の起点は再現性のある然るべき手段によって適宜取り直してもよい。また、二人の観測者に共通の絶対時間も絶対空間も存在せず不可知である一方で、それぞれの観測者が（何らかの手段で）もう一方の観測者が観測した時刻・位置の値を知ることは一般に妨げられない<ref group = "注">現に物理学者は、このような二人の観測者それぞれが観測する時刻・位置を自由に知ることができることを前提に、相対性理論の論じることができる（本記事の議論がまさにそれである）。これは相対性理論に基づく実験実施においても可能な行為である。</ref>。

ここで、2つの座標系の間の一般的な変換規則の数学表現として、[[テイラー展開]]による座標変換規則をまず考える。{{math|(''ct'', '''''x''''')}}あるいは {{math|(''ct''&prime;, '''''x'''''&prime;)}} という表現から示唆されるように、各慣性系での時刻・空間座標の数値の組は4次元の行ベクトル・列ベクトルとして扱える（時刻(1次元)と空間(3次元)をあわせた4次元。下記では縦ベクトル(列ベクトル)の表記を用いる）。一般に座標変換規則は、何らかの定数ベクトル {{mvar|{{vec|b}}}} と[[行列 (数学)|行列]] {{mvar|&Lambda;}} （この場合では4行4列の行列）とを用いて、次のように記述できる。
:<math>\begin{pmatrix}ct'\\ \boldsymbol{x}'\end{pmatrix} = \vec{b} + \Lambda\begin{pmatrix}ct\\ \boldsymbol{x}\end{pmatrix}+</math>（二次以上の項）
{{Math|A}}と{{Math|B}} が最も接近してすれ違った際において、位置と時刻を双方の座標系の原点と定めると、 {{math|{{vec|''b''}} {{=}} {{vec|0}}}} と簡略化することができる。また、特殊相対性理論においては、外力の無い慣性系を前提とする。このことから、上式の二次以上の項はゼロとできる（二次以上の項があると、{{Math|A}}と{{Math|B}} が相互に加速度運動していることとなり、慣性系であるという要請から外れる{{sfnp|佐藤|1994|p=9}}）。以上の諸仮定をもとに、次に示す[[線形変換]]の形態として、特殊相対性理論に則った座標変換則を得ることができる。
:<math>\begin{pmatrix}ct'\\ \boldsymbol{x}'\end{pmatrix} = \Lambda\begin{pmatrix}ct\\ \boldsymbol{x}\end{pmatrix}</math>
すなわち、'''特殊相対性理論においては、物理現象は4次元のベクトル空間で記述される。慣性系はその4次元ベクトル空間の基底であり、各慣性系の間の座標変換は行列{{mvar|&Lambda;}}による線形写像である'''。

===世界間隔===
上記であつかった空間の3次元に時刻(1次元)を加えた4次元の時空間における点を'''世界点'''と呼ぶ{{sfnp|Landau|Lifshitz|loc=§2 世界間隔|1978}}。

ある慣性座標系から見て、ある時刻 {{Math|''t''{{sub|1}}}} に、3次元空間上のある位置 {{Math|'''''x'''''{{sub|1}}}} を光が通過したとする。その後、この光が時刻 {{Math|''t''{{sub|2}}}} に位置 {{Math|'''''x'''''{{sub|2}}}} まで伝播したとする。光速度は不変量 {{Mvar|c}} であるので、これは
:<math>\frac{|\boldsymbol x_1-\boldsymbol x_2|}{|t_1-t_2|}=c</math>
すなわち、
:<math>c^2(t_1-t_2)^2-|\boldsymbol x_1-\boldsymbol x_2|^2=0</math>
である事を意味する{{sfnp|Landau|Lifshitz|loc=§2 世界間隔|1978}}。

世界点 1 と世界点 2 の間に定義される量
:<math>s_{12}:=\sqrt{c^2(t_1-t_2)^2-|\boldsymbol x_1-\boldsymbol x_2|^2}</math>
を'''[[世界間隔]]'''{{sfnp|Landau|Lifshitz|loc=§2 世界間隔|1978}}もしくは'''世界距離'''{{要出典|date=2020年8月}}と呼ぶことにする。ある慣性系において {{Math|''s''{{sub|12}}{{sup|2}} {{=}} 0}} が成り立つならば、特殊相対性原理から、他の任意の慣性系でも {{Math|''s''&prime;{{sub|12}}{{sup|2}} {{=}} 0}} が成り立つことになる。ここで、微分表現を採用して、これらの微小世界間隔を次のように表記する。
:<math>\mathrm{d}s^2:=c^2(\mathrm dt)^2-|\mathrm{d}\boldsymbol{x}|^2, \quad \mathrm{d}s'^2:=c^2(\mathrm dt')^2-|\mathrm{d}\boldsymbol{x'}|^2</math>
これらは同次微小量であることから、
:<math>\mathrm{d}s^2=a\mathrm{d}s'^2</math>
という関係式が成り立つ。ここで、この係数 {{Mvar|a}}は時間と空間の一様性から時間と座標に依存せず、空間の等方性から慣性系間の相対速度の方向に依存しないことが要請される。したがって、慣性系間の相対速度の絶対値にのみ依存する{{sfnp|Landau|Lifshitz|loc=§2 世界間隔|1978}}。特殊相対性理論において、微小世界間隔の不変性、すなわち、{{Math|''a''({{Mabs|'''''V'''''}}) &equiv; 1}}であることを示す手法は、たとえば以下の2つが存在する。

==== 逆変換に関する要請を利用する手法 ====
２つの慣性系 {{Math|''K''{{sub|1}}, ''K''{{sub|2}}}} の間の相対速度を {{Math|'''''V'''''}}とすると、それぞれの慣性系における微小世界間隔 {{Math|d''s''{{sub|1}}, d''s''{{sub|2}}}}および係数 {{Math|''a''({{Mabs|'''''V'''''}})}} についての関係式として、逆変換に対する要請から
:<math>\mathrm{d}s_1{}^2=a(|\boldsymbol V|)\mathrm{d}s_2^2,\quad \mathrm{d}s_2{}^2=a(|\boldsymbol -V|)\mathrm{d}s_1{}^2</math>
が得られ、代入して
<math>a(|\boldsymbol V|)^2=1</math>
が得られる{{sfnp|野村 清英|2019|p=5}}。{{Math|''a''({{Mabs|'''''V'''''}}) > 0}}より<ref group="注">証明：[https://en.wikipedia.org/w/index.php?curid=39499535#Rigorous_Statement_and_Proof_of_Proportionality_of_ds2_and_ds%E2%80%B22 Derivations of the Lorentz transformations - Wikipedia]</ref>{{Math|''a''({{Mabs|'''''V'''''}}) &equiv; 1}}が得られる。

==== 速度合成に関する要請を利用する手法 ====
三つの慣性系 {{Math|''K''{{sub|1}}, ''K''{{sub|2}}, ''K''{{sub|3}}}} の間の相対速度を {{Math|'''''V'''''{{sub|12}}, '''''V'''''{{sub|23}}, '''''V'''''{{sub|31}}}} とすると、それぞれの慣性系における微小世界間隔 {{Math|d''s''{{sub|1}}, d''s''{{sub|2}}, d''s''{{sub|3}}}} および係数 {{Math|''a''({{Mabs|'''''V'''''}})}} についての関係式として
:<math>\mathrm{d}s_1{}^2=a(|\boldsymbol V_{12}|)\mathrm{d}s_2^2,\quad \mathrm{d}s_2{}^2=a(|\boldsymbol V_{23}|)\mathrm{d}s_3^2, \quad \mathrm{d}s_3{}^2=a(|\boldsymbol V_{31}|)\mathrm{d}s_1^2,</math>
:<math>\therefore \frac{a(|\boldsymbol V_{12}|)}{a(|\boldsymbol V_{23}|)}=a(|\boldsymbol V_{31}|)</math>
が得られる。後者の左辺は {{Math|'''''V'''''{{sub|12}}, '''''V'''''{{sub|23}}}} の絶対値にのみ依存するのに対し、右辺の{{Math|'''''V'''''{{sub|31}}}}は {{Math|'''''V'''''{{sub|12}}, '''''V'''''{{sub|23}}}}間の角度にも依存すると考えられるため、 {{Math|''a''({{Mabs|'''''V'''''}})}} は{{Math|'''''V'''''}}によらず、定数であることがわかる{{sfnp|Landau|Lifshitz|loc=§2 世界間隔|1978}}。（ここで、ニュートン力学とは異なり、相対性理論ではガリレイ変換は成立せず{{sfnp|Landau|Lifshitz|loc=§5 速度の変換|1978}}、<math>\boldsymbol V_{31}\neq-\boldsymbol V_{12}-\boldsymbol V_{23}</math>であることに注意せよ。）さらに、関係式から {{Math|''a''({{Mabs|'''''V'''''}}) &equiv; 1}} が得られる{{sfnp|Landau|Lifshitz|loc=§2 世界間隔|1978}}。

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

=== ミンコフスキー空間 ===
世界距離の定義から、以下の内積風の[[二項演算子]]
:<math>\eta((ct,x,y,z),(ct',x',y',z')):=(ct)\cdot(ct')-xx'-yy'-zz'</math>
を考えると、世界距離の二乗は {{math|''&eta;''((''ct,x,y,z''),(''ct,x,y,z''))}} に一致する。このような二項演算子 {{mvar|&eta;}} を'''ミンコフスキー内積'''もしくは'''ミンコフスキー計量'''と呼び、ミンコフスキー内積の定義されたベクトル空間を'''[[ミンコフスキー空間]]'''と呼ぶ。ミンコフスキー空間上の点を'''世界点'''もしくは'''事象'''{{sfnp|シュッツ|2010|p=7}}と呼び、ミンコフスキー空間のベクトルは通常の3次元のベクトルと区別する為、'''[[4元ベクトル]]'''という<ref group="注">本項では{{Harvtxt|シュッツ|2010}}に従い、4元ベクトルは {{mvar|{{vec|a}}}} のように矢印をつけて表し、通常の3元ベクトルは {{mvar|'''a'''}} のように太字で表した。しかしベクトルの表記は本によって異なり、{{Harvtxt|前原|1993}}では4元ベクトルを太字で表している。</ref>。

なお、世界点 {{mvar|P}} は、{{mvar|P}} と原点 {{mvar|O}} とを結ぶ4元ベクトル <math>\overrightarrow{\mathrm{OP}}</math> と自然に同一視できるので、以下、表現に紛れがなければ世界点を4元ベクトルとして表現する。

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

====ミンコフスキー・ノルム====
4元ベクトル {{mvar|{{vec|a}}}} に対し {{math|''&eta;''({{vec|''a''}}, {{vec|''a''}})}} が非負であれば
{{Indent|<math>\|\vec{a}\|:=\sqrt{\eta(\vec{a},\vec{a})}</math>}}
を'''ミンコフスキー・ノルム'''といい、世界点 {{mvar|{{vec|a}}}}、{{mvar|{{vec|b}}}} に対し、{{math|''&eta;''({{vec|''a''}} &minus; {{vec|''b''}}, {{vec|''a''}} &minus; {{vec|''b''}})}} が非負であれば {{math|''&eta;''({{vec|''a''}} &minus; {{vec|''b''}}, {{vec|''a''}} &minus; {{vec|''b''}})}} の平方根を {{mvar|{{vec|a}}}}、{{mvar|{{vec|b}}}} の'''世界距離'''という。

なお、世界「距離」という名称ではあるが、
*負の値や[[虚数]]も取りうる
*0ベクトルでなくとも世界距離が0になることがある
といった点から[[距離空間|数学的な距離の公理]]を満たさない。

また、{{mvar|{{!!}}{{vec|a}}{{!!}}}} は常に定義できるとは限らないばかりかミンコフスキー・ノルムが定義できる値に対しても'''[[三角不等式]]の逆向き'''の不等式
{{Indent|<math>\|\vec{a}+\vec{b}\|\ge\|\vec{a}\|+\|\vec{b}\|</math>}}
が成り立つ事から、ミンコフスキー・ノルムも数学で通常使われる[[ノルム]]の定義を満たさない。

====符号と記法に関して====
{{Main|符号の規約}}
本項では、ミンコフスキー内積を
:<math>\eta((ct,x,y,z),(ct',x',y',z'))=(ct)\cdot(ct')-xx'-yy'-zz'</math>
としたが、書籍によっては符号を逆にした
:<math>\eta((ct,x,y,z),(ct',x',y',z'))=-(ct)\cdot(ct')+xx'+yy'+zz'</math>
をミンコフスキー内積としているものもあるので注意が必要である。

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

また本項ではミンコフスキー内積を {{mvar|&eta;}} で表したが、{{mvar|g}} で表したり、両者を混用することもある。例えば{{Harvtxt|佐藤|1994}}は、特殊相対性理論には {{mvar|&eta;}} を用いる一方で一般相対性理論では {{mvar|g}} を用いている。また{{Harvtxt|シュッツ|2010}}ではミンコフスキー内積には {{mvar|g}} を用いてその行列表示は {{mvar|&eta;}} としている。

====厳密な定義====
{{mvar|V}} を {{mvar|n}} 次元実ベクトル空間とし、
:<math>\eta\colon V\times V\to\mathbb{R}</math>
を {{mvar|V}} 上の対称[[二次形式]]とする。このとき、{{mvar|V}} の基底 {{math|{{vec|''e''}}{{sub|1}}, ..., {{vec|''e''}}{{sub|''n''}}}} と非負整数 {{mvar|p}}、{{mvar|q}} が存在し、
:<math>\eta\left(\sum_\mu a^\mu\vec{e}_\mu,\sum_\nu b^\nu\vec{e}_\nu\right) = a^1b^1+\cdots+a^pb^p-a^{p+1}b^{p+1}-\cdots-a^{p+q}b^{p+q}</math>
が成立する事が知られている。しかも {{mvar|p}}、{{mvar|q}} は {{math|(''V'', ''&eta;'')}} のみに依存し、基底 {{math|{{vec|''e''}}{{sub|1}}, ..., {{vec|''e''}}{{sub|''n''}}}} には依存しない（'''[[シルヴェスターの慣性法則]]'''）。

{{math|''p'' {{=}} 1}}、{{math|''q'' {{=}} ''n'' &minus; 1 }} となる二次形式 {{mvar|&eta;}} を'''ミンコフスキー計量'''と呼び、組 {{math|(''V'', ''&eta;'')}} を {{mvar|n}}次元'''ミンコフスキー空間'''という。

特殊相対性理論で用いるのは、次元 {{mvar|n}} が4の場合なので、以下特に断りがない限り、{{math|''n'' {{=}} 4}}とする。

====ミンコフスキー空間の図示====
[[画像:World line (ja).svg|thumb|306x306px|時間1次元+空間2次元のミンコフスキー空間を描いた抽象図。<br /> 過去光円錐の範囲内において発生した森羅万象の結果が観測者の示す中心点へと集まり、その結果に対する森羅万象が未来光円錐の範囲内へと時間軸に沿って広がっていく様を表現している。]]
空間方向の次元を2に落としたミンコフスキー空間を図示した。図では何らかの慣性系から見たミンコフスキー空間が描かれており、この慣性系に対して静止している'''観測者''' (observer) が原点にいる。この観測系における座標の成分表示を {{math|(''ct'', ''x'', ''y'')}} とする。

この観測者にとっての'''時間軸''' {{math|(''ct'', 0, 0)}} は図で「時間」と書かれた軸であり、この観測者にとって時間は時間軸にそって流れる。従って図の上方が'''未来'''であり、下方が'''過去'''である。観測者が慣性系に対して静止している事を仮定したので、時間が {{mvar|t}} 秒経つと、観測者のミンコフスキー空間上の位置は {{math|(''ct'', 0, 0)}} に移る。

一方、この観測者にとって'''現在'''にある世界点の集まり（すなわちこの観測者にとっての空間方向）は図の「現在」と書かれた平面であり、この観測者からみた空間方向の座標軸 {{math|(0, ''x'', 0), (0, 0, ''y'')}} が「空間」と書かれた二本の軸である。

世界距離の定義から、原点を通る光の軌跡は
:{{math|(''ct''){{sup|2}} &minus; ''x''{{sup|2}} &minus; ''y''{{sup|2}} {{=}} 0}}
を満たす。この方程式を満たす世界点の集合は2つの円錐として描かれ、これを'''光円錐'''という。図の上にある逆さまの円錐が未来の光円錐 (future light cone) であり、図の下にある円錐が過去の光円錐 (past light cone) である。

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

ミンコフスキー空間上の4元ベクトル {{mvar|{{vec|x}}}} の終点が（未来もしくは過去の）光円錐の内側にあるとき {{mvar|{{vec|x}}}} は'''時間的'''であるといい、終点が光円錐の外側にあるとき {{mvar|{{vec|x}}}} は'''空間的'''であるといい、光円錐上にあるとき {{mvar|{{vec|x}}}} は'''光的'''であるという。定義より明らかに、以下が成り立つ：{{mvar|{{vec|x}}}} が時間的、空間的、光的であるのは、{{math|''&eta;''({{vec|''x''}}, {{vec|''x''}})}} がそれぞれ正、負、0のときである。

光円錐上の点 {{mvar|{{vec|x}}}} は {{math|''&eta;''({{vec|''x''}}, {{vec|''x''}})}} という座標系と無関係な値の符号で特徴づけられるので、'''4元ベクトルが時間的か、空間的か、光的かは原点を起点するどの慣性座標系からみても不変である'''事がわかる。特に、光円錐は原点を起点するどの慣性座標系からみても同一である。

====慣性座標系の数学的特徴づけ====
原点Oを通る観測者から見た慣性座標系を一つ固定すると、前述のようにその慣性座標系における二つの位置ベクトル間のミンコフスキー内積は
<!--NumBlkだと携帯で正しく表示されなかったので改善-->{{Equation box 1
|indent =:
|equation = <math>\eta((ct,x,y,z),(ct',x',y',z'))=(ct)\cdot(ct')-xx'-yy'-zz'</math>
&nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  {{EquationRef|M1|(M1)}}}}
と書ける。このような座標系で、
:<math>\vec{e}_0:=\begin{pmatrix}
1\\0\\0\\0
\end{pmatrix}</math>、<!--mathを分けているのは携帯での表示を改善するため--><math>\vec{e}_1:=\begin{pmatrix}
0\\1\\0\\0
\end{pmatrix}</math>、<math>\vec{e}_2:=\begin{pmatrix}
0\\0\\1\\0
\end{pmatrix}</math>、<math>\vec{e}_3:=\begin{pmatrix}
0\\0\\0\\1
\end{pmatrix}</math>
と定義すると、{{math|{{vec|''e''}}{{sub|0}}}}、{{math|{{vec|''e''}}{{sub|1}}}}、{{math|{{vec|''e''}}{{sub|2}}}}、{{math|{{vec|''e''}}{{sub|3}}}} はあきらかにミンコフスキー空間の基底であり、しかも
<!-- NumBlkだと携帯で正しく表示されなかったので改善-->{{Equation box 1
|indent =:
|equation = <math>\eta(\vec{e}_\mu,\vec{e}_\nu)=\begin{cases}
1&\text{if}\ \mu=\nu=0\\
-1&\text{if}\ \mu=\nu\neq 0\\
0&\text{otherwise}\end{cases}
</math>
&nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  {{EquationRef|M2|(M2)}}}}
を満たす。

ユークリッド空間の類似から{{EquationNote|M2|(M2)}}式を満たす基底 {{math|{{vec|''e''}}{{sub|0}}}}、{{math|{{vec|''e''}}{{sub|1}}}}、{{math|{{vec|''e''}}{{sub|2}}}}、{{math|{{vec|''e''}}{{sub|3}}}} を'''正規直交基底'''{{sfnp|シュッツ|2010|p=57}}と呼ぶ事にすると、慣性座標系から正規直交基底が1つ定まった事になる。{{math|{{vec|''e''}}{{sub|0}}}} をこの基底の'''時間成分'''といい、{{math|{{vec|''e''}}{{sub|1}}}}、{{math|{{vec|''e''}}{{sub|2}}}}、{{math|{{vec|''e''}}{{sub|3}}}} をこの基底の'''空間成分'''という。

逆に{{EquationNote|M2|(M2)}}式の意味で正規直交基底である {{math|{{vec|''e''}}{{sub|0}}}}、{{math|{{vec|''e''}}{{sub|1}}}}、{{math|{{vec|''e''}}{{sub|2}}}}、{{math|{{vec|''e''}}{{sub|3}}}} を一つ任意に選び、この基底における座標の成分表示を {{math|(''ct'', ''x'', ''y'', ''z'')}} と書くことにすると、ミンコフスキー内積が{{EquationNote|M1|(M1)}}式を満たすことを簡単に確認できる。

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

ただし、正規直交基底の中には、{{math|{{vec|''e''}}{{sub|0}}}} が過去の方向を向いていたり、{{math|{{vec|''e''}}{{sub|1}}}}、{{math|{{vec|''e''}}{{sub|2}}}}、{{math|{{vec|''e''}}{{sub|3}}}} が左手系だったりするものもあるので、このようなものは以下除外して考えるものとする<ref group="注">厳密にいうと我々はここで、
# ミンコフスキー空間の向きづけが事前に定められていること
# 2つの光円錐のうち1つを「未来」の光円錐であると事前に定められていること
を暗に仮定し、
* {{math|{{vec|''e''}}{{sub|0}}}} が未来の光円錐内にあり、
* ({{math|{{vec|''e''}}{{sub|1}}}}、{{math|{{vec|''e''}}{{sub|2}}}}、{{math|{{vec|''e''}}{{sub|3}}}}) の向きがミンコフスキー空間の向きと一致する

ものだけを考えることにしたのである。</ref>。
====世界線、光速との比較====
運動している質点がミンコフスキー空間内に描く軌跡を'''世界線'''と言う。今、世界線が原点を通る直線となる質点の運動があるとし、その直線の（4元）方向ベクトルを {{mvar|{{vec|u}}}} とする（長さは問わない）。

この質点の運動を慣性座標系 {{math|{{vec|''e''}}{{sub|0}}}}、{{math|{{vec|''e''}}{{sub|1}}}}、{{math|{{vec|''e''}}{{sub|2}}}}、{{math|{{vec|''e''}}{{sub|3}}}} にいる観測者 {{Math|A}} が原点で眺めるとする。この慣性座標系における {{mvar|{{vec|u}}}} の成分表示を {{math|(''ct'', ''x'', ''y'', ''z'')}} とすると、3次元ベクトル {{math|(''x''/''t'', ''y''/''t'', ''z''/''t'')}} は {{Math|A}} から見た質点の速度ベクトルであると解釈できる。

次に {{mvar|{{vec|u}}}} の速度を光速と比較してみる。{{mvar|{{vec|u}}}} の速度が光を下回る必要十分条件は、{{math|{{sqrt|''x''{{Sup|2}} + ''y''{{Sup|2}} + ''z''{{Sup|2}}}} / ''t'' &lt; ''c''}} となることであるので、これを書き換えると、{{math|(''ct''){{sup|2}} &minus; ''x''{{sup|2}} &minus; ''y''{{sup|2}} &minus; ''z''{{sup|2}} &gt; 0}} となる。ミンコフスキー計量の定義より、この式は {{math|''&eta;''({{vec|''u''}}, {{vec|''u''}}) > 0}} と'''慣性座標系によらない形で'''表現できる。従って、{{math|''&eta;''({{vec|''u''}}, {{vec|''u''}}) > 0}} であれば、'''どの慣性系から見ても'''光速度を下回り、逆に {{math|''&eta;''({{vec|''u''}},{{vec|''u''}}) < 0}} であれば '''どの慣性系から見ても'''光速度を上回る。

前述のように {{math|''&eta;''({{vec|''u''}}, {{vec|''u''}})}} の正負によって、{{mvar|{{vec|u}}}} を時間的もしくは空間的と呼ぶので、まとめると以下が結論づけられる：
*方向ベクトル {{mvar|{{vec|u}}}} が時間的 &hArr; 質点はどの慣性系から見ても光速を下回る
*方向ベクトル {{mvar|{{vec|u}}}} が空間的 &hArr; 質点はどの慣性系から見ても光速を上回る
*方向ベクトル {{mvar|{{vec|u}}}} が光的 &hArr; 質点はどの慣性系から見ても光速と等しい
最後のものは光速度不変の原理からの直接の帰結でもある。

なお、上の議論では、質点の世界線が直線である事を仮定したが、そうでない場合も原点での接線を {{mvar|{{vec|u}}}} として同様の議論をする事で同じ結論が得られる。

===ローレンツ変換===
====定義====
'''[[ローレンツ変換]]'''とは、ミンコフスキー空間 {{mvar|V}} 上の[[線形変換]] {{math|''&phi;'' : ''V'' &rarr; ''V''}} でミンコフスキー計量を変えないもの、すなわち任意の[[4元ベクトル]] {{mvar|{{vec|a}}}}、{{mvar|{{vec|b}}}} に対し、
:<math>\eta(\varphi(\vec{a}),\varphi(\vec{b}))=\eta(\vec{a},\vec{b})</math>
が成立するものの事である。

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

ただし正規直交基底の場合と同様、ローレンツ変換にも
* 空間方向の向きを保たないもの
* 時間方向の向きを保たないもの
が存在するのでこのようなものは以下除外して考える<ref group="注">数学的に言えば、[[ローレンツ群]] {{Math|O(1,3)}} は空間方向の向きを保つか、時間方向の向きを保つかにより、4つの連結成分に分割されており、そのうち単位元を含む連結成分である制限ローレンツ群 {{Math|SO{{sup|+}}1,3)}} の元のみを考えるという事である。</ref>。

なお、空間方向の向き、時間方向の向きの両方を保つローレンツ変換を'''正規ローレンツ変換'''という事があるが{{sfn|佐藤|1994|p=15}}、本項では以下、特に断りがない限り、単にローレンツ変換と言ったならば正規ローレンツ変換を指すものとする。

[[ローレンツ変換]] {{mvar|&phi;}} と[[4元ベクトル]] {{mvar|{{vec|b}}}} を使って
:{{math|''f''({{vec|''x''}}) {{=}} ''&phi;''({{vec|''x''}}) + {{vec|''b''}}}}
の形に書ける[[線形変換]]を'''[[ポアンカレ群|ポアンカレ変換]]'''という。特殊相対性理論では、2人の観測者が[[原点 (数学)|原点]]で出会ったケースにおいてローレンツ変換に関して議論する事が多いが、これは出会った場所を原点に平行移動した上で議論しているという事なので、実質的にはポアンカレ変換に関する議論である事が多い。

====ローレンツ変換の意義====
4次元ミンコフスキー空間 {{math|(''V'', ''&eta;'')}} では、 次の定理が成立する事が知られている。
{{math theorem|name=定理|1=
{{math|({{vec|''e''}}{{sub|0}}}}, {{math|{{vec|''e''}}{{sub|1}}}}, {{math|{{vec|''e''}}{{sub|2}}}}, {{math|{{vec|''e''}}{{sub|3}})}}、{{math|({{vec|''e&prime;''}}{{sub|0}}}}, {{math|{{vec|''e&prime;''}}{{sub|1}}}}, {{math|{{vec|''e&prime;''}}{{sub|2}}}}, {{math|{{vec|''e&prime;''}}{{sub|3}})}}を {{mvar|V}} の2組の正規直交基底とする。

このとき、{{mvar|V}} 上の線形変換 {{mvar|&phi;}} で
<!-- NumBlkだと携帯で正しく表示されなかったので改善-->{{Equation box 1
|indent =:
|equation = <math>\begin{align}&(\vec{e}'_0, \vec{e}'_1, \vec{e}'_2, \vec{e}'_3)\\&=(\varphi(\vec{e}_0), \varphi(\vec{e}_1),\varphi( \vec{e}_2), \varphi(\vec{e}_3))\end{align}</math>
&nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  {{EquationRef|L1|(L1)}}
|cellpadding= 6
}}
を満たすものがただ一つ存在し、しかも {{mvar|&phi;}} はローレンツ変換である。
}}
この定理はユークリッド空間における2つの正規直交基底が直交変換により写りあう事の類似である。

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

====ローレンツ変換の具体的な形====
[[File:Lt hyperbolic functions 2.svg|thumb|300px|ローレンツ変換の図示。{{mvar|(ct,x)}} を {{mvar|(ct',x')}} に変換する様子が {{math|''&zeta;'' ≈ +0.66}}に対して描かれている。]]
ローレンツ変換の具体的な形を求める為、まずは基底をより解析がしやすいものに置き換える。

基底 {{Math|{{vec|''e''}}{{sub|0}}, {{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}}}} の「空間部分」である {{Math|{{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}}}} の張るミンコフスキー空間上の部分空間を {{mvar|E}} とし、同様に基底 {{Math|{{vec|''e&prime;''}}{{sub|0}}, {{vec|''e&prime;''}}{{sub|1}}, {{vec|''e&prime;''}}{{sub|2}}, {{vec|''e&prime;''}}{{sub|3}}}} の空間部分である {{Math|{{vec|''e&prime;''}}{{sub|1}}, {{vec|''e&prime;''}}{{sub|2}}, {{vec|''e&prime;''}}{{sub|3}}}} の張るミンコフスキー空間上の部分空間を {{mvar|E&prime;}} とする。これらはそれぞれの慣性座標系における空間方向を表している。

{{Math|{{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}}}} を {{mvar|E}} 内で回転した別の正規直交基底に取り替えても、{{Math|{{vec|''e''}}{{sub|0}}, {{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}}}} と実質的に同じ慣性系を表しているとみなしてよい。そこで {{Math|({{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}}), ({{vec|''e&prime;''}}{{sub|1}}, {{vec|''e&prime;''}}{{sub|2}}, {{vec|''e&prime;''}}{{sub|3}})}} をそれぞれ {{mvar|E}} 内、{{mvar|E&prime;}} 内で回転することで、ローレンツ変換 {{mvar|&phi;}} の行列表示 {{math|&Lambda;}} を簡単な形で表すことを試みる<ref group="注">これは3次元空間上の回転Rにより、({{math|{{vec|''e''}}{{sub|0}}}}, {{math|{{vec|''e''}}{{sub|1}}}}, {{math|{{vec|''e''}}{{sub|2}}}}, {{math|{{vec|''e''}}{{sub|3}}}}) を ({{math|{{vec|''e''}}{{sub|0}}}},R({{math|{{vec|''e''}}{{sub|1}}}}), R({{math|{{vec|''e''}}{{sub|2}}}}), R({{math|{{vec|''e''}}{{sub|3}}}})) に移し、({{math|{{vec|''e''}}{{sub|0}}}}, {{math|{{vec|''e''}}{{sub|1}}}}, {{math|{{vec|''e''}}{{sub|2}}}}, {{math|{{vec|''e''}}{{sub|3}}}}) にも同様の変換を施す事を意味する。なお、({{math|{{vec|''e''}}{{sub|0}}}}, {{math|{{vec|''e''}}{{sub|1}}}}, {{math|{{vec|''e''}}{{sub|2}}}}, {{math|{{vec|''e''}}{{sub|3}}}}) と ({{math|{{vec|''e''}}{{sub|0}}}}, {{math|{{vec|''e''}}{{sub|1}}}}, {{math|{{vec|''e''}}{{sub|2}}}}, {{math|{{vec|''e''}}{{sub|3}}}}) では用いる回転行列Rが異なってもよい。このような変換がミンコフスキー計量を保つ線形変換（従ってローレンツ変換）である事は簡単に確認できる。よってこれらの変換を施した後も ({{math|{{vec|''e''}}{{sub|0}}}}, {{math|{{vec|''e''}}{{sub|1}}}}, {{math|{{vec|''e''}}{{sub|2}}}}, {{math|{{vec|''e''}}{{sub|3}}}}) と ({{math|{{vec|''e''}}{{sub|0}}}}, {{math|{{vec|''e''}}{{sub|1}}}}, {{math|{{vec|''e''}}{{sub|2}}}}, {{math|{{vec|''e''}}{{sub|3}}}}) が正規直交基底であるという事実は保たれる。</ref>。

{{mvar|E}} と {{mvar|E&prime;}} の共通部分 {{mvar|''E'' &cap; ''E&prime;''}} を {{mvar|U}} とすると、{{mvar|U}} は4次元ベクトル空間上の2つの3次元部分ベクトル空間の共通部分なので、{{mvar|U}} は2次元（以上）のベクトル空間である。従って {{mvar|E}} 内で {{Math|({{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}})}} を回転することで、{{math|{{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}} &isin; ''U''}} としてよく、同様に {{mvar|E&prime;}} 内の回転により {{math|{{vec|''e&prime;''}}{{sub|2}}, {{vec|''e&prime;''}}{{sub|3}} &isin; ''U''}} とできる。最後に {{mvar|U}} 内で {{math|{{vec|''e''}}'{{sub|1}}, {{vec|''e''}}'{{sub|2}}}} を回転することで {{math|{{vec|''e&prime;''}}{{sub|2}} {{=}} {{vec|''e''}}{{sub|2}}}}、{{math|{{vec|''e&prime;''}}{{sub|3}} {{=}} {{vec|''e''}}{{sub|3}}}}
としてよい。

これらの基底に対し、{{EquationNote|L1|(L1)}}式を満たすローレンツ変換 {{mvar|&phi;}} の行列表現を {{math|&Lambda; {{=}} (&Lambda;{{sup|''&mu;''}}{{sub|''&nu;''}}){{sub|''&mu;&nu;''}}}} とする。これはすなわち、
:<math>(\vec{e}'_0, \vec{e}'_1, \vec{e}'_2, \vec{e}'_3)= (\vec{e}_0, \vec{e}_1, \vec{e}_2, \vec{e}_3)\Lambda</math>
を満たすという事であり、これら2つの基底における座標の成分表示をそれぞれ {{math|(''ct'', ''x'', ''y'', ''z'')}}、{{math|(''ct''&prime;, ''x''&prime;, ''y''&prime;, ''z''&prime;)}}とすると
{{NumBlk|:|<math>\left(\begin{array}{c}ct'\\x'\\y'\\z'\end{array}\right)=\Lambda\left(\begin{array}{c}ct\\x\\y\\z\end{array}\right)</math>|{{EquationRef|L2}}}}
が成立するという事でもある。

{{math|{{vec|''e&prime;''}}{{sub|2}} {{=}} {{vec|''e''}}{{sub|2}}}}、{{math|{{vec|''e&prime;''}}{{sub|3}} {{=}} {{vec|''e''}}{{sub|3}}}} であったので、ローレンツ変換の行列表示は、
:<math>\Lambda=\left(\begin{array}{cc|cc}*&&&\\&&&\\\hline&&1&\\&&&1\end{array}\right)</math>
という形であり、ローレンツ変換がミンコフスキー空間における「回転」であったことを利用すれば、上の行列の(*)の部分が、
:<math>\left(\begin{array}{cc}\cosh\zeta&-\sinh\zeta\\-\sinh\zeta&\cosh\zeta\end{array}\right)</math>
という形であることがわかる。これを導く厳密な方法はいくつかあるが、簡便な方法としては[[虚数単位]] {{mvar|i}} を用いて時間軸を {{mvar|''&tau;'' {{=}} ''ict''}} と置く事で通常のユークリッド空間の回転とみなせる（'''[[ウィック回転]]'''）という事実を使うものがある。

最終的に2つの基底における座標の成分表示の関係{{EquationNote|L2|(L2)}}式は以下のように書ける事がわかる。
{{math theorem|name=定理（ローレンツ変換の具体的な形）|1=
必要なら空間方向の座標軸を回転させる事で、ローレンツ変換は
<!--携帯で正しく表示されなかったので改善-->{{Equation box 1
|indent =:
|equation = <math>\left(\begin{array}{c}ct'\\x'\\y'\\z'\end{array}\right)=\left(\begin{array}{c}ct\cosh\zeta-x\sinh\zeta\\-ct\sinh\zeta+x\cosh\zeta\\y\\z\end{array}\right)</math>
&nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  {{EquationRef|L3|(L3)}}
|cellpadding= 6
}}
と表示できる<ref group="注">このように表示できるのは、ローレンツ変換の固有値が {{mvar|e{{Sup|&zeta;}}}}、{{mvar|e{{sup-|&zeta;}}}}、{{mvar|e{{Sup|&iota;&alpha;}}}}、{{mvar|e{{sup-|&iota;&alpha;}}}} の形に書けることと関係している。ここで{{mvar|&zeta;}}は[[ラピディティ]]。</ref>。
}}

この値 {{mvar|&zeta;}} は正規直交基底の取り方に依存せず、ローレンツ変換 {{mvar|&phi;}} の[[固有値]]のみによって決まることが知られており、{{mvar|&zeta;}} を {{mvar|&phi;}} の'''[[ラピディティ]]'''という。なお、{{mvar|&zeta;}} は
:<math>\zeta=\operatorname{arccosh}(\eta(\vec{e}_0,\vec{e}'_0))</math>
と具体的に求めることもできる。

====ローレンツ変換の物理的解釈====
{{Main|en:Derivations of the Lorentz transformations}}
慣性座標系 {{Math|(''ct'', ''x'', ''y'' ,''z'')}} にいる観測者 {{Math|A}} は、原点を通過した後、{{Math|(''ct'', 0, 0, 0)}} という直線（'''世界線'''）にそって進んでいく。この様子を別の観測者 {{Math|B}} の慣性座標系 {{Math|(''ct''&prime;, ''x''&prime;, ''y''&prime;, ''z''&prime;)}} で記述した式は{{EquationNote|L3|(L3)}}式に {{Math|(''x'', ''y'', ''z'') {{=}} (0, 0, 0)}} を代入した
:<math>\begin{pmatrix}ct'\\x'\\y'\\z'\end{pmatrix} = \begin{pmatrix}ct\cosh\zeta\\-ct\sinh\zeta\\0\\0\end{pmatrix}</math>
によって表現できる。この世界線の「傾き」
:<math>x'/t'=-c\tanh\zeta</math>
は2人の観測者の相対速度と解釈できるので、観測者 {{Math|A}} から見た観測者 {{Math|B}} の相対速度を {{Mvar|v}} とすると、
:<math>v=c\tanh\zeta</math>
となる<ref group="注">符号が反転しているのは、{{mvar|v}} が観測者Aから見た観測者Bの相対速度であるのに対し、{{math|''x''&prime;/''t''&prime;}} は観測者Bから見た観測者Aの相対的だからである。なお、特殊相対性理論においても観測者の入れ替えで相対速度の符号が反転するという事実はローレンツ変換の逆変換に対して同様の議論をする事で確認できる。</ref>。よって、
:<math>\cosh\zeta=\frac{1}{\sqrt{1-\tanh^2\zeta}}=\frac{1}{\sqrt{1-(v/c)^2}},</math>
:<math>\sinh\zeta=\frac{\tanh\zeta}{\sqrt{1-\tanh^2\zeta}}=\frac{(v/c)}{\sqrt{1-(v/c)^2}}</math>
である。そこで'''[[ローレンツ因子]]''' {{mvar|&gamma;}} を
{{Indent|<math>\gamma:=\frac{1}{\sqrt{1-(v/c)^2}}</math>}}
と定義すると、以下が導かれる：
{{math theorem|name=相対速度を用いたローレンツ変換の表示|1=
観測者Aから見た観測者Bの相対速度を {{Mvar|v}} とするとき、必要なら空間方向の座標軸を回転させる事で、ローレンツ変換は
<!-- NumBlkだと携帯で正しく表示されなかったので改善-->{{Equation box 1
|indent =:
|equation = <math>\left(\begin{array}{c}ct'\\x'\\y'\\z'\end{array}\right)=\left(\begin{array}{c}(ct-x\cdot(v/c))\gamma\\(x-vt)\gamma\\y\\z\end{array}\right)</math>
&nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  {{EquationRef|L4|(L4)}}
|cellpadding= 6
}}
と書ける。
}}

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

{{EquationNote|L3|(L3)}}式や{{EquationNote|L4|(L4)}}式のように書けるローレンツ変換、すなわち空間方向に回転しないローレンツ変換の事を'''[[ローレンツ・ブースト]]'''と呼ぶ。

====ガリレイの相対性原理と特殊相対性原理====
ローレンツ変換の式{{EquationNote|L4|(L4)}}式において、{{math|''v''/''c'' &asymp; 0}} (0に近似) とすると、{{EquationNote|L4|(L4)}}式は、
:<math>\left(\begin{array}{c}ct'\\x'\\y'\\z'\end{array}\right)=\left(\begin{array}{c}ct\\x-vt\\y\\z\end{array}\right)</math>
となり、ガリレイ変換に一致する。すなわち、「ニュートン力学近似」とは、慣性座標系間の相対速度 {{Mvar|v}} が光速 {{Mvar|c}} と比べて十分小さい場合の理論であるということが言える。

このことから{{疑問点範囲|[[ニュートン力学]]は[[ガリレイ変換]]に不変であるというガリレイの相対性原理は、特殊相対性理論では以下の形で成立している|date=2021年7月|title=不正確。「相当する」と言いたいのか？}}と考えられる：
{{Indent|<!-- '''特殊相対性原理'''： -->
全ての物理法則はローレンツ変換に対して不変でなければならない。{{sfnp|佐藤|1994|p=29}} }}
<!-- 特殊相対性原理の内容は慣性系の同等性であって、具体的な変換の仕方までは指定しないでしょう。 ローレンツ変換は、特殊相対性原理 と 光速不変（orマクスウェル方程式）から導出されるもののはず。 -->

===固有時===
本節では光速を超えずに移動する観測者 {{Math|A}} の感じる時間の長さ（観測者の'''[[固有時|固有時間]]'''）{{Mvar|s}} が、{{Math|A}} の[[世界線]]の（ミンコフスキー計量で測った）「長さ」に一致することを示す。

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

{{mvar|{{vec|x}}}} を世界点とし、{{Math|({{vec|''e''}}{{sub|0}}, {{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}})}} を原点における慣性座標系とする。このとき、以下が成立する：
{{Indent|慣性座標系 {{Math|({{vec|''e''}}{{sub|0}}, {{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}})}} における {{mvar|{{vec|x}}}} の起こる時刻は {{math|''&eta;''({{vec|''x''}}, {{vec|''e''}}{{sub|0}})}}である。}}

ただしここでいう「時間の長さ」は {{mvar|c}} 秒を1単位として数えた時間である。秒を単位とした時間の長さの場合は右辺を {{mvar|c}} で割る必要がある。

実際、{{Math|({{vec|''e''}}{{sub|0}}, {{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}})}} における成分表示を {{math|(''ct'', ''x'', ''y'', ''z'')}} とすると、{{mvar|{{vec|x}}}} の起こる時刻は {{mvar|{{vec|x}}}} を時間軸方向へ[[射影作用素|射影]]したものに一致するが、{{mvar|{{vec|x}}}} を時間軸方向へ射影した値は {{math|''&eta;''({{vec|''x''}},{{vec|''e''}}{{sub|0}})}} である。

====直線的に動く場合の固有時間====
本節では以下を示す：時間的もしくは光的な4元ベクトル {{mvar|{{vec|u}}}} に沿って原点から {{mvar|{{vec|u}}}} の終点まで直線的に動く観測者の固有時間 {{mvar|s}} は {{mvar|{{vec|u}}}} のミンコフスキー・ノルム <math>\|\vec{u}\|=\sqrt{\eta(\vec{u},\vec{u})}</math> に一致する。

なお、{{mvar|{{vec|u}}}} が時間的もしくは光的な4元ベクトルであることから {{math|''&eta;''({{vec|''u''}}, {{vec|''u''}}) > 0}} であるので、上式の平方根は意味を持つ。

ただしここでいう「時間の長さ」は {{mvar|c}} 秒を1単位として数えた時間である。秒を単位とした時間の長さは {{math|''&tau;'' {{=}} ''s''/''c''}} である。

上の事実を示すため、{{Math|O}} から {{mvar|{{vec|u}}}} に沿って移動する観測者を考えると、この観測者の慣性座標系は、{{math|{{vec|''e''}}{{sub|0}} {{=}} {{vec|''u''}} / {{!!}}{{vec|''u''}}{{!!}}}} を時間方向の単位（4元）ベクトルとする正規直交基底 {{Math|({{vec|''e''}}{{sub|0}}, {{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}})}} により表せる。この座標系に前述の公式を適用すれば、この座標系で観測者が原点から {{mvar|{{vec|u}}}} の終点まで世界線を移動するのにかかる固有時間は
{{Indent|<math>\eta(\vec{u},\vec{e}_0)=\|\vec{u}\| \eta(\vec{e}_0,\vec{e}_0)=\|\vec{u}\|</math>}}
となり、最初の公式が示された。

上では観測者が原点を通る世界線に沿って移動する場合について述べたが、原点を通らない世界線に関しても、観測者が上を {{mvar|{{vec|u}}}} から {{mvar|{{vec|w}}}} まで直線的に動く間に {{math|{{!!}}{{vec|''u''}} - {{vec|''w''}}{{!!}}}} の固有時間が流れる事を同様の議論により証明できる。

====一般の場合====
本節では光速を超えずに移動する観測者 {{Math|A}} の世界線 {{Math|C}} が曲線である場合に対して {{Math|A}} の固有時間を求める方法を述べる。

観測者 {{Math|A}} の時空間上の位置 {{mvar|{{vec|x}}}} が実数 {{mvar|r}} によってパラメトライズされて {{math|{{vec|''x''}} {{=}} {{vec|''x''}}(''r'')}} と書けているとすると、観測者が {{math|{{vec|''x''}}(''r''{{sub|0}})}} から {{math|{{vec|''x''}}(''r''{{sub|0}} + &Delta;''r'')}} まで移動する間に、
:<math>\Delta s=\| \vec{x}(r_0+\Delta r)- \vec{x}(r_0) \|= \left\|\frac{\Delta\vec{x}}{\Delta r}\right\| \Delta r</math>
の固有時間が流れることになる。したがって観測者 {{Math|A}} が {{Math|C}} に沿って動いた際に流れる固有時間 {{Mvar|s}} は以下のように求まる：
{{Indent|<math>s=\int_\mathrm{C}\mathrm{d}s=\int_\mathrm{C}\left\|\frac{\mathrm{d}\vec{x}}{\mathrm{d}r}\right\|\mathrm{d}r.</math>}}
これはユークリッド空間において曲線の長さを求める[[弧長|弧長積分]]のミンコフスキー空間版であるので、上の公式は、観測者 {{Math|A}} の固有時間が {{Math|A}} の描く世界線 {{Math|C}} の「長さ」に一致することを意味している。

次に上で示した式を慣性座標で表す。{{Math|A}} とは別の観測者 {{Math|B}} が慣性運動しており、{{Math|B}} の慣性座標系 {{math|(''ct'', ''x'', ''y'', ''z'')}} における {{Math|A}} の位置 {{math|{{vec|''x''}}(''r'')}} が
:{{math|{{vec|''x''}}(''r'') {{=}} (''ct''(''r''), ''x''(''r''), ''y''(''r''), ''z''(''r''))}}
と書けていたとすると、以下が言える：
{{Indent|<math>\begin{align}\mathrm{d}s^2 &= \left\|\frac{\mathrm{d}\vec{x}}{\mathrm{d}r}\right\|^2\mathrm{d}r^2 = \|\mathrm{d}\vec{x}\|^2\\ &= c^2\mathrm{d}t^2-\mathrm{d}x^2-\mathrm{d}y^2-\mathrm{d}z^2.\end{align}</math>}}

====4元速度と4元加速度====
以上の議論では変数 {{mvar|r}} で世界線 {{Math|C}} をパラメトライズしたが、物理学的に自然な値である秒を単位とした固有時 {{mvar|&tau;}} そのものを使って、{{math|{{vec|''x''}} {{=}} {{vec|''x''}}(''&tau;'')}} とパラメトライズするのが一般的である。このようにパラメトライズしたとき、質点 {{mvar|{{vec|x}}}} の'''{{仮リンク|4元速度|en|Four-velocity}}''' {{mvar|{{vec|u}}}} と'''{{仮リンク|4元加速度|en|Four-acceleration}}''' {{mvar|{{vec|a}}}} を以下のように定義する：
:<math>\vec{u}:=\frac{\mathrm{d}\vec{x}}{\mathrm{d}\tau}</math>、 <math>\vec{a}:=\frac{\mathrm{d}^2\vec{x}}{\mathrm{d}\tau^2}.</math>
すなわち、{{mvar|{{vec|x}}}} のミンコフスキー空間上の位置の変化率を固有時間 {{mvar|&tau;}} で測ったものが4元速度で、4元速度の変化率を {{mvar|&tau;}} で測ったものが4元加速度である。

4元速度のミンコフスキー・ノルムは
:<math>\frac{1}{c}\left\|\frac{\mathrm{d}\vec{x}}{\mathrm{d}\tau}\right\| = \frac{\| \mathrm{d}\vec{x} \| }{ \mathrm{d}s} = \frac{\mathrm{d}s}{\mathrm{d}s} = 1</math>
を満たす{{sfnp|Landau, Lifshitz (3rd ed.)|1971|p=22}}。このことから、4元速度は {{mvar|x}} の世界線の接線で長さが {{mvar|c}} であるものである事がわかる。この事実は、ユークリッド空間の曲線を弧長で微分したときの長さが1になることと対応している。長さが1でなく {{mvar|c}} なのは時間の単位が {{mvar|c}} 秒でなく1秒だからである。

以上の事から4元速度のミンコフスキー・ノルムの2乗が定数 {{math|''c''{{Sup|2}}}} なので、これを微分する事で
{{Indent|<math>\eta(\vec{u},\vec{a})=0</math>}}
である事がわかる。すなわち4元速度と4元加速度は「直交」している{{sfnp|Landau, Lifshitz (3rd ed.)|1971|p=22}}。

====固有時間による慣性系の特徴付け====
変分法を用いる事で、以下の事実を示せる：ミンコフスキー空間上の2つの世界点 {{mvar|{{vec|x}}, {{vec|y}}}} を結ぶ世界線（で光速度未満のもの）のうち、最も固有時間が長くなるのは、{{mvar|{{vec|x}}}} と {{mvar|{{vec|y}}}} を直線的に結ぶ世界線である。

{{mvar|{{vec|x}}}} から {{mvar|{{vec|y}}}} へと直線的に動く観測者は慣性系にいることになるので、これは慣性運動している場合が最も固有時間が長くなる事を意味する。

固有時間が世界線の「長さ」であった事に着目すると、上述した事実は、ユークリッド空間上の二点を結ぶ最短線が直線であることに対応している事がわかる。なお、ユークリッド空間では「最短」であったはずの直線がミンコフスキー空間上では「最大」に変わっているのは、ミンコフスキーノルムの2乗 {{math|(''ct''){{sup|2}} &minus; ''x''{{sup|2}} &minus; ''y''{{sup|2}} &minus; ''z''{{sup|2}}}} の空間部分がユークリッドノルムの2乗 {{math|''x''{{sup|2}} + ''y''{{sup|2}} + ''z''{{sup|2}}}} とは符号が反対である事に起因する。

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

以下、記法を簡単にするため、4元ベクトルの成分を
{{Indent|<math>(x^0,x^1,x^2,x^3):=(ct,x,y,z)</math>}}
などと書くことにする。

===4元運動量 ===
光速を超えないで運動する質点 {{mvar|{{vec|x}}}} の世界線を {{math|{{vec|''x''}} {{=}} {{vec|''x''}}(''&tau;'')}} と秒を単位とした固有時 {{mvar|&tau;}} でパラメトライズする。このとき、質点 {{mvar|{{vec|x}}}} の'''[[4元運動量]]'''を
:<math>\vec{p}:=m\frac{\mathrm{d}\vec{x}}{\mathrm{d}\tau}</math>
と定義する。ここで {{mvar|m}} は質点 {{mvar|{{vec|x}}}} の慣性座標における質量（'''[[不変質量|静止質量]]'''と呼ぶ）である。すなわち、4元運動量は、4元速度に静止質量を掛けたものである。

4元運動量の物理学的意味を見るため、慣性座標系 {{math|(''x''{{sup|0}}, ''x''{{sup|1}}, ''x''{{sup|2}}, ''x''{{sup|3}})}} を固定し、{{mvar|{{vec|p}}}} をこの座標系に関して {{math|{{vec|''p''}} {{=}} (''p''{{sup|0}}, ''p''{{sup|1}}, ''p''{{sup|2}}, ''p''{{sup|3}})}} と成分表示する。

====4元運動量の空間成分====
{{math|''i'' {{=}} 1, 2, 3}} に対し、4元運動量の定義より、
:<math>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{mv^i}{\sqrt{1-(v/c)^2}}</math>
である。ここで {{math|'''''v''''' {{=}} (''v''{{sup|1}}, ''v''{{sup|2}}, ''v''{{sup|3}})}} はこの慣性座標系における質点の速度ベクトルであり、{{math|''v'' {{=}} {{!}}'''''v'''''{{!}}}}である。

{{math|''v'' / ''c'' &rarr; 0}} の極限において {{mvar|p{{sup|i}}}} は {{math|''mv''{{sup|i}}}} に漸近するので、4元運動量の空間部分 {{math|(''p''{{sup|1}}, ''p''{{sup|2}}, ''p''{{sup|3}})}} はニュートン力学の運動量 {{math|(''mv''{{sup|1}}, ''mv''{{sup|2}}, ''mv''{{sup|3}})}} をローレンツ変換で不変にしたものであるとみなす事ができる。

また、{{math|(''p''{{sup|1}}, ''p''{{sup|2}}, ''p''{{sup|3}})}} は質点の「見かけ上の重さ」{{sfnp|佐藤|1994|p=83}}が
:<math>M:=\frac{m}{\sqrt{1-(v/c)^2}}</math>
である場合の運動量とみなすこともできる。

====4元運動量の時間成分====
4元運動量の時間成分 {{math|''p''{{sup|0}}}} に {{mvar|c}} を掛けたものを[[テイラー展開]]すると、
:<math>\begin{align}cp^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{mc^2}{\sqrt{1-(v/c)^2}}=mc^2+\frac{mv^2}{2}+\cdots\end{align}</math>
である。

第二項はニュートン力学における運動エネルギーであるので {{math|''cp''{{sup|0}}}} はエネルギーに相当していると考えられる。

従って第一項の
{{Indent|<math>E:=mc^2</math>}}
もエネルギーを表していると解釈できる。この値は質点が例え慣性系に対して静止していて {{math|''v'' {{=}} 0}} であっても持つエネルギーであることから、この値を質点の'''[[E=mc2|静止質量エネルギー]]'''と呼ぶ。

質量 {{math|''m''}} を持つこととエネルギー {{math|''mc''²}} を持つことは等価であり、[[質量欠損]]や[[核反応]]・[[対消滅]]に伴うエネルギー放出・吸収から確かめられている。

====エネルギーと運動量の関係====
{{Main|en:energy–momentum relation}}
4元運動量のミンコフスキー・ノルムは
:<math>\left\|\frac{\mathrm{d}\vec{p}}{\mathrm{d}\tau}\right\|=m\left\|\frac{\mathrm{d}\vec{x}}{\mathrm{d}\tau}\right\|=m\frac{\| \mathrm{d}\vec{x} \|}{\mathrm{d}\tau}=m\frac{\mathrm{d}s}{\mathrm{d}\tau}=mc</math>
である。一方、慣性座標系を1つ固定して4元運動量を成分表示したとき、前に示したように、{{math|''E'' {{=}} ''cp''{{sup|0}}}} はエネルギーを表し、{{math|'''''p''''' {{=}} (''p''{{sup|1}}, ''p''{{sup|2}}, ''p''{{sup|3}})}} は運動量に対応していた。運動量の大きさを {{math|''p'' {{=}} {{!}}'''''p'''''{{!}}}} とすると、{{mvar|E}} と {{mvar|p}} は以下の関係式を満たす：
:<math>(mc^2)^2=\|c\vec{p}\|^2=(cp^0)^2-|c\boldsymbol{p}|^2=E^2-(cp)^2.</math>
左辺は慣性系によらないので、{{math|''E''{{Sup|2}} &minus; (''cp''){{Sup|2}}}} は慣性系によらず一定値 {{math|(''mc''{{Sup|2}}){{Sup|2}}}} になることを意味する。

{{math|''p'' &#8810; ''mc''}} であれば上の式は
:<math>E=\sqrt{(mc^2)^2+(cp)^2}=mc^2+\frac{p^2}{2m}+\cdots</math>
となり{{sfnp|Landau, Lifshitz (3rd ed.)|1971|p=26}}、静止質量エネルギー {{math|''mc''{{sup|2}}}} を無視すれば、{{math|''p''{{Sup|2}} / 2''m''}} が質点の運動エネルギーに相当するというニュートン力学の式に対応していることがわかる。

==== 正の質量を持った質点は光速度以上になれない====
光速で移動する有限のエネルギーを持った粒子を考える。この時、{{math|''m&gamma;c''²}} の {{mvar|γ}} が無限大に発散してしまうので、{{math|''m'' {{=}} 0}} でなければならない。この逆も成立するため、質量を持たずに有限のエネルギーを持つ物質は常に光速で走り続けねばならず、また光速で移動するエネルギーを持つ物質はすべて質量が0であることが分かる。

==== 特殊相対性理論以前の解釈====
特殊相対性理論以前の電磁気学において、[[ジョゼフ・ジョン・トムソン|J.J.トムソン]]や{{仮リンク|ワルター・カウフマン|en|Walter Kaufmann (physicist)}}によって電子の質量の速さ依存性が指摘されていた。それを説明する理論として[[マックス・アブラハム]]は、電子の慣性質量の起源を全て電磁場に求めるという電磁質量概念{{enlink|Electromagnetic mass}}を提唱したが、電子以外の物質の構成要素に対して一般化することができなかった<ref group="注">質量の電磁気学的概念（電磁質量概念）の詳細とその発展については、{{harvtxt|ヤンマー|1977}}第11章を参照。</ref>。

一方、特殊相対性理論はその物質の質量の速さ依存性についての一般的な説明と慣性質量とエネルギーに関する普遍的な関係を与える{{refnest|group="注"|この関係はアインシュタインの論文『物体の慣性は、そのエネルギーの大きさに依存するか』{{sfnp|アインシュタイン|1905b}}によって見出されたと言われる。ただし、この論文における {{math|''E'' {{=}} ''mc''²}} の導出は循環論法になっているといわれる{{sfnp|ヤンマー|1977|pp=156&ndash;157}}。}}。

===運動方程式===
すでに運動量の概念を4元ベクトル化したので、力の概念を4元ベクトル化した'''4元力''' {{mvar|{{vec|f}}}} が定義できれば、 ニュートンによる質点の運動方程式 {{math|''f'' {{=}} d'''''p''''' / d''t''}} をローレンツ変換に不変にした特殊相対性理論の運動方程式
:<math>\vec{f}=m\frac{\mathrm{d}\vec{p}}{\mathrm{d}t}</math>
が定式化できる。

現在知られている4種類の力のうち、電磁気力、[[強い相互作用|強い力]]、[[弱い相互作用|弱い力]]の3つは4元力として表現可能な事が知られている{{sfnp|佐藤|1994|p=55}}。このうち電磁気力を4元力として表現する方法は後の節で述べる。

一方、重力は特殊相対性理論の範囲で4元ベクトル化しようとしてもローレンツ変換に対して不変にならないためうまくいかない{{sfnp|佐藤|1994|p=45}}。重力を扱うには一般相対性理論が必要となる。

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

次の事柄は、特殊相対性理論の前提あるいは理論展開([[#特殊相対性理論の基礎]])するところそのものである。特殊相対論によって座標変換に関して対称な簡潔な数式系にまとめられることができたこと、さらに、後に実験事実として得た諸結果が特殊相対性理論によく整合したことから、物理の基本原理として、これらはより支持されるようになった（[[#特殊相対性理論の実験的検証]]）。
* 光の速度は観測者の移動の影響を受けず一定値である。
* 慣性系相互の座標変換において、物理法則を普遍に保つ変換則はローレンツ変換である。
* マクスウェル方程式は修正する必要はない。

=== ローレンツ収縮 ===
[[File:Graph for explanation of Lorentz contraction.png|thumb|230px|ローレンツ収縮。図では時間 {{Mvar|ct}} を {{Mvar|w}} で表している。慣性系 {{Mvar|(x',w')}} に固有長さが {{Mvar|l}} の棒（{{Mvar|x'}} 軸の濃い紫）があり、この棒の時空間上の軌跡が薄紫である。それを別の慣性系 {{Mvar|(x,w)}} で計ると長さが {{Math|{{Sfrac|''l''|''γ''}}}} に縮んで見える。ここで {{Mvar|γ}} はローレンツ因子 {{math|{{Sfrac|1|{{Sqrt|1 &minus; (''v''/''c''){{Sup|2}}}}}}}} である。慣性系 {{Mvar|(x',w')}} と慣性系 {{Mvar|(x,w)}} とでは棒の測っている箇所が違うことに注意。図の双曲線は原点からの世界距離の2乗 {{math|''w''{{Sup|2}} &minus; ''x''{{Sup|2}}}} が {{math|&minus;''l''{{Sup|2}}}} になる箇所。]]
以下では話を簡単にするため時間1次元+空間1次元の計2次元の場合について述べる。

ある慣性系 {{Math|(''ct''&prime;, ''x''&prime;)}} において静止している剛体について、この慣性系 {{Math|(''ct''&prime;, ''x''&prime;)}} で測った剛体の長さをこの剛体の'''固有長さ'''と呼ぶ。

今、固有長さ {{Mvar|l}} の棒が慣性系 {{Math|(''ct''&prime;, ''x''&prime;)}} に対して静止しており、これを別の慣性系 {{Math|(''ct'', ''x'')}} から眺めたとする。話を簡単にするため、2つの慣性系の原点はいずれも棒の1つの端点 {{Math|O}} に一致しているものとする。

棒は慣性系 {{Math|(''ct''&prime;, ''x''&prime;)}} に対して静止しているので、棒の他方の端点が描く世界線 {{Math|C}} は {{Math|(''ct''&prime;, ''l'')}} と {{Mvar|t&prime;}} でパラメトライズできる。

慣性系 {{Math|(''ct'', ''x'')}} における現在 {{Math|(0, ''x'')}} と世界線 {{Math|C}} との交わりはローレンツ変換により
:<math>\begin{pmatrix}ct'\\l\\\end{pmatrix} = \gamma\begin{pmatrix}c\cdot0+x\cdot(v/c)\\x-v\cdot0\\\end{pmatrix}</math>
なので、棒の長さは
{{Indent|<math>x=l/\gamma</math>}}
となる。ここで {{Math|''&gamma;'' > 1}} はローレンツ因子 {{math|1/{{Sqrt|1 &minus; (''v''/''c''){{Sup|2}}}}}} である。

これにしたがうと、棒に対して長さ方向に運動している座標系からみると、棒の長さは {{Math|1/''&gamma;''}} 倍に縮んだかのように見える。この現象を '''[[ローレンツ変換#ローレンツ＝フィッツジェラルド収縮|ローレンツ収縮]]'''{{sfnp|佐藤|1994|p=24}}{{Sfnp|シュッツ|2010|p=22}}もしくは'''フィッツジェラルド=ローレンツ収縮'''<ref>{{Kotobank|ローレンツ収縮|2=世界大百科事典 第2版}}</ref><ref>{{Kotobank|フィッツジェラルド‐ローレンツ短縮|2=法則の辞典}}</ref>という。

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

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

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

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

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

===時間（時刻の隔たり）の伸び===
運動する観測者 A があり、A とは別の観測者 B が慣性運動し、A 側の座標系 {{math|(''ct, x, y, z'')}} にて B の位置が、
:{{math|{{vec|''x''}}(''&tau;'') {{=}} (''ct''(''&tau;''), ''x''(''&tau;''), ''y''(''&tau;''), ''z''(''&tau;''))}}
と書けるとき、
:<math>\mathrm{d}s^2=(c\mathrm{d}t)^2-\mathrm{d}x^2-\mathrm{d}y^2-\mathrm{d}z^2</math>
というローレンツ変換について不変な量 {{mvar|s}} をとり、A側の[[固有時|固有時刻]]を {{math|''&tau;'' {{=}} ''s'' / ''c''}} とする。
:<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</math>
であることより
{{Indent|<math>\frac{\mathrm{d}\tau}{\mathrm{d}t}=\sqrt{1-(v/c)^2}</math>}}
である。右辺はローレンツ因子 {{math|''&gamma;''}} の逆数である。これを観測者 A の世界線 C に沿って積分すると
{{Indent|<math>T=\int_\mathrm{C} \sqrt{1-(v(t)/c)^2} \mathrm{d}t</math>}}
により、A 側の固有時間 {{mvar|T}} が得られる。ここで {{math|''v''(''t'')}} は時刻 {{mvar|t}} における A と B の相対速度である。

{{math|''v'' < ''c''}} ゆえ、積分内は常に1未満であり、慣性系B側の時間 {{mvar|T&prime;}} との関係は次式となる：
{{Indent|<math>T < T'. </math>}}
これはすなわち、'''ある慣性系でみたときの時間は固有時間よりも長い'''事を意味する。

特に観測者 A も慣性運動しているときは、相対速度 {{mvar|v}} は常に一定であり、次式となる：
{{Indent|<math>T=T'\sqrt{1-(v/c)^2}. </math>}}

=== 速度の合成則 ===
観測者 {{Math|A}}、{{Math|B}} が慣性運動しており、さらに質点 {{Math|C}} が運動しているとする（慣性運動とは限らない）。

観測者 {{Math|A}} の座標系を {{math|(''ct'', ''x'', ''y'', ''z'')}} とし、観測者 {{Math|B}} の座標系を {{math|(''ct''&prime;, ''x''&prime;, ''y''&prime;, ''z''&prime;)}} とし、{{Math|A}} から見た {{Math|B}} の相対速度の大きさを {{mvar|V}} とし、
:<math>\gamma=1/\sqrt{1-(V/c)^2}</math>
をローレンツ因子とする。

必要ならミンコフスキー空間の原点を取り替えることで {{Math|C}} は原点を通っているとしてよく、さらに {{Math|C}} の運動方向は {{mvar|y}}軸、{{mvar|z}}軸と直交しているとし、{{mvar|y'}}軸、{{mvar|z'}}軸が{{mvar|y}}軸、{{mvar|z}}軸と一致しているとしても一般性を失わない。

観測者 {{Math|A}}、{{Math|B}} から見た {{Math|C}} の速度をそれぞれ {{math|(''v''{{sub|''x''}},''v''{{sub|''y''}},''v''{{sub|''z''}})}}、{{math|(''v&prime;''{{sub|''x''}},''v&prime;''{{sub|''y''}},''v&prime;''{{sub|''z''}})}} とするとき、{{Math|B}} の座標系から {{Math|A}} の座標系への速度変換則は、ローレンツ変換の{{EquationNote|L4|(L4)}}式より以下のようになる：
:<math>\begin{align}(v'_x,v'_y,v'_z) &= \frac{c(\mathrm{d}x', \mathrm{d}y', \mathrm{d}z')}{c\mathrm{d}t'}\\
&= \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+ Vv_x/c^2}.\end{align}</math>

===因果律、同時性の相対性===

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

{{mvar|{{vec|x}}, {{vec|y}}}} をミンコフスキー空間上の2つの世界点とする。{{math|{{vec|''y''}} &minus; {{vec|''x''}}}} が未来の光円錐の内部にあるとき、{{mvar|{{vec|x}}}} は {{mvar|{{vec|y}}}} の'''因果的過去''' (causally precede) といい、{{math|{{vec|''x''}} &lt; {{vec|''y''}}}} と書く。同様に {{math|{{vec|''y''}} &minus; {{vec|''x''}}}} が未来の光円錐の内部もしくは未来の光円錐上にあるとき、{{mvar|{{vec|x}}}} は {{mvar|{{vec|y}}}} の'''年代的過去''' (chronologically precede) といい、{{math|{{vec|''x''}} &#8806; {{vec|''y''}}}} と書く。

因果的過去は以下のように特長づけられる：
{{Indent|ミンコフスキー空間上の点 {{mvar|{{vec|x}}}} にある質点が光速未満（resp. 以下）で {{mvar|{{vec|y}}}} に到達できる &hArr; {{math|{{vec|''x''}}}} < {{math|{{vec|''y''}}}} (resp. {{math|{{vec|''x''}}}} &#8806; {{math|{{vec|''y''}}}})。}}
よって特に以下が成立する：
{{Indent|{{math|{{vec|''x''}}}} &#8806; {{math|{{vec|''y''}}}} かつ {{math|{{vec|''y''}}}} &#8806; {{math|{{vec|''z''}}}} &rArr; {{math|{{vec|''x''}}}} &#8806; {{math|{{vec|''z''}}}}。}}
従って「&#8806;」は数学的な[[順序集合|（半）順序]]の公理を満たす。

以下の事実は、質点の速度が光速を越えない限り座標系の取り替えで因果律が破綻しない事を意味している：
{{Indent|{{math|{{vec|''x''}}}} &#8806; {{math|{{vec|''y''}}}} かつ {{mvar|{{vec|x}}}} &ne; {{mvar|{{vec|y}}}} &hArr; '''全ての慣性座標系で'''、{{mvar|{{vec|y}}}} は {{mvar|{{vec|x}}}} より時間的に後に起こる。}}

実際、どのような慣性座標系を選んでも、その時間軸 {{math|{{vec|''e''}}{{Sub|0}}}} は未来の光円錐内または未来の光円錐上にあるので、{{mvar|{{vec|x}}}} &#8806; {{mvar|{{vec|y}}}} であれば、{{mvar|{{vec|x}}}} から {{mvar|{{vec|y}}}} までに流れる時間 {{math|''&eta;''({{vec|''y''}} - {{vec|''x''}}, {{vec|''e''}}{{sub|0}})}} は正である。

一方、{{mvar|{{vec|x}}}} &#8806; {{mvar|{{vec|y}}}} でも {{mvar|{{vec|y}}}} &#8806; {{mvar|{{vec|x}}}} でもないとき、すなわち {{math|{{vec|''y''}} &minus; {{vec|''x''}}}} が空間的なときはこのような関係は成り立たない。{{math|{{vec|''y''}} &minus; {{vec|''x''}}}} が空間的なとき、以下の3種類の慣性座標系が存在する：
# {{mvar|{{vec|y}}}} が {{mvar|{{vec|x}}}} より後に起こる
# {{mvar|{{vec|y}}}} と {{mvar|{{vec|x}}}} が同時に起こる
# {{mvar|{{vec|x}}}} が {{mvar|{{vec|y}}}} より先に起こる
すなわち空間的な関係にある2点 {{mvar|{{vec|x}}}}、{{mvar|{{vec|y}}}} の時間的な順序関係は慣性系に依存してしまう。これはニュートン力学的な直観に反するが、{{mvar|{{vec|x}}}} と {{mvar|{{vec|y}}}} には因果関係がないので、どちらが先に起ころうとも因果律が破綻することはない{{sfnp|佐藤|1994|p=17}}。

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

これは一見奇妙に見えるため、'''時計のパラドックス'''と呼ばれることもあるが{{sfnp|佐藤|1994|p=21}}、実は特に矛盾している訳ではない。なぜなら慣性運動している二人は二度と出会うことがないので、もう一度再会してどちらの時計が遅れているのかを確認するすべはないからである。

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

結論からいえば、特殊相対性理論から示されるのは、ロケットに乗った兄より慣性運動していた弟の方が再会時に時計が進んでいるという事である。すなわち再会時に兄が弟よりも若い{{sfnp|佐藤|1994|pp=21&ndash;24,59&ndash;50}}。

なぜならミンコフスキー空間上で、兄がロケットで飛び立ったときの世界点を {{mvar|{{vec|x}}}} とし、兄が再び弟に再会したときの世界点を {{mvar|{{vec|y}}}} とすると、{{mvar|{{vec|x}}}} と {{mvar|{{vec|y}}}} を結ぶ世界線のうち最も固有時間が長くなるのは慣性運動する世界線であることをすでに示したからである。従って慣性運動していた弟はロケットに乗った兄より多くの固有時間を費やした事になるのである{{sfnp|佐藤|1994|pp=21&ndash;24,59&ndash;50}}。

では逆に弟のほうが兄より若くなったとする主張のどこが間違っていたのかというと、我々が時間の縮みの公式を導いたとき、慣性系である事を仮定していたのであるが、兄の座標系はロケットが行きと帰りで向きを変える際加速度運動しているので慣性系ではない{{sfnp|佐藤|1994|pp=21&ndash;24,59&ndash;50}}。従って兄の座標系に対して単純に時間の縮みの公式を適応したのが間違いだったのである{{sfnp|佐藤|1994|pp=21&ndash;24,59&ndash;50}}。

===ガレージのパラドックス===
{{Main|en:ladder paradox}}
今、長さ {{mvar|l}} のハシゴ と奥行き {{math|''L'' &lt; ''l''}} のガレージがあるとし、ハシゴは高速でガレージに近づいてきたとする。ガレージが静止して見える慣性系から見ると、ハシゴがローレンツ収縮するので、ハシゴはガレージに入ってしまう。一方、ハシゴが静止して見える慣性系からみると、逆にガレージの方がローレンツ収縮してしまうので、ハシゴはガレージに入らないはずである。正しいのはどちらであろうか。

結論からいうと、どちらも正しく、ガレージの系から見た場合は、ハシゴはガレージに入るように見え、ハシゴの系から見るとハシゴはガレージに入らないように見える。すなわち、ハシゴの前端と後端に関する事象を区別して述べれば、ガレージの静止系ではハシゴの後端がガレージに入りきった'''後'''、ハシゴの前端がガレージの裏の壁にぶつかるのに対し、ハシゴの静止系ではハシゴがガレージに入り切らず、ハシゴの後端がガレージに入る'''前'''にハシゴの前端がガレージの裏壁にぶつかる<ref>{{Cite web|和書|url=http://www.phys.u-ryukyu.ac.jp/~maeno/cgi-bin/pukiwiki/index.php?%C1%EA%C2%D0%CF%C02009%C7%AF%C5%D9%C2%E814%B2%F3|title=相対論2009年度第14回|work=物理Tips|publisher=[[琉球大学]]|author=前野昌弘|date=2015-12-24|accessdate=2016-05-23}}</ref>。ハシゴの前端がガレージの裏壁にぶつかる事象とハシゴの後端がガレージに入りきる事象には因果関係がないので、どちらが先に起こるのかは慣性系によって変化するのである。

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

===アインシュタインの縮約記法===
{{Main|アインシュタインの縮約記法}}
特殊相対性理論では、
:<math>\sum_\mu a^\mu b_\mu</math>
のように上つきと下つきで同じ添え字（この場合は {{mvar|&mu;}}）が使われているときは、{{math|&Sigma;}} 記号を省略し、
:<math>a^\mu b_\mu</math>
と書き表す慣用的な記法が用いられることが多い。この記法を'''アインシュタインの縮約記法'''という。

この縮約記法は行列の積や3項以上の場合にも同様に用いられ、例えば
:<math>\sum_{\kappa,\tau} a^\mu{}_\kappa b^\kappa{}_\tau c^\tau{}_\nu</math>
は
:<math> a^\mu{}_\kappa b^\kappa{}_\tau c^\tau{}_\nu </math>
と略す。

一方、たとえ2箇所の添え字が共通していても、
:<math> \sum_\mu a_\mu b_\mu </math>、<math> \sum_\nu c^\nu d^\nu </math>
のように添え字が両方下つき、もしくは両方上つきの場合は {{math|&Sigma;}} を省略しない。

===双対基底===
{{math|(''V'', ''&eta;'')}} を4次元ミンコフスキー空間とし、{{Math|{{vec|''e''}}{{sub|0}}, {{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}}}} を {{math|(''V'', ''&eta;'')}} 上の（正規直交とは限らない）基底とする。このとき、以下の性質を満たす {{mvar|V}} の基底 {{Math|{{vec|''e''}}{{sup|0}}, {{vec|''e''}}{{sup|1}}, {{vec|''e''}}{{sup|2}}, {{vec|''e''}}{{sup|3}}}} が一意に存在する事が知られており、この基底を {{Math|{{vec|''e''}}{{sub|0}}, {{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}}}} の'''[[双対基底]]'''という{{R|group="注"|双対空間の同一視}}：
: 任意の {{math|''&mu;, &nu;'' {{=}} 0, ..., 3}} に対し、<math>\eta(\vec{e}^\mu,\vec{e}_\nu)=\delta^\mu{}_{\nu}.</math>
ここで <math>\delta^\mu{}_{\nu}</math> は[[クロネッカーのデルタ]]である。

正規直交基底の場合は双対基底は非常に簡単に書くことができる：
:<math>(\vec{e}^0,\vec{e}^1,\vec{e}^2,\vec{e}^3)=(\vec{e}_0,-\vec{e}_1,-\vec{e}_2,-\vec{e}_3).</math>

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

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

双対基底はミンコフスキー計量の成分表示を使って具体的に求めることができる。
:<math>\eta_{\mu\nu} = \eta(\vec{e}_\mu, \vec{e}_\nu)</math>
とするとき、{{Math|(''&eta;''{{Sub|''&mu;&nu;''}}){{Sub|''&mu;&nu;''}}}} の逆行列を {{Math|((''&eta;''{{sup-|1}}){{Sup|''&mu;&nu;''}}){{Sub|''&mu;&nu;''}}}} とすれば、
:<math>\vec{e}^\mu=(\eta^{-1})^{\mu\xi}\vec{e}_\xi</math>
である。実際、
:<math>\eta(\vec{e}^\mu,\vec{e}_\nu)=(\eta^{-1})^{\mu\xi}\eta(\vec{e}_\xi ,\vec{e}_\nu)= (\eta^{-1})^{\mu\xi} \eta_{\xi\nu}=\delta^\mu{}_\nu</math>
である。

双対基底の定義から、次が成立する：
{{Indent|{{Math|{{vec|''e''}}{{sub|0}}, {{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}}}} の双対基底の双対基底は {{Math|{{vec|''e''}}{{sub|0}}, {{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}}}} 自身である。}}

以下の議論では、「通常の」基底 {{Math|{{vec|''e''}}{{sub|0}}, {{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}}}} を一組固定し、{{Math|{{vec|''e''}}{{sup|0}}, {{vec|''e''}}{{sup|1}}, {{vec|''e''}}{{sup|2}}, {{vec|''e''}}{{sup|3}}}} をその双対基底とする。しかし上の定理でもわかるように、どちらの基底を「通常の」基底とみなし、どちらを双対基底とみなすのかは任意である。本項では、空間方向が右手系のものを通常の基底とみなし、左手系のものをその双対基底とみなすことにする。

===共変性と反変性===
{{Main|ベクトルの共変性と反変性}}
{{mvar|V}} の元 {{mvar|{{vec|a}}}} を基底 {{Math|{{vec|''e''}}{{sub|0}}, {{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}}}} で表す場合、{{mvar|{{vec|a}}}} の各成分の添え字を
:<math>\vec{a}= a^\mu\vec{e}_\mu</math>
のように上つきに書く（アインシュタインの縮約で表記）。一方、{{mvar|{{vec|a}}}} を {{Math|{{vec|''e''}}{{sub|0}}, {{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}}}} の双対基底 {{Math|{{vec|''e''}}{{sup|0}}, {{vec|''e''}}{{sup|1}}, {{vec|''e''}}{{sup|2}}, {{vec|''e''}}{{sup|3}}}} を用いて表す場合、{{mvar|{{vec|a}}}} の各成分の添え字を
:<math>\vec{a}= a_\mu\vec{e}^\mu</math>
のように下つきに書く。明らかに
:<math>a^\mu=\eta(\vec{a},\vec{e}^\mu),\quad
a_\mu=\eta(\vec{a},\vec{e}_\mu)</math>
である。また正規直交基底の場合は明らかに
:<math>(a^0,a^1,a^2,a^3)=(a_0,-a_1,-a_2,-a_3)</math>
が成立する。

{{mvar|V}} の2つの元 {{mvar|{{vec|a}}}}、{{mvar|{{vec|b}}}} のミンコフスキー内積をとるとき、一方を基底 {{Math|{{vec|''e''}}{{sub|0}}, {{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}}}} で表し、他方をその双対基底で表すと、
:<math>\eta\left(\sum_\mu a^\mu\vec{e}_\mu, \sum_\nu b_\nu\vec{e}^\nu\right)=a^0b_0+a^1b_1+a^2b_2 +a^3b_3=a^\mu b_\mu</math>
と通常の内積のように書け、ミンコフスキー内積特有の符号の煩わしさから解放されるので便利である。

基底を一つ指定したとき、{{mvar|a{{sup|&mu;}}}} は添え字 {{mvar|&mu;}} に対し'''反変'''、{{mvar|a{{sub|&mu;}}}} は添え字 {{mvar|&mu;}} に対し'''共変'''であるという。これらの名称は、基底を取り替えた際の成分の変化に由来する。すなわち、ミンコフスキー空間上にもう1組の基底 {{Math|({{vec|''e&prime;''}}{{sub|0}}, {{vec|''e&prime;''}}{{sub|1}}, {{vec|''e&prime;''}}{{sub|2}}, {{vec|''e&prime;''}}{{sub|3}})}} を用意し、基底の間の座標変換が成分表示で
: {{math|{{vec|''e&prime;''}}{{sub|''&nu;''}} {{=}} {{vec|''e''}}{{sub|''&mu;''}}&Lambda;{{sup|''&mu;''}}{{sub|''&nu;''}}}}
と書けていたとすると4元ベクトル {{math|{{vec|''a''}}}} の反変成分 {{math|1={{vec|''a''}} = ''a''&prime;{{sup|''&nu;''}}{{vec|''e''&prime;}}{{sub|''&nu;''}} {{=}} ''a''{{sup|''&mu;''}}{{vec|''e''}}{{sub|''&mu;''}}}} は、
: {{math|''a''&prime;{{sup|''&nu;''}} {{=}} (&Lambda;{{sup-|1}}){{sup|''&nu;''}}{{sub|''&mu;''}} ''a''{{sup|''&mu;''}}}}
という関係になるので、ダッシュつきの座標系にうつるとき、基底とは反対に {{math|&Lambda;{{sup|''&mu;''}}{{sub|''&nu;''}}}} の逆行列で結ばれる。それゆえ、「反対の変化」、すなわち反変と呼ばれる。

一方、基底の変更に対する共変成分の変化を見るため、双対基底が基底の変更でどのような影響を受けるか調べる。
: {{math|{{vec|''e''&prime;}}{{sup|''&nu;''}} {{=}} {{vec|''e''}}{{sup|''&mu;''}}&Gamma;{{sub|''&mu;''}}{{sup|''&nu;''}}}}
とすると、
:<math>\delta^\mu{}_\nu=\eta(\vec{e}'^\mu,\vec{e}'_\nu)=\Gamma^\mu{}_\xi\Lambda^\kappa{}_\nu\eta(\vec{e}^\xi,\vec{e}_\kappa)</math> <math>=\Gamma^\mu{}_\xi\Lambda^\kappa{}_\nu\delta^\xi{}_\kappa= \Gamma^\mu{}_\xi\Lambda^\xi{}_\nu</math>
すなわち、{{math|&Gamma;{{sub|''&mu;''}}{{sup|''&nu;''}}}} は {{math|&Lambda;{{sub|''&mu;''}}{{sup|''&nu;''}}}} の逆行列 {{math|(&Lambda;{{sup-|1}}){{sup|''&mu;''}}{{sub|''&nu;''}}}} であるので、双対基底は
: {{math|{{vec|''e''&prime;}}{{sup|''&nu;''}} {{=}} {{vec|''e''}}{{sup|''&mu;''}}(&Lambda;{{sup-|1}}){{sub|''&mu;''}}{{sup|''&nu;''}}}}
という変換規則に従うことがわかる。よって4元ベクトル {{mvar|{{vec|a}}}} の共変成分 {{math|{{vec|''a''}} {{=}} ''a''&prime;{{sub|''&nu;''}}{{vec|''e''&prime;}}{{sup|''&nu;''}} {{=}} ''a''{{sub|''&mu;''}}{{vec|''e''}}{{sup|''&mu;''}}}} は、
: {{math|1=''a''&prime;{{sub|''&nu;''}} = &Lambda;{{sub|''&nu;''}}{{sup|''&mu;''}} ''a''{{sub|''&mu;''}}}}
という関係になるので、ダッシュつきの座標系にうつるとき、基底と共通の行列 {{math|&Lambda;{{sup|''&mu;''}}{{sub|''&nu;''}}}} で結ばれる。それゆえ、「共通の変化」、すなわち共変と呼ばれる。

===テンソル===
本節ではテンソルに関する基本的な知識を紹介する。ただし本節での解説はミンコフスキー空間 {{Mvar|V}} 上に限定したものであるので、一般の空間で成り立つとは限らない{{R|group="注"|双対空間の同一視}}。

{{Mvar|n}} を自然数とする。写像 <math>T\colon V^n\to \mathbb{R}</math> が以下の性質（'''多重線形性'''）を満たすとき、{{Mvar|T}} を'''{{Mvar|n}}次の[[テンソル]]'''という：
: {{Mvar|V}} の任意の4元ベクトル {{Mvar|{{vec|a}}{{sup|&mu;}}{{sub|&nu;}}}} と任意の実数 {{Mvar|k{{sup|&mu;}}{{sub|&nu;}}}} に対し、
::<math>\begin{align}&T(\sum_{\nu_1}k^{1}_{\nu_1}\vec{a}_{\nu_1}^{1},\ldots,\sum_{\nu_n}k^{n}_{\nu_n}\vec{a}_{\nu_n}^{n})\\&=\sum_{\nu_1,\ldots,\nu_n}k^{1}_{\nu_1}\cdots k^{n}_{\nu_n}T(\vec{a}_{\nu_1}^{1},\ldots,\vec{a}_{\nu_n}^{n}).\end{align}</math>

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

2次のテンソル {{Mvar|T}} に対し、
: <math>T(\vec{a},\vec{b})= T(\vec{b},\vec{a}) </math>
が全ての4元ベクトル {{Mvar|{{vec|a}}}}、{{Mvar|{{vec|b}}}} に対して成り立つとき、{{Mvar|T}} を'''対称テンソル'''という。また
: <math>T(\vec{a},\vec{b})= -T(\vec{b},\vec{a}) </math>
が全ての4元ベクトル {{Mvar|{{vec|a}}}}、{{Mvar|{{vec|b}}}} に対して成り立つとき、{{Mvar|T}} を'''反対称テンソル'''という。

====成分表示====
{{Mvar|T}} をミンコフスキー空間上の2次のテンソルとし、{{Math|{{vec|''e''}}{{sub|0}}, {{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}}}} をミンコフスキー空間の基底とし、{{Math|{{vec|''e''}}{{sup|0}}, {{vec|''e''}}{{sup|1}}, {{vec|''e''}}{{sup|2}}, {{vec|''e''}}{{sup|3}}}} をその双対基底とする。このとき、上述の基底や相対基底を使って {{Mvar|T}} を4通りに'''成分表示'''する事が可能である：
:<math>\begin{align}
T_{\mu\nu}&=T(\vec{e}_{\mu},\vec{e}_{\nu}),\\
T^{\mu}{}_{\nu}&=T(\vec{e}^{\mu},\vec{e}_{\nu}),\\
T_{\mu}{}^{\nu}&=T(\vec{e}_{\mu},\vec{e}^{\nu}),\\
T^{\mu\nu}&=T(\vec{e}^{\mu},\vec{e}^{\nu}).
\end{align}</math>

4元ベクトル {{mvar|{{vec|a}}}}, {{mvar|{{vec|b}}}} を
: <math>\vec{a}=a^\mu\vec{e}_\mu=a_\mu\vec{e}^\mu</math>
: <math>\vec{b}=b^\nu\vec{e}_\nu=b_\nu\vec{e}^\nu</math>
と成分表示する（アインシュタインの縮約で表記）と、
{{Indent|<math>T(\vec{a},\vec{b})=T_{\mu\nu}a^\mu b^\nu =T^\mu{}_{\nu} a_\mu b^\nu =T_\mu{}^{\nu} a^\mu b_\nu =T^{\mu\nu} a_\mu b_\nu </math>}}
が成立する。

上述の4通りの成分表示において、{{Mvar|T}} は上付きの添え字に対し'''反変'''、下付きの添え字に対し'''共変'''であるという。

4元ベクトルの場合と同様、基底を別のものに取り替えたとき {{Mvar|T}} の各成分は、反変の添え字に関しては基底変換行列の逆行列が、共変の添え字に関しては基底変換行列そのものが作用する。例えば
: {{math|{{vec|''e&prime;''}}{{sub|''&nu;''}} {{=}} {{vec|''e''}}{{sub|''&mu;''}}&Lambda;{{sup|''&mu;''}}{{sub|''&nu;''}}}}
とすると
: {{math|{{vec|''e&prime; ''}}{{sup|''&nu;''}} {{=}} {{vec|''e''}}{{sup|''&mu;''}}(&Lambda;{{sup-|1}}){{sub|''&mu;''}}{{sup|''&nu;''}}}}
なので、ダッシュつきの基底に関する成分 {{Math|''T''&prime;{{sup|''&mu;''}}{{sub|''&nu;''}}}} は
:<math>T'^{\mu}{}_{\nu}=T(\vec{e}'^{\mu},\vec{e}'_{\nu})= T(\vec{e}^{\xi},\vec{e}_{\kappa}) (\Lambda^{-1})_\xi{}^\mu\Lambda ^\kappa{}_{\nu} = T^{\xi}{}_{\kappa}(\Lambda^{-1})_\xi{}^\mu\Lambda ^\kappa{}_{\nu} </math>
と、上付きの添え字には反変、下付の添え字には共変に変化する。

====ミンコフスキー計量の成分表示====
ミンコフスキー計量 {{Mvar|&eta;}} も二次の対称テンソルであるので、上述のように成分表示できる。

基底が正規直交であれば、ミンコフスキー計量の成分表示は非常に簡単になり、
:<math>(\eta_{\mu\nu})_{\mu\nu}=(\eta^{\mu\nu})_{\mu\nu}=\left(\begin{array}{cccc}1&&&\\&-1&&\\&&-1&\\&&&-1\end{array}\right),</math>
:<math>(\eta_{\mu}{}^{\nu})_{\mu\nu} =(\eta ^{\mu}{}_{\nu})_{\mu\nu}=\left(\begin{array}{cccc}1&&&\\&1&&\\&&1&\\&&&1\end{array}\right).</math>
のように書くことができる。

====2次のテンソルと線形写像====
ミンコフスキー空間上の線形写像 {{math|''f'' : ''V'' &rarr; ''V''}} が与えられたとき、2次のテンソルを
{{NumBlk|:|<math>T(\vec{a},\vec{b})=\eta(\vec{a},f(\vec{b}))</math>|{{EquationRef|T1}}}}
と定義できる。

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

2次のテンソル {{Mvar|T}} に対応する線形写像は基底 {{Math|{{vec|''e''}}{{sub|0}}, {{vec|''e''}}{{sub|1}}, {{vec|''e''}}{{sub|2}}, {{vec|''e''}}{{sub|3}}}} を用いると、下記のように具体的に書き表す事もできる：
:<math>a^\mu\vec{e}_\mu\mapsto T^\nu{}_\mu a^\mu\vec{e}_\nu.</math>

====テンソル場====
ミンコフスキー空間上の各世界点 {{Mvar|P}} にテンソル {{Mvar|T{{Sub|P}}}} を割り振ったもの（すなわちミンコフスキー空間からテンソルの集合への写像 {{mvar|P {{Unicode|&#10501;}} T<sub>P</sub>}}）を'''テンソル場'''という。

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

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

以下、慣性系
:<math>(x^0,x^1,x^2,x^3),~x^0=ct</math>
を1つ固定し、この慣性系において電磁気学を記述する。詳細は省くが、本節の記述は、他の慣性系で電磁気学を記述したものとローレンツ変換で移りあう事を確認できるので、特殊相対性理論に合致している。

なお、本項では[[国際単位系]]を用いる場合に対して記述したが、{{Harvtxt|Landau, Lifshitz (3rd ed.)|1971}}など{{仮リンク|電磁気の単位#CGSガウス単位系|label=ガウス単位系|en|Gaussian units|preserve=1}}を用いている書籍における定義とは光速度 {{Mvar|c}} のかかる位置が違うなどの差があるので注意が必要である<ref group="注">なお、'''特殊相対性理論の原論文'''{{Harv|アインシュタイン|1905a}}は[[電磁気の単位|CGSガウス単位系]]を用いている{{疑問点|date=2016年10月|talksection=原論文の単位系について}}。</ref>。

=== 4元電流密度と連続の方程式 ===
[[電荷密度]] {{Mvar|ρ}} と[[電流密度]] {{math|'''''j''''' {{=}} (''j{{Sub|x}}'', ''j{{Sub|y}}'', ''j''{{Sub|z}})}} を使って、'''[[電荷・電流密度|4元電流密度]]'''を、
:<math>(j^0,j^1,j^2,j^3):=(c\rho,j_x,j_y,j_z)</math>
によって定義する。

すると[[連続の方程式]]
:<math>\frac{\partial\rho}{\partial t}+\nabla\cdot\boldsymbol{j}=0</math>
は、4元電流密度と'''{{仮リンク|4元勾配|en|four-gradient}}''' (4&ndash;gradient) {{math|(''&part;''{{Sub|0}}, ''&part;''{{Sub|1}}, ''&part;''{{Sub|2}}, ''&part;''{{Sub|3}})}} を用いて
:<math>\partial_\nu j^\nu=0</math>
と表現できる。ここで {{mvar|&part;{{Sub|&nu;}}}} は {{math|''&part;'' / ''&part;x{{Sup|&nu;}}''}} の略記である。

=== 電磁テンソル ===
真空の[[真空の誘電率|誘電率]]、[[透磁率]]をそれぞれ {{math|''&epsilon;''{{sub|0}}, ''&mu;''{{sub|0}}}} とすると、マクスウェル方程式により導かれる電磁波の速度 {{math|1 / {{sqrt|''&mu;''{{Sub|0}}''&epsilon;''{{Sub|0}}}}}} が真空中の光速度と一致する事が実験・観測により確かめられたので、光の正体は電磁波であると考えられるようになった。この事実から、
:<math>c=\frac{1}{\sqrt{\mu_0\varepsilon_0}}</math>
である。

さらに[[電場]] {{math|'''''E''''' {{=}} (''E{{Sub|x}}'', ''E{{Sub|y}}'', ''E{{Sub|z}}'')}} と[[磁束密度]] {{math|'''''B''''' {{=}} (''B{{Sub|x}}'', ''B{{Sub|y}}'', ''B{{Sub|z}}'')}} を用いて'''[[電磁テンソル]]'''を
:<math>(F^{\alpha\beta})_{\alpha\beta}:=\begin{pmatrix}
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{pmatrix}</math>
により定義する。<!--なお、我々は <math>\boldsymbol{E}/c^2</math> と <math>\boldsymbol{B}</math> により電磁テンソルを定義しているが{{Harvtxt|Landau, Lifshitz (3rd ed.)|1971}}のように <math>\boldsymbol{E}</math> と <math>\boldsymbol{H}</math> により定義する書籍もある（[[E-B対応とE-H対応]]）。←勘違い。どうやらこの本は磁束密度の記号としてBでなくHを使ってある模様-->

電磁場を別の慣性系から見た場合、電場と磁束密度がそれぞれ {{math|'''''E'''''&prime; {{=}} (''E''&prime;{{Sub|''x''}}, ''E''&prime;{{Sub|''y''}}, ''E''&prime;{{Sub|''z''}})}} と {{math|'''''B'''''&prime; {{=}} (''B''&prime;{{Sub|''x''}}, ''B''&prime;{{Sub|''y''}}, ''B''&prime;{{Sub|''z''}})}} であったとし、これらから作った電磁テンソルを {{math|''F''&prime;{{Sup|''&alpha;&beta;''}}}} とする。

{{math|''F''&prime;{{Sup|''&alpha;&beta;''}}}} と {{mvar|F{{Sup|&alpha;&beta;}}}} がローレンツ・ブースト{{EquationNote|L4|(L4)}}式で移りあう為の必要十分条件は、
:<math>\begin{align}
(E'_x,B'_x)&=(E_x,B_x),\\
(E'_y,B'_y)&=\gamma(E_y- |\boldsymbol{v}| B_z,B_y+ |\boldsymbol{v}| E_z /c^2 ),\\
(E'_z,B'_z)&=\gamma(E_z+ |\boldsymbol{v}| B_y,B_z- |\boldsymbol{v}| E_y /c^2 ) \end{align}</math>
が成立する事である事を簡単な計算で確認できる{{sfnp|佐藤|1994|p=39}}{{sfnp|Landau, Lifshitz (3rd ed.)|1971|p=62}}。ここで {{mvar|'''v'''}} は2つの慣性系の間の相対速度で、{{math|''&gamma;'' {{=}} 1 / {{sqrt|1 &minus; ({{!}}'''''v'''''{{!}}/''c''){{Sup|2}}}}}} はローレンツ因子である。

非相対論的極限 {{math|'''''v''''' / ''c'' &asymp; 0}} では {{math|''&gamma;'' &asymp; 1}} なので、上述の条件式は、古典電磁気学で知られている慣性系間の変換公式
<!-- NumBlkだと携帯で正しく表示されなかったので改善-->{{Equation box 1
|indent =:
|equation =
<math>
\begin{array}{l}
\boldsymbol{E}'=\boldsymbol{E}+\boldsymbol{v}\times\boldsymbol{B},\\
\boldsymbol{B}'=\boldsymbol{B}- \boldsymbol{v}\times\boldsymbol{E}/c^2
\end{array}
</math>&nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  {{EquationRef|E1|(E1)}}
|cellpadding= 6
}}
に一致する。

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

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

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

上述したような理論の非対称性の解消に関心のあった{{sfnp|広重|1971}}[[アルベルト・アインシュタイン|アインシュタイン]]は、特殊相対性理論によりこの非対称性を解消した{{R|einstein}}。

=== マクスウェル方程式 ===
{{Main|古典電磁気学の共変定式}}
====電磁テンソルによる表現====
すでに電磁テンソルがローレンツ変換に対して共変であることを示したので、マクスウェル方程式を電磁場テンソルで表せば、マクスウェル方程式もローレンツ変換に対して共変であることを示せる。

電磁テンソルと4元電流密度を使うとマクスウェル方程式の2式
:<math>\begin{align}\nabla\cdot\boldsymbol{E}&=\frac{\rho}{\epsilon_0}\\
\nabla\times\boldsymbol{B}-\frac{1}{c^2}\frac{\partial\boldsymbol{E}}{\partial t}&=\mu_0\boldsymbol{j}\end{align}</math>
はいずれも
:<math>\partial_{\alpha} F^{\alpha\beta}=\mu_0 j^{\beta}</math>
と同一の形で表現でき、残りの2式
:<math>\begin{align}\nabla\cdot\boldsymbol{B}&=0\\
\frac{\partial\boldsymbol{B}}{\partial t}+\nabla\times\boldsymbol{E}&=0\end{align}</math>
はいずれも
:<math>\partial_\gamma F_{\alpha\beta}+\partial_\alpha F_{\beta\gamma}+\partial_\beta F_{\gamma\alpha}=0</math>（{{Math|''&alpha;'', ''&beta;'', ''&gamma;''}} は相異なる）
と同一の形で表現できる。なお、リッチ計算の記法を用いると、上の式は
:<math>\partial_{[\alpha}F_{\beta\gamma]}=0</math>
とも表記できる。

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

====4元ポテンシャルによる表現====
電磁場には必ず以下の条件をみたす組 {{mvar|&phi;, '''A'''}}（'''[[電磁ポテンシャル]]'''）が存在する事が知られている
<!-- NumBlkだと携帯で正しく表示されなかったので改善-->{{Equation box 1
|indent =:
|equation = <math>\boldsymbol{B}=\operatorname{rot} \boldsymbol{A}</math>、<math>\boldsymbol{E}=-\operatorname{grad}\phi-\frac{\partial \boldsymbol{A}}{\partial t}</math>
&nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  &nbsp;  {{EquationRef|E2|(E2)}}
|cellpadding= 6
}}

本節では、電磁ポテンシャルの4元ベクトル版である'''4元ポテンシャル'''
{{Indent|<math>\vec{A}=(A^0, A^1, A^2, A^3):=(\phi/c,\boldsymbol{A})</math>}}
を用いる事で、マクスウェル方程式を表現する。

1つの電磁場に対し{{EquationNote|E2|(E2)}}式を満たす電磁ポテンシャルは一意ではない事が知られている。そこでローレンツ共変性を損ねない形で電磁ポテンシャルを制限するため、4元勾配を使った以下の条件（'''ローレンツ・ゲージ'''）を課す：
{{Indent|<math>\frac{\partial A^\alpha}{\partial x^\alpha}=0.</math>}}
このとき、マクスウェル方程式は4元電流密度を用いて
{{Indent|<math>\Box\vec{A}=\mu_0\vec{j}</math>}}
という一本の式で書き表せる。ここで
:<math>\Box:=\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}</math>
は[[ダランベール演算子|ダランベルシアン]]である。

=== ローレンツ力と運動方程式 ===
今、電荷 {{mvar|q}} を持った質点があるとし、この質点の4元速度を {{mvar|{{vec|u}}}} とし、{{mvar|{{vec|u}}}} の反変成分を {{math|(''u''{{sub|0}}, ''u''{{sub|1}}, ''u''{{sub|2}}, ''u''{{sub|3}})}} とする。このとき、この質点が電磁場から受ける4元力を、電磁場テンソル {{math|''F''{{sup|''&alpha;&beta;''}}}} を用いて
{{Indent|<math>f^{\alpha}=qF^{\alpha\beta}u_{\beta}</math>}}
によって定義すると、この4元力からできる質点の運動方程式は
:<math>\frac{\mathrm{d}p^{\alpha}}{\mathrm{d}\tau}=qF^{\alpha\beta}u_{\beta}</math>
である。ここで {{math|''p''{{sup|''&beta;''}}}} は質点の4元運動量の {{mvar|&beta;}} 成分で、{{mvar|&tau;}} は質点の固有時間である。

上の運動方程式は {{math|''&alpha;'' {{=}} 0, 1, 2, 3}} に対して定義されているが、4元運動量と4元速度の空間成分（の共変表現）{{math|'''''p''''' {{=}} (''p''{{Sup|1}}, ''p''{{Sup|2}}, ''p''{{Sup|3}}), '''''v''''' {{=}} (''u''{{Sup|1}}, ''u''{{Sup|2}}, ''u''{{Sup|3}})}} に着目すると、電磁場テンソルの定義より、運動方程式の空間成分は
: 左辺の空間成分 <math>=\gamma\frac{\mathrm{d}\boldsymbol{p}}{\mathrm{d}t}</math>
: 右辺の空間成分 <math>=\gamma q(\boldsymbol{E}+\boldsymbol{v}\times\boldsymbol{B})</math>
となることがわかる。ここで {{mvar|&gamma;}} はローレンツ因子 {{math|1 / {{sqrt|1 &minus; ({{!}}'''''v'''''{{!}}/''c''){{Sup|2}}}}}} である。

すなわち相対論における運動方程式の空間成分は、ローレンツ力に関する運動方程式
:<math>\frac{\mathrm{d}\boldsymbol{p}}{\mathrm{d}t}=q(\boldsymbol{E}+\boldsymbol{v}\times\boldsymbol{B})</math>
と完全に一致する。

運動方程式の時間成分に関しては、{{math|''cp''{{sup|0}}}} が質点のエネルギー {{mvar|E}} を表していた事に着目すると、
: 左辺の時間成分 <math>=\frac{\gamma}{c}\frac{\mathrm{d}E}{\mathrm{d}t}</math>
: 右辺の時間成分 <math>=\frac{\gamma}{c}(q\boldsymbol{E}\cdot\boldsymbol{v})</math>
なので、下記の式が従う：
:<math>\frac{\mathrm{d}E}{\mathrm{d}t}=q\boldsymbol{E}\cdot\boldsymbol{v}=q(\boldsymbol{E}+\boldsymbol{v}\times\boldsymbol{B})\cdot\boldsymbol{v}.</math>
右辺は単位時間当たりに電磁場のローレンツ力が質点に対してした仕事なので、この式はローレンツ力による仕事がエネルギーに変わる事を意味している。すなわちこれは、'''エネルギー保存則'''にあたる式である{{sfnp|佐藤|1994|p=46}}。

== 特殊相対性理論の実験的検証 ==
特殊相対性理論は、次のような事象からも検証されている。
*電場と磁場の統一理論としての特殊相対性理論の検証<ref group="注">アインシュタインは一般相対性理論においては重力と慣性力を統一（等価原理）し、さらに晩年は電磁力と重力の統一を目指した統一理論を研究していた。</ref>
*: 電流が流れる電線の周りに磁場が生じる。
*時計の遅れの検証
** 横方向のドップラー効果の測定（赤道上の時計の遅れの実験）{{sfnp|矢野|1991|p=201}}<ref group="注">当初はアインシュタインにより地球の極と赤道上の実験として提案されたが、メスバウアー効果の発見により、実験室に配置した円盤上で検証可能となった。</ref>
**:[[メスバウアー効果]]を起こす放射線源とその吸収体について、放射線源を回転する円盤の中心に、吸収体を円周に配置して回転させるとメスバウアー効果が発生しなくなる{{sfnp|Hay|1960}}{{sfnp|相対性理論と量子力学の誕生|1972}}, 第7,8章<ref group="注">他にも検証不可能だと思われていた一般相対性理論の検証もメスバウアー効果の発見によって可能となった。たとえば、重力偏移によるいわゆる時計の遅れなどについても既に検証されている。パウンド–レブカ実験 (Pound–Rebka experiment)
 など。</ref>。
** ハフェル–キーティング実験 (Hafele–Keating experiment)
**:航空機で運んだ[[原子時計]]と地上で静止したままの原子時計との間に発生するズレが理論と誤差（[[不確定性原理]]も含む）の範囲で一致する<ref>{{YouTube|gdRmCqylsME|当時の映像}}</ref>。なお、この実験における相対論効果は
**:# 特殊相対性理論における運動によるいわゆる時計の遅れ、
**:# 一般相対性理論における重力偏移によるいわゆる時計の遅れ、
**:# [[サニャック効果]]（Sagnac effect）
**:の3つが複合して現れる{{refnest|group="注"|[[GPS]]（Global Positioning System ; 全地球測位システム）も同様にこの3つの効果が現れるため、その分補正を行なわなくてはならない{{sfnp|ジョーンズ|2001|pp=184&ndash;193}}。}}。
** 粒子の[[平均寿命]]の延長
**:[[宇宙線]]の衝突により発生する非常に寿命の短い粒子が、単純に光速度程度で移動したと考えても数百メートル程度しか移動できないはずであるのに、地上で観測することができる。また、[[粒子加速器]]で粒子を光速近くまで加速すると、崩壊するまでの寿命が延びる。なお、この寿命の延びは厳密に特殊相対性理論による予測に従う。
*質量とエネルギーの等価性
*:[[オットー・ハーン]]は[[核分裂反応|核分裂]]を発見したが、この反応の際の[[質量欠損]]により、大量のエネルギーが放出された。この放出は特殊相対性理論の帰結のひとつである質量とエネルギーの等価性 [[E=mc2|{{Math|''E'' {{=}} ''mc''²}}]] において欠損相当の質量に換算される[[原子核]]内部の[[核子]]の[[結合エネルギー]]である。
*その他
*:光速近くまで加速した[[電子]]等の荷電粒子を[[磁場]]によって曲げると、[[放射光]]と呼ばれる光が発生する。この光は特殊相対性理論の効果により前方に集中し、粒子軌道の接線方向への極めて指向性の高い光となる。

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

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

一般相対性理論では思索の対象を慣性系以外にも広げており、その名の通り、特殊相対性理論は一般相対性理論の「特殊な場合」に相当し、一般相対性理論は特殊相対性理論を包含する理論である<ref group = "注">ただし、各理論が専らに主張するテーマは、相対運動下での時空間の理解（特殊相対論）であったり、重力と時空間の計量の理解（一般相対論）であったり、といったように異なる。</ref>。これらの2つの相対性理論を総称して（あるいは、両者を区別をせずに）[[相対性理論]]と呼ぶこともある。

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{reflist|30em|group="注"|refs=
<ref group="注" name="LPabs">ローレンツ–ポアンカレの理論ではその前提がはっきりと示されている{{Harvtxt|広重|1967|p=72}}。</ref>
<ref group="注" name="双対空間の同一視">本項では（ミンコフスキー）計量により、ベクトル空間{{Mvar|V}}とその双対空間 {{Mvar|V{{Sup|*}}}} が同一視できるケースのみを扱う。</ref>
}}
=== 出典 ===
{{reflist|25em|refs=
{{refnest|name="einstein"|{{Harvtxt|アインシュタイン|1905a}}及び『[[運動物体の電気力学について|運動している物体の電気力学について]]』{{sfnp|矢野|1991|pp=180&ndash;226}}}}
}}

== 参考文献 ==
=== 原論文 ===
* {{Cite journal|author=A.Einstein|title=Zur Elektrodynamik bewegter Körper|trans-title=運動している物体の電気力学について|date=June 30, 1905|url=http://www.physik.uni-augsburg.de/annalen/history/einstein-papers/1905_17_891-921.pdf|format=[[Portable Document Format|PDF]]|journal=[[アナーレン・デア・フィジーク|Annalen der Physik]]|location=[[ライプツィヒ|Leipzig]]|volume=322|issue=10|pages=891&ndash;921|language=[[ドイツ語|German]]|issn=0003-3804|oclc=5854993|bibcode=1905AnP...322..891E|doi=10.1002/andp.19053221004|ref={{SfnRef|アインシュタイン|1905a}}}}
**邦訳：{{Cite book|和書|author=アルベルト・アインシュタイン|authorlink=アルベルト・アインシュタイン|translator=内山龍雄|date=1988-11-16|title=相対性理論|series=[[岩波文庫]]|publisher=[[岩波書店]]|id={{全国書誌番号|89014307}}|isbn=978-4003393413|ncid=BN02773137|oclc=674504252|asin=4003393414}}
* {{Cite journal|url=http://www.itp.kit.edu/~ertl/Hauptseminar_SS13/papers/einstein_ist_die_traegheit_eines_koerpers_von_seinem_Energiegehalt_abhaengig.pdf|title=Ist die Trägheit eines Körpers von seinem Energieinhalt abhängig?|format=[[Portable Document Format|PDF]]|trans-title=物体の慣性は、そのエネルギーの大きさに依存するか|author=A.Einstein|journal=[[アナーレン・デア・フィジーク|Annalen der Physik]]|location=[[ライプツィヒ|Leipzig]]|volume=323|issue=13|pages=639–641|language=[[ドイツ語|German]]|issn=0003-3804|oclc=5854993|bibcode=1905AnP...323..639E|doi=10.1002/andp.19053231314|date=September 27, 1905|ref={{SfnRef|アインシュタイン|1905b}}}}
*{{Cite journal|last=Hertz|first=Heinrich|authorlink=ハインリヒ・ヘルツ|year=1890|month=September|url=http://onlinelibrary.wiley.com/doi/10.1002/andp.18902771102/pdf|title=Über die Grundgleichungen der Electrodynamik für bewegte Körper|trans-title=運動物体に対する電気力学の基本方程式について|format=[[Portable Document Format|PDF]]|journal=[[アナーレン・デア・フィジーク|Annalen der Physik]]|location=[[ライプツィヒ|Leipzig]]|volume=277|issue=11|pages=369–399|issn=0003-3804|oclc=5854993|doi=10.1002/andp.18902771102|ref=harv}}

=== 全般 ===
*{{Cite book|和書|author=佐藤勝彦|authorlink=佐藤勝彦 (物理学者)|date=1996-12-18|title=相対性理論|editor1=長岡洋介|editor2=原康夫|editor2-link=原康夫|series=岩波基礎物理シリーズ|publisher=[[岩波書店]]|id={{全国書誌番号|97049882}}|isbn=4000079298|ncid=BN15591416|oclc=675345203|asin=4000079298|ref={{SfnRef|佐藤|1994}}}}
*{{Cite book|和書|author=シュッツ|authorlink=:en:Bernard F. Schutz|translator=江里口良治・[[二間瀬敏史]]|date=2010-12-11|series=シュッツ 相対論入門|title=特殊相対論|edition=第2版|publisher=[[丸善雄松堂|丸善]]|id={{全国書誌番号|21863153}}|isbn=978-4621083109|ncid=BB04513937|oclc=744209903|asin=4621083104|ref={{SfnRef|シュッツ|2010}}}}
*{{Cite book|和書|author1=ランダウ|authorlink1=レフ・ランダウ|author2=リフシッツ|authorlink2=エフゲニー・リフシッツ|translator=[[恒藤敏彦]]・[[広重徹]]|date=1978-10-30|edition=原書第6版|title=場の古典論＝電気力学,特殊および一般相対性理論＝|series=ランダウ=リフシッツ理論物理学教程|publisher=[[東京図書出版]]|id={{全国書誌番号|79000237}}|isbn=978-4489011610|ncid=BN00890297|oclc=841897028|asin=448901161X|ref={{sfnref|Landau|Lifshitz|1978}}}}
**本項執筆には英語第3版を参照した（最新は第4版）{{cite book|authorlink=レフ・ランダウ|author=L.D. Landau|authorlink2=エフゲニー・リフシッツ|author2=E.M. Lifshitz|year=1971|month=June|title=The Classical Theory of Fields|edition=3rd|series=Course of theoretical physics|volume=2|translator=[[:de:Morton Hamermesh|Hamermesh, M.]]|publisher={{enlink|Pergamon Press|p=off|s=off}}|location=[[オックスフォード|Oxford]]|isbn=978-0-08-016019-1|ncid=BA04678383|asin=0080160190|oclc=473400139|id={{ASIN|B00JO9YQMG}} ([[Amazon Kindle|Kindle]])|ref={{SfnRef|Landau, Lifshitz (3rd ed.)|1971}}}}
*{{Cite book|和書|last=前原|first=昭二|date=1993-07-01|title=線形代数と特殊相対論|publisher=[[日本評論社]]|id={{全国書誌番号|93061332}}|isbn=978-4535606067|ncid=BN09501532|oclc=674230845|asin=4535606064|ref=harv}}
* {{cite book|和書|author=H.A.ローレンツ|title=ローレンツ 電子論|translator=広重徹|year=1973|ref={{SfnRef|ローレンツ電子論|1973}}}}
* {{cite book|和書|author=M.ボルン|author2=W.ビーム|title=アインシュタインの相対性原理|translator=瀬谷 正男|year=1971|publisher=講談社|ref=ボルン}}
* {{cite book|和書|author=メラー|title=相対性理論|translator=永田 恒夫, 伊藤 大介|publisher=みすず書房|year=1959|ref=メラー}}
* {{cite book|和書|last=矢野|first=健太郎|title=アインシュタイン|year=1991|ref=harv|publisher=講談社|series=講談社学術文庫}}
* {{cite book|和書|author=アインシュタイン|translator=矢野健太郎|title=相対論の意味|volume=附：非対称場の相対論|year=1958|ref={{SfnRef|相対論の意味|1958}}|publisher=岩波書店}}
* {{cite book|和書|last=砂川|first=重信|title=理論電磁気学|publisher=紀伊國屋書店|edition=第3版|year=1999|ref=harv}}
* {{cite book|和書|author=砂川重信|title=電磁気学|origdate=1977|edition=新装版|date=1987|publisher=岩波書店|ref={{SfnRef|砂川|1977}}}}
* {{cite book|和書|last=後藤|first=憲一|editor=山崎 修一郎|title=詳解電磁気学演習|year=1970|ref=harv}}
* {{Cite journal|和書|last=広重|first=徹|authorlink=広重徹|url=https://doi.org/10.11316/butsuri1946.26.380 |title=相対論はどこから生まれたか|format=PDF|journal=日本物理學會誌|publisher=[[日本物理学会]]|volume=26|date=1971-06-05|issue=6|pages=380&ndash;388|naid=110002072547|issn=0029-0181|oclc=834302891|doi=10.11316/butsuri1946.26.380|ref=harv}}（{{cite book|和書|last=広重|first=徹|authorlink=広重徹|editor=西尾成子|title=相対論の形成 −広重徹科学史論文集−|year=1980|publisher=みすず書房|ref=harv}}）
* {{cite book|和書|author=ファインマン|translator=宮島 龍興|title=ファインマン物理学〈3〉電磁気学|publisher=岩波書店|year=1986|ref={{SfnRef|ファインマン電磁気学|1986}}}}
* {{cite book|和書|title=電磁気学 初めて学ぶ電磁場理論|year=2013|last=遠藤|first=雅守|publisher=森北出版|ref=harv}}
* {{cite book|和書|title=史上最強図解 これならわかる! 電磁気学|year=2014|last=遠藤|first=雅守|publisher=ナツメ社|ref=harv}}
* {{cite book|和書|title=物理学史Ⅱ|author=広重 徹|publisher=培風館|year=1968-03|id={{全国書誌番号|68001733}}|isbn=4563024066|ncid=BN00957321|asin=4563024066|ref={{SfnRef|広重|1967}}}}
* {{Cite web|和書|url=http://maya.phys.kyushu-u.ac.jp/~knomura/education/Undergraduate/General-Relativity/text.pdf |title=一般相対性理論 |access-date=2022-06-25 |publisher=九州大学 |author=野村 清英 |last=野村 |first=清英 |page=5 |date=2019-04-23}}
* {{cite book|和書|title=相対性理論|author=内山龍雄|series=物理テキストシリーズ8|publisher=岩波書店|year=1977-03|ref={{SfnRef|内山|1977}}}}
* {{cite book|和書|title=相対性理論（上）|author=W.パウリ|publisher=筑摩書房|year=2007-12|ref={{SfnRef|パウリ|2007}}}}
* {{cite book|和書|title=趣味で相対論|author=広江克彦|publisher=理工図書|year=2008-6|ref={{SfnRef|広江|2008}}}}
;時刻合わせ、電磁波測距儀、いわゆる時計の遅れの実験について
* {{cite book|和書|title=相対性理論と量子力学の誕生|year=1972|series=現代物理の世界|author=アインシュタイン|author2=シュレディンガーほか|translator=谷川安孝, 中村誠太郎, 青木 昌三|ref={{SfnRef|相対性理論と量子力学の誕生|1972}}}}
* {{cite book|和書|author=トニー・ジョーンズ|title=原子時間を計る―300億分の1秒物語|translator=松浦 俊輔|year=2001|publisher=青土社|ref={{SfnRef|ジョーンズ|2001}}|url=https://books.google.co.jp/books?id=krZBQbnHTY0C&printsec=frontcover&hl=ja&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false}}
* {{cite book|和書|title=電磁波測距儀|last=須田|first=教明|edition=改訂版|publisher=森北出版|year=1976|ref=harv}}
* {{cite journal|author=Michelson|author2=Albert Abraham|author3=Morley|author4=Edward Williams|title=On the Relative Motion of the Earth and the Luminiferous Ether|url=http://www.aip.org/history/gap/PDF/michelson.pdf|year=1887|month=November|journal=[[:en:American Journal of Science|American Journal of Science]]|series=Series 3|volume=34|issue=203|pages=333&ndash;345|format=[[Portable Document Format|PDF]]|doi=10.2475/ajs.s3-34.203.333|oclc=643884995|issn=0002-9599|ref={{SfnRef|マイケルソン・モーリー|1887}}}}
* {{cite journal|title=電波時計のしくみ|series=通信ソサエティマガジン|last=岩間|first=司|publisher=電子情報通信学会|year=2011|volume=夏号|issue=17|pages=4&ndash;5|url=http://www.ieice.org/~cs-edit/magazine/img/kids/pdf/pdf_clock.pdf|format=[[Portable Document Format|PDF]]|ref=harv}}

=== その他参照 ===
* {{cite book|和書|editor=国立天文台|title=理科年表|edition=平成25年版|year=2012|ref=理科年表}}
* {{cite book|和書|author=恒藤 敏彦|title=弾性体と流体|series=物理入門コース 8|date=1983-09-14|publisher=岩波書店|id={{全国書誌番号|84005992}}|isbn=4000076485|ncid=BN00620248|asin=4000076485|ref=恒藤(1983)}}
* {{cite book|和書|author=マックス・ヤンマー|title=質量の起源|translator=大槻 義彦, 葉田野 義和, 斉藤 威|year=1977|publisher=講談社|ref={{SfnRef|ヤンマー|1977}}}}
* {{Cite wikisource|class=book|year=1895|last=Lorentz|publisher=E. J. Brill|location=Leiden|first=Hendrik Antoon|authorlink=ヘンドリック・ローレンツ|ref=harv|wslink=Versuch einer Theorie der electrischen und optischen Erscheinungen in bewegten Körpern|title=Versuch einer Theorie der electrischen und optischen Erscheinungen in bewegten Körpern [運動する物体における電磁的・光学的現象を理論化する試み]|author=Hendrik Antoon Lorentz|wslanguage=de}}
* {{Cite wikisource|class=journal|wslink=Electromagnetic phenomena|title=Electromagnetic phenomena in a system moving with any velocity smaller than that of light [光速以下の速度で運動する系における電磁現象]|wslanguage=en|last=Lorentz|first=Hendrik Antoon|year=1904|journal=Proceedings of Royal Netherlands Academy of Arts and Sciences|volume=6|publisher=[[オランダ王立芸術科学アカデミー|Royal Netherlands Academy of Arts and Sciences]]|pages=809&ndash;831|ref=harv}}
* {{Cite wikisource|class=journal|author=H. Poincaré|title=Sur la dynamique de l'électron [電子の動力学について]|date=23 July 1905|wslink=Sur la dynamique de l’électron (juillet)|wslanguage=fr|journal=Rendiconti del Circolo matematico di Palermo|volume=21|pages=129&ndash;176|ref={{SfnRef|ポアンカレ|1905}}}}
* {{cite book|title=The principle of relativity; original papers|year=1920|author=Albert Einstein|author2=Hermann Minkowski|others=Meghnad Saha, Satyendranath Bose (translate)|url=https://archive.org/details/principleofrelat00eins|oclc=6308161}}
* {{Cite journal|title=Measurement of the Red Shift in an Accelerated System Using the Mössbauer Effect in Fe{{sup|57}}|url=http://journals.aps.org/prl/pdf/10.1103/PhysRevLett.4.165|author=H. J. Hay|author2=J. P. Schiffer|author3=T. E. Cranshaw|author4=P. A. Egelstaff|journal=[[フィジカル・レビュー|Phys. Rev. Lett.]]|volume=4|issue=4|pages=165&ndash;166|date=15 February 1960|publisher=Atomic Energy Research Establishment|location=Harwell, England|doi=10.1103/PhysRevLett.4.165|ref={{SfnRef|Hay|1960}}}}

== 関連項目 ==
{{columns-list|colwidth=15em|
* [[電磁気学]]
* [[エーテル (物理)|エーテル]]
* [[波動方程式]]
* [[電磁波]]
* [[流体力学]]
* [[一般相対性理論]]
* [[マイケルソン干渉計]]
* [[リモートセンシング]]
** [[レーダー]]
** [[スピード測定器]]
* [[サニャック効果]]
}}

=== 関連人物 ===
{{columns-list|colwidth=20em|
* [[ジェームズ・クラーク・マクスウェル]]
* [[ヘンドリック・ローレンツ]]
* [[ジョージ・フィッツジェラルド]]
* [[アンリ・ポアンカレ]]
* [[ヘルマン・ミンコフスキー]]
* [[エルンスト・マッハ]]
* [[マックス・プランク]]
}}

== 外部リンク ==
* {{Cite wikisource|title=Translation:The Sagnac Effect: An Experimentum Crucis in Favor of the Aether?}}
* {{Kotobank|2=ブリタニカ国際大百科事典 小項目事典}}
* {{Britannica|science|special-relativity|Special relativity}}

{{Physics-footer}}
{{相対性理論}}
{{アルベルト・アインシュタイン}}
{{Normdaten}}
{{DEFAULTSORT:とくしゆそうたいせいりろん}}
[[Category:特殊相対性理論|*]]
[[Category:アルベルト・アインシュタイン]]
[[Category:時空]]
[[Category:力学]]