stanford-oval/wikipedia huggingface dataset:
特殊相対性理論
特殊相対性理論の基礎 > 世界間隔 > 速度合成に関する要請を利用する手法

三つの慣性系 K1, K2, K3 の間の相対速度を V12, V23, V31 とすると、それぞれの慣性系における微小世界間隔 ds1, ds2, ds3 および係数 a(|V|) についての関係式として
が得られる。後者の左辺は V12, V23 の絶対値にのみ依存するのに対し、右辺のV31は V12, V23間の角度にも依存すると考えられるため、 a(|V|) はVによらず、定数であることがわかる。（ここで、ニュートン力学とは異なり、相対性理論ではガリレイ変換は成立せず、 {\boldsymbol {V}}_{31}\neq -{\boldsymbol {V}}_{12}-{\boldsymbol {V}}_{23}であることに注意せよ。）さらに、関係式から a(|V|) ≡ 1 が得られる。
以上二つのいずれを採用するにせよ、微小世界間隔はあらゆる慣性系間で保存されることになる（座標変換に関して不変）。したがって、このような微分の集積である有限の世界間隔についても、慣性系間の座標変換を経ても不変の保存量となる。
特殊相対性理論の基礎 > ミンコフスキー空間

世界距離の定義から、以下の内積風の二項演算子
を考えると、世界距離の二乗は η((ct,x,y,z),(ct,x,y,z)) に一致する。このような二項演算子 η をミンコフスキー内積もしくはミンコフスキー計量と呼び、ミンコフスキー内積の定義されたベクトル空間をミンコフスキー空間と呼ぶ。ミンコフスキー空間上の点を世界点もしくは事象と呼び、ミンコフスキー空間のベクトルは通常の3次元のベクトルと区別する為、4元ベクトルという。
なお、世界点 P は、P と原点 O とを結ぶ4元ベクトル  {\overrightarrow {\mathrm {OP} }} と自然に同一視できるので、以下、表現に紛れがなければ世界点を4元ベクトルとして表現する。
特殊相対性理論では、時空間をミンコフスキー空間として記述する。
特殊相対性理論の基礎 > ミンコフスキー空間 > ミンコフスキー・ノルム

4元ベクトル a→ に対し η(a→, a→) が非負であれば
\|{\vec {a}}\|:={\sqrt {\eta ({\vec {a}},{\vec {a}})}}
をミンコフスキー・ノルムといい、世界点 a→、b→ に対し、η(a→ − b→, a→ − b→) が非負であれば η(a→ − b→, a→ − b→) の平方根を a→、b→ の世界距離という。
なお、世界「距離」という名称ではあるが、
負の値や虚数も取りうる
0ベクトルでなくとも世界距離が0になることがある
といった点から数学的な距離の公理を満たさない。
また、||a→|| は常に定義できるとは限らないばかりかミンコフスキー・ノルムが定義できる値に対しても三角不等式の逆向きの不等式
\|{\vec {a}}+{\vec {b}}\|\geq \|{\vec {a}}\|+\|{\vec {b}}\|
が成り立つ事から、ミンコフスキー・ノルムも数学で通常使われるノルムの定義を満たさない。
特殊相対性理論の基礎 > ミンコフスキー空間 > 符号と記法に関して

詳細は「符号の規約」を参照
本項では、ミンコフスキー内積を
としたが、書籍によっては符号を逆にした
をミンコフスキー内積としているものもあるので注意が必要である。
本項と同じ符号づけを時間的規約、本項とは反対の符号づけを空間的規約と呼んで両者を区別する。
また本項ではミンコフスキー内積を η で表したが、g で表したり、両者を混用することもある。例えば佐藤 (1994)は、特殊相対性理論には η を用いる一方で一般相対性理論では g を用いている。またシュッツ (2010)ではミンコフスキー内積には g を用いてその行列表示は η としている。
特殊相対性理論の基礎 > ミンコフスキー空間 > 厳密な定義

V を n 次元実ベクトル空間とし、
を V 上の対称二次形式とする。このとき、V の基底 e→1, ..., e→n と非負整数 p、q が存在し、
が成立する事が知られている。しかも p、q は (V, η) のみに依存し、基底 e→1, ..., e→n には依存しない（シルヴェスターの慣性法則）。
p = 1、q = n − 1  となる二次形式 η をミンコフスキー計量と呼び、組 (V, η) を n次元ミンコフスキー空間という。
特殊相対性理論で用いるのは、次元 n が4の場合なので、以下特に断りがない限り、n = 4とする。
特殊相対性理論の基礎 > ミンコフスキー空間 > ミンコフスキー空間の図示

空間方向の次元を2に落としたミンコフスキー空間を図示した。図では何らかの慣性系から見たミンコフスキー空間が描かれており、この慣性系に対して静止している観測者 (observer) が原点にいる。この観測系における座標の成分表示を (ct, x, y) とする。
この観測者にとっての時間軸 (ct, 0, 0) は図で「時間」と書かれた軸であり、この観測者にとって時間は時間軸にそって流れる。従って図の上方が未来であり、下方が過去である。観測者が慣性系に対して静止している事を仮定したので、時間が t 秒経つと、観測者のミンコフスキー空間上の位置は (ct, 0, 0) に移る。
一方、この観測者にとって現在にある世界点の集まり（すなわちこの観測者にとっての空間方向）は図の「現在」と書かれた平面であり、この観測者からみた空間方向の座標軸 (0, x, 0), (0, 0, y) が「空間」と書かれた二本の軸である。
世界距離の定義から、原点を通る光の軌跡は
を満たす。この方程式を満たす世界点の集合は2つの円錐として描かれ、これを光円錐という。図の上にある逆さまの円錐が未来の光円錐 (future light cone) であり、図の下にある円錐が過去の光円錐 (past light cone) である。
原点を通る光の軌跡は、光円錐上にある直線である。観測者は光を使って物をみるので、過去の光円錐の上にある世界点が観測者に見える（もちろん、他の物体に遮られなければ）。
ミンコフスキー空間上の4元ベクトル x→ の終点が（未来もしくは過去の）光円錐の内側にあるとき x→ は時間的であるといい、終点が光円錐の外側にあるとき x→ は空間的であるといい、光円錐上にあるとき x→ は光的であるという。定義より明らかに、以下が成り立つ：x→ が時間的、空間的、光的であるのは、η(x→, x→) がそれぞれ正、負、0のときである。
光円錐上の点 x→ は η(x→, x→) という座標系と無関係な値の符号で特徴づけられるので、4元ベクトルが時間的か、空間的か、光的かは原点を起点するどの慣性座標系からみても不変である事がわかる。特に、光円錐は原点を起点するどの慣性座標系からみても同一である。
特殊相対性理論の基礎 > ミンコフスキー空間 > 慣性座標系の数学的特徴づけ

原点Oを通る観測者から見た慣性座標系を一つ固定すると、前述のようにその慣性座標系における二つの位置ベクトル間のミンコフスキー内積は
と書ける。このような座標系で、
と定義すると、e→0、e→1、e→2、e→3 はあきらかにミンコフスキー空間の基底であり、しかも
を満たす。
ユークリッド空間の類似から(M2)式を満たす基底 e→0、e→1、e→2、e→3 を正規直交基底と呼ぶ事にすると、慣性座標系から正規直交基底が1つ定まった事になる。e→0 をこの基底の時間成分といい、e→1、e→2、e→3 をこの基底の空間成分という。
逆に(M2)式の意味で正規直交基底である e→0、e→1、e→2、e→3 を一つ任意に選び、この基底における座標の成分表示を (ct, x, y, z) と書くことにすると、ミンコフスキー内積が(M1)式を満たすことを簡単に確認できる。
以上の議論から、原点にいる観測者の慣性座標系と正規直交基底は1対1に対応する事がわかる。従って以下両者を同一視する。
ただし、正規直交基底の中には、e→0 が過去の方向を向いていたり、e→1、e→2、e→3 が左手系だったりするものもあるので、このようなものは以下除外して考えるものとする。
特殊相対性理論の基礎 > ミンコフスキー空間 > 世界線、光速との比較

運動している質点がミンコフスキー空間内に描く軌跡を世界線と言う。今、世界線が原点を通る直線となる質点の運動があるとし、その直線の（4元）方向ベクトルを u→ とする（長さは問わない）。
この質点の運動を慣性座標系 e→0、e→1、e→2、e→3 にいる観測者 A が原点で眺めるとする。この慣性座標系における u→ の成分表示を (ct, x, y, z) とすると、3次元ベクトル (x/t, y/t, z/t) は A から見た質点の速度ベクトルであると解釈できる。
次に u→ の速度を光速と比較してみる。u→ の速度が光を下回る必要十分条件は、√x2 + y2 + z2 / t < c となることであるので、これを書き換えると、(ct)2 − x2 − y2 − z2 > 0 となる。ミンコフスキー計量の定義より、この式は η(u→, u→) > 0 と慣性座標系によらない形で表現できる。従って、η(u→, u→) > 0 であれば、どの慣性系から見ても光速度を下回り、逆に η(u→,u→) < 0 であれば どの慣性系から見ても光速度を上回る。
前述のように η(u→, u→) の正負によって、u→ を時間的もしくは空間的と呼ぶので、まとめると以下が結論づけられる：
方向ベクトル u→ が時間的 ⇔ 質点はどの慣性系から見ても光速を下回る
方向ベクトル u→ が空間的 ⇔ 質点はどの慣性系から見ても光速を上回る
方向ベクトル u→ が光的 ⇔ 質点はどの慣性系から見ても光速と等しい
最後のものは光速度不変の原理からの直接の帰結でもある。
なお、上の議論では、質点の世界線が直線である事を仮定したが、そうでない場合も原点での接線を u→ として同様の議論をする事で同じ結論が得られる。
特殊相対性理論の基礎 > ローレンツ変換 > 定義

ローレンツ変換とは、ミンコフスキー空間 V 上の線形変換 φ : V → V でミンコフスキー計量を変えないもの、すなわち任意の4元ベクトル a→、b→ に対し、
が成立するものの事である。
ユークリッド空間で内積を変えない線形変換は合同変換であるので、ローレンツ変換とは、ミンコフスキー空間における合同変換の対応物である。
ただし正規直交基底の場合と同様、ローレンツ変換にも
空間方向の向きを保たないもの
時間方向の向きを保たないもの
が存在するのでこのようなものは以下除外して考える。
なお、空間方向の向き、時間方向の向きの両方を保つローレンツ変換を正規ローレンツ変換という事があるが、本項では以下、特に断りがない限り、単にローレンツ変換と言ったならば正規ローレンツ変換を指すものとする。
ローレンツ変換 φ と4元ベクトル b→ を使って
の形に書ける線形変換をポアンカレ変換という。特殊相対性理論では、2人の観測者が原点で出会ったケースにおいてローレンツ変換に関して議論する事が多いが、これは出会った場所を原点に平行移動した上で議論しているという事なので、実質的にはポアンカレ変換に関する議論である事が多い。
特殊相対性理論の基礎 > ローレンツ変換 > ローレンツ変換の意義

4次元ミンコフスキー空間 (V, η) では、 次の定理が成立する事が知られている。
定理 ― (e→0, e→1, e→2, e→3)、(e′→0, e′→1, e′→2, e′→3)を V の2組の正規直交基底とする。
このとき、V 上の線形変換 φ で
を満たすものがただ一つ存在し、しかも φ はローレンツ変換である。
この定理はユークリッド空間における2つの正規直交基底が直交変換により写りあう事の類似である。
前述のように、正規直交基底は慣性座標系と対応している。よって上の定理は、以下を意味する：慣性座標系から別の慣性座標系への座標変換はローレンツ変換である。
特殊相対性理論の基礎 > ローレンツ変換 > ローレンツ変換の具体的な形

ローレンツ変換の具体的な形を求める為、まずは基底をより解析がしやすいものに置き換える。
基底 e→0, e→1, e→2, e→3 の「空間部分」である e→1, e→2, e→3 の張るミンコフスキー空間上の部分空間を E とし、同様に基底 e′→0, e′→1, e′→2, e′→3 の空間部分である e′→1, e′→2, e′→3 の張るミンコフスキー空間上の部分空間を E′ とする。これらはそれぞれの慣性座標系における空間方向を表している。
e→1, e→2, e→3 を E 内で回転した別の正規直交基底に取り替えても、e→0, e→1, e→2, e→3 と実質的に同じ慣性系を表しているとみなしてよい。そこで (e→1, e→2, e→3), (e′→1, e′→2, e′→3) をそれぞれ E 内、E′ 内で回転することで、ローレンツ変換 φ の行列表示 Λ を簡単な形で表すことを試みる。
E と E′ の共通部分 E ∩ E′ を U とすると、U は4次元ベクトル空間上の2つの3次元部分ベクトル空間の共通部分なので、U は2次元（以上）のベクトル空間である。従って E 内で (e→1, e→2, e→3) を回転することで、e→2, e→3 ∈ U としてよく、同様に E′ 内の回転により e′→2, e′→3 ∈ U とできる。最後に U 内で e→'1, e→'2 を回転することで e′→2 = e→2、e′→3 = e→3
としてよい。
これらの基底に対し、(L1)式を満たすローレンツ変換 φ の行列表現を Λ = (Λμν)μν とする。これはすなわち、
を満たすという事であり、これら2つの基底における座標の成分表示をそれぞれ (ct, x, y, z)、(ct′, x′, y′, z′)とすると
()
が成立するという事でもある。
e′→2 = e→2、e′→3 = e→3 であったので、ローレンツ変換の行列表示は、
という形であり、ローレンツ変換がミンコフスキー空間における「回転」であったことを利用すれば、上の行列の(*)の部分が、
という形であることがわかる。これを導く厳密な方法はいくつかあるが、簡便な方法としては虚数単位 i を用いて時間軸を τ = ict と置く事で通常のユークリッド空間の回転とみなせる（ウィック回転）という事実を使うものがある。
最終的に2つの基底における座標の成分表示の関係(L2)式は以下のように書ける事がわかる。
定理（ローレンツ変換の具体的な形） ― 必要なら空間方向の座標軸を回転させる事で、ローレンツ変換は
と表示できる。
この値 ζ は正規直交基底の取り方に依存せず、ローレンツ変換 φ の固有値のみによって決まることが知られており、ζ を φ のラピディティという。なお、ζ は
と具体的に求めることもできる。
特殊相対性理論の基礎 > ローレンツ変換 > ローレンツ変換の物理的解釈

詳細は「en:Derivations of the Lorentz transformations」を参照
慣性座標系 (ct, x, y ,z) にいる観測者 A は、原点を通過した後、(ct, 0, 0, 0) という直線（世界線）にそって進んでいく。この様子を別の観測者 B の慣性座標系 (ct′, x′, y′, z′) で記述した式は(L3)式に (x, y, z) = (0, 0, 0) を代入した
によって表現できる。この世界線の「傾き」
は2人の観測者の相対速度と解釈できるので、観測者 A から見た観測者 B の相対速度を v とすると、
となる。よって、
である。そこでローレンツ因子 γ を
\gamma :={\frac {1}{\sqrt {1-(v/c)^{2}}}}
と定義すると、以下が導かれる：
相対速度を用いたローレンツ変換の表示 ― 観測者Aから見た観測者Bの相対速度を v とするとき、必要なら空間方向の座標軸を回転させる事で、ローレンツ変換は
と書ける。
我々は(L4)式やそれと同値な(L3)式を導くとき、空間方向の座標変換をおこなった。これは別の見方をすると、ローレンツ変換から空間方向の回転成分を取り除いたものが(L3)式や(L4)式であるということである。
(L3)式や(L4)式のように書けるローレンツ変換、すなわち空間方向に回転しないローレンツ変換の事をローレンツ・ブーストと呼ぶ。
特殊相対性理論の基礎 > ローレンツ変換 > ガリレイの相対性原理と特殊相対性原理

ローレンツ変換の式(L4)式において、v/c ≈ 0 (0に近似) とすると、(L4)式は、
となり、ガリレイ変換に一致する。すなわち、「ニュートン力学近似」とは、慣性座標系間の相対速度 v が光速 c と比べて十分小さい場合の理論であるということが言える。
このことからニュートン力学はガリレイ変換に不変であるというガリレイの相対性原理は、特殊相対性理論では以下の形で成立している[疑問点]と考えられる：
全ての物理法則はローレンツ変換に対して不変でなければならない。
特殊相対性理論の基礎 > 固有時

本節では光速を超えずに移動する観測者 A の感じる時間の長さ（観測者の固有時間）s が、A の世界線の（ミンコフスキー計量で測った）「長さ」に一致することを示す。
特殊相対性理論の基礎 > 固有時 > 慣性系から見た時間

固有時間について述べる前に、まず慣性系から見た時間についての公式を与える。
x→ を世界点とし、(e→0, e→1, e→2, e→3) を原点における慣性座標系とする。このとき、以下が成立する：
慣性座標系 (e→0, e→1, e→2, e→3) における x→ の起こる時刻は η(x→, e→0)である。
ただしここでいう「時間の長さ」は c 秒を1単位として数えた時間である。秒を単位とした時間の長さの場合は右辺を c で割る必要がある。
実際、(e→0, e→1, e→2, e→3) における成分表示を (ct, x, y, z) とすると、x→ の起こる時刻は x→ を時間軸方向へ射影したものに一致するが、x→ を時間軸方向へ射影した値は η(x→,e→0) である。
特殊相対性理論の基礎 > 固有時 > 直線的に動く場合の固有時間

本節では以下を示す：時間的もしくは光的な4元ベクトル u→ に沿って原点から u→ の終点まで直線的に動く観測者の固有時間 s は u→ のミンコフスキー・ノルム  \|{\vec {u}}\|={\sqrt {\eta ({\vec {u}},{\vec {u}})}} に一致する。
なお、u→ が時間的もしくは光的な4元ベクトルであることから η(u→, u→) > 0 であるので、上式の平方根は意味を持つ。
ただしここでいう「時間の長さ」は c 秒を1単位として数えた時間である。秒を単位とした時間の長さは τ = s/c である。
上の事実を示すため、O から u→ に沿って移動する観測者を考えると、この観測者の慣性座標系は、e→0 = u→ / ||u→|| を時間方向の単位（4元）ベクトルとする正規直交基底 (e→0, e→1, e→2, e→3) により表せる。この座標系に前述の公式を適用すれば、この座標系で観測者が原点から u→ の終点まで世界線を移動するのにかかる固有時間は
\eta ({\vec {u}},{\vec {e}}_{0})=\|{\vec {u}}\|\eta ({\vec {e}}_{0},{\vec {e}}_{0})=\|{\vec {u}}\|
となり、最初の公式が示された。
上では観測者が原点を通る世界線に沿って移動する場合について述べたが、原点を通らない世界線に関しても、観測者が上を u→ から w→ まで直線的に動く間に ||u→ - w→|| の固有時間が流れる事を同様の議論により証明できる。
特殊相対性理論の基礎 > 固有時 > 一般の場合

本節では光速を超えずに移動する観測者 A の世界線 C が曲線である場合に対して A の固有時間を求める方法を述べる。
観測者 A の時空間上の位置 x→ が実数 r によってパラメトライズされて x→ = x→(r) と書けているとすると、観測者が x→(r0) から x→(r0 + Δr) まで移動する間に、
の固有時間が流れることになる。したがって観測者 A が C に沿って動いた際に流れる固有時間 s は以下のように求まる：
s=\int _{\mathrm {C} }\mathrm {d} s=\int _{\mathrm {C} }\left\|{\frac {\mathrm {d} {\vec {x}}}{\mathrm {d} r}}\right\|\mathrm {d} r.
これはユークリッド空間において曲線の長さを求める弧長積分のミンコフスキー空間版であるので、上の公式は、観測者 A の固有時間が A の描く世界線 C の「長さ」に一致することを意味している。
次に上で示した式を慣性座標で表す。A とは別の観測者 B が慣性運動しており、B の慣性座標系 (ct, x, y, z) における A の位置 x→(r) が
と書けていたとすると、以下が言える：
{\begin{aligned}\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{aligned}}
特殊相対性理論の基礎 > 固有時 > 4元速度と4元加速度

以上の議論では変数 r で世界線 C をパラメトライズしたが、物理学的に自然な値である秒を単位とした固有時 τ そのものを使って、x→ = x→(τ) とパラメトライズするのが一般的である。このようにパラメトライズしたとき、質点 x→ の4元速度（英語版） u→ と4元加速度（英語版） a→ を以下のように定義する：
すなわち、x→ のミンコフスキー空間上の位置の変化率を固有時間 τ で測ったものが4元速度で、4元速度の変化率を τ で測ったものが4元加速度である。
4元速度のミンコフスキー・ノルムは
を満たす。このことから、4元速度は x の世界線の接線で長さが c であるものである事がわかる。この事実は、ユークリッド空間の曲線を弧長で微分したときの長さが1になることと対応している。長さが1でなく c なのは時間の単位が c 秒でなく1秒だからである。
以上の事から4元速度のミンコフスキー・ノルムの2乗が定数 c2 なので、これを微分する事で
\eta ({\vec {u}},{\vec {a}})=0
である事がわかる。すなわち4元速度と4元加速度は「直交」している。
特殊相対性理論の基礎 > 固有時 > 固有時間による慣性系の特徴付け

変分法を用いる事で、以下の事実を示せる：ミンコフスキー空間上の2つの世界点 x→, y→ を結ぶ世界線（で光速度未満のもの）のうち、最も固有時間が長くなるのは、x→ と y→ を直線的に結ぶ世界線である。
x→ から y→ へと直線的に動く観測者は慣性系にいることになるので、これは慣性運動している場合が最も固有時間が長くなる事を意味する。
固有時間が世界線の「長さ」であった事に着目すると、上述した事実は、ユークリッド空間上の二点を結ぶ最短線が直線であることに対応している事がわかる。なお、ユークリッド空間では「最短」であったはずの直線がミンコフスキー空間上では「最大」に変わっているのは、ミンコフスキーノルムの2乗 (ct)2 − x2 − y2 − z2 の空間部分がユークリッドノルムの2乗 x2 + y2 + z2 とは符号が反対である事に起因する。
特殊相対性理論における力学

ニュートン力学では、3次元空間のガリレイ変換に対して不変になるように理論が構築されている。それに対し特殊相対性理論では、4次元時空間のローレンツ変換に対して不変になるように理論を構築する必要があるので、ニュートン力学の概念をそのまま用いることはできない。本節では、ニュートン力学の諸概念を「4次元化」し、それがローレンツ変換(と平行移動)に対して不変になることを示すことで特殊相対性理論における力学を構築する。
以下、記法を簡単にするため、4元ベクトルの成分を
(x^{0},x^{1},x^{2},x^{3}):=(ct,x,y,z)
などと書くことにする。
特殊相対性理論における力学 > 4元運動量

光速を超えないで運動する質点 x→ の世界線を x→ = x→(τ) と秒を単位とした固有時 τ でパラメトライズする。このとき、質点 x→ の4元運動量を
と定義する。ここで m は質点 x→ の慣性座標における質量（静止質量と呼ぶ）である。すなわち、4元運動量は、4元速度に静止質量を掛けたものである。
4元運動量の物理学的意味を見るため、慣性座標系 (x0, x1, x2, x3) を固定し、p→ をこの座標系に関して p→ = (p0, p1, p2, p3) と成分表示する。
特殊相対性理論における力学 > 4元運動量 > 4元運動量の空間成分

i = 1, 2, 3 に対し、4元運動量の定義より、
である。ここで v = (v1, v2, v3) はこの慣性座標系における質点の速度ベクトルであり、v = |v|である。
v / c → 0 の極限において pi は mvi に漸近するので、4元運動量の空間部分 (p1, p2, p3) はニュートン力学の運動量 (mv1, mv2, mv3) をローレンツ変換で不変にしたものであるとみなす事ができる。
また、(p1, p2, p3) は質点の「見かけ上の重さ」が
である場合の運動量とみなすこともできる。
特殊相対性理論における力学 > 4元運動量 > 4元運動量の時間成分

4元運動量の時間成分 p0 に c を掛けたものをテイラー展開すると、
である。
第二項はニュートン力学における運動エネルギーであるので cp0 はエネルギーに相当していると考えられる。
従って第一項の
E:=mc^{2}
もエネルギーを表していると解釈できる。この値は質点が例え慣性系に対して静止していて v = 0 であっても持つエネルギーであることから、この値を質点の静止質量エネルギーと呼ぶ。
質量 m を持つこととエネルギー mc² を持つことは等価であり、質量欠損や核反応・対消滅に伴うエネルギー放出・吸収から確かめられている。
特殊相対性理論における力学 > 4元運動量 > エネルギーと運動量の関係

詳細は「en:energy–momentum relation」を参照
4元運動量のミンコフスキー・ノルムは
である。一方、慣性座標系を1つ固定して4元運動量を成分表示したとき、前に示したように、E = cp0 はエネルギーを表し、p = (p1, p2, p3) は運動量に対応していた。運動量の大きさを p = |p| とすると、E と p は以下の関係式を満たす：
左辺は慣性系によらないので、E2 − (cp)2 は慣性系によらず一定値 (mc2)2 になることを意味する。
p ≪ mc であれば上の式は
となり、静止質量エネルギー mc2 を無視すれば、p2 / 2m が質点の運動エネルギーに相当するというニュートン力学の式に対応していることがわかる。
特殊相対性理論における力学 > 4元運動量 > 正の質量を持った質点は光速度以上になれない

光速で移動する有限のエネルギーを持った粒子を考える。この時、mγc² の γ が無限大に発散してしまうので、m = 0 でなければならない。この逆も成立するため、質量を持たずに有限のエネルギーを持つ物質は常に光速で走り続けねばならず、また光速で移動するエネルギーを持つ物質はすべて質量が0であることが分かる。
特殊相対性理論における力学 > 4元運動量 > 特殊相対性理論以前の解釈

特殊相対性理論以前の電磁気学において、J.J.トムソンやワルター・カウフマン（英語版）によって電子の質量の速さ依存性が指摘されていた。それを説明する理論としてマックス・アブラハムは、電子の慣性質量の起源を全て電磁場に求めるという電磁質量概念 (Electromagnetic mass) を提唱したが、電子以外の物質の構成要素に対して一般化することができなかった。
一方、特殊相対性理論はその物質の質量の速さ依存性についての一般的な説明と慣性質量とエネルギーに関する普遍的な関係を与える。
特殊相対性理論における力学 > 運動方程式

すでに運動量の概念を4元ベクトル化したので、力の概念を4元ベクトル化した4元力 f→ が定義できれば、 ニュートンによる質点の運動方程式 f = dp / dt をローレンツ変換に不変にした特殊相対性理論の運動方程式
が定式化できる。
現在知られている4種類の力のうち、電磁気力、強い力、弱い力の3つは4元力として表現可能な事が知られている。このうち電磁気力を4元力として表現する方法は後の節で述べる。
一方、重力は特殊相対性理論の範囲で4元ベクトル化しようとしてもローレンツ変換に対して不変にならないためうまくいかない。重力を扱うには一般相対性理論が必要となる。
特殊相対性理論の帰結

特殊相対性理論から導かれる帰結として、たとえば、主に以下の事項を挙げることができる。項目ごとの詳細は後述する。
ある観測者（A, Bとする）が有限の速度差をもって互いに運動（相対運動）するとき、一方の観測者Aから観測したもう一方の観測者Bの時計の時刻の遅れが生じる。このずれの大きさは相対運動の速さによる(#時間（時刻の隔たり）の伸び)。この観測のずれはまさに「相対的」であり、もう一方の観測者Bから観測者Aの持つ時計を観測しても遅れを認めることができる。観測者AとBは等価であり、双方が双方の時計に（自身の持つ時計と比べて）遅れが生じていると観測できる。（「観測者Aと観測者Bのどちらかの時計が誤りである」あるいは「観測者Aでも観測者Bでもない”絶対時間”を指す正しい時計が存在する」、といった考え方を特殊相対性理論は放棄している）
相対運動する物体どうしは、互いに相手からは縮んで見える（#ローレンツ収縮）。これも上記の考え方に類似であり、どちらかの観測者のモノサシが誤っていたり、”絶対空間”にある正しいモノサシは存在したりはしない。
エネルギーと質量は可換であり、観測者・観測対象の運動状態によって（座標変換によって）双方は相互に変換される。
速度の合成則は非線形接続である。たとえば、観測者に対して光速の0.6倍で動く宇宙船から、（宇宙船からみて）光速の0.6倍で物体を進行方向に射出しても、観測者から見た宇宙船からの射出部隊の速度は光速の1.2倍にはならない。(#速度の合成則)
運動する物体は高速になるほど加速しづらくなり、光速に到達することはない。
次の事柄は、特殊相対性理論の前提あるいは理論展開(#特殊相対性理論の基礎)するところそのものである。特殊相対論によって座標変換に関して対称な簡潔な数式系にまとめられることができたこと、さらに、後に実験事実として得た諸結果が特殊相対性理論によく整合したことから、物理の基本原理として、これらはより支持されるようになった（#特殊相対性理論の実験的検証）。
光の速度は観測者の移動の影響を受けず一定値である。
慣性系相互の座標変換において、物理法則を普遍に保つ変換則はローレンツ変換である。
マクスウェル方程式は修正する必要はない。
特殊相対性理論の帰結 > ローレンツ収縮

以下では話を簡単にするため時間1次元+空間1次元の計2次元の場合について述べる。
ある慣性系 (ct′, x′) において静止している剛体について、この慣性系 (ct′, x′) で測った剛体の長さをこの剛体の固有長さと呼ぶ。
今、固有長さ l の棒が慣性系 (ct′, x′) に対して静止しており、これを別の慣性系 (ct, x) から眺めたとする。話を簡単にするため、2つの慣性系の原点はいずれも棒の1つの端点 O に一致しているものとする。
棒は慣性系 (ct′, x′) に対して静止しているので、棒の他方の端点が描く世界線 C は (ct′, l) と t′ でパラメトライズできる。
慣性系 (ct, x) における現在 (0, x) と世界線 C との交わりはローレンツ変換により
なので、棒の長さは
x=l/\gamma
となる。ここで γ > 1 はローレンツ因子 1/√1 − (v/c)2 である。
これにしたがうと、棒に対して長さ方向に運動している座標系からみると、棒の長さは 1/γ 倍に縮んだかのように見える。この現象を ローレンツ収縮もしくはフィッツジェラルド=ローレンツ収縮という。
特殊相対性理論の帰結 > ローレンツ収縮 > ロケット（宇宙船）

地上で（地面に対して）静止している観測者からみて、高速で飛んでいるロケットは（地上に）停まっているときよりも短く見える（進行方向に収縮している）。
地上から上空へ向かうロケットを地上から観測したとき、ロケットの後端に設置した時計は、ロケットの先端に設置した時計よりずれが大きい。このとき、ロケットに乗る観測者からすれば、ロケットの速度での運動座標系において、ロケットの後端と先端の時計が刻む時刻は同時に見える。
なお、実際にはロケットが観測者にどのように見えるかという点については、特殊相対性理論による時刻・座標のずれに加えて、ロケット各部からの光の到達時刻を加味する必要がある（これを考慮に入れた場合、さらに歪んだ見え方となりうる）
特殊相対性理論の帰結 > ローレンツ収縮 > ローレンツ自身の解釈との違い

ローレンツ収縮は、アインシュタインが特殊相対性理論を提案する以前に、ローレンツとフィッツジェラルドが独立に提案したものである。彼らの提案は、数式上は特殊相対性理論のそれと同一であるが、彼らの理論はエーテル仮説を前提としており、物体は「エーテルの風」を受けて3次元空間内で実際に縮むとするものであった。すなわち、あくまでも彼らは「エーテルが静止している絶対空間がある」という考えのもとに立っていた。
それに対して、特殊相対性理論では、ローレンツ収縮を4次元時空間の各観測者ごとの座標系において解釈したものであり、絶対空間や絶対時間の存在を前提としない。前述のように慣性系によって測っている場所が違う事が収縮の起こる原因である。
特殊相対性理論の帰結 > 時間（時刻の隔たり）の伸び

運動する観測者 A があり、A とは別の観測者 B が慣性運動し、A 側の座標系 (ct, x, y, z) にて B の位置が、
と書けるとき、
というローレンツ変換について不変な量 s をとり、A側の固有時刻を τ = s / c とする。
であることより
{\frac {\mathrm {d} \tau }{\mathrm {d} t}}={\sqrt {1-(v/c)^{2}}}
である。右辺はローレンツ因子 γ の逆数である。これを観測者 A の世界線 C に沿って積分すると
T=\int _{\mathrm {C} }{\sqrt {1-(v(t)/c)^{2}}}\mathrm {d} t
により、A 側の固有時間 T が得られる。ここで v(t) は時刻 t における A と B の相対速度である。
v < c ゆえ、積分内は常に1未満であり、慣性系B側の時間 T′ との関係は次式となる：
T<T'.
これはすなわち、ある慣性系でみたときの時間は固有時間よりも長い事を意味する。
特に観測者 A も慣性運動しているときは、相対速度 v は常に一定であり、次式となる：
T=T'{\sqrt {1-(v/c)^{2}}}.
特殊相対性理論の帰結 > 速度の合成則

観測者 A、B が慣性運動しており、さらに質点 C が運動しているとする（慣性運動とは限らない）。
観測者 A の座標系を (ct, x, y, z) とし、観測者 B の座標系を (ct′, x′, y′, z′) とし、A から見た B の相対速度の大きさを V とし、
をローレンツ因子とする。
必要ならミンコフスキー空間の原点を取り替えることで C は原点を通っているとしてよく、さらに C の運動方向は y軸、z軸と直交しているとし、y'軸、z'軸がy軸、z軸と一致しているとしても一般性を失わない。
観測者 A、B から見た C の速度をそれぞれ (vx,vy,vz)、(v′x,v′y,v′z) とするとき、B の座標系から A の座標系への速度変換則は、ローレンツ変換の(L4)式より以下のようになる：
特殊相対性理論の帰結 > 因果律、同時性の相対性

本節では、質点の速度が光速を越えない限り、特殊相対性理論においても因果律が成り立つことを示す。以下、特に断りがない限り、質点、観測者の双方とも光速度以下であるものとする。
x→, y→ をミンコフスキー空間上の2つの世界点とする。y→ − x→ が未来の光円錐の内部にあるとき、x→ は y→ の因果的過去 (causally precede) といい、x→ < y→ と書く。同様に y→ − x→ が未来の光円錐の内部もしくは未来の光円錐上にあるとき、x→ は y→ の年代的過去 (chronologically precede) といい、x→ ≦ y→ と書く。
因果的過去は以下のように特長づけられる：
ミンコフスキー空間上の点 x→ にある質点が光速未満（resp. 以下）で y→ に到達できる ⇔ x→ < y→ (resp. x→ ≦ y→)。
よって特に以下が成立する：
x→ ≦ y→ かつ y→ ≦ z→ ⇒ x→ ≦ z→。
従って「≦」は数学的な（半）順序の公理を満たす。
以下の事実は、質点の速度が光速を越えない限り座標系の取り替えで因果律が破綻しない事を意味している：
x→ ≦ y→ かつ x→ ≠ y→ ⇔ 全ての慣性座標系で、y→ は x→ より時間的に後に起こる。
実際、どのような慣性座標系を選んでも、その時間軸 e→0 は未来の光円錐内または未来の光円錐上にあるので、x→ ≦ y→ であれば、x→ から y→ までに流れる時間 η(y→ - x→, e→0) は正である。
一方、x→ ≦ y→ でも y→ ≦ x→ でもないとき、すなわち y→ − x→ が空間的なときはこのような関係は成り立たない。y→ − x→ が空間的なとき、以下の3種類の慣性座標系が存在する：
y→ が x→ より後に起こる
y→ と x→ が同時に起こる
x→ が y→ より先に起こる
すなわち空間的な関係にある2点 x→、y→ の時間的な順序関係は慣性系に依存してしまう。これはニュートン力学的な直観に反するが、x→ と y→ には因果関係がないので、どちらが先に起ころうとも因果律が破綻することはない。
特殊相対性理論の帰結 > 時計のパラドックス

今、ここに一組の双子がおり、二人は慣性運動しながら次第に離れているとする。このとき兄から見ると、弟の時計は遅れてみえ、逆に弟から見ると兄の時計は遅れてみえる事が特殊相対性理論から帰結される。
これは一見奇妙に見えるため、時計のパラドックスと呼ばれることもあるが、実は特に矛盾している訳ではない。なぜなら慣性運動している二人は二度と出会うことがないので、もう一度再会してどちらの時計が遅れているのかを確認するすべはないからである。
特殊相対性理論の帰結 > 双子のパラドックス

詳細は「双子のパラドックス」を参照
では次の状況はどうだろうか。やはり一組の双子がいて、弟は慣性運動している。一方、兄はロケットに乗って遠方まで行き、その後ロケットで弟のもとに帰ってきたとする。前述のように弟からみれば兄の時計は遅れるはずで、兄の時計からみれば弟の時計は遅れるはずなので、ふたりが再会したときに矛盾が生じるはずである。
結論からいえば、特殊相対性理論から示されるのは、ロケットに乗った兄より慣性運動していた弟の方が再会時に時計が進んでいるという事である。すなわち再会時に兄が弟よりも若い。
なぜならミンコフスキー空間上で、兄がロケットで飛び立ったときの世界点を x→ とし、兄が再び弟に再会したときの世界点を y→ とすると、x→ と y→ を結ぶ世界線のうち最も固有時間が長くなるのは慣性運動する世界線であることをすでに示したからである。従って慣性運動していた弟はロケットに乗った兄より多くの固有時間を費やした事になるのである。
では逆に弟のほうが兄より若くなったとする主張のどこが間違っていたのかというと、我々が時間の縮みの公式を導いたとき、慣性系である事を仮定していたのであるが、兄の座標系はロケットが行きと帰りで向きを変える際加速度運動しているので慣性系ではない。従って兄の座標系に対して単純に時間の縮みの公式を適応したのが間違いだったのである。
特殊相対性理論の帰結 > ガレージのパラドックス

詳細は「en:ladder paradox」を参照
今、長さ l のハシゴ と奥行き L < l のガレージがあるとし、ハシゴは高速でガレージに近づいてきたとする。ガレージが静止して見える慣性系から見ると、ハシゴがローレンツ収縮するので、ハシゴはガレージに入ってしまう。一方、ハシゴが静止して見える慣性系からみると、逆にガレージの方がローレンツ収縮してしまうので、ハシゴはガレージに入らないはずである。正しいのはどちらであろうか。
結論からいうと、どちらも正しく、ガレージの系から見た場合は、ハシゴはガレージに入るように見え、ハシゴの系から見るとハシゴはガレージに入らないように見える。すなわち、ハシゴの前端と後端に関する事象を区別して述べれば、ガレージの静止系ではハシゴの後端がガレージに入りきった後、ハシゴの前端がガレージの裏の壁にぶつかるのに対し、ハシゴの静止系ではハシゴがガレージに入り切らず、ハシゴの後端がガレージに入る前にハシゴの前端がガレージの裏壁にぶつかる。ハシゴの前端がガレージの裏壁にぶつかる事象とハシゴの後端がガレージに入りきる事象には因果関係がないので、どちらが先に起こるのかは慣性系によって変化するのである。
テンソル代数の準備

先に進む前に、特殊相対性理論で頻繁に用いられるテンソル代数の知識について述べる。
テンソル代数の準備 > アインシュタインの縮約記法

詳細は「アインシュタインの縮約記法」を参照
特殊相対性理論では、
のように上つきと下つきで同じ添え字（この場合は μ）が使われているときは、Σ 記号を省略し、
と書き表す慣用的な記法が用いられることが多い。この記法をアインシュタインの縮約記法という。
この縮約記法は行列の積や3項以上の場合にも同様に用いられ、例えば
は
と略す。
一方、たとえ2箇所の添え字が共通していても、
のように添え字が両方下つき、もしくは両方上つきの場合は Σ を省略しない。
テンソル代数の準備 > 双対基底

(V, η) を4次元ミンコフスキー空間とし、e→0, e→1, e→2, e→3 を (V, η) 上の（正規直交とは限らない）基底とする。このとき、以下の性質を満たす V の基底 e→0, e→1, e→2, e→3 が一意に存在する事が知られており、この基底を e→0, e→1, e→2, e→3 の双対基底という：
ここで  \delta ^{\mu }{}_{\nu } はクロネッカーのデルタである。
正規直交基底の場合は双対基底は非常に簡単に書くことができる：
上でも分かるように、双対基底は元の基底と空間方向の向きが反対である。
本項では正規直交の場合にしか双対基底の概念を用いないが、一般相対性理論を定式化する際には一般の基底に対する相対基底が必要となる為、以下基底は正規直交とは限らない場合について述べる。
双対基底はミンコフスキー計量の成分表示を使って具体的に求めることができる。
とするとき、(ημν)μν の逆行列を ((η−1)μν)μν とすれば、
である。実際、
である。
双対基底の定義から、次が成立する：
e→0, e→1, e→2, e→3 の双対基底の双対基底は e→0, e→1, e→2, e→3 自身である。
以下の議論では、「通常の」基底 e→0, e→1, e→2, e→3 を一組固定し、e→0, e→1, e→2, e→3 をその双対基底とする。しかし上の定理でもわかるように、どちらの基底を「通常の」基底とみなし、どちらを双対基底とみなすのかは任意である。本項では、空間方向が右手系のものを通常の基底とみなし、左手系のものをその双対基底とみなすことにする。
テンソル代数の準備 > 共変性と反変性

詳細は「ベクトルの共変性と反変性」を参照
V の元 a→ を基底 e→0, e→1, e→2, e→3 で表す場合、a→ の各成分の添え字を
のように上つきに書く（アインシュタインの縮約で表記）。一方、a→ を e→0, e→1, e→2, e→3 の双対基底 e→0, e→1, e→2, e→3 を用いて表す場合、a→ の各成分の添え字を
のように下つきに書く。明らかに
である。また正規直交基底の場合は明らかに
が成立する。
V の2つの元 a→、b→ のミンコフスキー内積をとるとき、一方を基底 e→0, e→1, e→2, e→3 で表し、他方をその双対基底で表すと、
と通常の内積のように書け、ミンコフスキー内積特有の符号の煩わしさから解放されるので便利である。
基底を一つ指定したとき、aμ は添え字 μ に対し反変、aμ は添え字 μ に対し共変であるという。これらの名称は、基底を取り替えた際の成分の変化に由来する。すなわち、ミンコフスキー空間上にもう1組の基底 (e′→0, e′→1, e′→2, e′→3) を用意し、基底の間の座標変換が成分表示で
と書けていたとすると4元ベクトル a→ の反変成分 a→ = a′νe′→ν = aμe→μ は、
という関係になるので、ダッシュつきの座標系にうつるとき、基底とは反対に Λμν の逆行列で結ばれる。それゆえ、「反対の変化」、すなわち反変と呼ばれる。
一方、基底の変更に対する共変成分の変化を見るため、双対基底が基底の変更でどのような影響を受けるか調べる。
とすると、
すなわち、Γμν は Λμν の逆行列 (Λ−1)μν であるので、双対基底は
という変換規則に従うことがわかる。よって4元ベクトル a→ の共変成分 a→ = a′νe′→ν = aμe→μ は、
という関係になるので、ダッシュつきの座標系にうつるとき、基底と共通の行列 Λμν で結ばれる。それゆえ、「共通の変化」、すなわち共変と呼ばれる。
テンソル代数の準備 > テンソル

本節ではテンソルに関する基本的な知識を紹介する。ただし本節での解説はミンコフスキー空間 V 上に限定したものであるので、一般の空間で成り立つとは限らない。
n を自然数とする。写像  T\colon V^{n}\to \mathbb {R}  が以下の性質（多重線形性）を満たすとき、T をn次のテンソルという：
特殊相対性理論で重要なのは主に2次のテンソルであるので、以下2次のテンソルに話を限定するが、一般の場合も同様である。なお、2次のテンソルは数学で二次形式と呼ばれるものと同一である。
2次のテンソル T に対し、
が全ての4元ベクトル a→、b→ に対して成り立つとき、T を対称テンソルという。また
が全ての4元ベクトル a→、b→ に対して成り立つとき、T を反対称テンソルという。
テンソル代数の準備 > テンソル > 成分表示

T をミンコフスキー空間上の2次のテンソルとし、e→0, e→1, e→2, e→3 をミンコフスキー空間の基底とし、e→0, e→1, e→2, e→3 をその双対基底とする。このとき、上述の基底や相対基底を使って T を4通りに成分表示する事が可能である：
4元ベクトル a→, b→ を
と成分表示する（アインシュタインの縮約で表記）と、
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 }
が成立する。
上述の4通りの成分表示において、T は上付きの添え字に対し反変、下付きの添え字に対し共変であるという。
4元ベクトルの場合と同様、基底を別のものに取り替えたとき T の各成分は、反変の添え字に関しては基底変換行列の逆行列が、共変の添え字に関しては基底変換行列そのものが作用する。例えば
とすると
なので、ダッシュつきの基底に関する成分 T′μν は
と、上付きの添え字には反変、下付の添え字には共変に変化する。
テンソル代数の準備 > テンソル > ミンコフスキー計量の成分表示

ミンコフスキー計量 η も二次の対称テンソルであるので、上述のように成分表示できる。
基底が正規直交であれば、ミンコフスキー計量の成分表示は非常に簡単になり、
のように書くことができる。
テンソル代数の準備 > テンソル > 2次のテンソルと線形写像

ミンコフスキー空間上の線形写像 f : V → V が与えられたとき、2次のテンソルを
()
と定義できる。
逆にミンコフスキー空間上の2次のテンソル T が任意に与えられたとき、(T1)式を満たす線形写像 f が一意に存在する事が知られている。従って2次のテンソルと線形写像を自然に同一視できる。
2次のテンソル T に対応する線形写像は基底 e→0, e→1, e→2, e→3 を用いると、下記のように具体的に書き表す事もできる：
テンソル代数の準備 > テンソル > テンソル場

ミンコフスキー空間上の各世界点 P にテンソル TP を割り振ったもの（すなわちミンコフスキー空間からテンソルの集合への写像 P ⤅ TP）をテンソル場という。
相対性理論でテンソル場は中核に位置する概念であり、電磁場を初めとして様々なものをテンソル場として表現する。
特殊相対性理論における電磁気学

本節では、電磁気学の基本的な概念や方程式を特殊相対性理論に合致する形に書き換える。
以下、慣性系
を1つ固定し、この慣性系において電磁気学を記述する。詳細は省くが、本節の記述は、他の慣性系で電磁気学を記述したものとローレンツ変換で移りあう事を確認できるので、特殊相対性理論に合致している。
なお、本項では国際単位系を用いる場合に対して記述したが、Landau, Lifshitz (3rd ed.) (1971)などガウス単位系（英語版）を用いている書籍における定義とは光速度 c のかかる位置が違うなどの差があるので注意が必要である。
特殊相対性理論における電磁気学 > 4元電流密度と連続の方程式

電荷密度 ρ と電流密度 j = (jx, jy, jz) を使って、4元電流密度を、
によって定義する。
すると連続の方程式
は、4元電流密度と4元勾配（英語版） (4–gradient) (∂0, ∂1, ∂2, ∂3) を用いて
と表現できる。ここで ∂ν は ∂ / ∂xν の略記である。
特殊相対性理論における電磁気学 > 電磁テンソル

真空の誘電率、透磁率をそれぞれ ε0, μ0 とすると、マクスウェル方程式により導かれる電磁波の速度 1 / √μ0ε0 が真空中の光速度と一致する事が実験・観測により確かめられたので、光の正体は電磁波であると考えられるようになった。この事実から、
である。
さらに電場 E = (Ex, Ey, Ez) と磁束密度 B = (Bx, By, Bz) を用いて電磁テンソルを
により定義する。
電磁場を別の慣性系から見た場合、電場と磁束密度がそれぞれ E′ = (E′x, E′y, E′z) と B′ = (B′x, B′y, B′z) であったとし、これらから作った電磁テンソルを F′αβ とする。
F′αβ と Fαβ がローレンツ・ブースト(L4)式で移りあう為の必要十分条件は、
が成立する事である事を簡単な計算で確認できる。ここで v は2つの慣性系の間の相対速度で、γ = 1 / √1 − (|v|/c)2 はローレンツ因子である。
非相対論的極限 v / c ≈ 0 では γ ≈ 1 なので、上述の条件式は、古典電磁気学で知られている慣性系間の変換公式
に一致する。
よって電磁テンソルはローレンツ変換に対して共変であると結論づけられる。
特殊相対性理論における電磁気学 > 相対性理論以前の解釈

特殊相対性理論以前のマックスウェル方程式の解釈には非対称性があった。例えば磁石を固定されたコイルに近づけた場合は電磁誘導により電流が流れると解釈されるが、逆にコイルを固定された磁石に近づけた場合はローレンツ力で電子が動かされることにより電流が流れると解釈された。今日的な視点から見れば、これら2つのケースは単なる慣性系の取り替えに過ぎないにも関わらず、両者の解釈が異なるのは不自然である。事実、流れる電流の量はどちらのケースであっても同一であり、磁石とコイルの相対速度だけで決まる。
このような非対称な解釈になったのは、当時は電場と磁束密度は完全に別概念であったことによる。(E1)式も、今日の目から見ると電場と磁束密度を電磁テンソルという同一のテンソルとしてまとめるべき事を示唆しているように見えるが、当時は(E1)式の第二項はあくまでも「仮想的な」電場や磁束密度の効果であるとみなされた。
上述したような理論の非対称性の解消に関心のあったアインシュタインは、特殊相対性理論によりこの非対称性を解消した。
特殊相対性理論における電磁気学 > マクスウェル方程式

詳細は「古典電磁気学の共変定式」を参照
特殊相対性理論における電磁気学 > マクスウェル方程式 > 電磁テンソルによる表現

すでに電磁テンソルがローレンツ変換に対して共変であることを示したので、マクスウェル方程式を電磁場テンソルで表せば、マクスウェル方程式もローレンツ変換に対して共変であることを示せる。
電磁テンソルと4元電流密度を使うとマクスウェル方程式の2式
はいずれも
と同一の形で表現でき、残りの2式
はいずれも
と同一の形で表現できる。なお、リッチ計算の記法を用いると、上の式は
とも表記できる。
マクスウェル方程式は微分形式と外微分を用いるとさらに簡潔に表現できる事が知られているが、微分形式に関する予備知識を必要とするので本節では述べない（マクスウェル方程式#微分形式による表現を参照）。
特殊相対性理論における電磁気学 > マクスウェル方程式 > 4元ポテンシャルによる表現

電磁場には必ず以下の条件をみたす組 φ, A（電磁ポテンシャル）が存在する事が知られている
本節では、電磁ポテンシャルの4元ベクトル版である4元ポテンシャル
{\vec {A}}=(A^{0},A^{1},A^{2},A^{3}):=(\phi /c,{\boldsymbol {A}})
を用いる事で、マクスウェル方程式を表現する。
1つの電磁場に対し(E2)式を満たす電磁ポテンシャルは一意ではない事が知られている。そこでローレンツ共変性を損ねない形で電磁ポテンシャルを制限するため、4元勾配を使った以下の条件（ローレンツ・ゲージ）を課す：
{\frac {\partial A^{\alpha }}{\partial x^{\alpha }}}=0.
このとき、マクスウェル方程式は4元電流密度を用いて
\Box {\vec {A}}=\mu _{0}{\vec {j}}
という一本の式で書き表せる。ここで
はダランベルシアンである。