[size=150][b]このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][/b][/size][size=150][size=100][br]これまで、[br]光速が一定で最高であることを前提にすると、[br]光速に近い速さで動くと長さと時間がちぢんで見えるということを学んだ。[br][br][/size][/size]象の一部だけから、これは象だと判断することは以外と簡単ではないかもしれない。[br]同じものを別の視点、角度からみると相当別に見えるからだ。[br]慣性系は座標系と同じで、[br]同じ図形を別の座標系で見ると相当別に見える。[br][br]座標系を変えると、同時性まで変わってしまい、その結果として[br]長さと時間がちぢんで見えたりするというお話し。[br][br]今回は、これを学ぼう。

[b]動く車の中央にAさんがのっている。[br]それをBさんが外から見ている。[br]車の速さはV、光の速さはCだ。[br][/b]光速は慣性系（座標系）にかんけいなく一定だ。[br]車の中のAさんから見た慣性系Sでは左の壁（Left)と右の壁(Right)には光は同時につく。[br]車の外のBさんから見た慣性系S'では光が壁につくのは、左が先で、右があとになる。[br]この２つの現象を矛盾なく説明できる数式を見つけたい。[br][br]そのための道具が[b]座標変換[/b]だ。[br][br]Bさんのいる時空世界の[b]座標系（慣性系）をS[/b]としよう。これは静止した普通の座標系だ。[br]Aさんのいる時空世界の[b]座標系（慣性系）をS'[/b]とする。[br]これはAさんから見ると当たり前に左右差なく光がつく時空世界だ。[br]ミンコフスキー空間という有名な空間の設定の常識では、時間軸をたて、空間軸をよこにする。[br]しかし、いきなり従来のよこが時間T、たてが位置Xという配置とちがいすぎて混乱しやすいので、[br]ふつうの進行グラフとどうように[b]よこが時間T、たてが空間位置Xとしてかいてみよう。[br][br][/b]変数がたくさん出てくるので、当面、[br][b]基本的に大文字を使う。小文字は未知数[/b]に使うことにする。

[b][size=150]＜慣性系の座標変換の条件とは＞[/size][/b][br]Bからみた左壁Left、A、右壁Rightは等速VでBから離れていく。[br]３つの点はNの間隔で離れている。[br]同時にAから左右に光が走る。[br][b]同じ１つの点を、Bの座標系Sで（T,X), Aの座標系S’で（T',X')とかこう。[br][/b]SからS’に座標変換する行列を[b]R={{a, b}, {c, d}}[/b]とする。[br]つまり、[b][color=#0000ff][size=150]T'=aT + bX , X' = cT + dX[/size][/color][/b][br][b]左向きの光がLeftにあたる出来事を点L、右向きの光がRightにあたる出来事を点Rとしよう。[br][/b][br]・すると、次の４つが必要な条件になる。[br]① 2点L,Rは系Sでは同時でなく、系S'では同時だ。数式では、[b][color=#0000ff]TL'=TR'[/color][/b][br]② 点Aは系S’では静止している。数式では、[b][color=#0000ff]T＞0なら、XA'=0[/color][br][/b]③ 光速はどの慣性系でも一定のCだ。数式では、[b]X=CT, X'=CT'[/b] [br]④ 変換RのVをーVに変えた変換はAからみたBの動きでRの逆変換になる。 [color=#0000ff][b]R*R[sup]-1[/sup]=E[br][/b][/color][br]・以上の４つの条件を実装するために、[br]系SでのL,Rの座標を求めたい。[br]この段階では、光速Cを特別扱いする必要はないので、方程式でも算数でも交点がだせるね。[br]車の方程式はLeft,A,Rightの順に[b]X=VT+N, X=VT, X=VT-N[/b]だね[br]２つの光の方程式は、右むき、左向きの順に[b]X=CT, X=-CT[/b]だ。 [br]だから、[br]R座標は TR = [b]N/(C-V)[/b], XR= C *TR [br]L座標は TL = [b]N/(C+V)[/b], XL= -C *TL[br][br]さあ、これから、①②③④を使って、未知数a,b,c,dを求めよう。

[b][size=150][br]＜座標変換の式を求める＞[/size][/b][br][b]T' = a T + b X [br]X' = c T + d X [br][/b]① LとRはS'では同時な出来事[color=#0000ff][b]（[/b][/color][b][color=#0000ff]TL'=TR'）[/color][/b][br]TL' = a TL + b XL= a TL + b(-C*TL)= (a-bC) TL= [b](a-bC) N/(C+V)[/b][br]TR'= a TR + b XR= a TR + b(C*TR)= (a+bC)TL= [b](a+bC) N/(C-V)[/b][br]だから、 [b](a-bC) N/(C+V)＝(a+bC) N/(C-V)[br][/b](a-bC)(C-V)=(a+bC)(C+V) となり、aV+bC[sup]2[/sup]=0つまり、[color=#0000ff][b]b= (-V/C[sup]2[/sup]) a[/b][/color][br]② AはS'ではX座標は０[b]（[/b][b][color=#0000ff]T＞0なら、XA'=0)[/color][/b][br]AはSでは、(T,VT)だから、XA'=c T + d X= c T+ dVT=T(c+dV)=0。[br]T>0から、c+dV=０つまり、[color=#0000ff][b]c=-dV[/b][/color][br]③ 慣性系で光速[b][color=#0000ff]（X=CT, X'=CT'）[/color][/b][br]XL'は光の軌道にある点だから、[br]XL'=c T + d X = [b](-dV) [/b]T +d [b]CT[/b]=dT(C-V)。また、[br]XL'=C XT'=C(aT+bX)=C(aT + [b] (-V/C[sup]2[/sup]) a[/b] [b]CT[/b])=Ta (C -V) 。したがって、[color=#0000ff][b]d=a[/b] [/color][br]④ VをーVに入れ替えるとRの逆変換になる([b]R*R[sup]-1[/sup]=E)[/b][br]①～③からR={{ a, b},{ c, d }}=a{{ 1 , [b]-V/C[sup]2[/sup][/b] },{[b] -V[/b], 1 }} となり、R[sup]-1[/sup]=a{{ 1 , [b]V/C[sup]2[/sup][/b] },{[b] V[/b], 1 }}[br]R*R[sup]-1[/sup]=a[sup]2 [/sup]{{ 1 , [b]-V/C[sup]2[/sup][/b] },{[b] -V[/b], 1 }}{{ 1 , [b]V/C[sup]2[/sup][/b] },{[b] V[/b], 1 }}={{1,0},{0,1}}[br][br]これから、a[sup]2[/sup](1-(V/C)[sup]2[/sup])1 　V=0のときにX’＝Xになるのはa＞０だから、[br]a=[math]\frac{1}{\sqrt{1-\left(\frac{v}{c}\right)^2}}[/math] 1/a=b=[math]\sqrt{1-\left(\frac{v}{c}\right)^2}[/math] とするとき、　座標変換行列はR=[size=150][math]a\left(\begin{matrix}1,-\frac{v}{c^2}\\-v,1\end{matrix}\right)[/math]　　[br]a,b,c,dの未知数が既知となったので、ここからは、速さa,b,v,cだけ小文字にする。[br][br][b] T' = [/b][color=#38761d]aT[/color][color=#0000ff]-v/c[/color][sup][color=#0000ff]2[/color] [/sup][color=#9900ff]aX[/color][b] =(T-v/c[/b][sup]2[/sup][b]X)/b[/b][b][br] X’ =[/b][color=#0000ff]-v[/color][color=#38761d]aT[/color][b] +[/b][color=#9900ff]aX =(X- vT)/b[br][/color][/size][br]これを[b][color=#0000ff]ローレンツ変換[/color][/b]というね。[br]

ローレンツ変換で座標系によって、光速に近く動くと長さ・時間が縮んで見えることが計算で出せる。[br]それをやってみよう。[br]a=[math]\frac{1}{\sqrt{1-\left(\frac{v}{c}\right)^2}}[/math] 1/a=b=[math]\sqrt{1-\left(\frac{v}{c}\right)^2}[/math] とするとき、[br]系Sから系S’へのローレンツ変換Rは[br][b]T' [/b][b]=(T-v/c[/b][sup]2[/sup][b]X)/b[/b][b][br]X’ [/b][color=#9900ff]=(X- vT)/b[br][/color]系S’から系Sへの逆変換R[sup]-1[/sup]は[br]T' =(T[b]＋v[/b]/c[sup]2[/sup]X)/b[br]X’ [color=#9900ff]=(X[b]＋v[/b]T)/b[br][/color][br][size=150][b]＜長さがちぢむ＞[br][/b][size=100]系Sに対して系S’が速さvで動く。系S’のX'軸に長さL[sub]0[/sub]=X2'-X1'=ΔX'の棒がある。[br]この棒を系Sの両端を同時にはかってL=X2-X1＝ΔXだったとしよう。[br]Lは系SではL0の何倍の長さに見えるでしょうか。[br]変換Rの逆変換は‐vを＋vにすればよいから[br]S系の同時刻T=[b](T1'+v/c[sup]2[/sup]X1')/b=(T2'+v/c[sup]2[/sup]X2')/b　。[/b]両辺の差から[b]ΔT'= -[/b][b]v/c[sup]2[/sup]ΔX'[/b][br][/size][/size]S系の位置は、[b]X2=(X2'+vT2')/b、X1=(X1'+vT1')/b[/b]。[br]辺々の差 [b]L[/b]=ΔX=(ΔX'+vΔT')/b=(ΔX'+v{ [b]-[/b][b]v/c[sup]2[/sup]ΔX'[/b]})/b=ΔX'[b](1 -v[sup]2[/sup]/c[sup]2[/sup])[/b]/b=ΔX'[b]b[sup]2[/sup]/[/b]b[b]=[i]b[/i] L[sub]0[/sub]≦L[sub]0[/sub][/b][br][color=#0000ff]（例）[/color][br]ピタゴラスの定理で、斜辺を１残りの辺をu,vとしたときにu/c=√(1-(v/c)[sup]2[/sup])で、３：４：５を使うと、v/c=4/5なら、b=u/c=3/5なので、LはL0の3/5=60%に縮む。[br]だから、時速24㎞という光速の4/5倍で進むと、40㎞のトンネルは24㎞に縮む。[br]前回と同じ結果になったね。[br][br][b][size=150]＜時間がちぢむ＞[/size][/b][br]系Sに対して系S'が速さVで動く。系S,系S'の両方の原点に正確な時計をおく。[br]さらに、系S'の位置ｘ’に振り子時計を固定しておき、周期L０＝T2'-T1'＝ΔT’だった。[br]この振り子を系Sで観測して１周期の開始と終了をT1,T2として、周期L＝T2-T1=ΔTだったとしよう。[br][b]T2=([/b][b]T2'+v/c[sup]2[/sup]X')/b、T1＝(T1'+v/c[sup]2[/sup]X')/b。[br][/b]両端の差から[b]L＝[/b]T2-T1=(T2'-T1')/b=[b]L[sub]0[/sub]/b≧L[sub]0[/sub][/b][br]系Sから見ると系S'の周期が大きくなる。[br]系Sに対して動いている系S'では、時間がゆっくりすすみ、時間が遅れる。[br]動く系の固定された時計の時間を[b]固有時[/b]ということがある。[br][color=#0000ff]（例）[/color][br]ピタゴラスの定理で斜辺を１残りの辺をu,vとしたときにu/c=√(1-(v/c)[sup]2[/sup])で、３：４：５を使うと、[br]v/c=4/5なら、b=u/c=3/5なので、周期LはL0の1/(3/5)=5/3に伸びるから、[br]時間の進みは3/5=60％に縮む。地上の50年はロケットで30年ということだ。[br]これも前回と同じ結果だ。

アインシュタインの先生だったミンコフスキーの数学理論は[br]アインシュタインは最初はあまり重要視していなかったらしいが、[br]一般相対性理論を考えるころには、「ユークリッド空間と似ている」と書いているほど[br]その共通点を理解していたようだ。[br][br]さて、[br]静止した慣性系Sに対して、光速に近い速さｖで動く慣性系S'では[br]a=[math]\frac{1}{\sqrt{1-\left(\frac{v}{c}\right)^2}}[/math] 1/a=b=[math]\sqrt{1-\left(\frac{v}{c}\right)^2}[/math] とするとき、　座標変換行列がR=[size=150][math]a\left(\begin{matrix}1,-\frac{v}{c^2}\\-v,1\end{matrix}\right)[/math]　　[br][b] T' [/b][b] =(T-v/c[/b][sup]2[/sup][b]X)/b[/b][b][br] X’ =[/b][color=#9900ff](X- vT)/b[br][/color][size=100]ということがわかった。[br][/size][br][size=100]・R座標は TR = [b]N/(C-V)[/b], XR= C *TR [br]L座標は TL = [b]N/(C+V)[/b], XL= -C *TL[br]RLの傾きｍ＝(XR-XL)/(TR-TL)=C(TR+TL)/(TR-TL)[br] = C{N/(C-V)+ N/(C+V)}/C{N/(C-V)- N/(C+V)}=C[sup]2[/sup]/V[br]S系の横軸をｔ軸、たて軸をｘとしたときのS'系のｘ軸の傾き。Aの傾きはｖ。[br][b][color=#0000ff]S系のよこ軸をｘ軸、たて軸をｔとしたとき[br][/color][/b]S'系のtに対してｘ軸の傾きはv/C[sup]2[/sup]、ｔ軸の傾きは1/v[br]時間軸を空間の次元ｘと量の[b]次元をそろえるために縦軸ct[/b]とする。[br]すると、S'系の[b]ctに対してｘ軸の傾き[/b]はv/C[sup]2 [/sup]c=[color=#0000ff][b]v/cだね。[/b][/color][br][br]これを複素平面を利用して、とらえなおしてみよう。[br][/size][br][/size][size=150][b]＜ユークリッド距離空間＞[/b][br][/size][size=150][size=100]実数を要素として、標準基底ベクトルをe1,e2={1,0},{0,1}とし、[br]位置ベクトル[b]x[/b]={x,y}の原点Oからのユークリッド距離d=sqrt(x[sup]2[/sup]+y[sup]2[/sup])[br]を距離とするユークリッド距離空間E2では、回転変換Rが距離を不変にする行列だった。[br]cos[sup]2[/sup]θ+sin[sup]2[/sup]θ=１は円の方程式であり、[br][b]座標軸を[/b]パラメータθで回転する変換は[b][color=#0000ff]R(θ)={{cosθ, sinθ},{-sinθ, cosθ}}[/color][/b]と表すことができたね。[br][/size][size=100]回転はユークリッド空間では合同変換の典型だ。[/size][b][br]＜ミンコフスキー距離空間＞[/b][br][/size]時間を虚軸Y(ict), 空間を1次元の実数軸X(x)、標準基底ベクトルをe1,e2={1,0},{0,1}とし、[br][b]y=ict[/b]とおくと、位置ベクトル[b]x[/b]={x, y}の原点Oからの[br][b]ミンコフスキー距離d=sqrt(x[sup]2[/sup]+y[sup]2[/sup])=sqrt(x[sup]2[/sup]-(ct)[sup]2[/sup])[/b]を距離と決めることができる。[br]なんと、形式的にはミンコフスキー距離はユークリッド距離と同じにかける。[br]代入すると、2次元平面の双曲線を表す。[br]そして、時間と空間の対等性が見えてくる。[br][br]原点から距離０の点は、sqrt(x[sup]2[/sup]-(ct)[sup]2[/sup])＝０とすると、x=±ct　から、光の方程式だ。[br]原点から距離１の点は、sqrt(x[sup]2[/sup]-(ct)[sup]2[/sup])＝1 とすると、x[sup]2[/sup]-T[sup]2[/sup]=１から、光を漸近線とする双曲線になる。[br]...............[br]原点から距離kの点は、sqrt(x[sup]2[/sup]-(ct)[sup]2[/sup])＝kとすると、x2-T[sup]2[/sup]=k[sup]2[/sup]から、光を漸近線とする双曲線になる。[br][br]・yを使えば、ミンコフスキー距離は、ユークリッド距離と同じ式になるから[br]オイラー等式e[sup]iθ[/sup]=cosθ+i sinθ、e[sup]-iθ[/sup]=cosθ- i sinθから、[br]cosθ=(e[sup]iθ[/sup]+e[sup]-iθ[/sup])/２、sin[size=150]θ=(e[sup]iθ[/sup]-e[sup]-iθ[/sup][/size])/２iだから、[br][b][size=150]cos(iθ)=(e[sup]θ[/sup]+e[sup]-θ[/sup][/size])/２=cosh θ、sin(i[size=150]θ)=(e[sup]-θ[/sup]-e[sup]θ[/sup][/size])/２i = i sinh θ[/b]と双曲線関数におきかえられる。[br]（双曲線coshθはy=θ[sup]2[/sup]+1に近く、sinhθはy=θに近い曲線。tanhθはtan[sup]-1[/sup]に近く絶対値１未満。）[br]なので、[br][b]座標軸を[/b]パラメータiθで回転する変換は[color=#0000ff][b]R(iθ)={{cos(iθ), sin(iθ)},{-sin(iθ), cos(iθ)}}[br][/b]これは回転だから、ミンコフスキー距離d=sqrt(x[sup]2[/sup]+y[sup]2[/sup])=sqrt(x[sup]2[/sup]-(ct)[sup]2[/sup])を不変にしているね。[br][b][br]・(x,y)=｛ｘ、ict}を(x',y')=｛x', i ct'｝に変換するとしたら、[br]{x', ict'}[/b]=[b]{x coshθ+ict i sinhθ, -x i sinh(θ)+ ict coshθ}[br][/b][/color][b]{x', ct'}[/b]=[b]{x coshθ - ct sinh θ , -x sinh θ+ ct coshθ}[br][/b][b][color=#0000ff]S'系のct軸に対するｘ軸の傾きはv/cだったから、[br][/color]sinhθ/coshθ=tanhθ=v/cとおける。[br]光速の直線ｘ＝ctの傾きは１だね。[br][br][/b]・１－tanh[sup]2[/sup]θ[b]＝1/cosh[/b][sup]2[/sup][b]θから、cosh[/b]θ=a, sinhθ=a v/cとなる。[br][b]{x', ct'}[/b]={x a - ct a v/c , -x av/c+ ct a}[br] =a{x - t v , ct - x v/c}[br][b]{x', t'} =a{x - t v , t - v/c[sup]2 [/sup]x} [br][/b]これで、ミンコフスキー空間の回転はローレンツ変換と同じになったね。