Report 相対性理論 JS0.5
J Simplicity
November 11, 2011

1

J Simplicity HOME
http://www.jsimplicity.com/

Abstract
相対性理論は 20 世紀の初頭，アインシュタインによって創始されました．ニュートンの力学においては，時間と空間は絶対的な存在であり，またそれぞれ独立したものであると考えられていました．しかし，アインシュタインは時間と空間は相対的なものであり，また4 次元時空として関連付けられる存在であることを明らかにしました．
相対性理論は特殊相対性理論と一般相対性理論からなります．特殊相対性理論では，それぞれの座標系がお互いに等速直線運動で関係付けられているのに対して，一般相対性理論では，重力を含んだ理論で，それぞれの座標系が任意の運動をしていて文字通り一般化
されています．アインシュタインの相対性理論は 20 世紀における物理学の革命です．その独特の考え方を見ていくことにしましょう．

Contents
I

特殊相対性理論41

特殊相対性原理と光速不変の原理

51.1

ニュートン力学（絶対空間・絶対時間，
そしてガリレイ変換とガリレイの相対性原理）

1.2

1.3

. . . . . . . . . . . . . . . .

5（新しい座標変換と新しい相対性原理の可能性） . . . . . . . . . . . . . . .

9マクスウェル電磁気学

マイケルソン-モーレイの実験（絶対空間・エーテルの概念の破棄から相対的な空間へ） . . . . . . . . . . 12

1.4

特殊相対性原理と光速不変の原理 . . . . . . . . . . . . . . . . . . . . . . . . 15

1.5

同時性の問題（絶対時間の概念の破棄から相対的な時間へ）

2

3

ローレンツ変換とミンコフスキー時空. . . . . . . . . . . . . . . . 16
18

2.1

慣性系とローレンツ変換 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

2.2

ローレンツ変換の導出 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

2.3

ローレンツ変換とガリレイ変換の関係 . . . . . . . . . . . . . . . . . . . . . . 23

2.4

4 次元時空と世界点・世界線 . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

2.5

ローレンツ変換の 2 次元時空図 . . . . . . . . . . . . . . . . . . . . . . . . . 26

2.6

インターバルとミンコフスキー時空 . . . . . . . . . . . . . . . . . . . . . . . 28

2.7

ミンコフスキー時空の分類 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

特殊相対性理論の世界

32

3.1

同時性の問題 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

3.2

時間の遅れ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

3.3

双子のパラドックス . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

3.4空間の収縮（ローレンツ収縮）. . . . . . . . . . . . . . . . . . . . . . . . . 42

2

CONTENTS

3.5
4

3

速度の合成則 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

ローレンツ不変性とローレンツ共変性

4.1

49

数学的アナロジー（3 次元デカルト座標における回転座標変換） . . . . . . . . . . . . . . . . . 49

5

6

4.2

ローレンツ変換の 4 次元定式化 . . . . . . . . . . . . . . . . . . . . . . . . . 52

4.3

インターバルのローレンツ不変性 . . . . . . . . . . . . . . . . . . . . . . . . 56

4.4スカラー，ベクトル，テンソル4.5

ローレンツ共変性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60

. . . . . . . . . . . . . . . . . . . . . . . . . 59

特殊相対論的電磁気学

63

5.1

マクスウェル電磁気学 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63

5.2

マクスウェル電磁気学の特殊相対論的書き換え

特殊相対論的力学. . . . . . . . . . . . . . . . 64
68

6.1

ニュートン力学6.2

固有時間 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69

6.3

特殊相対論的力学のローレンツ共変性 . . . . . . . . . . . . . . . . . . . . . . 69

6.4

ローレンツ不変量 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68

Part I

特殊相対性理論4

Chapter 1

特殊相対性原理と光速不変の原理
1.1

ニュートン力学（絶対空間・絶対時間，
そしてガリレイ変換とガリレイの相対性原理）

19 世紀までの物理学は，ニュートン力学とマクスウェル電磁気学から構成されていました．
特殊相対性理論はこの 2 つの物理学を土壌として，20 世紀初頭にアインシュタインによって創始されたのです．
（論文として発表されたのは，1905 年です．この年は，“奇跡の年” と呼ばれています．
）この Section では，ニュートン力学について再考しておきます．特殊相対性理論は物理学の革命であり，ニュートン力学において根底となっている時間と空間に対する大前提は変更を余儀なくされました．その経緯を，この Chapter 全体にわたって詳細に見ていきましょう．まず，ニュートンの 3 法則を改めて書き留めておきます．

• 第 1 法則（慣性の法則） “力が働かないか，つりあっているとき，静止している物体
は静止を続け，動いている物体は等速直線運動を続けます．”• 第 2 法則（運動の法則） “力が働くとき，物体には力の向きに加速度が生じます．加速度の大きさは，力の大きさに比例し，質量に反比例します．
（数式で表現したもの
が運動方程式です．
）”• 第 3 法則（作用・反作用の法則） “物体 A から物体 B へ力（作用）が働くとき，物体 B から物体 A へ，大きさが等しく，向きが反対で，同一作用線上にある力（反作用）が働き返します．”
第 3 法則はここでは問題とせず，第 1 法則と第 2 法則について考えましょう．第 2 法則の運動方程式があれば，第 1 法則の慣性の法則は必要ないように思われます．
（運動方程式に

5

CHAPTER 1. 特殊相対性原理と光速不変の原理

6

おいて，力を 0 にすれば，加速度も 0 になり，静止または等速直線運動になります．
）しかし，慣性の法則は，その座標系が慣性系というものであるか否かを判定する条件になっています．つまり，慣性系とは，慣性の法則が成立する座標系であると定義されるのです．
実際に慣性系を設定することは，思ったよりも難しいものです．すぐに思い付く慣性系の候補として，地球上での摩擦の小さな水平な台の水平方向の運動が挙げられます．しかし，摩擦を完全に取り除くことはできませんし，地球自体が運動しています．ですから，この例は慣性系ではないのです．ここで，宇宙空間を考えましょう．宇宙空間では無重力です．
（重力は遠距離力なので，宇宙空間でも完全に 0 にすることはできません．しかし，ここでは，それを無視して考えることにします．
）無重力な宇宙空間を浮遊している物体は，確かに慣性の法則に従い，何の力も加えなくてもに等速直線運動を続けることになります．このときの座標系は，近似的に慣性系と見なすことができるでしょう．ここで，物理の常套手段である理想化を行い，完全な慣性系が宇宙にあるものとして，今後の議論を進めることにします．ある慣性系が 1 つ見つかったとしましょう．それに対して等速直線運動している新しい座標系では，働く慣性力は 0 です．また，もとの慣性系に対して，物体が静止
または等速直線運動していれば，新しい座標系に対する物体の運動の状態も，静止，または等速直線運動になることがわかります．したがって，新しい座標系も慣性系ということになります．もとの慣性系に対する新しい慣性系の速度は，等速度である限り，向きと大きさは任意です．したがって，新しく考えられる慣性系は無限個存在します．強調して書き留めておきましょう．

• “一旦，理想化された慣性系が 1 つ見つかれば，それに対して等速直線運動している
無限個の座標系も慣性系になります．”
ここで，基本的な事項ですが，絶対と相対という言葉の意味を考えておきましょう．絶対という言葉は，何か基準になるものが存在する場合に使います．例えば，“地面を基準として，ビルの 5 階は 20[m] の高さです．” と言った場合，地面からの高さというものは絶対的な量になります．それに対して，相対という言葉は，2 つのもの A，B があり，A に対する B の量とか，逆に B に対する A の量というものを考える場合に使います．例えば，“ビルの 3 階に対する 7 階の高さは 16[m] です．” と言った場合，3 階に対する 7 階の高さとい
う，あいたいする量を考えていますので，相対的な量ということになります．ここで，問題となるのが，慣性系は絶対的なものなのか？ それとも，相対的なものなのか？ ということです．言葉を変えて言うと，何か基準となる絶対的な慣性系が 1 つ存在していて，それに対して等速直線運動している無限個の慣性系が存在するのか？ それとも，基準となる慣性系というものは存在せず，無限個の慣性系は，全て同等で，あいたいする存在なのか？
ということです．結論を言うと，ニュートン力学では，慣性系には基準となる空間と時間

CHAPTER 1. 特殊相対性原理と光速不変の原理

7が存在するということを大前提としています．お互いに等速直線運動する無限個の慣性系のうち，基準となる空間は絶対空間と言い，宇宙の重心を原点にとり，デカルト座標の x軸，y 軸，z 軸を無限に伸ばして設定します．そして，ニュートン力学での時間は絶対時間と言い，全ての慣性系で共通であり，無限の過去から無限の未来に向かって一様に流れるものです．ニュートン力学の前提として，絶対空間と絶対時間が設定された理由は，それが，誰もが当然と思っている空間と時間の概念だからでした．宇宙空間として基準となるものが 1 つだけ存在し，その入れ物の中で，唯一の時間が過去から未来に向かって流れているという描像は常識として受け入れやすいものです．
さて，ある慣性系 S が見つかったとします．S は絶対空間でもよいですし，それに対して等速直線運動している無限個の慣性系のうちの 1 つでもよいです．その慣性系 S の座
標を (x, y, z)，時間を t とします．慣性系 S では，ニュートンの運動方程式，

m

d2 x
=F
dt2

が成立します．ここで，S に対して， x の正の方向に速さ v で等速直線運動している慣性系 S ′ を考えて，その座標を，(x′ , y′ , z′ )，その時間を t′ としましょう．
（簡単のため，x 方向にのみ運動しているとしました．また，t = t′ = 0 で 2 つの座標系の原点が重なっているとします．
）このとき，t′ と (x′ , y′ , z′ ) の成分を t と (x, y, z) の成分で表すと，次のようになり

z

zʼ
y

yʼ
v

O

vt

x Oʼ

xʼ

Figure 1.1: ガリレイ変換
ます．

t′ = tx′ = x − vt
y′ = yz′ = zニュートン力学では，時間は絶対時間ですから，2 つの座標系で時間は共通になるとしました．
（このことは，当然と思われるかもしれませんが，実は特殊相対性理論では変更され

CHAPTER 1. 特殊相対性原理と光速不変の原理

8

ます．後の Section を見て下さい．
） x 成分は vt を引いています．これは，ダッシュの付く
座標 x′ は，原点が vt だけ正の方向に動いた分，ダッシュの付かない座標 x より，小さくなっているからです．y 成分と z 成分は，座標系が動いていませんので変わりません．以上のような座標変換のことをガリレイ変換と言います．ガリレイ変換において，空間成分を
時間 t = t′ で微分すると，

dx′ dx=−v
dt′
dt
dy′ dy=dt′
dt
dz′ dz=dt′
dtとなります．もう 1 回，時間 t = t′ で微分すると，

d 2 x′ d 2 x
= 2
dt′2
dt
d2 y′ d2 y
= 2
dt′2
dt
2 ′
d2 z
d z
= 2
′2
dt
dt
となります．また，力 F は絶対的な物理量であり，あたらしい慣性系でも同じであるとします．すなわち，F′ = Fです．慣性系 S では，ニュートンの運動方程式，

m

d2 x
=F
dt2

が成立しました．このとき，上の関係より，新しい座標系 S ′ でも，運動方程式が成立する
ことが確認されます．

md 2 x′= F′
dt′2

このように，ある慣性系で物理法則が成立するとき，ガリレイ変換した別の慣性系でも同じ形式で物理法則が成立することを，ガリレイの相対性原理といいます．ニュートン力学
では，ガリレイの相対性原理が成立することがわかりました．
ニュートン力学は，常識的な観点からも，ガリレイの相対性原理が成立する点から考えても，矛盾はなく，何の問題もないように思われます．次に，マクスウェル電磁気学を考
えていきましょう．

CHAPTER 1. 特殊相対性原理と光速不変の原理

1.2

9

マクスウェル電磁気学（新しい座標変換と新しい相対性原理の可能性）

19 世紀までの物理学のもう一つの柱であるマクスウェル電磁気学について考察していくことにしましょう．簡単な電磁気学的現象例を取り上げると，コイルと棒磁石を使った電磁誘導の実験をする際，その相対的な運動のみが問題となります．つまり，コイルが静止していて棒磁石が動いていても，棒磁石が静止していてコイルが動いていても，その差異は認められません．すなわち，空間とは相対的なものではないのでしょうか？ それとも，絶対空間が存在するのでしょうか？ また，時間についてはどのようなことが言えるのでしょうか？ 議論を始めましょう．電磁気学の基礎方程式であるマクスウェル方程式とは，次の4 式でした．
⃗ ⃗x) =
∇ · E(t,ρ(t, ⃗x)ε0⃗ ⃗x) = 0
∇ · B(t,
⃗ ⃗x)
∂E(t,
= µ0 ⃗j(t, ⃗x)∂t⃗⃗ ⃗x) + ∂ B(t, ⃗x) = 0∇ × E(t,∂t⃗ ⃗x) − ε0 µ0∇ × B(t,ここで，電荷密度 ρ(t, ⃗x) と電流密度 ⃗j(t, ⃗x) が 0 であるような真空の空間領域を考えると，
マクスウェル方程式は次のようになります．

⃗ ⃗x) = 0
∇ · E(t,(1.1)⃗ ⃗x) = 0
∇ · B(t,

(1.2)

⃗ ⃗x)
∂E(t,
=0
∂t
⃗
⃗ ⃗x) + ∂ B(t, ⃗x) = 0∇ × E(t,∂t⃗ ⃗x) − ε0 µ0∇ × B(t,

(1.3)
(1.4)

⃗ の満たす方程式を導きます．
これらの真空中でのマクスウェル方程式から，まず，電場 E(1.4) 式に左から ∇× をかけます．
（回転をとります．
）⃗ ⃗x)) +∇ × (∇ × E(t,∂⃗ ⃗x)) = 0(∇ × B(t,∂t

ここで，ベクトル解析の公式，⃗ = ∇(∇ · A)
⃗ − ∇2 A⃗∇ × (∇ × A)

CHAPTER 1. 特殊相対性原理と光速不変の原理

10

より，

⃗ ⃗x)) = ∇(∇ · E(t,⃗ ⃗x)) − ∇2 E(t,⃗ ⃗x)
∇ × (∇ × E(t,⃗ ⃗x)= −∇2 E(t,となります．最後の変形は (1.1) 式を用いました．さらに，(1.3) 式より，
2⃗∂⃗ ⃗x)) = ε0 µ0 ∂ E(t, ⃗x)(∇ × B(t,∂t∂t2⃗ ⃗x) の満たす方程式は，ですから，E(t,
ε0 µ0

⃗ ⃗x)
∂2 E(t,⃗ ⃗x)= ∇2 E(t,
∂t2

(1.5)

⃗ ⃗x) の満たす方程式は，となります．同様な計算により，磁束密度 B(t,
ε0 µ0

⃗ ⃗x)
∂2 B(t,⃗ ⃗x)= ∇2 B(t,
∂t2

(1.6)

となることが確かめられます．(1.5) 式と (1.6) は，3 次元波動方程式，1 ∂2 ψ(t, ⃗x)= ∇2 ψ(t, ⃗x)v2 ∂t2と同形になっていることに注意しましょう．ここで，ψ(t, ⃗x) は波動のもつ一般量（水波の場⃗ ⃗x) や磁場 B(t,⃗ ⃗x) になります．
合は変位を表します．今の場合は電場 E(t,），v は波動の速さを表します．つまり，電場と磁場は波動として，空間を伝搬する性質をもっていることが理解されます．そして，電場と磁場の波動を電磁波と名付けたのでしたね．このとき，電磁波の速さ c は，ε0 µ0 =

1
c2

より，

1
c= √
ε0 µ0
1
 √
8.8541878 × 10−12 [F · m−1 ] × 4π(= 3.14159265) × 10−7 [N · A−2 ] 2.9979 × 108 [m/s]となります．これが光速と一致することから，光は電磁波の一種であることが判明したのでした．
ここで問題となるのが，この光速 c はどの慣性系から観測されたものであるかということです．基準となる慣性系である絶対空間から測定されるものとしてみましょう．ニュートン力学ではガリレイの相対性原理が成立しましたので，絶対空間に対して，等速直線運CHAPTER 1. 特殊相対性原理と光速不変の原理

11動している慣性系についても，運動方程式が成立しました．しかし，マクスウェル電磁気学に対してもガリレイ変換を適用しようとすると，絶対空間に対する光速 c は，新しい慣性系に対しては光速は c ではなくなってまいます．マクスウェル方程式の結論である波動方程式 (1.5) 式と (1.6) 式では，光速は唯一 c です．したがって，マクスウェル方程式は，ガリレイ変換に対して成立しないという結論になります．言葉を換えて言うと，マクスウェ
ル電磁気学に対しては，ガリレイの相対性原理が成り立たないのです．マクスウェル電磁気学が成立するのは，絶対空間に対してのみとなります．マクスウェル電磁気学の結論である電磁波の存在にとって，空間には電磁波を伝搬する媒質が必要でした．星の光が宇宙空間を隔てて届くことからわかるように，電磁波は真空中でも伝わります．そこで，考え出されたのがエーテルと呼ばれる媒質です．エーテルは物質の運動を妨げることはありま
せんが，電磁波を伝搬する媒質としての性質をもったもので，全宇宙の重心を基準とした絶対空間に対して静止し，空気中，物質中，真空中を問わず，満ち溢れているものと考えられました．上の議論で，光速 c は絶対空間に対する速さということでしたが，ということは，絶対空間の中で静止しているエーテルに対するものだということになります．
しかしながら，絶対空間とその中に静止しているエーテルに対してのみ成立する電磁気学は，美しさの点から承認しがたいものがあります．全ての慣性系で成立する電磁気学の可能性を考えなくてはいけません．マクスウェル方程式が，ガリレイ変換に対して成立しないのならば，新しい座標変換，新しい相対性原理を考えることはできないのでしょう
か．問題を整理しましょう．次の 2 つの立場が考えられます．

1. 基準となる絶対空間と唯一の絶対時間が存在します．絶対空間とそれに対して等速
直線運動する無限個の慣性系に関するガリレイ変換を考えた場合，ニュートン力学についてはガリレイの相対性原理が成立します．また，マクスウェル電磁気学は，絶対空間に対して静止しているエーテルに対してのみ成立し，それ以外の慣性系では成立しません．つまり，マクスウェル電磁気学については，ガリレイの相対性原理が成立しません．
（絶対空間に対して光速は c で，絶対空間に対して等速直線運動している慣性系に対しては，光速は変化します．
）

2. マクスウェル電磁気学が全ての慣性系について成立するような，新しい座標変換が存在します．したがって，電磁波の波動方程式が全ての慣性系に対して成立するので，全ての慣性系に対して，光速は唯一 c です．その場合，絶対空間とエーテルの存在は否定されます．また，新しい座標変換に対して，ニュートン力学が成立するか，否か，検討しなければなりません．
アインシュタインは後者の立場をとり，特殊相対性理論を創りました．その根拠となる実験を次の Section で見ていくことにしましょう．
（ただし，アインシュタインは実験の結果

CHAPTER 1. 特殊相対性原理と光速不変の原理

12を知らなくても，理論の美しさの観点から同じ結論を見出したと思われます．
）

1.3

マイケルソン-モーレイの実験（絶対空間・エーテルの概念の破棄から相対的な空間へ）

ここで，絶対空間とエーテルの存在について決定的な判決を下したのが，1887 年に行われたマイケルソン-モーレイの実験です．その当時，絶対空間の考え方が主流であったので，
この実験は絶対空間に静止しているエーテルに対する地球の運動を検出することが当初の目的でした．以下の議論は絶対空間を想定して行いますので，混乱しないようにして下さい．実験装置は図のようになります．光源 S から出た光の一部は，半透明の鏡 M を通過

M₂

M₂'

ℓ₂
v
光源 S

vT₂

M'

M₁

ℓ₁

M
干
渉
計

Figure 1.2: マイケルソン-モーレイの実験
して直進し，鏡 M1 で反射されて再び M に戻り，ここで反射されて干渉計に入ります．また，光源 S から出た光の残りは，半透明の鏡 M により反射されて鏡 M2 へ向かい，ここで M2 に反射されて再び M に戻り， M を通り抜けて干渉計に入ります．はじめの光を L1 ，あとの光を L2 と呼べば，L1 と L2 は干渉します．絶対空間に静止しているエーテルから見たとき，装置全体が MM1 の方向に地球とともに一定の速さ v で運動する場合を考えます．
絶対空間では，光は全ての方向にエーテルに対して c の速さで伝わるはずです．したがって，L1 の場合，行きの光の速さは c − v であり，帰りの光の速さは c + v になります．故に，

CHAPTER 1. 特殊相対性原理と光速不変の原理

13

光が MM1 を往復する時間 T 1 は，

ℓ1
ℓ1+
c−v c+vℓ1 {(c + v) + (c − v)}=(c − v)(c + v)
2ℓ1 c
= 2
c − v22ℓ1 /c∴ T1 =
1 − β2
T1 =となります．ただし，β は，

β≡

v
c

で定義します．L2 について言えば，装置全体の速度は MM2 方向については 0 なので，光の速さは c です．ただし，光の走った道筋は MM2′ M なので，そのとき経過した時間 T 2 は，√
ℓ22 + (2
T2 =vT 2 2)2cより，

T 22 =

4(ℓ22 +

v2 T 22)4

c2∴c T 22 = 4ℓ22 + v2 T 222∴(c2 − v2 )T 22 = 4ℓ22
4ℓ22
c2 − v2
4ℓ2 /c2∴T 22 = 2 21−β2ℓ2 /c∴T 2 = √1 − β2∴T 22 =となります．よって，２つの光の時間差 ∆T は，∆T = T 1 − T 2 =2ℓ1 /c2ℓ2 /c− √21−β
1 − β2となります．ここで，装置全体を， M を中心として時計回りに 90◦ 回転して同じ実験をします．このとき， MM2 が地球の運動の向きに一致して， MM1 は運動の向きと垂直になります．したがって，この場合の時間差 ∆T ′ は，

2ℓ1 /c2ℓ2 /c∆T ′ = T 1′ − T 2′ = √
−
2
1
− β2
1−β

CHAPTER 1. 特殊相対性原理と光速不変の原理

14と求められます．この２つの実験の光の往復時間の差は，∆T − ∆T ′ = (2ℓ1 /c2ℓ2 /c2ℓ1 /c2ℓ2 /c
− √
)−(√
−
)
2
2
1 − β2
1
− β2
1−β
1−β

=

1
1
1
1
2ℓ2
2ℓ1
(
− √
)+
(
− √
)
2
2
2
c 1−β
c 1−β
1−β
1 − β2=12(ℓ1 + ℓ2 )
1
− √
(
)
2
c
1−β
1 − β212(ℓ1 + ℓ2 ){(1 + β2 + · · · ) − (1 + β2 + · · · )}c2
ℓ1 + ℓ2 2βc=と計算されます．よって，90◦ の回転により光路差の変化，c(∆T − ∆T ′ )  (ℓ1 + ℓ2 )β2に相当する干渉縞の移動が起こるはずです．ここで，太陽の周りの地球の公転速度は，v  3 × 104 [m/s]であり，光速は，c  3 × 108 [m/s]
なので，

β=

v
 10−4cとなります．また，マイケルソン-モーレイの装置では，ℓ1  ℓ2  11[m]であったので，光路差の変化は，(ℓ1 + ℓ2 )β2 = (11 + 11) × (10−4 )2 = 22 × 10−8 = 2.2 × 10−7 [m]となります．しかし，マイケルソンとモーレイの結果は，実験値が上の理論値よりもずっと小さいことを示していました．地球のエーテルに対する運動は検出されなかったのです．
一つの可能性としては，地球がエーテルに対して静止していることも考えられますが，太陽の周りを公転していることを考慮すると，そのアイディアは捨てなければなりません．
残る選択肢は，絶対空間とその中にあるエーテルの存在を否定するしかありません．
このようにして，基準となる絶対空間が存在せず，全て同等な相対的な空間を考えていく必要が生じました．アインシュタインは空間が相対的であるとしたのに留まらず，時間と空間との関係についても再考しました．次の節から特殊相対性理論の原理について考えていきましょう．

CHAPTER 1. 特殊相対性原理と光速不変の原理

1.4

15

特殊相対性原理と光速不変の原理

1905 年，アインシュタインは 19 世紀までの物理学と決別するべく，特殊相対性理論を発表しました．ニュートン力学とマクスウェル電磁気学の 2 つの理論を足がかりとして，革命的な理論に創りなおしたのです．その理論の核心となる 2 つの原理を，以下に見ていきましょう．
特殊相対性理論では，慣性系の場合を考えます．このことは，特殊という言葉を使用する理由になっています．特殊相対性理論では，全ての慣性系は相対的です．つまり，特別な慣性系は存在せず，お互いに等速直線運動をしているあらゆる慣性系は同等になります．
さらに，特殊相対性理論ではそれ以上のことを主張します．すなわち，全ての物理法則にとって，あらゆる慣性系は同等であるということです．このことをアインシュタインは原理として採用しました．
原理 1.1 (特殊相対性原理) “物理法則は全ての慣性系において，同じ形式で表現されます．”
この原理を特殊相対性原理といいます．ニュートン力学の法則を表す方程式も，電磁気学の法則を表すマクスウェル方程式も，同じ形式で表現されることを要請したのです．
（後に，
量子力学，場の量子論，弦理論の法則も含むように拡張されました．
）具体的に特殊相対性原理を満たす座標変換を考えなくてはなりません．前述したように，ガリレイ変換は，ニュートン力学の運動方程式に対しては相対性原理を満たしますが，マクスウェル方程式の形を変えてしまいますので，要求を満たしていません．新しい座標変換を考えなくてはなりませんが，次の Chapter で導入していきます．
特殊相対性理論にはもう 1 つ原理があります．アインシュタインは 10 代半ばの頃，次のようなことを考えていたといいます．すなわち，光速で運動している人は鏡で自分の顔を見ることができるであろうか，という疑問です．顔から出た光は，その人が光速で追いかけているので，速さ 0 になり，鏡では見ることができないのではないでしょうか？ ある
いは特別なことが起こるのでしょうか？ ここで，この疑問に答えるために，上記の特殊相対性原理を前述のマクスウェル電磁気学について考えてみます．電磁気学の基本法則は 4式のマクスウェル方程式ですが，特殊相対性原理より全ての慣性系で同じ形式の方程式になると結論付けられます．よって，マクスウェル方程式から導出される波動方程式も，全ての慣性系で同じ形式の方程式になります．実際に，変換後の慣性系での波動方程式を書
き留めておくと，

1 ∂2 E⃗′ (t′ , x⃗′ )= ∇2 E⃗′ (t′ , x⃗′ )c2∂t′2
1 ∂2 B⃗′ (t′ , x⃗′ )= ∇2 B⃗′ (t′ , x⃗′ )c2∂t′2

CHAPTER 1. 特殊相対性原理と光速不変の原理

16です．ダッシュが付いているのは，変換後の座標における量であることを示しています．ここで，波動方程式には光速 c が含まれていて，同形の波動方程式から計算されるので，全ての慣性系において光速は同じ値になることが理解されます．この結論は常識とは相容れませんが，アインシュタインは原理として採用しました．
（特殊相対性理論の原理は計２つです．
）
原理 1.2 (光速不変の原理) “光速は全ての慣性系において一定値 c です．”
この原理を光速不変の原理といいます．
（この原理によれば，自分の顔は見えることになり
ますね．
）

1.5

同時性の問題（絶対時間の概念の破棄から相対的な時間へ）

光速不変の原理を認めると，事象が同時に起こるということについて，常識では考えられない結論が得られます．例として，等速直線運動している列車の中央でフラッシュを発した場合を考えます．列車の中にいる観測者にとって，光速は一定値 c です．この観測者にとって，光のパルス波は同時に列車の両端に到着します．
（図の “同時性 1” を参照してくだ
さい．
）一方，光速不変の原理から，地面にいる観測者にとっても光速は一定値 c です．列v

Figure 1.3: 同時性 1
車は前方に運動しているので，光のパルス波は前方の端よりも後方の端に早く到着することになります.（図の “同時性 2” を参考にして下さい．
）列車の中の観測者にとって同時でv

Figure 1.4: 同時性 2

CHAPTER 1. 特殊相対性原理と光速不変の原理

17

ある出来事が，地面にいる観測者にとっては同時ではなくなります．もちろん，列車の速度は光速に比較して小さいので，この結論はほとんど無視できます．しかしながら，原理
的には同時性が破れているのです．
列車の中の観測者にとっての同時ということと，地面にいる観測者にとっての同時ということは違うことが理解できました．言い直すと，列車に固定した座標系と，地面に固定した座標系では同時性が異なるということです．さらに話を進めると，時間というものは観測する座標系によって異なったものである，ということまで考えることができます．全ての座標系で共通の絶対時間という概念は破棄される運命にあるのです．空間とともに，時間も相対的なものであることが理解されます．

J Simplicity HOME
http://www.jsimplicity.com/

Chapter 2

ローレンツ変換とミンコフスキー
時空
2.1

慣性系とローレンツ変換

前 Chapter で，特殊相対性原理と光速不変の原理を導入し，特別な慣性系は存在しないことについて言及しました．ただし，特殊相対性理論では，慣性系に限って，議論を進めていきます．全く一般の座標系の場合は，一般相対性理論の Part で取り扱います．慣性系とは，慣性の法則が成立する座標系であると定義されましたね．重力が働いている座標系や，加速運動をしている座標系は慣性系ではありません．これからの議論は，完全な慣性系があるものとして進めていきます．一旦，慣性系が一つ見つかれば，それに対して等速直線運動している無限個の座標系も慣性系になります．そして，全ての慣性系で物理学の法則は，同じ形式で表現されるのでした．特殊相対性理論は慣性系の間の関係について取り扱っていく理論です．
ニュートン力学では，慣性系の間の座標変換はガリレイ変換でした．しかし，マクスウェル電磁気学は，ガリレイ変換に対して成立しませんでした．マクスウェル電磁気学でも成立するような，特殊相対性理論で取り扱う，慣性系の間の座標変換をローレンツ変換といいます．ローレンツ変換がどのように表され，導出されるのか，次の Section で見ていきましょう．

18

CHAPTER 2. ローレンツ変換とミンコフスキー時空

2.2

19

ローレンツ変換の導出

ローレンツ変換を導出しましょう．ガリレイ変換を導出したときと同じ状況設定をします．
つまり，慣性系 S （時間が t，空間成分が (x, y, z) です．
）に対して， x の正の方向に速さ v
で等速直線運動している慣性系 S ′（時間が t′ ，空間成分が (x′ , y′ , z′ ) です．
）を考えます．ただし，ダッシュの付いていない慣性系とダッシュの付いている慣性系は同等な座標系であり，基準となる慣性系はありません．2 つの慣性系が時刻 0 で原点が一致した瞬間に，原

z

zʼ
y

yʼ
v

O

x Oʼ

xʼ

Figure 2.1: ローレンツ変換 1点から光のパルス波を発射するものとします．光速不変の原理より，その波面は S に対しても，S ′ に対しても，球面状に外向きに一定の速さ c で拡がっていきます．したがって，それぞれの光の波面は，球面の方程式である次式を満たします．

x2 + y2 + z2 = (ct)2x′2 + y′2 + z′2 = (ct′ )2
この２式を次のように書き直しておきます．

(ct)2 − x2 − y2 − z2 = 0(2.1)(ct′ )2 − x′2 − y′2 − z′2 = 0(2.2)

ここで，２つの慣性系の間の座標変換は線形であると仮定します．

t′ = At + Bx
x′ = Ct + Dx
y′ = yz′ = zy 方向と z 方向は運動していないので，y 成分と z 成分は不変であるとしました．また，時間も変換すると仮定しました．
（前の Chapter での同時性の問題の議論を思い出して下さい．絶CHAPTER 2. ローレンツ変換とミンコフスキー時空

20

対時間の概念は破棄され，時間は観測する座標系によって異なったものでした．
）A, B, C, D
は変換の係数です．以下の計算によって決定していきます．
慣性系 S ′ の原点 O′ では， x′ = 0 ですが，このとき，Ct + Dx = 0 となり，

C = −Dxtとなります. この式は O′ の満たす式なので，右辺の x/t は O に対する O′ の速さ v になります．したがって，

C = −Dv
です．故に，

x′ = D(−vt + x)となります．
これらの式を光の波面が満たす方程式（ダッシュのついている (2.2) 式）に代入して計算します．

c2 (At + Bx)2 − D2 (−vt + x)2 − y2 − z2 = 0∴c2 (A2 t2 + 2ABtx + B2 x2 ) − D2 (v2 t2 − 2vtx + x2 )2 − y2 − z2 = 0∴(c2 A2 − v2 D2 )t2 + 2(c2 AB + vD2 )tx − (−c2 B2 + D2 )x2 − y2 − z2 = 0
ここで，最後の式と光の波面を表す方程式（ダッシュのついていない (2.1) 式）を比較して，次の 3 式を得ます．

c2 A2 − v2 D2 = c2

(2.3)

c2 AB + vD2 = 0(2.4)− c2 B2 + D2 = 1(2.5)

これらの式を A, B, D について解きます．(2.4) 式より，

D2 = −c2

AB
v

(2.6)

が得られます．(2.6) 式を (2.3) 式に代入します．

c2 A2 + c2 vAB = c2
よって，

A
A
1
(B + ) = 2vvv
さらに，(2.6) 式を (2.5) 式に代入して計算します．

−c2 B2 − c2

AB
=1
v

(2.7)

CHAPTER 2. ローレンツ変換とミンコフスキー時空

21

故に，

B(B +

A
1
)=− 2
v
c

(2.8)

となります．(2.8) 式÷ (2.7) 式より，

1
A
− 2
)
v = c
A
A
1
(B + )vv
v22vv∴B = − 2Ac
B(B +となり，よって，A
B = −v 2c(2.9)

が得られます．(2.9) 式を (2.8) 式に代入して，

A
A A
1− v 2 (−v 2 + ) = − 2
v
c
c
c
v2 2
∴(1 − 2 )A = 1
c1∴A = ± √1 − β2
（ただし，

β≡

v
c

と，おきました．
）ここで，v → 0 の極限で t′ = t となるので，前の符号は正になります．
よって，

1
A= √
1 − β2です．(2.9) 式より，

1
1
B = −v 2 √c
1 − β2v− 2= √ c
1 − β2となります．また，(2.6) 式より，

D2 = −c2

AB
v

v
− 2
1
c2
c
=− √
√
v 1 − β2 1 − β2=

1
1 − β2

CHAPTER 2. ローレンツ変換とミンコフスキー時空

22となり，故に，D=±√

1
1 − β2です．ここで，v → 0 の極限で x′ = x となるので，前の符号は正になります．よって，

1D= √1 − β2です．以上で，A, B, D が出揃いました．よって，時間成分の変換は次のようになります．

t′ = At + Bx
v
t− 2x
= √ c
1 − β2ct − βx∴ ct′ = √1 − β2
この時間成分を ct という量を使って表しています．これは，時間 t に光速 c をかけると式が見やすくなるということと，時間成分も空間成分に合わせて長さの次元にできるという利点があります．また，

x′ = D(−vt + x)
−vt + x= √1 − β2−βct + x= √1 − β2となります．ここで，ローレンツ変換の式をまとめて書いておきます．時間成分は，

ct − βxct′ = √
1 − β2(2.10)−βct + xx′ = √
1 − β2(2.11)

y′ = y(2.12)

z′ = z(2.13)と変換されます． x 成分は，と変換されます．y 成分は，です．z 成分は，です．時間成分も空間成分と同様に変換されていることに注意して下さい．繰り返しますが，相対性理論では絶対時間は否定されます．
（ニュートン力学の変換であるガリレイ変換
で，t′ = t となっていたのとは，全く違いますね．
）

CHAPTER 2. ローレンツ変換とミンコフスキー時空

23

次に，ローレンツ逆変換，すなわちダッシュの付かない成分をダッシュの付いた成分で表す式を導いておきましょう．(2.10) 式より，√
ct − βx = 1 − β2 ct′
です．故に，

βct − β2 x =となります．また，(2.11) 式より，

−βct + x =√(2.14)

1 − β2 βct′√

1 − β2 x′

です．これらの式の両辺をそれぞれ加え計算します．
√√− β2 x + x = 1 − β2 βct′ + 1 − β2 x′√∴(1 − β2 )x = 1 − β2 (βct′ + x′ )βct′ + x′∴x = √
1 − β2
また，(2.14) 式より，

ct = βx +√1 − β2 ct′

β2 ct′ + βx′ (1 − β2 )ct′
+ √√1 − β2
1 − β2′′
ct + βx= √1 − β2=となります．ローレンツ逆変換をまとめて書くと，

ct′ + βx′ct = √
1 − β2βct′ + x′x= √1 − β2(2.15)(2.16)

y = y′(2.17)z = z′(2.18)となります．これらは，ローレンツ変換 (2.10) 式〜(2.13) 式で，ダッシュを付け替え，v を-vに置き換えたものになっています．このことからも，２つの慣性系が全く同等であることが理解されますね．

2.3

ローレンツ変換とガリレイ変換の関係

特殊相対性理論の座標変換は，ローレンツ変換であることがわかりました．ガリレイ変換
はニュートン力学の変換であり，破棄されるべきものです．しかし，慣性系間の速度 v が，

CHAPTER 2. ローレンツ変換とミンコフスキー時空24

光速 c に比べて小さいときは，ローレンツ変換は近似的にガリレイ変換になります．つまり，日常生活の上では，ガリレイ変換も近似的に成立するのです．計算によってこのことを示しておきましょう．ローレンツ変換の時間成分は，

ct − βxct′ = √
1 − β2
でした．ここで，ct − βxf (β) = √1 − β2とおき，β についてマクローリン展開します．

√
1
1−x 1 − β2 − (ct − βx) (1 − β2 )− 2 (−2β)
2′f (β) =
1 − β2なので，f (β) = f (0) + f ′ (0) · β +1 ′′f (0) · β2 + · · ·2!

 ct + (−x)βとなります．ただし，β の 2 次以上の項は小さいとして無視しました．このとき，

ct′ = ct − βxv
∴ t′ = t − 2 xctとなります．確かに，時間成分は近似的にガリレイ変換になりました．同様に， x 成分も見ておきます．ローレンツ変換は，−βct + xx′ = √
1 − β2
でした．ここで，−βct + xg(β) = √1 − β2とおき，β についてマクローリン展開します．

√
1
1−ct 1 − β2 − (−βct + x) (1 − β2 )− 2 (−2β)
2g′ (β) =1 − β2なので，g(β) = g(0) + g′ (0) · β + x + (−ct)β1 ′′g (0) · β2 + · · ·2!

CHAPTER 2. ローレンツ変換とミンコフスキー時空

25となります．ただし，β の 2 次以上の項は小さいとして無視しました．このとき，

x′ = x − βct= x − vtとなります．確かに， x 成分は近似的にガリレイ変換になりました．
一般に，慣性系間の速度 v が光速 c に比べて小さい場合，特殊相対性理論の結論はニュートン力学に近似されます．特殊相対性理論はニュートン力学を含んでいると言ってもよい
でしょう．

2.4

4 次元時空と世界点・世界線

ローレンツ変換 (2.10) 式〜(2.13) 式は時間と空間の成分が混ざった変換式になっています．
時間と空間は密接に関係し，切り離して考えることは，もはや不可能です．そこで，これからは時間 1 次元と空間 3 次元からなる 4 次元時空という概念を導入します．慣性系はニュートン力学では空間的な概念でしたが，特殊相対性理論では 4 次元時空の慣性系に進化します．特殊相対性理論における 4 次元時空の慣性系を，次のように表記します．

M(ct, x, y, z)（慣性系を表していた S という文字を， M に替えました．これは後の Section で導入する

Minkowski 時空の頭文字から採りました．
）括弧の中の最初の成分は時間についてのものですが，前にも触れたように光速 c が掛かっています．この成分を第 0 成分とします．また，x, y, z は空間成分ですが，第 1，第 2，第 3 成分とします．
（空間成分を第 1，第 2，第 3 成
分とし，時間成分を第 4 成分とする表記方法もありますが，ここでは第 0，第 1，第 2，第3 成分とする方法を採用します．時間成分は第 4 成分とするよりも，第 0 成分とした方が，空間成分と見分けることができて考えやすいと思います．
）
フラッシュが光ったとか，物体が速度を変えたとか，2 つの物体が衝突した等の物理的な出来事を事象といいます．事象を記述するには，その起こった時間と空間を示さなければなりません．そのために，4 次元時空の 1 点 (ct, x, y, z) である世界点というものを導入します．1 つの粒子の 4 次元時空上での世界点の軌跡を世界線と言います．4 次元時空のグラフを図示することは不可能なので，縦軸に時間成分 ct 軸をとり，横軸に空間 1 成分（ x 成分）をとった，2 次元時空図を描いてみます．ここで，A と B は世界点を示します．世界線 C は静止している粒子を表しています．x 成分が変化せず，時間成分 ct だけが増加していますね．世界線 D は等速直線運動している粒子を表しています．傾きが一定になっていCHAPTER 2. ローレンツ変換とミンコフスキー時空

ct

A

26

L

E

D
B
C

O

x

Figure 2.2: 世界点と世界線て等速であることがわかります．L は光の世界線です．速さが c ですから，傾きは 1 になります．
（縦軸が ct であることに注意して下さい．
）世界線 E は任意の運動をしている粒子を表しています．

2.5

ローレンツ変換の 2 次元時空図

2 次元時空図においてローレンツ変換はどのように図示されるでしょうか？ M(ct, x) から
M ′ (ct′ , x′ ) へのローレンツ変換の式は，
ct − βxct′ = √
1 − β2−βct + xx′ = √
1 − β2と表されます．変換された ct′ 軸は， x′ = 0 とおいて，

0 = −βct + x
∴ct =

1
x
β

となります．また，変換された x′ 軸は，ct′ = 0 とおいて，

0 = ct − βx∴ct = βxとなります．したがって，2 次元時空図は図のようになります．世界点 A は M に対しては(ct1 , x1 ) ですが， M ′ に対しては (ct1′ , x1′ ) となります．また，図の角 θ は，tan θ = βの関係があります．L は光の世界線です．

CHAPTER 2. ローレンツ変換とミンコフスキー時空

ct

27

ctʼ

θ
ct₁
ct₁ʼ

L

A

xʼ

x₁ʼ
θ x₁

O

x

Figure 2.3: ローレンツ変換 2
ローレンツ逆変換も 2 次元時空図で表しておきましょう．変換の式は，

ct′ + βx′ct = √
1 − β2βct′ + x′x= √1 − β2でした．変換された ct 軸は， x = 0 とおいて，

0 = βct′ + x′
1∴ct′ = − x′βとなります．また，変換された x 軸は，ct = 0 とおいて，

0 = ct′ + βx′∴ct′ = −βx′となります．したがって，2 次元時空図は図のようになります．世界点 A は M ′ に対して

ctʼ

ct

L

θ
ct₁
ctʼ₁
O

A
xʼ₁
xʼ
θ x₁
x

Figure 2.4: ローレンツ逆変換
は，(ct1′ , x1′ ) ですが， M に対しては (ct1 , x1 ) となります．やはり，図の角 θ は，tan θ = βCHAPTER 2. ローレンツ変換とミンコフスキー時空

28の関係があります．L は光の世界線です．

2.6

インターバルとミンコフスキー時空

3 次元空間の原点 O(0, 0, 0) と任意の座標 (x, y, z) の間の距離 r の 2 乗は三平方の定理より，
r2 = x2 + y2 + z2で表されました．そして，この距離 r の 2 乗は原点の回りの座標軸の回転に対して値を変えませんでした．
（変換の前後で変わらない量を不変量といい，その性質を不変性と言います．
）このことは直観的に明らかですが，直接計算によって次のように示すことができます．
簡単のため，z 軸を軸として， xy 平面を θ だけ反時計回りに回転させます．回転後の座標(x′ , y′ , z′ ) は回転前の座標 (x, y, z) によって，
x′ = x cos θ + y sin θ
y′ = −x sin θ + y cos θz′ = zと表されます．したがって，

r′2 = x′2 + y′2 + z′2= (x cos θ + y sin θ)2 + (−x sin θ + y cos θ)2 + z2
= x2 + y2 + z2
= r2
（証明終．
）

4 次元時空に対して，この 3 次元空間の距離 r に相当する量を考えましょう．時間 t = 0
で空間座標の原点 x = y = z = 0 を出発した光の先端が t 秒後に到達する点の座標の方程式，
つまり，光の球面波の式は，(ct)2 − x2 − y2 − z2 = 0
で与えられました．光速不変の原理より，この式が任意の慣性系において成立することから，ローレンツ変換は導出されました．この式の左辺の量は，光に対しては常に 0 になりますが，原点 O(0, 0, 0, 0) と任意の世界点 A(ct, x, y, z) に対してはある有限の値をとります．
そこで，この量を 4 次元時空における距離の 2 乗として定義し，その性質を調べることにします．

s2 ≡ (ct)2 − x2 − y2 − z2

(2.19)

CHAPTER 2. ローレンツ変換とミンコフスキー時空

29

ここで， s をインターバルと名付けることにします．
（世界距離または不変距離とも言います．
）インターバルの 2 乗の式の中には，空間成分の 2 乗の和に加えて，時間成分の 2 乗が入ってきています．そして，時間成分の 2 乗の符号と空間成分の 2 乗の和の符号は反対になっています．ここでは，時間成分の 2 乗の符号を正，空間成分の 2 乗の和の符号を負と定義しました．この定義は逆にしても構いません．要は，インターバルはローレンツ変換に対して不変であるという大切な性質をもっていればよいのです．これはもともとインターバルが不変になるようにローレンツ変換を導出したのですから，当然の結論なのですが，次のように直接計算して示すことができます．

s′2 = (ct′ )2 − x′2 − y′2 − z′2ct − βx 2−βct + x 2=(√) −( √) − y2 − z2
1 − β2
1 − β2c2 t2 − 2βctx + β2 x2 β2 c2 t2 − 2βctx + x2−
− y2 − z2=
1 − β2
1 − β2(1 − β2 )c2 t2 − (1 − β2 )x2=− y2 − z2
1 − β2= (ct)2 − x2 − y2 − z2
= s2
（証明終．
）お互いに等速直線運動する 2 つの慣性系はローレンツ変換で結ばれ，その際インターバルは不変です．
（これをインターバルのローレンツ不変性といいます．
）インターバルがローレンツ不変性をもつ慣性系のことをミンコフスキー時空と言います．特殊相対性理論における 4 次元時空はミンコフスキー時空です．なお，２つの世界点の間を無限小にとって，

ds2 ≡ c2 dt2 − dx2 − dy2 − dz2で定義された量 ds を無限小インターバルと名付けます．無限小インターバルもローレンツ
不変量です．

2.7

ミンコフスキー時空の分類

特殊相対性理論の時空であるミンコフスキー時空は，インターバルの 2 乗の符号により分類することができます．簡単のため，2 次元時空を考えましょう．原点 O(0, 0) と世界点

A(ct, x) の間のインターバルの２乗は，
s2 = (ct)2 − x2

CHAPTER 2. ローレンツ変換とミンコフスキー時空

30となります．インターバルの２乗が正の値をとるとき，時空は時間的（Time-like）であると言います．このとき，(ct)2 − x2 > 0∴(ct + x)(ct − x) > 0∴(ct + x > 0 and ct − x > 0) or (ct + x < 0 and ct − x < 0)∴(ct > −x and ct > x) or (ct < −x and ct < x)の関係があります．
（2 次元時空図での領域は，“ミンコフスキー時空” の図を見て下さい．
）
時間的な時空において，原点 O(0, 0) と世界点 A(ct, x) は因果関係をもつことができます．
つまり，影響を及ぼすことのできる関係にあります．次に，インターバルの 2 乗が負の値をとるとき，時空は空間的（Space-like）であるといいます．このとき，(ct)2 − x2 < 0∴(ct + x)(ct − x) < 0∴(ct + x > 0 and ct − x < 0) or (ct + x < 0 and ct − x > 0)∴(ct > −x and ct < x) or (ct < −x and ct > x)の関係があります．
（2 次元時空図での領域は，“ミンコフスキー時空” の図を見て下さい．
）
空間的な時空では，原点 O(0, 0) と世界点 A(ct, x) は因果関係をもつことができません．
（信
号は光速を超えることはできません．
）最後にインターバルの 2 乗が 0 のとき，時空は光的（Light-like）であると言います．このとき，(ct)2 − x2 = 0∴(ct + x)(ct − x) = 0∴ct = −x or ct = xの関係があります．
（2 次元時空図では 2 本の黄色の直線になります．
）光のインターバルの2 乗は 0 になります．まとめると次のようになります．
1. Time-like(s2 > 0)
2. Space-like(s2 < 0)
3. Light-like(s2 = 0)
次の Chapter では，特殊相対性理論に従うと，どのような世界になるのか，その非日常的な現象を見ていくことにしましょう．

CHAPTER 2. ローレンツ変換とミンコフスキー時空

Light-like ct
Light-like
Time-likeSpace-likeO

Space-likexTime-like
Figure 2.5: ミンコフスキー時空
J Simplicity HOME
http://www.jsimplicity.com/

31Chapter 3

特殊相対性理論の世界
3.1

同時性の問題特殊相対性理論を認めると，常識では考えられないような結論が幾つか導かれます．初等的な取扱い，そしてローレンツ変換，ローレンツ逆変換とミンコフスキー時空図を用いて，以下議論していきましょう．
最初に，同時性の問題を見ておきます．この問題は，“特殊相対性原理と光速不変の原理” の Chapter の最後に，光速不変の原理を用いて取り扱いました．そのときの状況を表す

2 つの図を再掲しておきます．等速直線運動している列車の中央から光のフラッシュを放った場合，列車に乗り込んだ観測者（慣性系 M ′ ）には，列車の両端に同時に光が到着するのに対して，地面から見てる観測者（慣性系 M ）に対しては同時ではありません．光速不変の原理より，列車に対しても，地面に対しても，光の速さが同じ c になることが話の肝心な点でした．この同時性の問題を，ローレンツ逆変換を用いて取り扱っておきます．時間

1 次元と空間 1 次元（ x 成分）からなる 2 次元時空を考えます．
（この Chapter では，以下，
主に 2 次元時空を考えます．
）慣性系 M(ct, x) に対して， x 方向に速さ v で等速直線運動している慣性系 M ′ (ct′ , x′ ) という状況です．慣性系 M ′ (ct′ , x′ ) において同時に起こった 2 つの事象 A′ (ct′ , x1′ ) と B′ (ct′ , x2′ ) は，M においてはそれぞれ A(ct1 , x1 ) と B(ct2 , x2 ) とおくことができます． M における時間の成分を同じ文字で表さなかったのは，事象が同時に起こったか否か，保証されていないためです．ローレンツ逆変換の時間成分の式，

ct′ + βx′ct = √
1 − β232

CHAPTER 3. 特殊相対性理論の世界

33

A'

B'
ct'

ct'
v

M'

x'
(a)
v

M
x
B

A
ct₁

ct₂

(b)
Figure 3.1: 同時性 3

より，次の量を計算します．

ct′ + βx2′ ct′ + βx1′
ct2 − ct1 = √− √
1 − β2
1 − β2′′β(x − x1 )= √2
1 − β2
ここで，x1′ , x2′ なので，t1 , t2 となり，やはり，M において同時性が破れていることが確認されます．2 次元時空図も見ておきましょう．世界点 A′ と世界点 B′ は，慣性系 M ′ に対

ct
ct₂
ct₁

O

ctʼ
B'
A'
ctʼ
x₁ʼ

xʼ

x₂ʼ
x₁

x₂

Figure 3.2: 同時性 4xCHAPTER 3. 特殊相対性理論の世界

34

しては，同時刻 t′ です．
（青色の破線を見て下さい．
）一方，慣性系 M に対しては，A の時
刻が t1 で， B の時刻が t2 となり，同時ではありません．
（2 本の緑色の破線を見て下さい．

ct1 < ct2 で，A の方が先に起こります．
）
議論のついでに，慣性系 M(ct, x) において，同時に起こった 2 つの事象 C(ct, x3 ) とD(ct, x4 ) に対して，慣性系 M ′ (ct′ , x′ ) では同時性が破れていることも確認しておきましょう．この場合，慣性系 M ′ (ct′ , x′ ) に対して， x の負の方向に速さ v で等速直線運動している慣性系 M(ct, x) という状況を設定しておきます．2 つの事象は M ′ においては，それぞれ

C

D
ct

ct

v

M

x
(a)

v
M'
x'
C'

D'
ct'₃

(b)

ct'₄

Figure 3.3: 同時性 5
C ′ (ct3′ , x3′ ) と D′ (ct4′ , x4′ ) とおくことができます． M ′ における時間の成分を同じ文字で表さなかったのは，事象が同時に起こったか否か，保証されていないためです．ローレンツ変換の時間成分の式，

ct − βxct′ = √
1 − β2
により，次の量を計算します．

ct − βx3
ct − βx4
ct3′ − ct4′ = √
− √
2
1−β
1 − β2β(x4 − x3 )= √1 − β2

CHAPTER 3. 特殊相対性理論の世界

35

このとき，x3 , x4 なので，t3′ , t4′ となります．同時性が破れていることが確認できました．

2 次元時空図でも同時性が破れていることが確かめられます．
（“同時性 6” の図を見て下さい．
）世界点 C と世界点 D は，慣性系 M に対しては，同時刻 t です．
（青色の破線を見て下

ct
ct

O

ctʼ
C
ct₃ʼ
ct₄ʼ

D

xʼ

x₄ʼ

x₃ʼ
x₃

x₄

x

Figure 3.4: 同時性 6
さい．
）一方，慣性系 M ′ に対しては，C ′ の時刻が t3′ で，D′ の時刻が t4′ となり，同時では）ありません．
（2 本の緑色の破線を見て下さい．ct3′ > ct4′ で，D′ の方が先に起こります．

3.2

時間の遅れ

引き続き時間についてですが，ニュートン力学の世界とは全く違う特殊相対論的な現象として，• “動いている慣性系の時間は遅れます．”ということについて考えましょう．まず，直観的に理解しやすい例として，光時計と呼ばれるものを取り扱います．これは光の進んだ距離によって時間を計る装置です．“時間の遅れ 1” の図を見て下さい．地球の大きさよりも巨大で，光速の 80 パーセントの速さで等速
直線運動している乗り物を考えます．
（思考実験ですから設定可能です．
）乗り物に乗り込んだ観測者（慣性系 M ′ ）から見て，進行方向と垂直に光が往復しています．
（図の緑色の線は鏡です．
）慣性系 M ′ に対して，光速は c です．時間が，片道 3[s]，往復 6[s] 経過したとします．
（図の (a) を見て下さい．
）このとき，乗り物の外から見た観測者（慣性系 M ）に対しては，光が一往復するのに何秒かかるでしょうか？ M に対する光速は，光速不変の原理
より，やはり c です．しかし，乗り物が運動していますので，図の (b) のように，光は進行方向に対して斜めに進みます．そして，図の直角三角形は三平方の定理より，3c : 4c : 5cの辺の比を持ちます．これから， M においては，光が一往復するのに 10[s] かかることがわかります．動いている慣性系 M ′ においては，時間がゆっくりと進み，遅れることが理解されますね．議論を一般化して，乗り物の速さを v，M ′ において光が一往復するのに要CHAPTER 3. 特殊相対性理論の世界

M'

36

v=0.8cyM

v=0.8c

y'
5c 3c
4c

x'
ct'=0→6c(a)ct=0

ct=10c x

ct=5c
(b)

Figure 3.5: 時間の遅れ 1
する時間を T ′ ，M において光が一往復するのに要する時間を T とします．
（“時間の遅れ 2”の図を見て下さい．
）ここで，直角三角形に対して，三平方の定理を使い計算します．

M'

v

y

y'

v

M

cT/2

ct'=0→cT'
(a)

cT'/2

vT/2

x'
ct=0

ct=cT/2(b)

ct=cT xFigure 3.6: 時間の遅れ 2
TTT′(c )2 = (v )2 + (c )2222∴c2 T 2 = v2 T 2 + c2 T ′2
∴c2 T ′2 = (c2 − v2 )T 2
∴T ′2 = T 2 (1 − β2 )√∴T ′ = T 1 − β2やはり，動いている慣性系 M ′ における光一往復の時間 T ′ の方が，慣性系 M における光一往復の時間 T よりも小さく，遅れることがわかります．もっとも，慣性系間の速さ v がv
光速 c に比べて小さく，β ≡ が無視できる場合は，時間の遅れは微々たるものです．
c
時間の遅れをローレンツ逆変換を用いて取り扱いましょう．ここでも，慣性系 M(ct, x)に対して，慣性系 M ′ (ct′ , x′ ) が速さ v で等速直線運動している場合を考えます． M の位置

CHAPTER 3. 特殊相対性理論の世界

37

zʼ
z

M'
M

y

yʼ
SW'

v
Oʼ

O

x₀'
x₁

SW₁

xʼ
x₂

x
SW₂

Figure 3.7: 時間の遅れ 3
x = x1 にストップウォッチ S W1 があり， x = x2 の位置に S W2 があり，それぞれ M に対して固定されています．
（S W1 と S W2 は， M において同時刻を示すように設定されているものとします．その方法は， x = x1 と x = x2 の中点 x = (x1 + x2 )/2 から光のフラッシュを放ち，到着する時刻を同時刻とすればよいです．
）また，M ′ の x′ = x0′ の位置にストップウォッ
チ S W ′ が置かれています．S W1 が時刻 t1 を示したとき，S W ′ が x = x1 の位置を通過したとします．このとき， x′ = x0′ の座標は M ′ から見て，A′ (ct1′ , x0′ ) です．この事象を M から見ると，A(ct1 , x1 ) となります．その後，S W2 が時刻 t2 を示したとき，S W ′ が x = x2 の位置を通過したとします．このとき，x′ = x0′ の座標は M ′ から見て，B′ (ct2′ , x0′ ) です．この事
象を M から見ると， B(ct2 , x2 ) となります．ここで，ローレンツ逆変換の時間成分の式，

ct′ + βx′ct = √
1 − β2より，

ct′ + βx0′ ct1′ + βx0′
ct2 − ct1 = √2
− √1 − β2
1 − β2′′c(t − t )= √2 1
1 − β2√∴ c(t2′ − t1′ ) = c(t2 − t1 ) 1 − β2 < c(t2 − t1 )となります．ここで，∆t ≡ t2 − t1∆t′ ≡ t2′ − t1′とおくと，√c∆t′ = c∆t 1 − β2 < c∆t√′∴∆t = ∆t 1 − β2 < ∆t

CHAPTER 3. 特殊相対性理論の世界

38√です．つまり，M において，時間 ∆t 経過したとき，動いている M ′ では時間 ∆t′ = ∆t 1 − β2
しか経過していないことになります．これが，運動している時計は遅れるという現象です．
例えば，v = 0.8c のときは，√

1 − β2 =√√1 − 0.82 = 0.36 = 0.6√となりますから，∆t′ = 0.6∆t となります．v = 23 c  0.87c のときは，
√
√
√
√
3 2
1
2
1−β = 1−(
) =
= 0.5
2
4
√
となりますから，∆t′ = 0.5∆t となります．もっとも 1 − β2 は，運動の速さ v が光速に比べて小さいときは，およそ 1 になって，ほとんど影響を及ぼしません．
（光速で運動する物√′
2体では， 1 − β = 0 となって，∆t = 0 となります．光速で運動する物体では時間が経過しないという結果になります．
）自分が静止している座標系で測定する時間を，その物体の固有時間といいます．ここでは，∆t′ が固有時間になります．固有時間であることを強調するときは，∆t′ を ∆τ と表すこともあります．2 次元時空図で状況を表すと，“時間の遅れ 4” の図のようになります． M での経過時間 c∆t = ct2 − ct1 は緑色の線の長さで，動い

ct

ctʼ

ct₂

B

ct₂ʼ

cΔt cΔt'ct₁
Oct₁ʼ x₀ʼ

A

xʼ

x₁ x₂

x

Figure 3.8: 時間の遅れ 4ている M ′ での経過時間 c∆t′ = ct2′ − ct1′ は青色の線の長さです．図の上では青色の線が緑
色の線よりも長くなっていますが，その値の大小関係は計算で示したように逆になります．
（c∆t′ < c∆t でしたね．
）
特殊相対性原理より，M と M ′ は完全に同等のはずです．M に対して，M ′ が等速直線
運動しているということは， M ′ を基準にして， M が逆方向に等速直線運動していると考えることもできますね．この場合，時間が遅れるのは M の方になってしまいます．これは明らかに上記の時間が遅れるのは M ′ の方であるという主張と矛盾しているように思えます．この矛盾を時間のパラドックスといいます．しかし，両方とも正しいのです．立場によって，主張は異なるのは，慣性系が完全に同等であることを意味します．M に対して M ′CHAPTER 3. 特殊相対性理論の世界

39が等速直線運動していると考えるときは，遅れる時計 S W ′ は，M ′ に対して静止していて，M に対しては運動しています．逆に，M ′ に対して M が等速直線運動していると考えるときは，遅れる時計 S W は， M に対して静止していて， M ′ に対しては運動しています．つまり，2 つの立場での事象は異なっているのです．このことに注意しながら，ローレンツ
変換による計算とミンコフスキー時空図を確認しましょう． M ′ の位置 x′ = x3′ にストップ

zʼ
z

M'
y

M

v

SW₄'

Oʼ
O

yʼ

x₄' x₀ x₃'
x

SW₃'

xʼ

SW

Figure 3.9: 時間の遅れ 5
ウォッチ S W3′ があり， x′ = x4′ の位置に S W4′ があり，それぞれ M ′ に対して固定されています．
（S W3′ と S W4′ は，M ′ において同時刻を示すように設定されているものとします．前
述のフラッシュを使う方法を M ′ において行います．
）また，x = x0 の位置にストップウォッ
チ S W が M に対して固定されています．S W3′ が時刻 t3′ を示したとき，S W が x′ = x3′ の位置を通過したとします．このとき， x = x0 の座標は M からみて，C(ct3 , x0 ) です．この事象を M ′ から見ると，C ′ (ct3′ , x3′ ) となります．その後，S W4′ が時刻 t4′ を示したとき，S W
が x′ = x4′ の位置を通過したとします．このとき， x = x0 の座標は M から見て，D(ct4 , x0 )です．この事象を M ′ から見ると，D′ (ct4′ , x4′ ) となります．ここで，ローレンツ変換の時間

ct

ctʼ

ct₄
cΔT cΔTʼ

ct₃
O

ct₄'

ct₃'

D
C

x₄'

x₃' x₀Figure 3.10: 時間の遅れ 6xʼ
x

CHAPTER 3. 特殊相対性理論の世界

40

成分の式，

ct − βxct′ = √
1 − β2より，

ct4 − βx0 ct3 − βx0ct4′ − ct3′ = √− √1 − β2
1 − β2c(t4 − t3 )= √1 − β2√∴ c(t4 − t3 ) = c(t4′ − t3′ ) 1 − β2 < c(t4′ − t3′ )となります．ここで，∆T ≡ t4 − t3
∆T ′ ≡ t4′ − t3′とおくと，√c∆T = c∆T ′ 1 − β2 < c∆T ′√∴∆T = ∆T ′ 1 − β2 < ∆T ′です．
（この場合，慣性系 M に固定された時計の時間を問題としていますので，固有時間は∆T になります．
）事象 A, B と C, D は違いますので，主張の相違があっても問題はありま
せん．Section 前半の議論で出てきた不等式と比較するため，∆T ′ = ∆t′ としてみましょう．
このとき，∆T < ∆T ′ = ∆t′ < ∆tが成立し，矛盾していません．

3.3

双子のパラドックス

時間のパラドックスは解消できましたが，時間について，さらに次のようなパラドックスを考えることができます．これは，2 つの時計を直接比較できる例です．双子の A と B という兄弟が地球にいるとします．B は宇宙旅行に出かけ，A は地球に留まるとしましょう．B
は地球から等速直線運動した後，ある時刻で瞬時に反転し，行きと同じ速さで等速直線運
度して地球に帰ってきました．
（議論を簡単にするため，反転は瞬時に行われるとしました．
このためには無限大の力が必要ですが，思考実験においては可能です．
）2 次元で考えましょう．地球に固定した座標系を M(ct, x)，B の行きのロケットに固定した座標系を M ′ (ct′ , x′ )，B の帰りのロケットに固定した座標系を M ′′ (ct′′ , x′′ ) とします．M, M ′ , M ′′ は全て慣性系で

CHAPTER 3. 特殊相対性理論の世界

41あり， B が帰還したとき，A の立場から考えると，運動しているのは B で， B は自分より若くなっていると主張し，B の立場から考えると，運動しているのは A で，A は自分より若くなっていると主張するでしょう．この矛盾を双子のパラドックスといいます．結論から言うと，正しいのは地球に留まった A の主張，つまり， B の方が若いという主張です．
パラドックスを解くためには，この状況の 2 次元時空図を描くと理解できます．青線 OPQ

ct
ct''

ct'

Q
cΔt'

cΔt

E

F

P
ct''=const

DcΔtct'=const

x'

cΔt'

x

O

青線 OPQ: B の世界線
緑線 ODEFQ: A の世界線

x''Figure 3.11: 双子のパラドックス
が B の世界線，緑線 ODEFQ が A の世界線です．前 Section の結論より， B の世界線 OP√（経過時間 ∆t′ ）に対して，A の世界線 OD（経過時間 ∆t）においては，∆t′ = ∆t 1 − β2 < ∆tが成立し，B の方がゆっくりと時間が経過します．B の世界線 PQ（経過時間 ∆t′ ）に対し√て，A の世界線 FQ（経過時間 ∆t）においても，∆t′ = ∆t 1 − β2 < ∆t が成立し，B の方がゆっくりと時間が経過します．さらに， B が，世界点 P において，一瞬で反転する際，Aの方は世界線 DEF の分だけ時間が経過しています．以上のことから，B の方が，A よりも時間が遅れ，年を取らないという結論になり，パラドックスは解消します．

CHAPTER 3. 特殊相対性理論の世界

3.4

42

空間の収縮（ローレンツ収縮）

特殊相対性理論では，空間についての現象でもニュートン力学と相いれない結論が導かれます．それは，• “動いている慣性系の空間は収縮します．”
という現象です．ここでも，慣性系 M(ct, x) に対して，慣性系 M ′ (ct′ , x′ ) が x 方向に速さ v
で等速直線運動をしている状況を考えます．M ′ の x′ 軸に沿って置かれている長さ ℓ0 の棒
を，M において同時刻に観測する場合を考察します．
（同時刻の設定方法は，前述のフラッシュを使う方法です．
） M ′ における棒の両端の x′ 座標を x1′ , x2′ (x2′ > x1′ ) とし，棒の両端のx 座標を，M における同時刻 t のとき，x1 , x2 (x2 > x1 ) とします．M における，この 2 つの事象を A(ct, x1 ), B(ct, x2 ) とします．これらを M ′ から見ると，A′ (ct1′ , x1′ ), B′ (ct2′ , x2′ ) となり
ます．ローレンツ変換により議論を進めましょう．ここで，ローレンツ変換の x′ 成分の式，

z

zʼ
M

M'

yʼ

y

ℓ₀

v
Oʼ
O

x₁'

x₂'

xʼ
x

Figure 3.12: 空間の収縮 1−βct + xx′ = √
1 − β2より，ℓ0 = x2′ − x1′−βct + x2 −βct + x1
= √− √1 − β2
1 − β2x2 − x1= √1 − β2となります．ここで，x2 − x1 は M での棒の長さを表しますので，これを ℓ とおきます．このとき，ℓℓ0 = √
1 − β2√∴ℓ = ℓ0 1 − β2 < ℓ0

CHAPTER 3. 特殊相対性理論の世界

43となります．つまり，慣性系 M から観測した棒の長さ ℓ は，M ′ での長さ ℓ0 より短いという結論になります．これが，動いている棒の長さが縮むという現象です．例えば，v = 0.8c
のときは，

√

1 − β2 =√√1 − 0.82 = 0.36 = 0.6√
3
2 c  0.87c のときは，となりますから，ℓ = 0.6ℓ0 となります．v =√√1 − β2 =

√

3 2
1−(
) =
2

√

1
= 0.5
4

となりますから，ℓ = 0.5ℓ0 となります．棒だけではなく，その入れ物である空間そのものが縮んでいると考えられます．すなわち，動いている空間は収縮すると言えます．
（自分が静止している座標系で測定する空間の長さを固有空間といいましょう．この場合，ℓ0 は M ′に対して固有空間です．
）状況を 2 次元時空図 “空間の収縮 2” で表しておきます．

ct
ct

ctʼ
A

ct₁ʼ

B

ct₂'

O

x₁ʼ

ℓ₀

x₂'

x₁ ℓ x₂xʼx

Figure 3.13: 空間の収縮 2
時間の遅れの場合と同様に，特殊相対性原理より， M と M ′ は完全に同等のはずです．

M に対して，M ′ が等速直線運動しているということは，M ′ を基準にして，M が等速直線
運動していると考えることもできます．この場合，長さが縮むのは，M におかれた棒ということになります．これは明らかに上記の長さが縮むのは M ′ におかれた棒であるという主張と矛盾しているように思えます．この矛盾を空間のパラドックスといいます．しかし，両方とも正しいのです．立場によって主張が異なるのは，慣性系が完全に同等であることを意味します．M に対して M ′ が等速直線運動していると考えるときは，棒は M ′ に対して静止していて，M に対しては運動しています．逆に，M ′ に対して M が等速直線運動していると考えるときは，棒は M に対して静止していて， M ′ に対しては運動しています．つまり，2 つの立場での事象は異なっているのです．このことに注意しながら，ローレンツ
逆変換による計算とミンコフスキー時空図を確認しましょう．慣性系 M ′ (ct′ , x′ ) に対して，
慣性系 M(ct, x) が x′ の負の方向に速さ v で等速直線運動をしている状況を考えます．M のCHAPTER 3. 特殊相対性理論の世界

44

x 軸に沿って置かれている長さ L0 の棒を， M ′ において同時刻に観測する場合を考察します．
（同時刻の設定方法は，前述のフラッシュを使う方法です．
）この場合，棒は M に対して固定されていますので，L0 が固有空間の長さになります．M における棒の両端の x 座標
を x3 , x4 (x4 > x3 ) とし，棒の両端の x′ 座標を M ′ における同時刻 t′ のとき，x3′ , x4′ (x4′ > x3′ )とします．M ′ における，この 2 つの事象を C ′ (ct′ , x3′ ), D′ (ct′ , x4′ ) とします．これらを M から見ると，C(ct3 , x3 ), D(ct4 , x4 ) となります．ここで，ローレンツ逆変換の x 成分の式，

z

zʼ
M'

M

yʼ

y
v
Oʼ

O

xʼ
x₃ L₀

x₄ x

Figure 3.14: 空間の収縮 3βct′ + x′x= √1 − β2より，

L0 = x4 − x3βct′ + x4′ βct′ + x3′= √− √1 − β2
1 − β2′′x − x3= √4
1 − β2となります．ここで， x4′ − x3′ は M ′ での棒の長さを表しますが，これを L とおきます．このとき，L
L0 = √
1 − β2√∴L = L0 1 − β2 < L0となります．つまり，慣性系 M ′ から観測した棒の長さ L は， M での長さ L0 より短いという結論になります．この場合の 2 次元時空図も記載しておきます．事象 A, B と C, D は違いますので，主張の相違があっても問題はありません．Section 前半の議論で出てきた不等式と比較するため，L = ℓ0 としてみましょう．このとき，ℓ < ℓ 0 = L < L0となっていて矛盾していません．

CHAPTER 3. 特殊相対性理論の世界

45

ct
ct₄
ct₃

O

ctʼ
D'

C'

ctʼ
x₃ʼ

L

x₄'

xʼ

L₀ x₄

x

x₃

Figure 3.15: 空間の収縮 43.5速度の合成則

慣性系間の速度の合成の問題を考えましょう．つまり，慣性系 M(ct, x) に対して，速さ v で⃗ = (w x , wy , wz )x 方向に等速直線運動する慣性系 M ′ (ct′ , x′ ) があり，この M ′ に対して速度 wで運動する物体があるとします．このとき， M に対して物体はどのような合成速度 ⃗u =(u x , uy , uz ) で動くかという問題を取り扱います．この場合，ニュートン力学での結論は，
ux = v + wx
uy = wyuz = wzとなります．特殊相対性理論の場合，正しい速度の合成則はどのようになるでしょうか？
ローレンツ変換によって計算していきましょう．

⃗ = (w x , wy , wz ) を表しましょう． M ′ に対する微小時間
慣性系 M ′ に対する物体の速度 w
dt′ の間に， M ′ に対する微小変位を (dx′ , dy′ , dz′ ) とします．このとき，
dx′
dt′
dy′
wy ≡ ′dt
dz′
wz ≡ ′
dt

wx ≡と定義されます．この微小変位 (dx′ , dy′ , dz′ ) を， M から観測することを考えましょう． M

CHAPTER 3. 特殊相対性理論の世界

46と M ′ の間のローレンツ逆変換の式は次の通りでした．

ct′ + βx′ct = √
1 − β2βct′ + x′x= √1 − β2y = y′z = z′
したがって，これらの微小量は，

c · dt′ + βdx′√
1 − β2βc · dt′ + dx′
dx = √
1 − β2c · dt =dy = dy′dz = dz′となります．時間成分は，さらに，v
dt′ + 2 dx′
dt = √ c
1 − β2としておきます．ここで， M に対する合成速度 ⃗u = (u x , uy , uz ) は，

dx
dt
dy
uy ≡
dt
dz
uz ≡
dt

ux ≡

と定義されますから，上の微小量を代入して計算します． x 成分は，

βc · dt′ + dx′√
1 − β2ux =v
dt′ + 2 dx′c√
1 − β2v · dt′ + dx′=v
dt′ + 2 dx′
c
dx′
v+ ′
dt
=
v dx′
1+ 2 ′c dt

CHAPTER 3. 特殊相対性理論の世界

47

ですから，

ux =

v + wx
vw x
1+ 2
c

(3.1)

が成立します．y 成分は，

dy′v
dt′ + 2 dx′c√
1 − β2√dy′ 1 − β2=vdt′ + 2 dx′c√dy′
1 − β2 ′dt=
v dx′
1+ 2 ′c dt√
1 − β2 wy
=
vw x
1+ 2
c

uy =

と変換されます．z 成分も同様の計算により，√
1 − β2 wz
uz =
vw x
1+ 2
c
と変換されることがわかります．ニュートン力学では速度の合成則は x 成分については，

u x = v + w x でしたが，特殊相対性理論では全く異なる結果 (3.1) 式になります．
（y, z 成分も変換されます．
）この結果を利用すると，特殊相対性理論においては光速以上の速度で運動する慣性系は存在しないということが，重要な結論として導かれます．例えば，v = w x = cとしてみます．このとき，u x は次のように (3.1) 式を用いて計算されます．

ux =

c+c
c·c =c1+ 2c

このことは，速度 c と同じ向きの速度 c を合成すると，2c ではなく c となることを意味します．常識には反しますが，これも特殊相対性理論の一つの結論です．
（v や w x が，光速に比べて無視できる場合は，(3.1) 式の分母第 2 項が 0 になりますので，u x = v + w x という
ニュートン力学の結論と一致します．
）
同時性の問題，時間の遅れ，双子のパラドックス，空間の収縮，速度の合成則といった特殊相対性理論の結論は受け入れ難いかもしれません．しかし，このような結論が目に見える効果として現れるのは，運動の速さが光速に対して無視できない程度になった場合です．例としては，高エネルギー加速器や宇宙線などが挙げられますが，特殊相対性理論の結論が正しいことが確認されています．

CHAPTER 3. 特殊相対性理論の世界

J Simplicity HOME
http://www.jsimplicity.com/

48Chapter 4

ローレンツ不変性とローレンツ共変性
4.1

数学的アナロジー（3 次元デカルト座標における回転座標変換）

この Section では数学的な準備のため，特殊相対性理論から少し離れて，3 次元空間における簡単な線形代数の復習をしておきます．空間だけの話なので，時間座標は出てきません．
あくまで，特殊相対性理論を理解するための，数学的アナロジーとして取り上げます．
デカルト座標の x 軸，y 軸，z 軸をとり，任意の 3 次元座標ベクトル (x, y, z) をとります．ここで，z 軸を軸にして x 軸，y 軸を反時計回りに θ だけ回転させます．そのとき，新しい座標を (x′ , y′ , z′ ) とすると，回転前の古い座標 (x, y, z) との間に，

x′ = x cos θ + y sin θ
y′ = −x sin θ + y cos θz′ = zの関係があります．
（図を見て下さい．
）これらを，行列を使って表すと，   x′   cos θ   ′  = y  − sin θ  
z′
0

sin θ
cos θ
0

 
0  x   0 y  1  z となります．ここで，この関係式を簡略化して表すために表記方法を次のようにします．ま49

CHAPTER 4. ローレンツ不変性とローレンツ共変性

50

y

y'

E
D θ

y'
O

y

A

x'

C
F

B
θ

x'
x

OB=xcosθ
CA=ysinθx OD=ycosθ
EF=xsinθ

Figure 4.1: 回転座標変換
ず，座標ベクトルを，    x1   x      ix =  x2  ≡ y    x3   z とします．
（本 Report “相対性理論” では，アルファベットの i, j, k, ℓ, m, n を添え字として使うときは，通常，1, 2, 3 の値をとることにします．
）また，回転を表す行列は， Λ1 Λ1 Λ1   cos θ sin θ 02
3 
 1 
Λij = Λ21 Λ22 Λ23  ≡ − sin θ cos θ 0

 


Λ3 Λ3 Λ3   0
0
1
1
2
3
とおきます．このとき，上の座標変換の関係式は，

x′1 = Λ11 x1 + Λ12 x2 + Λ13 x3
x′2 = Λ21 x1 + Λ22 x2 + Λ23 x3
x′3 = Λ31 x1 + Λ32 x2 + Λ33 x3となります．これらの式をまとめて 1 つの式で表すと，

x′i =

3
∑

Λij x jj=1となります．なお，Λ 行列は，

∂x′1
∂x1
∂x′2
Λ21 =
∂x1
′3
∂x
Λ31 =
∂x1

Λ11 =

∂x′1
∂x2
∂x′2
Λ22 =
∂x2
′3
∂x
Λ32 =
∂x2
Λ12 =

∂x′1
∂x3
∂x′2
Λ23 =
∂x3
′3
∂x
Λ33 =
∂x3
Λ13 =

CHAPTER 4. ローレンツ不変性とローレンツ共変性の関係がありますので，

Λij =

51

∂x′i
∂x j

と表すことができます．再度，回転座標変換の式を書くと，

x′i =

3
∑

Λij x j =

j=1

3
∑
∂x′i

∂x j
j=1

xj

とまとめられます．
それでは，回転の逆変換はどのようになるのでしょうか．変換の行列は，θ を −θ に置き換えて， cos(−θ)
− sin(−θ)

0

 
0 cos θ  cos(−θ) 0 =  sin θ 
01  0− sin θsin(−θ)となります．したがって，逆変換の関係式は，
   x cos θ − sin θ    y =  sin θ cos θ  
z
0
0

cos θ
0


0


0

1

 
0  x′    0 y′   1  z′ です．この逆変換の行列を，Λ̃1 1
iΛ̃ j = Λ̃21

Λ̃3
1

Λ̃12
Λ̃22
Λ̃32

 
Λ̃13  cos θ  Λ̃23  ≡  sin θ 
Λ̃33   0− sin θ
cos θ
0


0


0

1

とおきます．このとき，

x1 = Λ̃11 x′1 + Λ̃12 x′2 + Λ̃13 x′3x2 = Λ̃21 x′1 + Λ̃22 x′2 + Λ̃23 x′3x3 = Λ̃31 x′1 + Λ̃32 x′2 + Λ̃33 x′3となります．これらの式をまとめて 1 つの式で表すと，

xi =

3
∑

Λ̃ij x′ j

j=1となります．なお，Λ̃ 行列は，

∂x1
∂x′1
∂x2
Λ̃21 = ′1∂x∂x3
Λ̃31 = ′1∂xΛ̃11 =

∂x1
∂x′2
∂x2
Λ̃22 = ′2∂x∂x3
Λ̃32 = ′2∂xΛ̃12 =

∂x1
∂x′3
∂x2
Λ̃23 = ′3∂x∂x3
Λ̃33 = ′3∂xΛ̃13 =

CHAPTER 4. ローレンツ不変性とローレンツ共変性

52の関係がありますので，Λ̃ij =∂xi∂x′ jと表すことができます．再度，回転座標逆変換の式を書くと，

x =
i

3
∑

Λ̃ij x′ j =

j=1

3
∑
∂xi

∂x′ j
j=1

x′ j

とまとめられます．

Λ 行列と Λ̃ 行列は逆行列の関係にあります．このことは，直接，行列を掛け合わせれば確認できます．

 cos θ
Λik Λ̃kj = − sin θ

k=1
 0

3
∑

sin θ
cos θ
0


0 cos θ 
0  sin θ 
1  0− sin θ
cos θ
0

 
0 1  0 = 0 
1 0

0
1
0


0


0

1

あるいは，偏微分の性質を使っても導出できます．
3∑

Λik Λ̃kj =

k=1

=

3
∑
∂x′i ∂xk
k=1′i∂xk ∂x′ j

∂x
∂x′ j

= δij
ただし，最後の記号はクロネッカーのデルタで，






1 (i = j)iδj = 
0 (i , j)を意味します．

4.2

ローレンツ変換の 4 次元定式化

前の Section と並行して，4 次元の座標変換であるローレンツ変換について数学的に再考してみましょう．ローレンツ変換を再掲すると，

ct − βxct′ = √
1 − β2−βct + xx′ = √
1 − β2y′ = yz′ = zCHAPTER 4. ローレンツ不変性とローレンツ共変性

53であり，ローレンツ逆変換は，

ct′ + βx′ct = √
1 − β2βct′ + x′x= √1 − β2y = y′z = z′
でした．ここで，ローレンツ変換を，行列を使って表すと，−β   √ 1
0 0  √ct′   ct
1 − β2   1 − β2  1 ′   −β 
0 0  x √ x   √  22
  =  1 − β
1−β   y′      y 00
1
0
 ′    

 z
z
0
0
0 1
となります．また，ローレンツ逆変換も，同様に次のように表せます．
β   √ 1
0 0  ′ √ct  ct 
1 − β2   1 − β2  1β   0 0  x′ √ x   √  22
  =  1 − β
1−β  ′  y    y   00
10     z′z0
00 1
これらの行列の関係式をシンプルに表す方法を考えましょう．まず，座標ベクトルですが，    x0  ct   
 1    x   x µ
x =   ≡  
 x2   y    
 3   zxと表します．上付きの添え字 µ は 0, 1, 2, 3 の値をとるのですね．
（相対性理論では，特に断りがない限り，ギリシア文字は 0, 1, 2, 3 の値をとります．
）このような時間 1 成分と空間 3成分からなるベクトルを 4 元ベクトルといいます．そして，ローレンツ変換の行列ですが，−β  √ 1


0
0
√
Λ00 Λ01 Λ02 Λ03   1 − β2

2
1
−
β

 

1
 1

1
1
1
  √ −β
Λ
Λ
Λ
Λ
0
0
√


1
2
3
2
Λµν =  0 =  1 − β2

1
−
β
Λ2 Λ2 Λ2 Λ2  

0
1
2
3
 
00
1 0


 3

Λ0 Λ31 Λ32 Λ33  

0
0
0 1

CHAPTER 4. ローレンツ不変性とローレンツ共変性

54

とおくことにします．µ は行を，ν は列を表していて，それぞれ，0, 1, 2, 3 の値をとります．
このとき，ローレンツ変換は，

x′0 = Λ00 x0 + Λ01 x1 + Λ02 x2 + Λ03 x3
x′1 = Λ10 x0 + Λ11 x1 + Λ12 x2 + Λ13 x3
x′2 = Λ20 x0 + Λ21 x1 + Λ22 x2 + Λ23 x3
x′3 = Λ30 x0 + Λ31 x1 + Λ32 x2 + Λ33 x3となりますが，1 つにまとめて，

x′µ =

3
∑

Λµν xν

ν=0となります．ここで，記号の約束ですが，同じギリシア文字の添え字が上下に対になって現れたときには，和の記号を省略できるとします．そして，和の記号なしで，その同じ添え字について 0, 1, 2, 3 の和をとります．この約束をアインシュタインの規約といいます．ですから，この式は，x′µ = Λµν xνと書くことができます．
（かなり簡略化してローレンツ変換を表せました．
）したがって，Λ
行列は次のように表せます．

∂x′0
∂x0
∂x′1
Λ10 =
∂x0
∂x′2
Λ20 =
∂x0
′3
∂x
Λ30 =
∂x0

Λ00 =

∂x′0
∂x1
∂x′1
Λ11 =
∂x1
∂x′2
Λ21 =
∂x1
′3
∂x
Λ31 =
∂x1

∂x′0
∂x2
∂x′1
Λ12 =
∂x2
∂x′2
Λ22 =
∂x2
′3
∂x
Λ32 =
∂x2

Λ01 =

Λ02 =

∂x′0
∂x3
∂x′1
Λ13 =
∂x3
∂x′2
Λ23 =
∂x3
′3
∂x
Λ33 =
∂x3
Λ03 =

1 式にまとめると,

∂x′µ
∂xν
となります．ここで，ローレンツ変換をまとめて，Λµν =x′µ = Λµν xν =∂x′µ ν
x
∂xν

(4.1)

としておきます．
それでは，ローレンツ逆変換も同じように簡略化して表しておきます．逆変換の行列を，β  √ 1


0
0
√

Λ̃0 Λ̃0 Λ̃0 Λ̃0  
2
2
1
−
β
1
−
β

1
2
3

 0
 

 1
β
1


1
1
1


Λ̃0 Λ̃1 Λ̃2 Λ̃3   √0 0
√µ =  1 − β2Λ̃ν = 1 − β2Λ̃20 Λ̃21 Λ̃22 Λ̃23  
 
00
1 0
Λ̃3 Λ̃3 Λ̃3 Λ̃3  


0
1
2
3
0
0
0 1

CHAPTER 4. ローレンツ不変性とローレンツ共変性

55とおきます．このとき，ローレンツ逆変換は，

x0 = Λ̃00 x′0 + Λ̃01 x′1 + Λ̃02 x′2 + Λ̃03 x′3x1 = Λ̃10 x′0 + Λ̃11 x′1 + Λ̃12 x′2 + Λ̃13 x′3x2 = Λ̃20 x′0 + Λ̃21 x′1 + Λ̃22 x′2 + Λ̃23 x′3x3 = Λ̃30 x′0 + Λ̃31 x′1 + Λ̃32 x′2 + Λ̃33 x′3となりますので，xµ = Λ̃µν x′ν
と表せます．
（ここでも，アインシュタインの規約を使いました．
）したがって，Λ̃ 行列は次のようになります．

∂x0
∂x′0
∂x1
Λ̃10 = ′0∂x∂x2
Λ̃20 = ′0∂x∂x3Λ̃30 = ′0
∂x

∂x0
∂x′1
∂x1
Λ̃11 = ′1∂x∂x2
Λ̃21 = ′1∂x∂x3
Λ̃31 = ′1
∂x

∂x0
∂x′2
∂x1
Λ̃12 = ′2∂x∂x2
Λ̃22 = ′2∂x∂x3
Λ̃32 = ′2∂xΛ̃01 =

Λ̃00 =Λ̃02 =の関係がありますので，Λ̃µν =

∂x0
∂x′3
∂x1
Λ̃13 = ′3∂x∂x2
Λ̃23 = ′3∂x∂x3
Λ̃33 = ′3∂xΛ̃03 =∂xµ∂x′ν

となります．ローレンツ逆変換をまとめて，

xµ = Λ̃µν x′ν =∂xµ ′ν
x∂x′ν

としておきます．

Λ 行列と Λ̃ 行列はお互いに逆行列の関係にあることがわかります．直接，行列を掛け合わせてみて， √ 1 1 − β2 −β √µ λΛλ Λ̃ν =  1 − β2


0


0

−β
√
1 − β21√
1 − β200
10  √  1 − β2 
β
0 0  √  1 − β2 

1 0 0 
0 1
0
0

√
√

β
1 − β21
1 − β200
0 0  1  
0 0 0 =   0
1 0  0

0 1

0

0

1

0

0

1

0

0

と確認することができます．あるいは，偏微分の性質を使っても，証明できます．

∂x′µ ∂xλ∂xλ ∂x′ν
∂x′µ
= ′ν
∂x

Λµλ Λ̃λν =

= δµν


0


0


0

1

CHAPTER 4. ローレンツ不変性とローレンツ共変性

56µ

ただし，δν はクロネッカーのデルタで，







1 (µ = ν)
δ=




0 (µ , ν)と定義されます．

4.3

インターバルのローレンツ不変性

インターバル s の 2 乗は，

s2 ≡ (ct)2 − x2 − y2 − z2で定義されました．ここで，反変ベクトルと共変ベクトルの座標ベクトルというものを導入します．反変ベクトルの座標ベクトルは添え字が上付きと約束し，今まで取り扱ってきた座標ベクトルを意味します．

xµ = (x0 , x1 , x2 , x3 ) ≡ (ct, x, y, z)
共変ベクトルの座標ベクトルは添え字が下付きと約束し，今まで取り扱ってきた座標ベク
トルの空間成分のみを逆符号とします．

xµ = (x0 , x1 , x2 , x3 ) ≡ (x0 , −x1 , −x2 , −x3 ) ≡ (ct, −x, −y, −z)
このとき，インターバルの 2 乗は，

s2 = x µ x µ= x0 x0 + x1 x1 + x2 x2 + x3 x3= (ct)2 − x2 − y2 − z2と表すことができます．xµ xµ のように，ベクトル 2 つの積で添え字が 2 個あっても上下対になっていて和をとる場合は，縮約といってベクトルの積はスカラーになります．そして，
一般にスカラーはローレンツ変換に対して不変量になります．今考えているインターバルの 2 乗の量がローレンツ不変量になることは，“ローレンツ変換とミンコフスキー時空” のChapter で，直接確認しましたね．
このように，反変ベクトルと共変ベクトルは添え字の上下が異なり，空間成分の符号が違います．そこで，この 2 つのベクトルを変換するために計量テンソルと呼ばれる次のテ

CHAPTER 4. ローレンツ不変性とローレンツ共変性
ンソルを導入します．

571 0

0
0





0
−1
0
0

µν

η = ηµν ≡ 
0 0 −1 0 




0 0
0 −1

この計量テンソルを使うと，反変ベクトルと共変ベクトルの間を変換することができます．

ηµν xν = ηµ0 x0 + ηµ1 x1 + ηµ2 x2 + ηµ3 x3= (x0 , 0, 0, 0) + (0, −x1 , 0, 0) + (0, 0, −x2 , 0) + (0, 0, 0, −x3 )= (x0 , −x1 , −x2 , −x3 )= xµηµν xν = ηµ0 x0 + ηµ1 x1 + ηµ2 x2 + ηµ3 x3= (x0 , 0, 0, 0) + (0, −x1 , 0, 0) + (0, 0, −x2 , 0) + (0, 0, 0, −x3 )= (x0 , −x1 , −x2 , −x3 )= (x0 , x1 , x2 , x3 )= xµ
このとき，インターバルの 2 乗は，

s2 = ηµν xµ xν = xν xν= ηµν xµ xν = xν xνと表すことができます．そして，インターバルの 2 乗の変換後のダッシュの付いた量は，

s′2 = ηµν x′µ x′ν= ηµν Λµλ Λνρ xλ xρ
となります．ここで，µ を λ に，ν を ρ に，λ を µ に，ρ を ν にそっくりと入れ替えても問題ありません．
（アインシュタインの規約で，上下対になって縮約されている添え字は他のギリシア文字とそっくり入れ替えても，結局 0, 1, 2, 3 と和をとるだけなので同じことになります．
）

s′2 = ηµν Λµλ Λνρ xλ xρ= ηλρ Λλµ Λρν xµ xν
インターバルの 2 乗のローレンツ不変性より，最後の式の量は，

s2 = ηµν xµ xν

CHAPTER 4. ローレンツ不変性とローレンツ共変性

58に等しくなります．したがって，

ηλρ Λλµ Λρν = ηµν(4.2)という等式が成立します．一般に，(4.2) 式を満たす行列 Λ で変換する座標変換はインターバルを不変に保つことができます．この座標変換を一般ローレンツ変換と言います．一般
ローレンツ変換では座標が等速直線運動する方向は任意に選べます．それに対して，今までの x 方向に等速直線運動している特別な場合のローレンツ変換を特殊ローレンツ変換と言います．
反変ベクトルの座標ベクトルは，

xµ = (x0 , x1 , x2 , x3 ) ≡ (ct, x, y, z)と表され，変換式 (4.1) 式，

x′µ = Λµν xν =∂x′µ ν
x∂xν

が成立しました．一方，共変ベクトルの座標ベクトルは，

xµ = (x0 , x1 , x2 , x3 ) ≡ (x0 , −x1 , −x2 , −x3 ) ≡ (ct, −x, −y, −z)= ηµν xνと表されましたが，座標変換はどのようになるのでしょうか？ まず，次の計算を確認します．

xµ′ = ηµν x′ν= ηµν Λνλ xλ= ηµν Λνλ ηλρ xρ(4.3)

ここで，ηµν Λνλ ηλρ が Λ の逆行列 Λ̃ と同定できることは，次のように確認できます．このµ量に Λσ をかけて µ について縮約をとった量を P とおくと，

Pρσ = ηµν Λνλ ηλρ · Λµσ = ηµν Λµσ Λνλ · ηλρとなります．少し上の (4.2) 式，ηλρ Λλµ Λρν = ηµνより，Pρσ = ησλ · ηλρ= δρσCHAPTER 4. ローレンツ不変性とローレンツ共変性

59

ρ

です．よって，ηµν Λνλ ηλρ は Λ の逆行列 Λ̃µ となります．(4.3) 式より，

xµ′ = Λ̃ρµ xρ
となります．縮約をとっている ρ を ν に置き換えて，共変ベクトルの変換性は，

xµ′ = Λ̃νµ xν
となります．さらに，

Λ̃µν =∂xµ∂x′ν

の関係がありましたので，

xµ′ = Λ̃νµ xν =

∂xν
xν
∂x′µ

(4.4)

とまとめられます．この (4.4) 式は，共変ベクトルの座標ベクトルのローレンツ変換です．

4.4

スカラー，ベクトル，テンソル

今までの Section では，座標ベクトルと座標変換であるローレンツ変換について議論してきましたが，物理量を表す４元ベクトルといわれる量を一般的に導入しましょう．
（座標ベ
クトルも 4 元ベクトルに含まれます．
）まず，一般的に反変ベクトルを，Aµ ≡ (A0 , A1 , A2 , A3 )とします．そして，反変ベクトルの座標ベクトルのローレンツ変換 (4.1) 式，

x′µ = Λµν xν =∂x′µ ν
x∂xν

A′µ = Λµν Aν =∂x′µ ν
A
∂xν

と同様に，

(4.5)

と変換するとし，この変換によって反変ベクトルを定義します．次に共変ベクトルを，Aµ ≡ (A0 , A1 , A2 , A3 ) ≡ (A0 , −A1 , −A2 , −A3 )とします．そして，共変ベクトルの座標ベクトルのローレンツ変換 (4.4) 式，

xµ′ = Λ̃νµ xν =

∂xν
xν
∂x′µ

A′µ = Λ̃νµ Aν =

∂xν
Aν
∂x′µ

と同様に，

と変換するとし，この変換によって共変ベクトルを定義します．

(4.6)

CHAPTER 4. ローレンツ不変性とローレンツ共変性

60

反変ベクトル 1 個と共変ベクトル 1 個を掛け合わせ，同じ添え字にして縮約をとった
量をスカラーといいます．例えば，

Aµ Aµ , Pν Pν , ηµν Aµ Bν
等です．スカラーは全ての添え字が縮約をとられているので，実質添え字が 0 で，ローレンツ不変量になります．反変ベクトルの座標ベクトルと共変ベクトルの座標ベクトルからできているインターバルもスカラーの具体例です．
反変ベクトルを 2 つ掛け合わせてできた量を 2 階反変テンソルといいます．式で表すと，

T µν = Aµ Bν
のようになります．このテンソルの変換は，

T ′µν =

∂x′µ ∂x′ν λρT∂xλ ∂xρのようになります．一方，共変ベクトルを 2 つ掛け合わせてできた量を 2 階共変テンソルといいます．式で表すと，

T µν = Aµ Bν
のようになります．このテンソルの変換は，
′
T µν
=

∂xλ ∂xρT λρ
∂x′µ ∂x′νのようになります．
反変成分が上付き，共変成分が下付きなのですが，計量テンソルによって上付きと下付きを入れ替えることができます．いくつか例をあげておきます．

ηµν Aν = Aµηµλ T λν = T µνηµλ ηνρ T λρ = T µν
2 番目の例のように，上付きの添え字と下付きの添え字が混ざっているテンソルを混合テ
ンソルと言います．

4.5

ローレンツ共変性

ここで，特殊相対性原理，• “物理法則は全ての慣性系において，同じ形式で表現されます．”

CHAPTER 4. ローレンツ不変性とローレンツ共変性

61の要請を満たす物理学を構築することを考えましょう．一般に，物理法則は幾つかの物理量を結ぶ方程式の関係で表現されます．物理法則を表現する方程式がローレンツ変換のもとで同じ形式で表されれば要請は満足されていることになります．方程式がローレンツ変換のもとで同じ形式になる性質をローレンツ共変性といいます．方程式がローレンツ共変性を備えていれば特殊相対性原理が満たされることになります．
特殊相対性理論において，物理量は 4 元ベクトル，すなわち反変ベクトル，または共変ベクトルで表されるものでした．反変ベクトルで表された物理量からなる物理法則を，慣性系 M(ct, x, y, z) において，次のように表します．

Aµ = 0
一般に，この式の左辺は複数の項からなります．ここで，慣性系 M(ct, x, y, z) から M ′ (ct′ , x′ , y′ , z′ )へ座標がローレンツ変換したとき，M ′ (ct′ , x′ , y′ , z′ ) において物理法則が次の形式になれば，
ローレンツ共変性が満たされていることになります．

A′µ = 0
この式の導出は次のように簡潔に実行されます．

A′µ =∂x′µ ν ∂x′µ
A =
·0=0
∂xν
∂xν

以上のことをまとめて，次のように表現しておきます．

Aµ = 0 ⇒ A′µ = 0(4.7)

すなわち，物理法則を表す方程式が反変ベクトルで構成されているとき，方程式はローレ
ンツ共変性を満たし，特殊相対性原理の要請に従うことが保証されます．
共変ベクトルで表された物理量からなる方程式によって表される物理法則がローレン
ツ変換のもとに同じ形式で表されることも同様に，次のように簡潔に表現されます．

Aµ = 0 ⇒ A′µ = 0(4.8)

この式の導出も簡潔にできます．

A′µ =

∂xν
∂xν
Aν = ′µ · 0 = 0
′µ
∂x
∂x

すなわち，物理法則を表す方程式が共変ベクトルで構成されているとき，方程式はローレ
ンツ共変性を満たし，特殊相対性原理の要請に従います．
物理法則が 2 階反変テンソル，2 階共変テンソルで表されても，4 元ベクトルと同様にローレンツ共変性を満たすことが保証されています．

Aµν = 0 ⇒ A′µν = 0(4.9)

Aµν = 0 ⇒ A′µν = 0(4.10)

CHAPTER 4. ローレンツ不変性とローレンツ共変性

62

導出は 4 元ベクトルの場合と全く同様に変換の式から簡潔に実行されます．

∂x′µ ∂x′ν λρ ∂x′µ ∂x′νA =·0=0
∂xλ ∂xρ∂xλ ∂xρ∂xλ ∂xρ∂xλ ∂xρA′µν = ′µ ′ν Aλρ = ′µ ′ν · 0 = 0
∂x ∂x
∂x ∂x

A′µν =

物理法則を表現する方程式が，反変ベクトル，共変ベクトルや 2 階反変テンソル，2 階共変テンソルで記述されていれば，自動的に方程式はローレンツ共変性を満たし，特殊相対性原理が満足されます．次の 2 つの Chapter に渡って，具体的に特殊相対論的電磁気学と特殊相対論的力学について見ていくことにしましょう．

J Simplicity HOME
http://www.jsimplicity.com/

Chapter 5

特殊相対論的電磁気学
5.1

マクスウェル電磁気学

マクスウェル電磁気学の根幹をなすものは，次の 4 式からなるマクスウェル方程式でした．

⃗ ⃗x) = ρ(t, ⃗x)∇ · E(t,ε0(5.1)⃗ ⃗x) = 0
∇ · B(t,

(5.2)

⃗ ⃗x)
∂E(t,
= µ0 ⃗j(t, ⃗x)∂t⃗⃗ ⃗x) + ∂ B(t, ⃗x) = 0∇ × E(t,∂t⃗ ⃗x) − ε0 µ0∇ × B(t,

(5.3)
(5.4)

これらの方程式から光速 c が計算されました．その光速の値 c は唯一のものです．そして，
この事実はガリレイ変換に矛盾します．しかし，矛盾してよいのです．特殊相対性理論においては，ガリレイの相対性原理は古い理論としての位置付けになるのです．一方，マクスウェル方程式はローレンツ変換のもとで共変です．従って，マクスウェル電磁気学は修正することなく，本質的にそのままで特殊相対論的であるといえるのです．ただし，ローレンツ共変性が一目で明らかになるように，4 次元的な形式に書き換える必要があります．
（修正ではありません書き換えです．本質は変わりません．
）特殊相対論的電磁気学を構築するため，この書き換えられた理論を次の Section で見ていきましょう．

63

CHAPTER 5. 特殊相対論的電磁気学

5.2

64

マクスウェル電磁気学の特殊相対論的書き換え⃗ ⃗x) とスカラーポテンシャル ϕ(t, ⃗x) の定義から見てまず，最初にベクトルポテンシャル A(t,いきましょう．すなわち，⃗ ⃗x) = ∇ × A(t,
⃗ ⃗x)
B(t,
⃗
⃗ ⃗x) = −∇ϕ(t, ⃗x) − ∂A(t, ⃗x)E(t,∂tの式で定義します．このとき，マクスウェル方程式の (5.2) 式と (5.4) 式は自動的に成立することが，次のように確かめられます．

⃗ ⃗x) = ∇ · {∇ × A(t,⃗ ⃗x)} = 0∇ · B(t,⃗ ⃗x) +
∇ × E(t,

⃗ ⃗x)
⃗ ⃗x)
∂A(t,
∂
∂ B(t,⃗ ⃗x)} = −∇ × {∇ϕ(t, ⃗x)} = 0= ∇ × {−∇ϕ(t, ⃗x) −} + {∇ × A(t,
∂t
∂t
∂t

いずれの変形にも，最後にベクトル解析の公式を使用しました．これらのポテンシャルから 4 元ベクトルを構成します．

ϕ(t, ⃗x), A x (t, ⃗x), Ay (t, ⃗x), Az (t, ⃗x))c
ϕ(t, ⃗x), −A x (t, ⃗x), −Ay (t, ⃗x), −Az (t, ⃗x))Aµ (t, ⃗x) ≡ (cAµ (t, ⃗x) ≡ (さらに，4 元電流密度ベクトルと 4 次元の微分演算子を，次のように定義します．

jµ (t, ⃗x) ≡ (cρ(t, ⃗x), j x (t, ⃗x), jy (t, ⃗x), jz (t, ⃗x))jµ (t, ⃗x) ≡ (cρ(t, ⃗x), − j x (t, ⃗x), − jy (t, ⃗x), − jz (t, ⃗x))∂1 ∂ ∂ ∂ ∂=( · , , , )µ∂xc ∂t ∂x ∂y ∂z
∂
1 ∂
∂
∂
∂
µ
∂ ≡
= ( · ,− ,− ,− )∂xµc ∂t ∂x ∂y ∂z∂µ ≡さらに，2 階反変テンソルを定義します．

F µν ≡ ∂µ Aν − ∂ν Aµ(5.5)

CHAPTER 5. 特殊相対論的電磁気学

65

右辺を計算します．

∂0 A0 − ∂0 A0 ∂0 A1 − ∂1 A0 ∂0 A2 − ∂2 A0 ∂0 A3 − ∂3 A0  1 0

0
1
1
1
1
1
1
2
2
1
1
3
3
1
∂ A − ∂ A ∂ A − ∂ A ∂ A − ∂ A ∂ A − ∂ A µν
F = 
∂2 A0 − ∂0 A2 ∂2 A1 − ∂1 A2 ∂2 A2 − ∂2 A2 ∂2 A3 − ∂3 A2 
 3 0
0 3
3 1
1 3
3 2
2 3
3 3
3 3
∂ A −∂ A ∂ A −∂ A ∂ A −∂ A ∂ A −∂ A 
∂ ϕ 1 ∂∂ ϕ1 ∂· A x − (− )· Ay − (− )
0

c
∂t
∂x
c
c
∂t
∂y
c

∂
∂
 ∂ ϕ 1 ∂− · Ax0− Ay − (− )A x−c c ∂t∂x∂y=  ∂x∂∂
 − ∂ ϕ − 1 · ∂ A
0 ∂y c c ∂t y − ∂y A x − (− ∂x )Ay

∂
∂
∂
∂
 − ∂ ϕ − 1 · ∂ A− A x − (− )Az− Ay − (− )Azz∂z c c ∂t
∂z
∂x
∂z
∂y


 0

−E
/c
−E
/c
−E
/c
x
y
z




E
/c
0
−B
B
 x

z
y 
= 
 Ey /c

B
0
−B
z
x




Ez /c
−By
Bx
0 

1 ∂
∂ ϕ
· Az − (− ) c ∂t∂z c 
∂∂− Az − (− )A x 
∂x
∂z

∂
∂

− Az − (− )Ay 

∂y
∂z


0

⃗ ⃗x) と ϕ(t, ⃗x) が含まれていますので，マクスウェル方程式 (5.2) 式とこのとき，F µν には A(t,(5.4) 式は自動的に成立します．また，マクスウェル方程式 (5.1) 式と (5.3) 式は次式で表されます．

∂µ F µν = µ0 jν(5.6)

この (5.6) 式が，確かに (5.1) 式と (5.3) 式を表していることを確認しておきます．

∂0 F 00 + ∂1 F 10 + ∂2 F 20 + ∂3 F 30 = ∂0 · 0 +
=

1 ∂
1 ∂
1 ∂
Ex +
Ey +
Ez
c ∂x
c ∂y
c ∂z

1
∇ · E⃗c= µ0 j0= µ0 (cρ)
故に，∇ · E⃗ = c2 µ0 ρ
1
µ0 ρ
ε0 µ0
ρ
=
ε0
=

CHAPTER 5. 特殊相対論的電磁気学

66

これは，(5.1) 式です．また，

1 ∂ Ex∂∂∂(− ) +· 0 + Bz + (−By )
c ∂t
c
∂x
∂y
∂z
1 ∂
⃗ x
= − 2 E x + (∇ × B)c ∂t

∂0 F 01 + ∂1 F 11 + ∂2 F 21 + ∂3 F 31 == µ0 j1= µ0 j xですから，⃗ x − ε0 µ0(∇ × B)∂E x= µ0 j x∂tとなります．これは，(5.3) 式の x 成分の式です．ν = 2, 3 の場合についても，同様な計算
により，y, z 成分の方程式が得られます．
共変ベクトルと共変テンソルについても同様な式が成立します．

Fµν ≡ ∂µ Aν − ∂ν Aµ(5.7)

右辺を計算します．

∂0 A0 − ∂0 A0 ∂0 A1 − ∂1 A0 ∂0 A2 − ∂2 A0∂1 A0 − ∂0 A1 ∂1 A1 − ∂1 A1 ∂1 A2 − ∂2 A1Fµν = 
∂2 A0 − ∂0 A2 ∂2 A1 − ∂1 A2 ∂2 A2 − ∂2 A2

∂3 A0 − ∂0 A3 ∂3 A1 − ∂1 A3 ∂3 A2 − ∂2 A3

1 ∂
∂ ϕ

0
· (−A x ) −

c
∂t
∂x
c

 ∂ ϕ 1 ∂− · (−A x )0c c ∂t=  ∂x∂ ϕ 1 ∂∂∂
− · (−Ay )(−A x ) − (−Ay ) ∂y c c ∂t∂y∂x ∂ ϕ 1 ∂∂∂− · (−Az )(−A x ) − (−Az )∂z c c ∂t
∂z
∂x



 0
E
/c
E
/c
E
/c
x
y
z




−E
/c
0
−B
B

 x
z
y 
= 
−Ey /c
B
0
−B
z
x




−Ez /c −By
Bx
0 


∂0 A3 − ∂3 A0 

∂1 A3 − ∂3 A1 

∂2 A3 − ∂3 A2 
∂3 A3 − ∂3 A3 
1 ∂∂ ϕ
· (−Ay ) −
c ∂t
∂y c
∂
∂
(−Ay ) − (−A x )
∂x
∂y
0
∂
∂
(−Ay ) − (−Az )
∂z
∂y

1 ∂
∂ ϕ 
· (−Az ) −c ∂t∂z c 

∂∂(−Az ) − (−A x )
∂x
∂z


∂
∂
(−Az ) − (−Ay ) 

∂y
∂z


0

⃗ ⃗x) と ϕ(t, ⃗x) が含まれていますので，マクスウェル方程式 (5.2) 式とこのとき，Fµν には A(t,(5.4) 式は自動的に成立します．また，マクスウェル方程式 (5.1) 式と (5.3) 式は次式で表されます．

∂µ Fµν = µ0 jν(5.8)

CHAPTER 5. 特殊相対論的電磁気学

67

この (5.8) 式が，確かに (5.1) 式と (5.3) 式を表していることを確認しておきます．

∂0 F00 + ∂1 F10 + ∂2 F20 + ∂3 F30 = ∂0 · 0 + (−
=

Ey
∂
Ex
∂
∂
Ez
)(− ) + (− )(− ) + (− )(− )
∂x
c
∂y
c
∂z
c

1
∇ · E⃗c= µ0 j0= µ0 (cρ)
故に，∇ · E⃗ = c2 µ0 ρ
1
µ0 ρ
ε0 µ0
ρ
=
ε0
=

これは，(5.1) 式です．また，∂∂∂
1 ∂ Ex+ (− ) · 0 + (− )Bz + (− )(−By )c ∂t c
∂x
∂y
∂z
1 ∂
⃗ x
= 2 E x − (∇ × B)c ∂t

∂0 F01 + ∂1 F11 + ∂2 F21 + ∂3 F31 == µ0 j1= −µ0 j xですから，

⃗ x − ε0 µ0 ∂E x = µ0 j x(∇ × B)∂tとなります．これは，(5.3) 式の x 成分の式です．ν = 2, 3 の場合についても，同様な計算
により，y, z 成分の方程式が得られます．

“ローレンツ不変性とローレンツ共変性” の Chapter での議論から理解されるように，4元ベクトルで表されるマクスウェル方程式 (5.6) 式と (5.8) 式は，明白なローレンツ共変性をもっています．従って，この Chapter の最初に述べたように，マクスウェル電磁気学は
特殊相対論的です．そして，“特殊相対性原理と光速不変の原理” の Chapter で見たように，
マクスウェル方程式から光速が導出されるので，光速は座標系に依存しません．故に，光速不変の原理が成立することが保証されたのです．

J Simplicity HOME
http://www.jsimplicity.com/

Chapter 6

特殊相対論的力学
6.1

ニュートン力学

ニュートン力学の根幹を成す方程式は，次の運動方程式です．

md2 ⃗x ⃗
=F
dt2

運動方程式はガリレイ変換，t′ = tx′ = x − vt
y′ = yz′ = zのもとで共変でした．つまり，

md2 x⃗′= F⃗′
dt2が成立しました．一方，運動方程式はローレンツ変換のもとで共変ではありません．従って，力学は特殊相対性原理の要請を満たし，ローレンツ変換に対して共変であるように，
修正しなければなりません．
（単なる変形ではなく，理論をつくり直すのです．
）ローレンツ共変性が明白に表されるような力学を構築するためには，4 次元的に定式化する必要があ
ります．

68

CHAPTER 6. 特殊相対論的力学

6.2

69

固有時間

“特殊相対性理論の世界” の Chapter で固有時間という概念を導入しました．固有時間とは，ある慣性系に対して静止している時計によって観測される時間で，その慣性系を等速直線
運動していると観測する慣性系で計る時間よりもゆっくりと経過しました．ある慣性系に乗り込んだとき，無限小インターバルの 4 乗の式，

ds2 = c2 dt2 − dx2 − dy2 − dz2
において，

dt = dτdx = dy = dz = 0
が成立します．
（ただし，τ（タウ）は固有時間を強調して表しています．
）従って，

ds2 = c2 dτ2が成り立ちます．また，次の関係式が成立します．
√
dτ′ = dt 1 − β2
ただし，慣性系 M に対して等速直線運動している慣性系 M ′ を考え， M ′ に対する固有時間を問題にしています．導出は次の通りです．

ds′2 = ds2∴c2 dτ′2 = c2 dt2 − dx2 − dy2 − dz2∴dτ′2 = dt2 (1 −1 dx2 + dy2 + dz2
)
c2
dt2

∴dτ′2 = dt2 (1 − β2 )√∴dτ′ = dt 1 − β2
（証明終．
）

6.3

特殊相対論的力学のローレンツ共変性

固有時間を利用して，4 元速度ベクトルを定義します．

dx0 dx1 dx2 dx3
dxµ
=(
,
,
,
)
dτ
dτ dτ dτ dτ
dxµdx0 dx1 dx2 dx3
uµ ≡
=(
,−
,−
,−
)
dτ
dτ
dτ
dτ
dτ

uµ ≡

CHAPTER 6. 特殊相対論的力学

70

この 4 元速度ベクトルを使って，4 元運動量ベクトルを定義します．

dxµ
dτ
dxµ
pµ ≡ muµ = mdτpµ ≡ muµ = m

さらに，4 元力を次のように表しておきます．

f µ ≡ (0, f 1 , f 2 , f 3 ) = (0, f x , fy , fz )fµ ≡ (0, f1 , f2 , f3 ) = (0, − f x , − fy , − fz )このとき，運動方程式は次のように修正されます．

d pµ
= fµ
dτ
d pµ
= fµ
m
dτ
m

このように，運動方程式は 4 元ベクトルで表せました．従って，明らかなローレンツ共変性をもつことになります．これで，ニュートン力学は特殊相対性原理の要請を満たすように修正されたことになります．

6.4

ローレンツ不変量

一般に，ある変換に対して物理量が変化しないとき，物理量は不変性をもつといいます．
ローレンツ不変量として，2 つの 4 元運動量ベクトルの縮約からつくられる量を取り上げ
ます．

dxµ
dxµ
·m
dτ
dτ
2
ds
= m2 2dτ
2
2
2 c dτ
=m2dτ

pµ pµ = m

= m2 c2
故に，pµ pµ = m2 c2が成立します．また，4 元運動量の第 0 成分でエネルギーを定義します．

E ≡ cp0(6.1)

CHAPTER 6. 特殊相対論的力学

71

このとき，(6.1) 式より，

E
pµ pµ = ( )2 − p2 = m2 c2cとなります．故に，

E 2 = c2 p2 + m2 c4(6.2)

が成立します．特に，(6.2) 式で p = 0 を代入すると，有名な静止エネルギーの式，

E = mc2(6.3)

が成立します．(6.2) 式を変形すると，√
E = mc2

1+

p2
m2 c2

1 p2
+ ···)
2 m2 c2
1 v2= mc2 (1 ++ ···)
2 c2
1= mc2 + mv2 + · · ·2= mc2 (1 +となりますが，第 1 項が静止エネルギーで，第 2 項がニュートン力学の運動エネルギーを表します．(6.3) 式は，質量はエネルギーであるという意味をもち，原子力エネルギー等に応用されています．

J Simplicity HOME
http://www.jsimplicity.com/