![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
#hr CENTER:←[[相対論2008年度第９回]] [[目次に戻る>相対論2008年度]] [[相対論2008年度第11回]]→ #hr #contents #br &color(Red){先週「相対論的因果律」が超光速移動があると破れてしまう、という話をしたが、理解が不十分な感じだったので、超光速移動がある時にタイムマシンができてしまう例を示す[[プログラム>http://www.phys.u-ryukyu.ac.jp/~maeno/rel2008/MMD.html]]を見せた。}; &color(Red){以下は先週の続きから。}; この「４次元的距離」という考え方をすると、ローレンツ短縮やウラシマ効果を別な形で理解することができる。ローレンツ短縮は、「動いている棒は長さが縮む」という現象である。右の図は、棒が静止している座標系で、棒の先端と後端の軌跡を示した。図の水平矢印は、棒と同じ動きをしている人が観測する「棒の長さ」である。 次に、棒に対して動いている人を考える。同時の相対性により、この観測者の同時刻は傾いている。この人が棒の長さを測る時には、自分にとっての同時刻を基準に測るであろうから、「棒の長さ」は図の斜め矢印であると認識する。 水平矢印と斜め矢印は、グラフ上の見た目では斜めの方が長く見えるが、４次元的長さの自乗の定義が&mimetex(x^2+y^2+z^2-(ct)^2);であることを思い出すと、水平矢印の長さXに対し、斜め矢印は長さが&mimetex(\sqrt{X^2-(ct)^2});となる(普通のピタゴラスの定理とは&mimetex((ct)^2);の前の符号が変わっていることに注意)。 ウラシマ効果は、動いている方が経過する時間が短いという効果であるが、それは図の斜め線の方が垂直な線より短いということで理解できる。 #ref(相対論2007年度第10回/urashima4.png) グラフを見ると斜め線の方が長く見えるが、今長さの定義が４次元的距離で定義されていることに気をつけなくてはいけない。そのため、真っ直ぐな線の４次元的距離の自乗は&mimetex(-(cT)^2);であり、斜め線の４次元的距離の自乗は&mimetex(-(cT)^2+X^2); となる。「距離の自乗」がマイナスになるのは「自乗」という言葉の本来の意味からすると奇妙であるが、今「距離の自乗」は&mimetex(-(cT)^2+x^2+y^2+z^2);と定義されているのでこれでよい。本来の意味とは違う使い方をしていることになるが、物理専用の用語なのだと思って納得して欲しい。 マイナスになるのが気になるのであれば、「時間的な距離を測る時には距離の自乗は&mimetex((cT)^2-x^2-y^2-z^2);と定義する」と決めておいてもよい。 **6.2 世界線の長さと固有時 [#xbb281ca] 粒子の軌跡（４次元時空中の曲線になる）を「世界線」と呼ぶ。世界線の長さを上で定義したdsを使って測定する。dsはローレンツ変換によって不変な量である。適当なローレンツ変換をしても値は変らないのだから、計算しやすい座標系で計算すればよいことになる。そこで今考えている粒子がちょうど静止しているような座標系を採用したとする。その座標系を(T,X,Y,Z)とすると、明らかに粒子の運動した線に沿っていけばdX=dY=dZ=0 であるから、 #mimetex( ds^2 = -c^2 dT^2) となる。つまり、dsはその物体が静止している座標系で測った時間経過に比例する。比例定数はicである（iがついてしまうのは、&mimetex(ds^2);をspacelike conventionで定義したためである）。&mimetex(ds^2=-c^2d\tau^2);と書くと、このτがまさに、その物体が静止している座標系で測った時間である。つまり、この物体が持っている時計の刻む時間であると考えて良い。そこでτを固有時と呼ぶ。 #mimetex(d\tau^2 = dt^2 - {1\over c^2}(dx^2+dy^2+dz^2) ) となる((固有時の定義の符号は常にこの形。座標時tの符号に合わせる。))。固有時τに対し、座標系に対して静止している人にとっての時間tは「座標時」と呼ばれる。この式の両辺を&mimetex(dt^2);で割って平方根を取ると、 #mimetex( {d\tau\over dt}=\sqrt{1-{{1\over c^2}}\left(\left({dx\over dt}\right)^2+\left({dy\over dt}\right)^2+\left({dz\over dt}\right)^2\right)}=\sqrt{1-\beta^2}) となる。つまり、固有時の増加は座標時の増加の&mimetex(\sqrt{1-\beta^2});倍である。 固有時は、各物体ごとに違う進み方をする。上の式からわかるように、寄り道をすると&mimetex(dx^2);が多くなり、結果として固有時の進みは遅れる（ウラシマ効果）。双子のパラドックスの計算なども、運動している物体の固有時が短くなる、と考えれば簡単である。 我々の知っている粒子の世界線はtime-likeであるかnull-likeであるか、どちらかである。世界線がspace-likeだということは超光速で運動している粒子であるということで、そんなものは見つかっていない。もし見つかったら、そのような粒子は見る人の立場によっては未来から過去に向かって走ることになるので、因果律に抵触することになるだろう。 世界線がnull-likeになると、固有時の変化&mimetex(d\tau);は0になってしまう。よって光のように光速で動くものに対しては固有時が定義できない（あるいは定義してもそれは変化しない）。 ----''[問い6-1]'' 半径R、角速度ωで等速円運動している物体がある。座標時では１周に&mimetex({2\pi\over \omega});だけ時間がかかるが、固有時ではどれだけの時間になるか？ **４元ベクトルの前に：３次元ベクトルの回転の復習 [#h6e242f4] 次の節で４次元時空内でのベクトルを考える。ローレンツ変換は４次元時空間での「回転のようなもの」と解釈できるので、４次元に行く前に３次元空間における回転を復習しておく。 ３次元の座標&mimetex(x^i(i=1,2,3));を回転させる座標変換は、 #mimetex( \left(\begin{array}{c} x^{\prime1}\\x^{\prime2}\\x^{\prime3} \end{array}\right)=\left(\begin{array}{ccc} A^1_{~1}&A^1_{~2} &A^1_{~3} \\ A^2_{~1}&A^2_{~2} &A^2_{~3} \\ A^3_{~1}&A^3_{~2} &A^3_{~3} \\ \end{array}\right) \left(\begin{array}{c} x^{1}\\x^{2}\\x^{3} \end{array}\right)) のように行列で書ける。 CENTER: #ref(相対論2007年度第11回/rotVec.png) これをテンソルで書けば&mimetex(x^{\prime i}= A^{i}_{~j}x^j);)となる。Aには具体的には例えば&mimetex(\left(\begin{array}{ccc}\cos\theta&\sin\theta &0 \\ -\sin\theta&\cos\theta &0 \\ 0&0 &1 \end{array}\right));のような行列が入る。 このように座標系が回転した時、３次元空間のベクトル&mimetex(V^i(i=1,2,3));は、 #mimetex( \left(\begin{array}{c} V^{\prime1}\\V^{\prime2}\\V^{\prime3} \end{array}\right)=\left(\begin{array}{ccc} A^1_{~1}&A^1_{~2} &A^1_{~3} \\ A^2_{~1}&A^2_{~2} &A^2_{~3} \\ A^3_{~1}&A^3_{~2} &A^3_{~3} \\ \end{array}\right) \left(\begin{array}{c} V^{1}\\V^{2}\\V^{3} \end{array}\right)) (テンソルで書けば&mimetex(V^{\prime i}= A^{i}_{~j} V^j); ) のように、同じ行列を使って回転される。そして、二つのベクトル&mimetex(V^i,W^i);があった時、その内積&mimetex(\begin{array}{c} (V^1 V^2 V^3) \\ \\ \\\end{array}\left(\begin{array}{c} W^1 \\ W^2\\ W^3\end{array}\right)=V^iW^i=V^1W^1+V^2W^2+V^3W^3);は保存する。そのことは、行列&mimetex(A^i_{~j});の性質 #mimetex(\left(\begin{array}{ccc} A^1_{~1}&A^2_{~1} &A^3_{~1} \\ A^1_{~2}&A^2_{~2} &A^3_{~2} \\ A^1_{~3}&A^2_{~3} &A^3_{~3} \\ \end{array}\right)\left(\begin{array}{ccc} A^1_{~1}&A^1_{~2} &A^1_{~3} \\ A^2_{~1}&A^2_{~2} &A^2_{~3} \\ A^3_{~1}&A^3_{~2} &A^3_{~3} \\ \end{array}\right)=\left(\begin{array}{ccc} 1&0 &0 \\ 0&1 &0 \\ 0&0 &1 \\ \end{array}\right)) RIGHT:(行列Aの性質)&aname(AijAij); からわかる。この式をテンソルで書けば&mimetex(A^i_{~j}A^i_{~k}=\delta_{jk});である。この式の左辺の掛け算は、&mimetex(A^i_{~j});の前の足どうしが同じ添字で足し上げられていることに注意。つまり行列の掛け算ルールに即するためには前の方を転置せねばならない（上の行列での表現もそうなっている）。 また、回転の行列ならばこのような性質を持っていることは、ベクトル&mimetex(\left(\begin{array}{c} 1\\0\\0\end{array}\right),\left(\begin{array}{c} 0\\1\\0 \end{array}\right),\left(\begin{array}{c} 0\\0\\1 \end{array}\right));をこの行列で回転させると&mimetex(\left(\begin{array}{c} A^1_{~1}\\A^2_{~1} \\A^3_{~1} \end{array}\right),\left(\begin{array}{c} A^1_{~2}\\A^2_{~2} \\A^3_{~2} \end{array}\right),\left(\begin{array}{c} A^1_{~3}\\A^2_{~3} \\A^3_{~3} \end{array}\right));となることからわかる。 #ref(相対論2007年度第11回/Amat.png) &mimetex(\vec v_i=\left(\begin{array}{c} A^1_{~i}\\A^2_{~i} \\A^3_{~i} \end{array}\right));と置いてみると、&mimetex(\vec v_i\cdot\vec v_j=\delta_{ij});である。これはすなわち、([[行列Aの性質>#AijAij]])が成立するということなのである。 &mimetex(\vec v_i\cdot\vec v_j=\delta_{ij});が成立することは内積&mimetex(\vec a\cdot\vec b);が回転という座標変換で不変であることと、&mimetex(\vec v_i);が座標変換を行う前は&mimetex(\left(\begin{array}{c} 1\\0\\0\end{array}\right),\left(\begin{array}{c} 0\\1\\0 \end{array}\right),\left(\begin{array}{c} 0\\0\\1 \end{array}\right));であったことを考えれば当然である。 *学生の感想・コメントから [#s1f4249e] &color(Green){授業の最初の未来から過去へ移動する場合の説明で、先に移動先が出て、後で移動前のが消えてましたが、瞬間移動してないのに異動先に自分がいるんですか？}; &color(Red){いえ、あれは瞬間移動してます。実験装置の座標系で瞬間移動しているので、別の座標系でみると「未来→過去」という移動をしていることになるのです。}; &color(Green){いつかタイムマシンを発明してほしいものだなぁ。}; &color(Red){君ががんばれ。}; &color(Green){&mimetex(ds^2);の表記で、空間的、ヌル的、時間的とあってどれも意味的には同じで使う人の流儀によるのなら、まぎらわしいので統一して欲しいです。}; &color(Red){違う違う。&mimetex(ds^2);が空間的な時に正になるか、空間的な時に負になるかは流儀によって違いますが、「時間成分より空間成分が大きい時は空間的」という物理の部分は流儀にはよりません。まぁ、&mimetex(ds^2);が正の時に空間的なのか時間的なのかが流儀によるのは面倒ですが、統一するためには世界中の（相対論をやっている）物理学者のうち半分を説得しなくちゃいけません。}; &color(Green){４次元での三平方の定理が、ローレンツ短縮を説明するためのこじつけにしか見えないんですけど！}; &color(Red){こじつけってのは言葉が悪いなぁ。ああいうふうに符号がひっくり返った三平方の定理になる理由は（何度も言っているけど）物理では不変量が大事だからです。「何が不変量なのか？」を理論的・実験的に見極めたからこそああやっているわけです。}; &color(Green){[[相対論2008年度第７回]]の最初で「ct'軸の傾きは&mimetex({c\over v});である」とありますがなぜですか？}; &color(Red){その先に（つまり、ct'軸上でx方向にv進むと、ct軸方向にc進む）と書いてありますね。ct'軸は、x-ct座標系でみると時間tでvtだけ進む人にとっての座標系だからです。}; &color(Green){物理において、座標変換すると変わってしまう量はあるんですか？}; &color(Red){そりゃもちろんあります。ただし、方程式の左辺と右辺が連動して変わる場合があって、その結果方程式はちゃんと成立していたりします。}; &color(Green){幾何学と物理が合わないのが相対論の難しいところだと思いました。}; &color(Red){実際のところ、相対論のためには「目に見えるとおりでない幾何学」を使っていかなくてはいけないのです。}; &color(Green){４次元的な長さは、ついつい間違いそうだ。}; &color(Red){慣れるまではなかなか難しいですね。}; &color(Green){行列苦手です（複数）}; &color(Red){うーん、こういう人多いなぁ。でも行列を使うことで計算が劇的に簡単になることはよくあるんですよ。最初我慢して使っていけば、便利さがわかってくると思います。}; &color(Green){線形代数の勉強しないと・・・（これも多数）}; &color(Red){しておいた方がいいですよ。量子力学でも役立ちます。}; &color(Green){初めて行列を分かりやすく感じました！}; &color(Red){もともと、計算を簡単にするために考え出されたものなんですけどね(^_^;)。どうもみんな難しく考えすぎているような気がします。};
