===============================================
反対称テンソルと軸性ベクトル　	
===============================================
反対称テンソルとは、テンソルの成分の添字をどれか一つ入れ替えると全体の符号が逆になるものを意味しました。


<tex>
A_{ijklm...} = -A_{jiklm...}	\tag{1}
</tex>


二階のテンソルで例を考えると、次のような行列で表現されるテンソルは反対称テンソルになります。

<tex>
A_{ij} = 
   \left(
     \begin{array}{ccc}
0 & -A_{12}  & -A_{13} \\
A_{12} & 0  & -A_{23} \\
A_{13} & A_{23}  & 0 \\
     \end{array}
   \right)	\tag{2}
</tex>


この記事では、反対称テンソルと軸性ベクトルの関係を探ります。軸性ベクトルの定義は、 軸性ベクトルと極性ベクトル_ を参照して下さい。


反対称テンソルの座標変換
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
二階の反対称テンソルを例に、テンソルの座標変換の式 ${A'}_{ij}={\alpha}_{il}{\alpha}_{jm}A^{lm}$ を反対称テンソルについて考えます。

<tex>
{A'}_{ij} &={\alpha}_{il}{\alpha}_{jm}A^{lm} \\
&= {\alpha}_{i1}{\alpha}_{j1}A^{11} + {\alpha}_{i1}{\alpha}_{j2}A^{12} + {\alpha}_{i1}{\alpha}_{j3}A^{13} \\ 
& \ \ + {\alpha}_{i2}{\alpha}_{j1}A^{21} + {\alpha}_{i2}{\alpha}_{j2}A^{22} + {\alpha}_{i2}{\alpha}_{j3}A^{23} \\ 
& \ \ + {\alpha}_{i3}{\alpha}_{j1}A^{31} + {\alpha}_{i3}{\alpha}_{j2}A^{32} + {\alpha}_{i3}{\alpha}_{j3}A^{33} \\ 
&=  {\alpha}_{i1}{\alpha}_{j2}A^{12} + {\alpha}_{i1}{\alpha}_{j3}A^{13} \\ 
& \ \ + {\alpha}_{i2}{\alpha}_{j1}A^{21} + {\alpha}_{i2}{\alpha}_{j3}A^{23} \\ 
& \ \ + {\alpha}_{i3}{\alpha}_{j1}A^{31} + {\alpha}_{i3}{\alpha}_{j2}A^{32} \\ 

&= ({\alpha}_{i1}{\alpha}_{j2}-{\alpha}_{i2}{\alpha}_{j1})A^{12} + ({\alpha}_{i1}{\alpha}_{j3}-{\alpha}_{i3}{\alpha}_{j1})A^{13} +( {\alpha}_{i2}{\alpha}_{j3}-{\alpha}_{i3}{\alpha}_{j2}) A^{23} \\ 
& \ \ \ \ \ (\because A^{12}=-A^{21}, \ A^{23}=-A^{32}, A^{13}=-A^{31})
</tex>

縮約を使って右辺をまとめると、結局、反対称テンソルの座標変換の式は次の形に表現できることが分かります。

<tex>
{A'}_{ij} = ({\alpha}_{il}{\alpha}_{jm}-{\alpha}_{im}{\alpha}_{jl})A^{lm} \tag{3}
</tex>



しかし、行列表現 $(2)$ を見れば一目瞭然ですが、反対称テンソルの成分に独立なものは $3$ つしかありませんから、添字が二つもついた $A_{ij}$ の表記は少し大袈裟に見えます。（成分の計算だけなら $A_{i} \ (i=1,2,3)$ とすれば十分そうです。）そこで、式 $(3)$ の表記をさらに簡単化する可能性を探ってみましょう。


直交座標の場合
-------------------------------------------------------------------
結論から言うと、基底が正規直交座標系の場合に式 $(3)$ をさらに簡単にできます。そのため、まず適当な基底の座標変換 $(4)$ を考えます。（直交座標系の場合、共変基底と反変基底の区別は無くなりますので、このセクションの添字は全て右下に書くことにします。）この後の式変形は、式 $(11)$ に至るまで、少しトリッキーです。何をやっているのか分からない部分があるかも知れませんが、頑張って一行ずつ追ってみて来てください。


<tex>
\bm{{e'}_{i}} = \alpha_{il}\bm{e_{l}}	\tag{4}
</tex>

式 $(4)$ の両辺と $\bm{{e'}_{j}}=\alpha_{jm}\bm{e_{m}}$ の外積を取り、次式を得ます。

<tex>
\bm{{e'}_{i}} \times \bm{{e'}_{j}} = \alpha_{il}\alpha_{jm}\bm{e_{l}}\times \bm{e_{m}}	\tag{4}
</tex>


さらに $ \bm{{e}_{n}}$ と両辺の内積を取ります。

<tex>
(\bm{{e'}_{i}} \times \bm{{e'}_{j}} ) \cdot \bm{{e}_{n}} = \alpha_{il}\alpha_{jm} (\bm{e_{l}}\times \bm{e_{m}}) \cdot \bm{{e}_{n}}	\tag{5}
</tex>

何がしたかったかと言うと、スカラー三重積の形を作りたかったのです。ここで、 $l,m,n$ は巡回的だとすると、右辺の $\bm{e_{n}}$ の添字 $n$ を $n=1,2,3$ と動かすとき、 $n=l$ や $n=m$ となる場合は $(\bm{e_{l}}\times \bm{e_{m}}) \cdot \bm{{e}_{n}}=0$ となってしまいます（ 三重積_ 参照）ので、右辺には $l,m,n$ が相異なる場合の項しか残らないことになります。 $(\bm{e_{l}}\times \bm{e_{m}}) \cdot \bm{{e}_{n}}$ と $(\bm{e_{m}}\times \bm{e_{l}}) \cdot \bm{{e}_{n}}$ を区別して、右辺に残るのは二項だけです。


では $l,m,n$ は相異なるとして、右辺の三重積は具体的にどうなるかと言えば、いま基底 $\bm{e_l},\bm{e_{m}},\bm{e_{n}}$ は正規直交座標系だと考えていますので、 $(\bm{e_{l}}\times \bm{e_{m}}) \cdot \bm{{e}_{n}}=1$ となります。（ $(\bm{e_{l}}\times \bm{e_{m}}) \cdot \bm{{e}_{n}}$ は基底 $\bm{e_{l}},\bm{e_{m}},\bm{{e}_{n}}$ が張る平行六面体の体積でした。）これらの結果を考慮すると、式 $(5)$ は次のようになります。


<tex>
(\bm{{e'}_{i}} \times \bm{{e'}_{j}} ) \cdot \bm{{e}_{n}} 
&= \alpha_{il}\alpha_{jm}(\bm{e_{l}}\times \bm{e_{m}}) \cdot \bm{{e}_{n}} +\alpha_{im}\alpha_{jl}(\bm{e_{m}}\times \bm{e_{l}}) \cdot \bm{{e}_{n}} \\ 
&= \alpha_{il}\alpha_{jm} -\alpha_{im}\alpha_{jl} 	\tag{6}
</tex>


次に、左辺をもう少し工夫することを考えましょう。左辺の添字 $i,j,k$ も巡回的であるとすると、座標変換後の新しい正規直交系の基底 $\bm{{e'}_{i}},\bm{{e'}_{j}},\bm{{e'}_{k}}$ について、右手系の正規直交基底ならば式 $(7)$ 、左手系の正規直交基底ならば式 $(8)$ がなりたつことが言えます。これは外積の定義です。


<tex>
\bm{{e'}_{i}} \times \bm{{e'}_{j}} = \bm{{e'}_{k}} \tag{7}
</tex>

<tex>
\bm{{e'}_{i}} \times \bm{{e'}_{j}} = - \bm{{e'}_{k}} \tag{8}
</tex>


そこで、左辺は $(\bm{{e'}_{i}} \times \bm{{e'}_{j}})\cdot \bm{e_{n}} =\pm \bm{{e'}_{k}}\cdot \bm{e_{n}}=\pm \alpha_{kn}$ と変形できるでしょう。ダッシュのついた座標系をこのように取ると、式 $(6)$ をさらに次式のように簡単化できます
。 $\pm$ は右手系か左手系かに応じて決めるものとします。


<tex>
\alpha_{kn}=\pm( \alpha_{il}\alpha_{jm} -\alpha_{im}\alpha_{jl} )	\tag{9}
</tex>


式 $(9)$ に含まれる添字は、 $i,j,k$ と $l,m,n$ がそれぞれ巡回的である点に注意してください。ここでもう一度、式 $(3)$ を眺めてみましょう。ただし、添字は全て下付きとします。


<tex>
{A'}_{ij} = ({\alpha}_{il}{\alpha}_{jm}-{\alpha}_{im}{\alpha}_{jl})A_{lm} \tag{3}
</tex>

反対称テンソルでは、独立な成分は $3$ つしかありませんでしたので、 $A$ の添字の数を一個にして ${A'}_{ij}={A'}_{k}$ 、 $A_{lm}=A_{n}$ （ $k,n=1,2,3$ ）と置いても一般性を失いません。


<tex>
{A'}_{k} = ({\alpha}_{il}{\alpha}_{jm}-{\alpha}_{im}{\alpha}_{jl})A_{n} \tag{10}
</tex>


右辺に式 $(9)$ の結果を代入すると、次式に至ります。これが、求めていた反対称テンソル成分の座標変換の式になります。



<tex>
{A'}_{k} = \pm \alpha_{kn} A_{n} \tag{11}
</tex>

式 $(11)$ は見かけ上、ベクトルの座標変換の式によく似ていますが、今まで知っていたベクトルの座標変換式と少し違って、 $\pm$ という余計な記号がついています。これは途中でも説明しましたが、右手系から右手系もしくは左系から左手系への座標変換に際しては $+$ 、右手系から左手系もしくは左手系から右手系への座標変換では $-$ に取るように定められる符号です。 ${A'}_{k}$ や $A_{n}$ はベクトルのように見えますが、 テンソルの概念_ で与えた一階のテンソルの定義 ${A'}_{k} = \alpha_{kn} A_{n}$ と異なりますので、ベクトルとは少し違う量のようです。


『少し違う』という意味で、座標変換に際して式 $(11)$ に従う量を *擬ベクトル* と呼びます。より一般に高階のテンソルについても、座標変換に際して座標系の取り方（右手系か左手系か）を入れ替えるとき、成分の符号が変わるものを *擬テンソル* と呼びます。すでに 軸性ベクトルと極性ベクトル_ で考えた軸性ベクトルとは、擬ベクトルの別名でもあると言えます。


二階の反対称テンソルは、擬ベクトル（軸性ベクトル）と等価であることが分かりました。一般の擬テンソルについては、 擬テンソル_ でもう少し詳しく勉強します。





.. _軸性ベクトルと極性ベクトル: http://www12.plala.or.jp/ksp/vectoranalysis/AxialAndPolar/
.. _三重積: http://www12.plala.or.jp/ksp/vectoranalysis/Triprod/
.. _擬テンソル: http://www12.plala.or.jp/ksp/vectoranalysis/Pseudotensor/
.. _テンソルの概念: http://www12.plala.or.jp/ksp/vectoranalysis/TensorConcept/

@@author:Joh@@
@@accept: 2006-08-25@@
@@category: ベクトル解析@@
@@id: PolarvectorAntisymtensor@@