レビ・チビタの記号

定義

　これまでも使った方が便利だなと思う場面はあったが、 式を形式的にまとめるためだけにわざわざ新しい記号を導入するのは、 物理を専門としない読者にとってはあまり利点がないと考えて、 今までこの記号を使わないで済ませてきた。 　しかし、話を進めるのにどうしても必要な事態が生じたので、 意地を張るのはやめて紹介することにする。

　少々ルールが面倒ではあるが難しくはない。 　添え字 が ( 1, 2, 3 ) の順であるときは 1 であり、 この順をどれか一対だけ入れ替えた ( 1, 3, 2 ) とか ( 2, 1, 3 ) とか ( 3, 2, 1 ) の場合には -1 である。 　さらにもう一度並びを入れ替えて、( 2, 3, 1 ) とか ( 3, 1, 2 ) とかにすると 1 である。 　そしてそれ以外、例えば ( 1, 1, 2 ) のように添え字に同じ数字が入る場合にはすべて 0 であるとする。

　まぁごちゃごちゃ書いてはみたが、まとめれば、次のようである。

　別のもっとシンプルな書き方をすれば、

となる。 　最後の書き方は添え字が 4 つに増えた時にもそのまま自然に拡張できる優れものだ。

外積に使える

という計算をすることに相当するのだが、 同じ事を を使って表したならば、

と一行書くだけで済む。 　とは言うものの、和の記号を二つも使っているので項の数は増えており、 慣れないと非常に重苦しい印象を受ける。 　ほとんどの項は消えるけれども、 これは何でも一般化しておきたいという嗜好を持つ人の 自己満足の表現に過ぎないのではないかとさえ思える。

　しかしそうではない。 　こうしておけば、 式変形の時に 3 通りのパターンをわざわざ計算する必要はなくて、理論的に扱いやすいのである。 　ここでは具体例はやらないが、普通に物理に接していればいずれ必ず経験するだろう。

　見た目が重苦しくなることは気にする問題ではない。 　相対論では和の記号を省略する伝統があるので、

のようにすっきり表せる。 　最近の理論は相対論を含むのは普通であり、 このような表記も相対論に限らずあちこちで見られる。

交換関係に使える

　当たり前の式もわざわざ書いておけば、

である。 　これらは全て次の一つの表現で済んでしまう。

　ついでにパウリ行列の交換関係も同じ形式で書いておこう。

　今回の説明はスピノルの記事でこの式を使いたいが為に用意したようなものだ。