ローレンツ変換はなぜ線形変換でなければならないか
2011年7月25日
ある系で、2つの事象の時間・空間の座標差を測定したとしよう。その系に対して一定、一様な速度で動いている系で、その2つの事象の時間・空間の座標差を測定したとしよう。このとき、この2つの系で測った時間と空間の座標差の関係式(いわゆるローレンツ変換)は時間空間に関して1次式でなければならない。このことは、時間空間の一様性からの当然の帰結である。アインシュタインの原論文(「相対性理論」 アインシュタイン著 内山龍訳 岩波文庫 1988年、「アインシュタイン選集1」 中村孝太郎訳 共立出版 1971年)では”空間時間が一様のため”(注 アインシュタイン 「相対性理論」 内山龍雄訳 岩波文庫 27ページ 「まず第1に、空間および時間が持っているものと考えられる一様性のために、求める関係式は1次式でなければならないということは明白といえよう」とある。又、別の訳では、アインシュタイン選集 第1巻 中村誠太郎訳 共立出版 26ページ 「第1に、これらの方程式は1次でなければならない。なぜならば空間と時間は斉一という性質をもつと仮定したからである。」とある。少し訳が違うが、私は内山の訳は少し意訳しているのではと想像している。)の一言で片づけられていて正にその通りなのである。ただ、その一言ではわかりずらいので、この小論文で、時間空間の測定の関係式がなぜ一次式(線形)でなければならないかを解説する。この解説では簡単のため、空間はx座標のみとする。
目標は任意の2つの事象をある系(今後、静止系と呼ぼう)で測った空間・時間の差(Δx,Δt)と静止系に対して一定一様の速度で動いている系(今後、動系と呼ぼう)で測った(Δx′,Δt′)との関係式が1次式、すなわち Δx′=aΔx+bΔtΔt′=cΔx+dΔt でなければならないということを示すことである。ここでa,b,c,dはx,tに依存しない定数である。
第1章 変換が位置、時刻に依存しないこと
今、例えば図1のように静止系のx軸上にAさん、Bさん、Cさんが3mずつ離

図1 Aさん、Bさん、Cさんが1直線上に3m間隔で並び2秒置きに手をたたく事象。
れて並んでいるとする。そして、まずAさんが手をたたいたとして、2秒後に今度はBさんが手をたたいたとし、そのまた2秒後にCさんが手をたたいたとする。すなわち、Aさんが手をたたいてからBさんが手をたたくまでの事象差は (Δx,Δt)=(3m,2秒)である。 Bさんが手をたたいてからCさんが手をたたくまでの事象差も(Δx,Δt)=(3m,2秒)である。 このとき動系でこれらの事象差を測ったとき Aさんが手をたたいてからBさんが手をたたくまでの事象差が例えば(Δx′,Δt′)=(5m,3秒)であったとしよう。 すると、Bさんが手をたたいてからCさんが手をたたくまでの事象差は 空間・時間は一様なので当然(Δx′,Δt′)=(5m,3秒)となるはずである(図2)。空間・時間に特別な点は存在しないからである。すなわち、ある地点、

図2 動いている系から見た図
ある時間においての2つの事象差が静止系で(3m,2秒)であり、それを動系で測ると(5m,3秒)であったなら、別の地点、別の時刻における2つの事象差が静止系で(3m,2秒)である場合、動系で測ると同じ(5m,3秒)となる。すなわち、 変換則は場所、時刻に依存しない。 このことから、変換が1次変換でなければならないことが導出される。
第2章 1次式の導出
今、静止系において事象差(1m,0秒)、すなわち、同時で1m離れた事象を動系で測ったとき例えば(2m,1秒)だったとしよう。又、静止系において事象差(0m,1秒)、すなわち同じ位置で時間が1秒後に起きる事象を動系で測ると例えば(3m,4秒)だったとしよう。まとめると (1m,0秒)⟹(2m,1秒)(0m,1秒)⟹(3m,4秒) と変換されると設定しとくということである。
2-1節 Δx,Δtが正の整数の場合
この設定のもとΔx,Δtが正の整数の場合、どう変換されるかを考えよう。そこで何でもいいのだが、例えば静止系の事象差(3m,2秒)が動系でどう変換されるかを調べよう。 (3m,2秒)という事象差は、Aさん、Bさん、Cさん、Dさんがx軸上に1mづつ離れてならび、同時に手をたたく。そして、その1秒後にDさんが手をたたく、さらに、その1秒後にDさんが手をたたくという事象に分解できる(図3,4)。AさんとBさんが手をたたく事象差は静止系

図3

図4
では(1m,0秒)なので動系で測ると設定より(2m,1秒)である。同様にBさんとCさんが手をたたく事象差は静止系では(1m,0秒)、動系では(2m,1秒)である。CさんとDさんが手をたたく事象差も同様である。一方Dさんが最初に手をたたいてから1秒後に手をたたく事象差は静止系では(0m,1秒)なので動系で測るとは設定より(3m,4秒)である。同様にDさんが2回目に手をたたいててから3回目に手をたたく事象差は静止系では(0m,1秒)なので動系では

図5
(3m,4秒)である(図5)。これをまとめると (1m,0秒)⟹(2m,1秒)(1m,0秒)⟹(2m,1秒)(1m,0秒)⟹(2m,1秒)(0m,1秒)⟹(3m,4秒)+(0m,1秒)⟹(3m,4秒)合計(3m,2秒)⟹3×(2m,1秒)+2×(3m,4秒) となる。つまり静止系の(3m,2秒)は動系では 3×(2m,1秒)+2×(3m,4秒) と変換される。今の例ではΔx=3,Δt=2としたが、Δx,Δtが任意の正の整数の場合でも、まったく同じように考えれば(Δxm,Δt秒)が Δx×(2m,1秒)+Δt×(3m,4秒) に変換されることがわかる。すなわち Δx′=2mΔx+3mΔtΔt′=1秒Δx+4秒Δt となる。これが、変換が1次式になる本質的な理由である。
2-2節 Δx,Δtが正の分数の場合
次にΔx,Δtが正の分数の場合を考える。例として(2/3m、3/5秒)がどう変換されるかを考えよう。これは、先に記した(3m、2秒)の分解と同じように考えて、 (2/3m,3/5秒)=(2/3m,0秒)+(0m,3/5秒)=(1/3m,0秒)+(1/3m,0秒)+(0m,1/5秒)+(0m,1/5秒)+(0m,1/5秒)=2×(1/3m,0秒)+3×(0m,1/5秒) と分解される。そこで、事象差(1/3m,0秒)と(0m,1/5秒)が動系でどう測定されるかがわかればよい。(1/3m,0秒)を考えよう。今、静止系で Aさん、Bさん、Cさん、Dさんの4人が1/3mづつ離れて並んでいて、この4人が同時に手をたたくという状況を考えよう(図6)。静止系では隣どうしの人が手を

図6
たたく事象差は(1/3m,0秒)だが、動系では(am,b秒)だったとしよう。このa,bの値を知りたいわけである。Aさんが手をたたいたという事象から、Dさんが手をたたいたという事象までの事象差は、静止系では(1m,0秒)であり、動系では3×(am,b秒)となる(図7)。一方、設定より静止系での

図7
(1m,0秒)は動系では(2m,1秒)に変換される。したがって 3×(am,b秒)=(2m,1秒) でなければならない。すなわち (am,b秒)=13(2m,1秒) とa,bが求まる。今わかったことは、もし (1m,0秒)⟹(2m,1秒) と変換されるなら、 (1/3m,0秒)⟹13×(2m,1秒) と変換されるということである。(0m,1/5秒)に関しても同様に考えて (0m,1秒)⟹(3m,4秒) と変換されるなら (0m,1/5秒)⟹15×(3m,4秒) と変換される。式(2)に戻ると (23m,35秒)⟹2×(13×(2m,1秒))+3×(15×(3m,4秒))=(23×(2m,1秒))+(35×(3m,4秒)) と変換される。今の例では(Δx,Δt)=(2/3,3/5)としたが、同じように考えればΔx,Δtが任意の正の分数で(Δx,Δt)が Δx×(2m,1秒)+Δt×(3m,4秒) と変換されるのは明白であろう。すなわち Δx′=2mΔx+3mΔtΔt′=1秒Δx+4秒Δt となる。
2-3節 Δx,Δtが負の整数、分数の場合
Δx又はΔtが負の整数又は分数の場合を考える。無理数の場合は考えない。例として(−2m,−3秒)がどう変換されるかを考えよう。これは今までと同様に考えて (−2m,−3秒)=(−2m,0秒)+(0m,−3秒) と分解される。まず(0m,−3秒)を考えよう。さて、Aという事象から見てBという事象への事象差が(0m,−3秒)であるということは、Bという事象から見て、Aという事象への事象差が(0m,3秒)であるという意味である。今までの議論より(0m,3秒)は動系では3×(3m,4秒)に変換される。これはBという事象から見てAという事象が動系では3×(3m,4秒)と測定されるという意味である。ということは動系でAという事象から見て、Bという事象への事象差は −(3×(3m,4秒)) だということである(模式図8)。(−2m,0秒)に関しても同様に考えればよ

図8
い。すると(−2m,−3秒)は −2×(2m,1秒)−3×(3m,4秒) と変換される。ΔxとΔtが(−3,4)や(4,−5)や(10,−100)でも同じように考えればよい。それでΔx,Δxが任意の有理数で(Δx,Δt)が Δx×(2m,1秒)+Δt×(3m,4秒) と変換されるのは明白であろう。すなわち Δx′=2mΔx+3mΔtΔt′=1秒Δx+4秒Δt となる。 以上がローレンツ変換がなぜ線形でなければならないかの理由である。尚、Δx,Δtが無理数の場合は、物理では考えなくてよい。分数でいくらでも近似できるからである。今は式(1)のように設定したが、一般に静止系の(1m,0秒),(0m,1秒)がそれぞれ動系で (1m,0秒)⟹(am,c秒)(0m,1秒)⟹(bm,d秒) と変換されるなら、(Δx,Δt)は、 Δx′=amΔx+bmΔtΔt′=c秒Δx+d秒Δt と変換される。以上でこの論文を終える。ここでの説明は算術の説明に似ているところがある。例えば、なぜ3×4=4×3なのか。なぜ(3×4)×5=3×(4×5)なのかを説明するのに似ているところがあると感じた。