[size=150][b]このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][/b][/size][size=150][size=100][br]前回は[/size][/size]ミンコフスキー空間をテンソルから作ってみた。[br][br]今回はユーリッド空間とミンコフスキー空間を両方使って、ローレンツ変換の効果を実感しよう。

前回は、[br]系Sから系S’へのローレンツ変換の式は[br] T' = aT-v/c^2 aX[br] X’ =-vaT +aX[br]でした。[br][br]光速 c = 1,[br]速度 v =v/c=beta とするとき、[br]a = 1/sqrt(1-beta**2)=gammaとし、[br]va=beta*gamma＝alphaとおけます。[br]すると、座標変換式は[br][color=#0000ff][size=150]tt = gamma * t - alpha * x[br]xx = -alpha * t + gamma * x[br][/size][/color]と簡単になりますね。[br][br]tt、xxは座標だから、「反変」ベクトルです。[br]座標の「基底」自体がどうなったのかを表示すために[br]alphaの符号を反転させて、「共変」ベクトルにします。[br][color=#0000ff][size=150]tt = gamma * t + alpha * x[br]xx = alpha * t + gamma * x[br][/size][/color][br][b]beta=0.6[/b]のとき、[br][b]gamma[/b]=[b]1.25[/b]、[b]alpha[/b]=[b]0.75[/b]のときの[b]ミンコフスキー空間[/b]のゆがみがどう見えるかを視覚化できた。[br]

[br]前回は、[br]系Sから系S’への[b]ローレンツ変換[/b]の式から、[br]成分としての「反変」ベクトルではなく、[br]基底としての「共変」ベクトルを求めるためには、[br]光速 c = 1,速度 v =v/c=beta とするとき、[br]a = 1/sqrt(1-beta**2)=gammaとし、[br]beta*gamma＝alphaとすると[br][b][color=#0000ff][size=150]tt = gamma * t + alpha * x[br]xx = alpha * t + gamma * x[br][/size][/color][/b]と簡単になり、[br][b]beta=0.6[/b]のとき、[br][b]gamma[/b]=[b]1.25[/b]、[b]alpha[/b]=[b]0.75[/b]のときの[b]ミンコフスキー空間[/b]のゆがみがどう見えるかを視覚化できた。[br][br]ミンコフスキー時空間と[br]縦軸たｔ、横軸がｘのユークリッド時空間を原点を重ねてみると、[br]基底ベクトルがミンコフスキー時空間の方が伸びてます。[br][br]これはｃ＝１、ｖ＝0.6としたときの図です。[br]よく、[b][color=#0000ff]光速に近い速さで進むと時間と長さが縮む[/color][/b]といいます。[br][br]でも、[b][color=#0000ff]スカラー、ベクトルを含むテンソル量としての物理量自体は変わりません[/color][/b]。[br]むしろ、慣性系としての座標系を変えるだけで、世界観としての[color=#0000ff][b]基底ベクトルと相互の内積[/b][/color]が変わる。[br][br][color=#0000ff][b][u][size=150]「世界をはかる網目、ものさし」が変わるから、[br]「ちがう数値、成分」に見えてくる[br][/size][/u][/b][/color]というだけということですね。[br][br]だから、時間、長さが縮むということは、その物差しの方が伸びているということですね。[br]これは、２世界の重ね書きでの単位ベクトルを比べるとき、[br]ミンコフスキー空間での単位ベクトルの方が伸びているからということからもうなずけます。[br][br][url=https://www.geogebra.org/m/twxxx3yq#material/baq2snge]速い動きで縮むものは何？[/url]で見てきた具体例もうなずけるでしょう。[br][br][b][size=150][br]＜時間の縮みは比例でわかる＞[br][br][/size][/b]「車が光速の3/5倍の速さで進むと、かかる時間が4/5にちぢむ。たとえば、[br]地上の50年には、光速の3/5倍ロケットの中では40年しかたってないように見えるということ。」[br]これは、3/5倍の速さで５０年間進んだ世界線を[br]ユークリッド空間の原点O(t,x)=(0,0)からR(50,30)までの線分で表す。[br][br]ミンコフスキー時空間での基底ベクトルの伸び具合がわかるように[br]下の図のように、ユークリッド時空間の１メモリをうすく５等分して、長さの比を数えてみます。[br][br][color=#0000ff][b]ロケットの軌跡はユークリッド時空間の点ｒ（1.0, 0.6)を通る。[br]このｒはミンコフスキー時空間では（0.8, 0)という成分になっていることが下図からわかる。[br][/b][/color][br][b][size=150]1.0：0.6：0.8：0=5：3：4：0=50：30：40：0[br][/size][/b][br]この比例の法則から、ユークリッド時空間の[b]点R(50,30)の[br]ミンコフスキー時空間での成分は(40,0）[/b]になるはずだ。[br]つまり、[b]ミンコフスキー時空間（ロケットの固有時間）では40年[/b]になることが比例式だけでわかるね。[br][br][br]

[b][size=150]＜長さの縮みは比例でわかる＞[br][/size][/b][br]「v=秒速30万㎞の3/5=秒速18万㎞の車なら、[br]長さが22.5万㎞のトンネルが22.5×4/5=18万㎞に縮むことになるね。[br]つまり、Bさんから見て22.5万㎞の長さのトンネルは、Aさんには18万㎞の長さにうつる。[br]Aさんの車は秒速18万㎞だから、[u]Aさんの時間で１秒[/u]で通過できることになる。これは、Aさんの車の通る時空が縮んだだけで、Bさんの世界は通常と変わっていない。[br]22.5万kmのトンネルを秒速18万kmの車が通過するには、22.5÷18=5/4＝1.25(秒）かかっている。[br]だから、Bさんに言わせれば「ほーら、1秒じゃあ無理でしょ」となる。[br]でも、Bさんの世界の1.25＝5/4秒は車のスピードのおかげで[br]Aさんの世界では5/4×4/5=1秒になるということだね。」[br][br]これは、さっきと同様にユークリッド時空間に線分を書きましょう。[br]原点０(t,x)=(0,0)から、T(5/4, 3/4)を結ぶ。これがトンネルを進んだ車の世界線だ。[br]22.5/30=45/60=9/12=3/4というように、トンネルの長さを光速を基準にした数に直しておこう。[br][br][b][color=#0000ff]さっきの例でロケットの軌跡はユークリッド時空間の点ｒ（1.0, 0.6)を通った。[br]このｒはミンコフスキー時空間では（0.8, 0)という成分になっていることが図からわかったので、[br][/color][/b]点Tの成分をミンコフスキー時空間に翻訳してみよう。[br][br][b][size=150]1.0：0.6：0.8：0=5：3：4：0=5/4：3/4：4/4：0[br][/size][/b][br]この比例から、点R(5/4,3/4)のミンコフスキー時空間での成分は(4/4,0）になるはずだ。[br]つまり、[b]ミンコフスキー時空間（車の固有時間）では4/4=１秒で通過[/b]になることが[br]比例式だけでわかるね。

[b][size=200][size=150][color=#0000ff]ピタゴラス数３：４：５＝3/5:4/5:5/5=v:u:1を使った場合[/color][br][/size][/size][/b][br][b]つまり、光速c=1として、ロケット（車）v=3/5としたとき、[br][/b]原点から出た世界線は、静止系のｒ（5/5, 3/5)を通り、慣性系のｒ（4/5,1)を通る。[br]だから、静止系の５０の時間が、慣性系で4０の時間に縮んで見えた。[br][b]時間が40÷50＝4/5＝u倍[/b]になった。[br]また、トンネルの長さがv=3/5の速さで5/4秒かかるはずの、3/4という長さだったのが、[br]v=3/5の速さで1秒で通れたから、3/5という長さになった。[br]つまり、[b]長さが3/5÷3/4=4/5=u倍[/b]になった。[br][b][size=150][color=#0000ff]速さが光速のv倍だと、時間も長さもu倍になるということだね。[br][/color][/size][/b][br][color=#9900ff][u][b][size=150]課題：細かいメモリの読み取り結果が、v,uを使って表示されることをたしかめてみよう。[br][/size][/b][/u][/color][br][b][color=#0000ff][size=150]原点から速さｖで出た世界線は、[br]静止系の座標E（1, v)を通り、慣性系の座標M（u,0)を通ります。[br][/size][/color]座標（ｔ、ｘ）がユークリッドではE,ミンコフスキーではMとして、時空間に座標を表示します。[br][/b][br]from sympy import symbols, sin, cos, Matrix, simplify, diag,sqrt,det,lambdify[br]import numpy as np[br][br]# 変数と変換式の定義[br]c=1 # speed of light[br]v = 0.6 # velocity[br]u = int(sqrt(1-v**2)*100)/100[br]gamma= 1/u[br]alpha = gamma*v[br]print("gamma=",revu,"alpha=", alpha)[br]x, t = symbols('x t')[br]gxt = np.diag([-1.0, 1.0])[br]def metricTensor(coords,vars,title):[br] J = coords.jacobian(vars) # ヤコビ行列 J [br] g = simplify(J.T *gxt*J) # 計量テンソルg[br] print(title)[br] display(g)[br] return g[br][br]#　座標変換式[br]tt = gamma* t + alpha * x[br]xx = alpha * t + gamma* x[br]coords = Matrix([tt, xx])[br]vars = [t, x][br]G = metricTensor(coords,vars,"ミンコフスキーの計量テンソル g:")[br]J=sqrt(abs(det(G)))[br]print("ヤコビアンは",J)[br]func_t = lambdify((t, x), tt, 'numpy')[br]func_x = lambdify((t, x), xx, 'numpy')[br]t_vals = np.linspace(0, 1, 6) # 11本の線[br]x_vals = np.linspace(0, 1, 6)[br]fine_samples = np.linspace(0, 1, 100) # 線を滑らかにするためのサンプリング[br]fig, (ax1, ax2) = plt.subplots(1, 2, figsize=(12, 5))[br][br]# ユークリッド空間 [br]for val in t_vals:[br] ax1.plot(fine_samples, np.full_like(fine_samples, val), 'gray', lw=0.5) # v=const[br]for val in x_vals:[br] ax1.plot(np.full_like(fine_samples, val), fine_samples, 'gray', lw=0.5) # u=const[br]ax1.set_title("orthogonal")[br]ax1.set_aspect('equal')[br]ax1.quiver(0,0,0,1, color='blue',linewidth=1,angles='xy', scale_units='xy', scale=1) [br]ax1.quiver(0,0,1,0, color='blue',linewidth=1,angles='xy', scale_units='xy', scale=1) [br][br]# ミンコフスキー空間[br]for tv in t_vals:[br] # vを配列に変換して渡す[br] t_arr = np.full_like(fine_samples, tv) [br] curr_t = func_t(fine_samples, t_arr)[br] curr_x = func_x(fine_samples, t_arr)[br] ax1.plot(curr_t, curr_x, 'blue', lw=1)[br]for xv in x_vals:[br] # uを配列に変換して渡す[br] x_arr = np.full_like(fine_samples, xv)[br] curr_t = func_t(x_arr, fine_samples)[br] curr_x = func_x(x_arr, fine_samples)[br] ax1.plot(curr_t, curr_x, 'red', lw=1)[br]m00,m01=coords.subs({t:0,x:1})[br]m10,m11=coords.subs({t:1,x:0})[br][b][color=#0000ff]ax1.text(v,1.0, f'E(1,{v}),M({u},0)', fontsize=10, verticalalignment="top")[br]ax1.scatter(v, 1.0, c='blue', s=30)[br][/color][/b]ax1.quiver(0,0,float(m00),float(m01), color='blue',linewidth=1,angles='xy', scale_units='xy', scale=1) [br]ax1.quiver(0,0,float(m10),float(m11), color='blue',linewidth=1,angles='xy', scale_units='xy', scale=1) [br]ax1.set_title("minkovski(t, x)")[br]ax1.set_aspect('equal')[br]ax1.set_xlabel('x'); ax1.set_ylabel('t'); [br]plt.show()

[size=150][b]＜静止系E（1, v)＝慣性系M（u,0)？＞[/b][br][/size][br]ローレンツ変換の式は[br]光速 c = 1,速度 v=beta とするとき、[br]u = sqrt(1-v**2)[br]gamma = 1/u[br]beta*gamma＝alphaとするとき、[br][br]「共変ベクトル」を求める式[br][b][color=#0000ff][size=150]tt = gamma * t + alpha * x[br]xx = alpha * t + gamma * x[br][/size][/color][/b]ではなく、[br][br]「反変ベクトル」を求める式[br][size=150][b]tt = gamma * t - alpha * x[br]xx = -alpha * t + gamma * x[br][/b][size=100]を使う。[/size][/size]それは、「基底ではなく座標を計算するため」だからだね。[br][br]この座標変換式に世界線の静止系の[b]座標E(t,x)=(1,ｖ)[/b]を入れてみればいいね。[br][br][b][color=#0000ff][size=150]tt = gamma * t - beta*gamma* x=gamma(t-beta*x)=1/u(1-v^2)=1/u*u^2=u[br]xx=gamma(-beta*t+x)=1/u(-v+v)=0[br]だから、座標M(t,x)=(u,0)になるね。[br][/size][/color][/b]

[color=#9900ff][b][size=150][u]課題：原点から速さｖで出た世界線をかき、E（1, v)＝M（u,0)と、ローレンツ収縮がu倍であることがわかるように、geogebraで視覚化してみよう。[br][/u][/size][/b][/color][br]