![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
#hr CENTER:←[[相対論2008年度第10回]] [[目次に戻る>相対論2008年度]] [[相対論2008年度第12回]]→ #hr #contents #br &color(Red){先週が休みだったため、学生さんも「２週間前のことなんて忘れた」という顔をしているため、復習を長めにやった。しかしそれでも反応が鈍かったので、今日はあまり進んでない。}; **6.4 ４元ベクトル [#t3f9870c] ３次元のベクトル&mimetex(\vec V=(V_x,V_y,V_z));は座標変換の時に、座標&mimetex(\vec x=(x,y,z));と同じ行列で変換される。その時二つのベクトルの内積が不変量であった（内積のもともとの定義は二つのベクトルの長さと、その間の角のcosの積である。回転によって長さと角度は不変）。 同様に、４成分のベクトル&mimetex(V^\mu(\mu=0,1,2,3));を考える((少し前から使っているが、&mimetex(i,j,k,\cdots);などのアルファベットは1,2,3（３次元空間）の添字として、&mimetex(\mu,\nu,\rho,\cdots);などのギリシャ文字は0,1,2,3(４次元時空)の添字として使う、というのが相対論の本でよく使われる約束である。))。 座標がローレンツ変換(&mimetex(x^{\prime\mu}=\alpha^{\mu}_{~\nu}x^\nu);)された時、このベクトルは&mimetex(V^{\prime\mu}=\alpha^{\mu}_{~\nu}V^\nu);と同様のローレンツ変換を受けるとしよう。一例をあげると、 &mimetex( \begin{array}{rlcrl} ct'=&\gamma(ct-\beta x) & &V^{\prime0}= &\gamma(V^0-\beta V^1) \\ x'=&\gamma(x-\beta ct) & &V^{\prime1}= &\gamma(V^1-\beta V^0) \\ y'=&y & &V^{\prime2}= &V^2 \\ z'=&z & &V^{\prime3}= &V^3 \\ \end{array}); この時、 &mimetex(\alpha^\mu_{~\nu}=\left(\begin{array}{cccc} \gamma&-\beta\gamma &0 &0 \\ -\beta\gamma&\gamma &0 &0 \\ 0&0 &1 &0 \\ 0&0 &0 &1 \\ \end{array}\right)); このような変換にしたがうベクトルを４元ベクトルと言う。後で出てくる４元速度、４元加速度、４元力などは全て４元ベクトルである。二つの４元ベクトル&mimetex(V^\mu,W^\mu);を考える。では、このようなベクトルによって作られる、座標変換（この場合ローレンツ変換）の不変量はどのようなものだろう。 この二つのベクトルの内積を３次元でと同じように&mimetex(V^0W^0 + V^1W^1+V^2W^2+V^3W^3);と定義したとすると、これはローレンツ変換で保存しない。保存するのは、 #mimetex( \eta_{\mu\nu}V^\mu W^\nu=-V^0W^0 + V^1W^1+V^2W^2+V^3W^3) である。これを４次元的な内積と考えよう。４次元の内積がローレンツ変換で保存することは、 #mimetex( \eta_{\mu\nu}V^{\prime\mu} W^{\prime\nu}= \eta_{\mu\nu}\alpha^\mu_{~\rho}V^{\rho} \alpha^\nu_{~\lambda}W^{\lambda}=\underbrace{ \eta_{\mu\nu}\alpha^\mu_{~\rho}\alpha^\nu_{~\lambda}}_{=\eta_{\rho\lambda}}V^{\rho} W^{\lambda}=\eta_{\rho\lambda}V^\rho W^\lambda) からわかるし、そもそもVと同じ変換をするxで作られた&mimetex(\eta_{\mu\nu}x^\mu x^\nu);が不変量であったことからもわかる。 このように４元ベクトルどうしの「内積」を取る時には&mimetex(\eta_{\mu\nu}W^\nu);という組み合わせがよく出てくるので、 #mimetex( W_\mu = \eta_{\mu\nu}W^\nu) という量を定義する（ここから、上付きの添字を持つベクトル&mimetex(V^\mu);と下付きの添字を持つベクトル&mimetex(V_\mu);を区別するので注意！）。上付きの添字を持つベクトルを「反変ベクトル」、下付きの添字を持つベクトルを「共変ベクトル」という。&mimetex(\eta_{\mu\nu});の内容を考えれば、&mimetex(W_0=-W^0, W_1 = W^1, W_2=W^2,W_3=W^3);ということである。つまり、&mimetex(W^\mu);と&mimetex(W_\mu);の違いは第０成分（時間成分）の符号だけである。このようにミンコフスキー空間の直線座標系では反変ベクトルと共変ベクトルの差は時間成分の符号だけで、大きな差はないが、曲線座標系などではそうではなくなるし、特に一般相対論では大きな差になる。この講義ではそこには触れない。 &mimetex(\eta_{\mu\nu});の逆行列を&mimetex(\eta^{\mu\nu});と書くことにする。つまり、 &mimetex( \eta_{\mu\nu}\eta^{\nu\rho}=\delta_\mu^{\nu}); (&mimetex(\delta_\mu^\nu); はμ=νの時1でそれ以外0という記号) ということである（注：&mimetex(\eta_{\mu\nu});と&mimetex(\eta^{\mu\nu});の中身は同じ）。この時、#mimetex( W^\mu = \eta^{\mu\nu}W_\nu ); も成立する。つまり添字はηを使って上げたり下げたりできる。そういう意味でも、共変ベクトルと反変ベクトルは中身は同じであって、表現が違うだけである。 共変ベクトルのローレンツ変換は、 #mimetex( W'_\mu = \eta_{\mu\nu} W^{\prime \nu} = \eta_{\mu\nu} \alpha^{\nu}_{~\rho}W^\rho = \eta_{\mu\nu} \alpha^{\nu}_{~\rho}\eta^{\rho\lambda} W_\lambda) となるので、その変換行列は&mimetex(\eta_{\mu\nu} \alpha^{\nu}_{~\rho}\eta^{\rho\lambda});である。よくみるとこれは&mimetex(\alpha^\nu_{~\rho});の添字をηを使って上げたりさげたりしていることになるので、 #mimetex( \eta_{\mu\nu} \alpha^{\nu}_{~\rho}\eta^{\rho\lambda} = \alpha_\mu^{~\lambda}) と書く。この記号を使えば、共変ベクトルのローレンツ変換は&mimetex(B'_\mu = \alpha_\mu^{~\nu}B_\nu); となる。 共変ベクトルも反変ベクトルも、「αの後ろの添字とベクトルの添字をそろえて和を取る。この添字は一方が上付きならもう一方は下付きである」と考えれば変換ルールを覚えやすい。 また、 &mimetex(\eta_{\mu\nu}\alpha^\mu_{~\rho}\alpha^\nu_{~\lambda}=\eta_{\rho\lambda});から、 #mimetex( \alpha^\mu_{~\rho}\alpha_\mu^{~\lambda}= \delta_\rho^\lambda) RIGHT:(ααδの式)&aname(alphaalphadelta); ということもわかる。これは、行列&mimetex(\alpha^\mu_{~\rho});の転置と行列&mimetex(\alpha_\mu^{~\lambda});が互いの逆行列であることを意味する。 座標と同じ変換をする方が''「反」''変で、少し違う変換をする方が''「共」''変なのは気持が悪いが、数学では微分演算子の方が基本的な量なので、こういう命名になっている。つまり微分演算子&mimetex({\partial \over \partial x^\mu});は共変ベクトルなのである。以下でそれを示そう。 まず、微分のchain ruleを使って計算すると、 #mimetex( {\partial\over \partial x^{\prime\mu}}={\partial x^\nu\over \partial x^{\prime\mu}}{\partial\over \partial x^\nu}) のように微分演算子が変換することがわかる。一方、ここで現れた&mimetex({\partial x^\nu\over \partial x^{\prime\mu}});という行列は、 #mimetex( {\partial x^{\prime\mu}\over \partial x^\nu}= {\partial \left(\alpha^\mu_{~\rho}x^\rho\right)\over \partial x^\nu}=\alpha^\mu_{~\nu}) という行列の逆行列である。つまり、 &mimetex( {\partial x^\nu\over \partial x^{\prime\mu}} {\partial x^{\prime\mu}\over \partial x^\rho}=\delta^\nu_{~\rho}); あるいは &mimetex({\partial x^\nu\over \partial x^{\prime\mu}}\alpha^\mu_{~\rho}=\delta^\nu_{~\rho}); である。これと([[ααδの式>#alphaalphadelta]])を見比べると、 &mimetex({\partial x^\nu\over \partial x^{\prime\mu}}=\alpha_\mu^{~\nu});ということであるから、 #mimetex( {\partial\over \partial x^{\prime\mu}}=\alpha_\mu^{~\nu}{\partial\over \partial x^\nu}) が成立するのである。これは微分演算子が共変ベクトルであるということを示している。 反変ベクトル&mimetex(A^\mu);と共変ベクトル&mimetex(B_\mu);の内積のローレンツ変換は #mimetex( (A')^\mu(B')_\mu = A^\nu \underbrace{\alpha^\mu_{~\nu} \alpha_\mu^{~\rho}}_{=\delta_{\nu}^\rho}B_\rho =A^\mu B_\mu) である。つまり、反変（上付き）添字と共変（下付き）添字が足し上げられていると、ローレンツ変換した結果、それぞれのローレンツ変換が消し合って、まるで最初から添字がついていないかのごとく変換を受けない。つまり添字の意味がなくなっている。それゆえこのように添字が足し合わされている状況を「つぶれている」と称するのである。 なお、&mimetex(C_{\mu\nu},A^{\rho\lambda\tau},D^\tau_{~\sigma\mu\nu});のように添字を複数個もち、上付き（反変）添字が&mimetex(\alpha^\mu_{~\nu});で、下付き添字が&mimetex(\alpha_\mu^{~\nu});で変換されるような量を「テンソル」と言う((「この量はテンソルである」という時、その添字がちゃんとローレンツ変換によって変換されるということが重要である。))。反変ベクトルは上付き添字が一つのテンソル、共変ベクトルは下付き添字が一つのテンソルである（スカラーは添字のないテンソル）。 複数個の添字のあるテンソルは、その添字の一個一個にαがかかっていくように変換される。 例えば #mimetex( (D')^{\tau}_{\sigma\mu\nu}= \alpha^\tau_{~\tau'}\alpha_\sigma^{~\sigma'}\alpha_\mu^{~\mu'}\alpha_\nu^{~\nu'}D^{\tau'}_{\sigma'\mu'\nu'}) のように変換される。&mimetex(\eta_{\mu\nu},\eta^{\mu\nu});あるいは&mimetex(\delta^\mu_{~\nu});は添字が二つあるテンソルの例でもある。&mimetex(\eta_{\mu\nu},\eta^{\mu\nu},\delta^\mu_{~\nu});は座標変換で変化しないので、不変テンソルと呼ぶ((この他に不変テンソルとしては、完全反対称テンソル&mimetex(\epsilon^{\mu\nu\rho\lambda)));がある。}。 &mimetex(\delta^\mu_{~\nu});がローレンツ変換で不変であることを証明しよう。&mimetex(x^\mu\to \alpha^\mu_{~\nu}x^\nu);と座標変換された時、&mimetex(\delta^\mu_{~\nu});は #mimetex( \alpha^\mu_{~\rho}\alpha_\nu^{~\lambda}\delta^\rho_{~\lambda}= \alpha^\mu_{~\rho}\alpha_\nu^{~\rho}) RIGHT:(δααの式)&aname(deltaalphaalpha); と座標変換される。この式を([[ααδの式>#alphaalphadelta]])の左辺と見比べるとよく似ている。違いは([[ααδの式>#alphaalphadelta]])では前の添字がダミーになっていて、([[δααの式>#deltaalphaalpha]])では後ろの添字がダミーになっていることである。ここで、行列&mimetex({\bf A});（その成分は&mimetex(A_\rho^{~\mu}=\alpha^\mu_{~\rho});）と行列&mimetex({\bf B});（その成分は&mimetex(B_\mu^{~\lambda}=\alpha_{\mu}^{~\lambda});）を考えると、([[ααδの式>#alphaalphadelta]])の左辺 すなわち&mimetex( \alpha^\mu_{~\rho}\alpha_\mu^{~\lambda});は行列の積&mimetex({\bf AB});の&mimetex((\rho,\lambda));成分と見ることができる。一方、([[δααの式>#deltaalphaalpha]])すなわち&mimetex( \alpha^\mu_{~\rho}\alpha_\nu^{~\rho});は行列&mimetex(''BA'');の&mimetex((\mu,\nu));成分とみることができる。&mimetex({\bf AB}=I);(単位行列)であるから、&mimetex({\bf BA}=I);となり、 #mimetex( \alpha^\mu_{~\rho}\alpha_\nu^{~\lambda}\delta^\rho_{~\lambda}=\delta^\mu_{~\nu}) が証明される。 なお、このことからも、&mimetex({\partial\over \partial x^\mu});は共変ベクトルでなくてはならないことがわかる。なぜなら、 &mimetex({\partial \over \partial x^\mu} x^\nu=\delta_\mu^\nu);という式が成立している。 &mimetex(x^\nu);が反変ベクトルなのだから、それとかけて&mimetex(\delta_\mu^{~\nu});というテンソルになる&mimetex({\partial\over \partial x^\mu});は共変ベクトルである。 **6.5 章末演習問題 [#e4e5108b] ''[演習問題6-1]'' &mimetex(\alpha^\mu_{~\nu}=\left(\begin{array}{cccc} \gamma&-\beta\gamma &0 &0 \\ -\beta\gamma&\gamma &0 &0 \\ 0&0 &1 &0 \\ 0&0 &0 &1 \\ \end{array}\right));の時、 + &mimetex(\alpha_\mu^{~\nu});を求めよ。 + &mimetex( \alpha^\mu_{~\rho}\alpha_\mu^{~\lambda}= \delta_\rho^\lambda);を確認せよ。 + これによって微分演算子&mimetex(\partial_\mu=\left({\partial \over \partial (ct)},{\partial\over \partial x},{\partial \over \partial y},{\partial \over \partial z}\right));はどのように変換されるか。 + 変換の後も&mimetex({\partial_\mu}x^\nu=\delta^\nu_{~\mu});が成立していることを確認せよ。 ''[演習問題6-2]'' &mimetex(\alpha^\mu_{~\nu}=\left(\begin{array}{cccc} 1&0 &0 &0 \\ 0&\cos\theta &\sin\theta &0 \\ 0&-\sin\theta &\cos\theta &0 \\ 0&0 &0 &1 \\ \end{array}\right));の時、前問同様の計算を行え。 *学生の感想・コメントから [#p1da394c] &color(Green){テンソルに慣れてないから全然わからない（という感想いくつか）。}; &color(Red){うーん、これまでの授業でもだいぶ使ってきて、そろそろ慣れているかと思ったんですが。わからないなら質問と、自分で計算してみることをやってください。}; &color(Green){文字がたくさんでてきて難しかった（という関数もいくつか）。}; &color(Red){この程度で「文字がたくさん」じゃあ、この先困りますよ。この程度の文字の数は「ふつ〜」です。}; &color(Green){&mimtex(a^\mu_{~\rho}b^\rho_{~\lambda});のアインシュタインの規約を使わない書き方を教えてください。}; &color(Red){単に&mimtex(\sum_{\rho=0}^3 a^\mu_{~\rho}b^\rho_{~\lambda});とするだけです。}; &color(Green){光子は減速できませんよね？}; &color(Red){真空中なら、できません。物質中だと光速より遅くなります。}; &color(Green){演算子の方が基本的な量ってどういう状態なのでしょう？}; &color(Red){共変ベクトルすなわち微分演算子の方が数学では基本だ、と言う話ですか？ あれはベクトルを表現する時の基底ベクトルとして何を使うか、というだけの問題なので、物理的には微分演算子を基底にしようが座標を基底にしようがどっちでもよいのです。}; &color(Green){章末問題はあと何回やりますか？}; &color(Red){決めてません。}; &color(Green){物理をやっているというよりは数学みたいでしたが、今日はみんな数学の話ですか？}; &color(Red){そうですね。この後相対論的力学のところまで話すつもりでしたが、皆さんの反応があまりに鈍いのでペース落としました。次からは力学の話になります。}; &color(Green){ブラックホールは質量∞なんですか？}; &color(Red){いいえ、違います。質量は有限ですよ。}; &color(Green){そして速度を持てるんですか？ 加速度は？}; &color(Red){もちろん速度も加速度も持てますよ。};
