ローレンツ多様体上での固有時間
さて唐突ですが,相対性理論の運動学を支配する根本的な幾何学構造を示すのは次の命題であることは,よく知られています。
"ローレンツ多様体(Lorentz manifold)の上では,三角形の2辺の長さの和は他の1辺の長さより小さい"
という命題ですね。
今日は,これを証明してみます。
これは,次元が2以上ならLorentz多様体である限り成立する命題です。
証明は平易です。そして2次元で成立するなら任意次元で成立するのは,ほぼ自明です。
そこで,対象を2次元多様体とします。
多様体の計量(metric)は,ds2≡c2dτ2=gijdxidxj (i=0,1)で与えられます。
一方,平坦な時空のMinkowski計量は,ds2=ηijdXidXj;η00=1,η11=-1,η01=η10=0 です。
X0=ct,X1=xと書けばds2=c2dt2-dx2です。
そして,ds2≡c2dτ2=gijdxidxj=ηijdXidXjなる表式が可能であることが等価原理の1つの表現を与えます。
つまり,各時空点でMinkowski計量になる局所的な一般座標変換;
Xi=Aij(x)xjが必ず存在することが可能ということです。
Minkowski空間では,P1=(X10,X11)とP2=(X20,X21)間の距離の平方は,|P1P2|2=(X10-X20)2-(X11-X21)2となります。
そして,第3の点P3=(X30,X31)があるとき,
不等式:|P1P3|+|P3P2|≦|P1P2|が成り立つことは,
簡単な計算で示すことができます。
これは簡単な計算なので具体的計算のプロセスは省略します。
上記表現の等価原理により,一般のLorentz多様体の接近した3点P1,P2,P3についても,常にある共通な微小領域でのMinkowski計量の座標を取ることが可能です。
そこで,この3点についても,測地線長さという意味で,不等式:
|P1P3|+|P3P2|≦|P1P2| が成立することがわかります。
したがって,この多様体上での直線分である測地線で作った三角形では三角形の2辺の長さの和は他の1辺の長さより常に小さいといえます。
このこととds=cdτなることから,固有時間τは測地線(平坦な空間での直線)の上にあるとき,最大値を取ることがわかります。
つまり,重力場の中では,その重力に逆らわず運動,あるいは静止している状態が最も固有時間が長い,つまり,最も歳を取ることになります。
そこで,"その運動経路=自由重力落下の測地線"から少しでも逸れて重力以外の機械的動力を用いて宇宙旅行などをすると,回り道をして測地線からはずれた三角形の2辺以上の運動をすることになります。
そこで,彼の経験する固有時間は重力に逆らわない場合よりも短かいことになり,結局は時間の遅れが生じて歳を取るのが遅れてしまいます。
(※↑例えばウラシマ効果,or 双子のパラドックス。)
http://fphys.nifty.com/(ニフティ「物理フォーラム」サブマネージャー) TOSHI
人気blogランキングへ ← クリックして投票してください。(1クリック=1投票です。1人1日1投票しかできません。)
← クリックして投票してください。(ブログ村科学ブログランキング)
![]() 物理学 |
| 固定リンク
「105. 相対性理論」カテゴリの記事
- 記事リバイバル⑪(ロ-レンツ変換の導出)(2019.01.16)
- タキオンと因果律(再掲)(2013.01.02)
- Diracの空孔理論(2)(荷電共役)(2011.12.20)
- Diracの空孔理論(1)(2011.11.29)
- 水素様原子の微細構造(補遺5-2)(2011.11.23)
「307. 幾何学(トポロジー・他)」カテゴリの記事
- 記事リバイバル③(一筆書き(トポロジー)入門)(2018.10.27)
- 分子と点群(2)(2009.02.26)
- 分子と点群(1)(2009.02.21)
- 相対論の幾何学(第Ⅲ部-4:coffee-break)(2009.02.17)
- 相対論の幾何学(第Ⅲ部-3)(リーマン幾何学(3))(2009.02.13)
この記事へのコメントは終了しました。
コメント