[size=150][b]このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][/b][/size][size=150][size=100][br]前回まで「[b]慣性系[/b]」の相対性原理、つまり[b]特殊[/b]な相対性理論を見てきたね。[br]特殊相対性理論では平坦な時空間、ミンコフスキー時空間でしくみをつかんだ。[br]テンソルの微分を調べることで、曲がった時空間、リーマン時空間でしくみがつかめるようになった。[br]そして、アインシュタインのテンソルによって、エネルギー保存則がなりたつ曲率をつかんだ。[br][br]今回からは、系が[b]加速[/b]するときや[b]重力[/b]と[b]光[/b]の関係を調べる[b]一般[/b]の相対性原理を探っていこう。[/size][/size]

これまでの運動は、地面に水平な運動に速さｖで進む車の動きが中心だった。[br]そして、観測するのは静止系Sと慣性系S'の２つだった。[br]この２つの座標系の時空データをつなぐのがミンコフスキー空間のローレンツ変換だったね。[br]光速ｃに対する移動速度ｖの割合を[b]ｋ＝v/c[/b]とするとき、[br][b]斜辺が１、残りの2辺がｋ,ｌの直角三角形[/b]を考える。[br]ピタゴラスの定理から計算されるｌ＝sqrt(1- k[sup]2[/sup])で、ローレンツの短縮率は[b]ｌ。[/b][br]光速に近いｖで移動する車S'系では、S系からみて[br][color=#0000ff][b]長さ、時間[/b]がｌ倍に縮み[/color]、[br][color=#0000ff][b]速さ、質量[/b]がｌ分の１倍に大きくなる[/color]のだった。

[b][size=150]＜エレベータのひも切れたら中の人はどうなるか＞[/size][/b][br]・その前に慣性力を確認しておきましょう。[br]電車が慣性系になっている（静止または等速運動）しているとします。[br]F=ｍaで、a=0からa≠０になることを加速が始まるといいます。[br]加速が始まるとFは≠０になりますね。この力を慣性力と言います。[br]慣性力は加速と反対に働きます。[br]慣性力は、力を加えてないのに働く力なので、みかけの力と呼ばれたりする。[br]電車が前に急発進すると、[b]前に加速するから慣性力は後ろ[/b]にはたらきます。[br]電車が急停止すると、[b]後ろに加速するから慣性力は前[/b]にはたらきます。[br][br]・その前にふつうに上の階にエレベータで上るときを考えてみましょう。[br]まず、エレベータに乗るとき、エレベータは静止しています。[br]エレベータが上向きに動き出します。[br]エレベータが[b]上向きに加速する[/b]と、[b]重力（下向き）[/b]と[b]慣性力（下向き）[/b]を感じるでしょう。[br]エレベータのかごにかかる力は両方下向きですね。[br][br]・エレベータのひもが切れたら、重力加速度で下向きに加速します。これが自由落下。[br]すると、[b]重力（下向き）と慣性力（上向き）が同じ加速度による力が逆向きにかかりつりあいます。[br][/b]だから、重力の消えた無重力状態になると想像できるね。[br][br][color=#0000ff][b][size=200]つまり、エレベーターのかごの中では、[br]「自由落下と無重量状態は同じ」[br]と考えてよいでしょう。[/size][/b][/color]

[b][size=150]＜重力と加速度は同じものか＞[br][/size][/b][br]A。地球を発射する前のロケットの乗員には地球の重力Gが働いている。[br]B。地球の重力がかからなくなる距離までとべば、ロケットの中の乗員は無重量になるでしょう。[br]C。その後、[b][color=#0000ff]重力加速度と同じ量の加速をするとロケットの乗員には重力Gと同じ力が働く[/color][/b]。[br]さて、AとBを比べると、ロケットの乗員にとっては同じ力Gが働く。[br]ロケットの乗員からすると「[b]静止時の重力と無重量からの加速は同じもの[/b]」と考えてもよいのではないか。[br][br][b][size=200]慣性質量Mi＝重力質量Mg[br][/size][/b][br][b][size=150]＜等価原理＞[/size][/b][br]ロケットでの移動とか、エレベータの中での移動とか、重力が働く系でも、宇宙の中のせまい範囲では加速度によって打ち消すことができます。[br]すると、局所的には慣性系として扱えるので、特殊相対性理論が成り立つ。[br]これって、[color=#9900ff]曲線を細分すると、直線に見える[/color]というのと同じですね。[br]だから、[br][color=#0000ff][b][size=150]「どんな場所でも局所慣性系では、すべての物理法則が同じ形で成り立つ。」[br][/size][/b][/color]とアインシュタインは考えました。[br]これが特殊相対性理論で「慣性系が等価であるとしたこと、等価原理」を一般化したのです。[br]それを強調するために、一般相対性理論、等価原理と言われていますね。[br][br][b][size=150][br]＜広大な宇宙の時空では＞[/size][/b][br][br]しかし、これは局所的な話であって、宇宙の広大な広さとは別です。[br]ロケット、エレベータ自体で重力が消えたわけではありません。[br]大きな質量の物体からの距離が大きくなると引力が小さくなっても、落ちる力はかかり続けています。[br]この[b][color=#0000ff]重力が消えて見える局所の事実と重力は消えないという大局の事実を両立[/color][/b]させる道具が[br][b]リーマン幾何学[/b]です。[br][br][color=#0000ff]まがった線でも細分すると線分として見えて、それを接続すると曲線がつかめる。[br]まがった時空間でも連続なら接平面（局所ミンコフスキー時空間）があり、それを接続すると、曲がった時空間全体がつかめる。[br][br][/color]つまり、局所慣性系をつないでいくと、重力によって曲がった時空になるというわけです。[br][br]その曲がりの総体は重力のエネルギーの全体と等しいのではないか。[br]それがアインシュタイン方程式のイメージです。[br][br][size=200]幾何学＝物理学です。[br][br][b]時空間の幾何学｛Gij｝ [br]＝物質の分布とエネルギー｛Tij｝[br][/b][/size][br][br][br]

加速するロケットの中で、左の壁から右の壁へレーザーを撃つと、光が進んでいる間に床がせり上がってきます。ロケットの中では、光が[b]放物線を描いて曲がった[/b]ように見えるはず。[br]そこで、さっきの等価原理を使ってみよう。[br]「加速で起きることは、重力下でも起きる」のが等価原理です。今、ロケットの加速が原因で、ロケットの中の光は曲がりました。だから、[b]重力がある場所でも光は曲がるはずだね。[/b][br]質量のない光がなぜ曲がるのか、「光の通り道」である[b]時空そのものが曲がっているいう結論が出ますね。[br][/b][br]言い換えてみよう。[br][b][color=#0000ff][size=150]光は時空の網目に対して直進する。[br]加速や重力によって時空の網目がゆがむ。[br][/size][/color][/b]網目に対して直進している光でさえ曲がって進むというロジックができました。[br]

重力によって、時空が曲がるというのはこんな感じです。網目の上を直進しても光は重力のもとになる物質に吸い寄せられるように進むことになるでしょう。

[b][size=150]＜時空の曲がり{Gij}＝物質の分布{Tij}＞[/size][/b][br][br]アインシュタインテンソルはGij = Rij −1/2gij Rだった。[br]これに符号する物質量は[br]運動量テンソルT[sup]mn[/sup]から導かれる。（μνとかかずに、mnにしました。）[br]T00=W:電磁場のエネルギー密度。[br]T0i,Ti0=Si：単位断面を抜け出すエネルギーの流速。[br]Tjk=rjk：k軸に垂直な単位断面を単位時間にj方向に抜ける運動量の流れ。流れの密度。[br]を成分とする対称行列です。[br]T[sup]mn[/sup][br]=Matrix([[W,Sx,Sy,Sz],[Sx,rxx,rxy,rxz],[Sy,ryx,ryy,ryz],[Sz,rzx,rzy,rz]])[br]比例定数はc=1の単位系（自然単位系）で、[br][br][size=200][color=#0000ff]G[sub]mn[/sub]=R[sub]mn[/sub]-1/2g[sub]mn[/sub]R=8πGT[/color][sub][color=#0000ff]mn[b][br][/b][/color][/sub][size=100][color=#0000ff]（c=1でないときは、左辺はc^4で割ります。）[/color][br][/size][/size]これが、アインシュタインの方程式です。[br]これは重力と時空のゆがみの関係なので、[b]重力場の方程式[/b]という名もありますね。[br]くわしい導き方は、[br]ニュートン理論、マクスウェルの方程式の量を4次元化（一般座標）にして関係性をさぐる方法と、[br]テンソルにたいする測地線の方程式を求める、最小作用の原理、[b]変分法[/b]と共役微分を駆使する方法などがありますが、詳細は略します。[br][br]ただ、静止宇宙を可能にするために、左辺に宇宙項（宇宙定数）という[br]計量テンソルg[sub]mn[/sub]の定数Λ（ラムダ）倍を[br]加減してよいと、アインシュタインが提案したのですが、宇宙の膨張論により、彼自身撤回しました。[br]しかし、その後は、ダークマターなどの関係で、観測上は存在は否定されていません。[br]