|
省略記法座標変換の計算というのは似たような記号を沢山書き並べなくてはならないので 非常に面倒くさい。 ちなみにこれは前回やった共変ベクトルの変換式だ。
前回はイメージを描くことを重視したので、
座標変換の規則を書く時にわざわざ
添え字
こうしておけば「
しかし、簡略化はもっと極端なところまで進む。
このやり方はアインシュタインが始めたので
「アインシュタインの省略」とか
「アインシュタインの書き方」とか呼ばれている。
権威あるもののように聞こえるが、単なるサボりだ。
しかし慣れてしまえば結構便利である。
逆に
いいか?
今後は一つの項の中に同じ添え字が二つ以上使われていたら
その記号についての さて最後にもう一つ、便利な習慣を説明しておこう。 反変ベクトルの添え字は右上に書く習慣となっている。 共変ベクトルの成分は逆に、添え字を右下に書いて表すことになっている。 ここまでの解説で力や運動量のベクトルの添え字が右上に書かれていたのは、 それらが反変ベクトルであることを表していたのだ。 こうしておけばそのベクトルが座標変換でどのような変換をするかが一目で分かるし、 共変と反変を組み合わせて縮約を行おうとする時に間違えなくて済む。
ここまでのことを総合してみよう。
前回やった反変ベクトル
と書くだけで表せてしまう。
ここで偏微分の中の座標
これらのベクトル
くどいようだが、本当はここに 前回やった内容はたったこれだけの式で全て言い表されてしまった。
反変テンソル記号を省略したお陰で、より複雑なことも簡単に表せるようになった。 その効果を実感してもらうことを兼ねて、ここでテンソルの説明もしてしまおう。 そんなに難しい話ではないので身構える必要は全くない。
ベクトルの成分は添字が 1 つあれば表現できた。
これを発展させて、添え字が 2 つで表される量
ベクトルは横一列に並べて一度に表せたが、
これは縦横の行列で表すのが一番分かりやすいだろうと思う。
しかし場所を食うのでここでわざわざそんな書き方はしない。
そのためにわざわざ この行列の各成分が座標変換によって次のような変換規則に従う時、 これを「2 階の反変テンソル」と呼ぶ。
どうして「2 階」と呼ぶのかと言えば、添え字が 2 つあるからだ。 ちなみに「1 階のテンソル」と言えばベクトルのことだし、 「0 階のテンソル」と言えばスカラーのことだ。 もちろん 3 階、4 階といった高階のテンソルもあるが、それは少し後で説明する。 2 階の反変テンソルを作るのはとても簡単だ。 2 つの反変ベクトルの組み合わせを作ってやればいい。
これは縮約ではない。
このように、テンソル量というのはベクトルを組み合わせて簡単に作ることが出来て、 意外に身近なものであることが分かるだろう。 しかしテンソル量が全てベクトルの組み合わせで出来ているものだと思ってはいけない。 先に書いた規則に従って変換される量があれば、例えベクトルの組み合わせで表せなくとも、 テンソル量とみなすのである。
共変テンソル同じように「2 階の共変テンソル」なんてのも定義できる。 次のような規則に従う成分 を持つ集まりだ。
2 つの添え字は両方とも下側に付ける。
これも 2 つの共変ベクトルの組み合わせで作ることが出来るわけだが、 反変テンソルと全く同じような話なのでもう説明をするまでもないだろう。
混合テンソルさらに、上記二つの変換則が混じった量だってあり得る。
これは「2 階の混合テンソル」と呼ばれる。 混合テンソルは、先に説明したテンソルと同じように、 反変ベクトルと共変ベクトルを組み合わせることで作ることも出来る。
反変と共変の組み合わせだからと言って、これを前回の「縮約」と混同してはいけない。 縮約は同じ成分同士を掛け合わせて和を取ったものだ。 これはただあらゆる組み合わせを作っただけなので縮約とは違う。 よく見るといい。 2 つの添え字の記号が違うだろう。 よって和の記号が省略されているわけではない。
高階のテンソルテンソルを組み合わせることで、いくらでも高階のテンソルを作ることが出来る。 小文字ばかりでは分かりにくいので大文字を使って書いてみよう。
これらの上側の添え字と下側の添え字に同じ文字を使えば、 その全ての成分について和を取るという意味に変わるが、 この操作によって 2 階低いテンソルが作られることになる。 この操作を「縮約」と呼ぶ。
前回説明したのは 2 階から 0 階へのごくせまい意味の縮約だったわけだ。 繰り返すが、この簡単に見える操作の裏に、 前回やったような面倒な計算があることを忘れてはいけない。 そろそろ添え字を上に書いたり下に書いたりする便利さが分かってきたことだろう。 添え字を見ればどの変換に対応しているか分かる。 例えば次のようなテンソルがあるとする。
この量は座標変換によって、
のような変換を受けるのだ、と見ただけですぐに分かるわけだ。
ちなみに、もしこの式を添え字を使わないでバカ正直に書き下そうとすれば、
5 階のテンソルなので、3 次元の場合、
前回のトピックで「微分演算子は共変ベクトルである」と説明したが、
微分演算子と他の共変ベクトルとの組み合わせを作っても 2 階の共変テンソルにはならないし、
微分演算子と他の反変ベクトルとの組み合わせを作っても 2 階の混合テンソルにはならないのである。
なぜなら、微分演算子にはその後に続くもの全体を微分するという性質があり、
相手のベクトルの変換則の式の全体に作用してしまって複雑な変換則を作り出してしまうからである。
ただし、座標変換が線形変換である場合にはこのことを心配する必要がない。
(2 回微分すれば 0 になるので余計な項は消えてしまうため)
つまり特殊相対論の範囲ではローレンツ変換を考えればいいだけなので
こういう問題は起こらないのだが、こういうことがあるということは
初めからちゃんと知らされているべきだろう。
具体的にどのようなことが起きるかについては
第 5 部のリーマン幾何学の冒頭で説明することになると思う。
この少々厄介な性質がリーマン幾何学の基礎になっているのである。
電場ベクトルのように、スカラー量を偏微分して作った共変ベクトルの場合には
このような問題は起こらない。
何を偏微分するかがすでに確定しているから他の部分にまで影響を及ぼすことがないからである。
単独の微分演算子を共変ベクトルとして扱う場合にだけは気を付ける必要があるということだ。
|