[size=150][b]このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][/b][/size][size=150][size=100][br]前回は計量テンソルと基底と変換行列、ヤコビアンの関係、添え字の上下について学んだ。[br][/size][/size][br]今回は、計量テンソルを使って空間のようすをつかんでみよう。[br]そして、特殊相対性理論のミンコフスキー空間を視覚化してみよう。

[b][size=150]＜計量テンソル＞[br][/size][/b]計量テンソルについて振り返ってみよう。[br]微小ベクトルのサイズ、[b][color=#0000ff]微小距離ds（線素）を2乗は、[/color][/b][br][size=200][size=150]ds[sup]2[/sup]=(dx[sup]m[/sup][b]e[sub]m[/sub][/b])(dx[sup]n[/sup][b]e[sub]n[/sub][/b])=(dx[sup]m[/sup]dx[sup]n[/sup]) [b]e[sub]m[/sub]・[/b][b]e[sub]n[/sub][/b]=(dx[sup]m[/sup]dx[sup]n[/sup]) [b]g[sub]mn[br]つまり、ds[sup]2[/sup]=(dx[sup]m[/sup]dx[sup]n[/sup]) [b]g[sub]mn[br][/sub][/b][/sub][/b][/size][/size]これを反変ベクトルdx[sup]m[/sup]と反変ベクトルdx[sup]n[/sup]で計量テンソルg[sub]mn[/sub]をはさんでスカラー量にしたといえる。[br][b]A[sup]m[/sup][i]g[sub]mn[/sub][/i]＝A[sub]n[/sub][/b][br]これは、共変の計量テンソルをかけると、ベクトルの成分が反変から共変に変わるといえる。[br]反変ベクトルはメモリの情報で、共変の計量テンソルはメモリから物理量に翻訳するデータです。[br]だから、反変ベクトルの成分が共変ベクトルつまりどんな物理量に相当するかをもとめています。[br][b]A[sub]m[/sub][i]g[sup]mn[/sup][/i]＝A[sup]n[/sup][/b][br]これは、反変の計量テンソルをかけると、ベクトルの成分が共変から反変に変わるといえる。[br]物理量である共変ベクトルに反変の計量テンソルをかけると、反変ベクトル、メモリ情報になります。[br]ベクトルの長さの2乗は共変成分と反変成分の積か同じ上下の成分の積に共変テンソルをかけたものです。[br][b]L[sup]2[/sup] = A[sub]i[/sub] A[sup]i[/sup] = g[sub]ij[/sub] A[sup]i[/sup] A[sup]j[/sup][/b]

[b][size=150]＜計量テンソルで場のゆがむ？＞[/size][/b][br][br]正規直交系の計量テンソルはg[sub]ij[/sub]=diag(1,1)でした。[br]メモリデータである反変ベクトルA[sup]j[/sup]=[1,1]、全成分が1という平坦なデータに、計量テンソル g[sub]ij[/sub]を通すと、[br]空間の場所に関係なく重みが１のままの共変ベクトル A[sub]i[/sub]=[1,1]に変換される。[br]計量テンソルを空間の場のデータとしてみると、[b]正規直交系は平坦[/b]であることがわかります。[br]また、L2=[1,1]・[1,1]=１＋１＝２で一定です。場のゆがみはありません。[br][br]一方で、極座標系の計量テンソルは、[br]x = r * cos(t)[br]y = r * sin(t)から[br]g[sub]ij[/sub]=J[sup]T[/sup] J=[[1,0][0,r[sup]2[/sup]]]でした。[br]メモリデータである反変ベクトルA[sup]j[/sup]=[1,1]、全成分が1という平坦なデータに、計量テンソル g[sub]ij[/sub]を通すと、[br]空間の場所（r）に応じた重みがついた共変ベクトル A[sub]i[/sub]に[1,r[sup]2[/sup]]変換される。[br]つまり、計量テンソルを空間の場のデータとしてみると、場のゆがみがでます。[br]また、L2=[1,1]・[1,r[sup]2[/sup]]=１＋r[sup]2[/sup]で,[b]場が中心から離れるほどゆがみが大きい[/b]ことがわかります。[br][br]ただし、場のゆがみとはいいましたが、ものさしが曲がっているので、空間がゆがんで表れているだけともいえます。[b]ゆがんだ網目を伸ばせばきれいな正規直交座標にもどせま[/b]す。[br][br][color=#9900ff][b][size=150]課題：座標系を極座標にしたときの場のゆがみを視覚化してみましょう。[br][/size][/b][/color][br]pythonはテンソル計算ができますが、添え字の上下の記述には対応していません。[br]あくまでも、つぶす軸の意味づけで区別しましょう。[br]メッシュデータを場のテンソルとして用意します。[br]その数列R（半径）、T（角度）のパラメータに連動して、[br]反変ベクトル（AU）、共変計量テンソル（gdij)を作りましょう。[br]その積、共変ベクトル（AD）を求めることで、L2はAUとADの内積で求められます。[br]python[br][IN][br]#=================================================[br]import matplotlib.pyplot as plt[br]import numpy as np[br][br]# テーマ：AD[1]=r^2の視覚化とADとAUの内積[br]# 添字の設定と空間の準備[br]# i: mu, j: nu, k: radius(R), l: theta(T)[br]# 上付きはu, 下付きはdのあとに添字をかく[br]# 2軸のパラメータのメッシュのテンソルを用意する。[br]k = np.linspace(0.1, 10, 10)[br]l = np.linspace(0, 2*np.pi, 10)[br]R, T = np.meshgrid(k, l, indexing='ij')[br]# メッシュテンソル場のどこも[[1,0],[0,r^2]]になる計量テンソル gdij (2, 2, 10, 10)の作成[br]gdij = np.zeros((2, 2, 10, 10))[br]gdij[0, 0, :, :] = 1.0[br]gdij[1, 1, :, :] = R**2[br]# 反変ベクトル AU=Auj (2, 10, 10) メッシュテンソル場のどこでも[1,1]にする。[br]AU = np.ones((2, 10, 10))[br]# --- 添字の上げ下げ: AD = A_i = g_ij * A^j ---[br]AD = np.einsum('ijkl,jkl->ikl', gdij, AU)[br]print("gdij.shape=",gdij.shape,"AU.shape=",AU.shape,"AD.shape=",AD.shape)[br]# 共変ベクトルADは、理論上: AD0 = g_00 * AU0 = 1 * 1 = 1、AD1 = g_11 * AU1 = r^2 * 1 = r^2[br]print("AD[0] ( 1.0?):", np.allclose(AD[0], 1.0))[br]print("AD[1] ( R^2?):", np.allclose(AD[1], R**2))[br] [br]def drawSize2D(P):[br] fig, ax = plt.subplots(1, 1, figsize=(7, 7), subplot_kw={'projection': '3d'})[br] i_size, k_size = P.shape[0], P.shape[1][br] #テンソルの内容をその位置にかく[br] for iv in range(i_size):[br] for kv in range(k_size):[br] height = P[iv,kv][br] ax.quiver(iv, kv, 0,0,0,height, length=0.1, color='red', linewidth=1) [br] ax.set_xlim([0, 10]);ax.set_ylim([0, 10]);ax.set_zlim([0, 10])[br] ax.set_xlabel('ij');ax.set_ylabel('k');ax.set_zlabel('l')[br] plt.show()[br][br]# ADのi軸を高さに置換すると、i軸のベクトルは[0]で1.0、[1]でR**2になる。[br]# L2 = A_i * A^j (全空間での長さの2乗を計算)[br]L2 = np.einsum('ikl, ikl -> kl', AD, AU)[br]drawSize2D(L2)[br]print(L2)[br]#================================================[br][br]gdij.shape= (2, 2, 10, 10) AU.shape= (2, 10, 10) AD.shape= (2, 10, 10)[br]AD[0] ( 1.0?): True[br]AD[1] ( R^2?): True[br][[ 1.01 1.01 1.01 1.01 1.01 1.01 1.01 1.01 1.01 1.01][br] [ 2.44 2.44 2.44 2.44 2.44 2.44 2.44 2.44 2.44 2.44][br] [ 6.29 6.29 6.29 6.29 6.29 6.29 6.29 6.29 6.29 6.29][br] [ 12.56 12.56 12.56 12.56 12.56 12.56 12.56 12.56 12.56 12.56][br] [ 21.25 21.25 21.25 21.25 21.25 21.25 21.25 21.25 21.25 21.25][br] [ 32.36 32.36 32.36 32.36 32.36 32.36 32.36 32.36 32.36 32.36][br] [ 45.89 45.89 45.89 45.89 45.89 45.89 45.89 45.89 45.89 45.89][br] [ 61.84 61.84 61.84 61.84 61.84 61.84 61.84 61.84 61.84 61.84][br] [ 80.21 80.21 80.21 80.21 80.21 80.21 80.21 80.21 80.21 80.21][br] [101. 101. 101. 101. 101. 101. 101. 101. 101. 101. ]][br]

前に[url=https://www.geogebra.org/m/twxxx3yq#material/kbhd4tvk]同時性も観測者によるものか？[/url]で求めたように、[br][br]系Sから系S’への[b]ローレンツ変換[/b]の式は[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][b][color=#0000ff][size=150]tt = gamma * t - alpha * x[br]xx = -alpha * t + gamma * x[br][/size][/color][/b]と簡単になりますね。[br][br]tt、xxは座標だから、反変ベクトルです。[br]座標の基底自体がどうなったのかを表示すために[br]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]=1/sqrt(1-beta**2)=1/0.8=5/4=[b]1.25[/b][br][b]alpha[/b]= 0.6*1.25=3/5*5/4=3/4=[b]0.75[/b][br]となるので、この値で極座標系の場のゆがみのように、[br][b]ミンコフスキー空間[/b]のゆがみがどう見えるかを視覚化できます。[br][br]特殊相対性理論では、不変量は s[sup]2[/sup] = x[sup]2[/sup] - (ct)[sup]2[/sup]です。[br]これでは、ユークリッド空間の距離d[sup]2[/sup]=x[sup]2[/sup]+(y)[sup]2[/sup]と形があいません。[br]時間を虚軸Y(ict), 空間を1次元の実数軸X(x)、標準基底ベクトルをe1,e2={1,0},{0,1}とし、[br]y=ictとおくと、位置ベクトルx={x, y}の原点Oからの[br][b]ミンコフスキー距離d=sqrt(x[sup]2[/sup]+y[sup]2[/sup])=sqrt(x2-(ct)[sup]2[/sup])を距離と決めることができる。[br][/b]なんと、形式的にはミンコフスキー距離はユークリッド距離と同じにかける。[br]代入すると、2次元平面の双曲線を表す。そして、時間と空間の対等性が見えてくる。[br]これが、前の[url=https://www.geogebra.org/m/twxxx3yq#material/kbhd4tvk]同時性も観測者によるものか？[/url]でやったことでした。[br][br]しかし、虚数時間をつかってまで、[b]ユークリッド計量I=diag(1,1)[/b]にあわせる必要はないでしょう。[br][b]ミンコフスキー計量はdaig(-1,1)[/b]にすることで、虚数時間を不要にできます。[br]そして、この計量で、ローレンツ変換のヤコビアンから、[b]変換後の計量を求めればよいです。[br]なんと、もとのdaig(-1,1)のまま[/b]です。[br][br]また、[b]ヤコビアンの行列式の絶対値も１[/b]だから、時空の全体の大きさ（体積）が変わらないでのす。[br]

[color=#9900ff][b][u][size=150]課題：[b][size=150]座標系をミンコフスキー空間にしたときの場のゆがみを視覚化してみましょう。[br][/size][/b][/size][/u][/b][/color][br]ローレンツ変換された系は斜交座標系です。[br]斜交座標系の計量テンソルを求め、反変ベクトルを[1,1]の平坦なメモリして、共変ベクトルがどうなるか、L２がどうなるかを、上で使った極座標のテンソル場のゆがみの表示のように求められます。[br]python[br][IN][br]#=================================================[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]beta = 0.6 # velocity[br]gamma = 1/sqrt(1-0.6**2)[br]alpha = gamma*beta[br]print("gamma=",gamma,"alpha=", alpha)[br]x, t = symbols('x t')[br][b][color=#0000ff]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][/color][/b][br][b]#　座標変換式[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][/b]func_t = lambdify((t, x), tt, 'numpy')[br]func_x = lambdify((t, x), xx, 'numpy')[br]t_vals = np.linspace(0, 2, 11) # 11本の線[br]x_vals = np.linspace(0, 2, 11)[br]fine_samples = np.linspace(0, 2, 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] ax2.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] ax2.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]ax2.quiver(0,0,float(m00),float(m01), color='blue',linewidth=1,angles='xy', scale_units='xy', scale=1) [br]ax2.quiver(0,0,float(m10),float(m11), color='blue',linewidth=1,angles='xy', scale_units='xy', scale=1) [br]ax2.set_title("minkovski(t, x)")[br]ax2.set_aspect('equal')[br]plt.show()[br][br][b]# 座標系部分の計算は不要（上げ下げだけだし、Gは座標に依存しない定数だから）[br][/b]# 計量テンソル gdij (2, 2)[br]gdij = G[br]# 反変ベクトル Auj (2) の例[br]AU = np.ones((2))[br]AD = np.einsum('ij,j->i', gdij, AU)[br]print("AU=",AU)[br]print("AD=",AD)[br]# ADのi軸のベクトルは[0]で-1.0、[1]で1になる。[br][b][color=#0000ff]# L2 = A_i * A^j (全空間での長さの2乗を計算)[br]L2 = np.einsum('i, j -> ', AD, AU)[br]print(L2)[br][/color][/b]#====================================[br][OUT][br][b][size=150][color=#0000ff]gamma= 1.25000000000000 alpha= 0.750000000000000[br]ミンコフスキーの計量テンソル g: [[-1.0, 0],[0, 1.0]][br]ヤコビアンは 1.00000000000000[br]AU= [1. 1.][br]AD= [-1.00000000000000 1.00000000000000][br]0[/color][/size][/b][br]

[b][size=150]＜L[sup]2[/sup]=０の意味＞[br][br][/size][/b]数学でみると、AU = [1, 1] と A_D = [-1, 1]の内積がL[sup]2[/sup]=１×(-1)+1×1=０になるということです。[br]物理的には、どうでしょう。[br]c=1としているので、傾き１の線はx=ctという直線上の点です。[br]AU=[1,1] はｔ＝１、ｘ＝１のだから、x=ctという光の通る線上の点ですね。[br]つまり、この45度線という光線は、「時間の経過も距離もない特異な領域」だということです。[br]L2=0はこの光線上では保存されます。不変量になります。[br]光速一定が、[b][color=#0000ff]グラフ上で長さがない点の集まり、「光の軌跡（光円錐ライトコーン）」[/color][/b]という形で証明されています。[br][b]光の軌跡の長さ（世界間隔）[/b]は常に 0 です。Nullです。[br][br]では、この光線以外の点はどうなるでしょう。[br]AU = [1.5, 1.0]（時間の方が長い）なら、AD = [-1.5, 1.0]にすればL[sup]2[/sup]は-1.25とマイナスになり（[b][color=#0000ff]時間的[/color][/b]）、[br]原点Oから上が未来の円錐の内側、原点から下が過去の円錐の内側です。[br][b]光速のラインよりはスピードが遅い時空なので、時間的に到達可能な領域[/b]という意味です。[br]このコーンの中を移動した軌道を世界線といいます。現象の因果関係が成り立ちます。[br]一方で、コーンの外部はどうでしょう。[br][br]AU = [1.0, 1.5]（空間の方が長い）にすればL[sup]2[/sup]はプラスになります（[color=#0000ff][b]空間的[/b][/color]）。[br]上下のコーンの外側であっても、原点Oから時間軸の正の側が未来、負の側が過去になりますが、[br]光速のラインを超えないと到達できないので、「[b]他所[/b]」と呼ばれます。[br]光速を超えるという、不可能なことができないとその時空点、[b]存在はするが到達できないという意味[/b]で[br]空間的という名前がつきます。[br][br][color=#9900ff][b][u][size=150]課題：ライトコーンのイメージをかいてみよう。[br][/size][/u][/b][/color][br]空間軸はｘ軸だけだと、イメージがわきにくい。だから、ｘｙ軸にして、時間とともに移動ができる、[br]移動した跡、世界線がかける場所を作りたい。[br]そして、ｚ軸の名前を時間軸ｔにしよう。