===========================================
対称テンソルと反対称テンソル
===========================================
二階以上のテンソルで、成分の添字のうち、どれか二つを入れ替えても値が変わらないものを *対称テンソル* と呼びます。

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

対称テンソルではどの添字を入れ替えても値が変わりません。一方、どれか添字を二つ入れ替えると符号が変わってしまうものを *反対称テンソル* と呼びます。

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


反対称テンソルでは添字を入れ替える回数が偶数回なら元と同じ符号、奇数回なら元と逆の符号になります。


例
------------------------------------------------
いままでに何度も出てきているクロネッカーのデルタ ${\delta}_{ij},{\delta}^{ij},{\delta}_{i}^{j}$ は対称テンソルです。計量テンソル $g_{ij}$ も、内積は可換ですから、定義より対称テンソルです。

<tex>
g_{ij} = \bm{e_{i}} \cdot \bm{e_{j}} = \bm{e_{j}} \cdot \bm{e_{i}} = g_{ji} 
</tex>


反対称テンソルの例はいままで出てきていませんが、二つのベクトル $A_{i},B_{j}$ から次のような二階のテンソルを作ると反対称テンソルになります。添字を入れ替えて確認してみて下さい。


<tex>
C_{ij} = A_{i}B_{j} - A_{j}B_{i}	\tag{3}
</tex>


テンソルの対称性と座標変換
---------------------------------------------------
ある座標系で対称テンソルであるテンソルは、座標変換をしても対称テンソルのままです。このことは座標変換の式を眺めてみれば分かります。

<tex>
T'_{ij} &= {\alpha}^{i'k}{\alpha}^{j'l}T_{kl} \\
 &= {\alpha}^{i'l}{\alpha}^{j'k}T_{lk} \\
 &= {\alpha}^{j'k}{\alpha}^{i'l}T_{lk} \\
&= T'_{ji}	\tag{4}
</tex>

例として二階の対称テンソルを示しましたが、反対称テンソルも座標変換後によらず、常に反対称テンソルです。より高階のテンソルについても同様です。


.. admonition:: theorem 

	座標変換しても、対称テンソルは対称テンソル、反対称テンソルは反対称テンソルのまま。



二階のテンソルの行列表示
---------------------------------------------------------
二階のテンソルは行列で表示すると便利ですが、対称テンソル $S_{ij}$ と反対称テンソル $A_{ij}$ は行列表現で次のようになります。 $S_{ij}=S_{ji}, \ A_{ij}=-A_{ji}$ の関係を考えれば、なぜこうなるのかすぐに分かります。


<tex>
S_{ij} = 
   \left(
     \begin{array}{ccc}
S_{11}& S_{12}  & S_{13} \\
S_{12} & S_{22}  & S_{23} \\
S_{13} & S_{23}  & S_{33} \\
     \end{array}
   \right)	\tag{5}
</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{6}
</tex>

成分をよく見ると、 $S_{ij}$ には $6$ 種類、 $A_{ij}$ には $3$ 種類しかないことが分かるでしょう。なお、 $A_{ij}$ の成分では上三角の成分にマイナスをつけましたが、これは下三角の成分にマイナスをつけても構いません。この $6$ と $3$ という数字を見て、何か思いませんか？一般の二階のテンソルは $9$ 個の独立な成分を持ちましたから、一般の二階のテンソルを、 $9=6+3$ で、対称テンソルと反対称テンソルに分解できるのではないかという気がします。


この予想は正しく、非常に単純なことに、一般に二階のテンソル $T_{ij}$ は常に対称テンソルと反対称テンソルの和に分解できます。

<tex>
T_{ij} = S_{ij} + A_{ij}	\tag{7}
</tex>

添字 $i,j$ を入れ替えれば $T_{ji} = S_{ij} - A_{ij}$ を得ますから、式 $(7)$ と連立して次式を得ます。


<tex>
S_{ij} = \frac{1}{2}(T_{ij} + T_{ji})
</tex>

<tex>
A_{ij} = \frac{1}{2}(T_{ij} - T_{ji})
</tex>

これは任意の二階のテンソル $T_{ij}$ から、その対称部分と反対称部分を分離する公式だと言えます。


.. [*] 混合テンソルの場合、式 $(1)$ や $(2)$ のように添字を入れ替えてみて良いのは、上下どちらか同じ側にある二つの添字に限ります。上下に分かれた添字を入れ替えてはいけません。



.. [*] 連続体力学において、連続体の変形を表わすのに二階のテンソルが活躍します。連続体の変位を $u_{i}$ 、座標成分を $x_{i}$ 、歪み速度を $v_{i}$ と置き、以下のようなテンソルが使用されます。テンソルの知識が何も無いと、変な定義だと思うでしょうが、変位を表わすテンソル $ \frac{\partial u_{i}}{\partial x_{j}}$ と変位の速度を表わすテンソル $ \frac{\partial v_{i}}{\partial x_{j}}$ をそれぞれ対称部分と反対称部分に分離したものが、歪みテンソル、渦度テンソル、歪み速度テンソル、歪み勾配テンソルと呼ばれる諸量です。連続体の場合、縦の力が横の変位を起こしたり、その逆があったりと、真っ直ぐ押して真っ直ぐ凹む以外の変形が起きます。このような現象を表現するには二階のテンソルが適しているわけですが、対称テンソルと反対称テンソルに分離することで、変形による変位と、連続体全体が回転したことによる変位とを分離して扱うことが出来るようになります。テンソルを対称部分と反対称部分に分離する例として連続体力学を挙げましたが、詳しくは連続体力学、材料力学などの教科書を参照してください。また、反対称テンソルのベクトルへの作用が微小回転に等しいことは、 無限小回転_ を参照してしてください。



【歪みテンソル】

<tex>
\varepsilon_{ij}=\frac{1}{2}\left( \frac{\partial u_{i}}{\partial x_{j}}+\frac{\partial u_{j}}{\partial x_{i}}  \right)
</tex>

【渦度テンソル】

<tex>
\Omega_{ij}=\frac{1}{2}\left( \frac{\partial u_{i}}{\partial x_{j}}-\frac{\partial u_{j}}{\partial x_{i}}  \right)
</tex>

【歪み速度テンソル】

<tex>
e_{ij}=\frac{1}{2}\left( \frac{\partial v_{i}}{\partial x_{j}}+\frac{\partial v_{j}}{\partial x_{i}}  \right)
</tex>

【速度勾配テンソル】

<tex>
\omega_{ij}=\frac{1}{2}
\left( \frac{\partial v_{i}}{\partial x_{j}}
-\frac{\partial v_{j}}{\partial x_{i}}  \right)
</tex>


.. _無限小回転: http://www12.plala.or.jp/ksp/mechanics/infinitesimalRot1/


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