記事ソース/ベクトルからテンソルを作る のバックアップ(No.1)
記事ソース/ベクトルからテンソルを作る のバックアップ(No.1)
これはrst2hooktailの記事ソース保存・変換用です（詳細）．
================================
ベクトルからテンソルを作る
================================
二つのベクトル成分 $A^{i}$ と $B^{j}$ があるとき、この成分を掛け合わせたものは二階のテンソル成分になります。
<tex>
A^{i}B^{j} \ \ (i,j=1,2,3) \tag{1}
</tex>
本当に二階のテンソルになるのかどうか、定義に戻って確認してみましょう。 $A^{i}$ と $B^{j}$ はベクトルですから、適当な二階のテンソル $a_{ij},b_{ij}$ に対し、次の変換式を満たすはずです。
<tex>
A'_{i} = a_{ik}A^{k} \tag{2}
</tex>
<tex>
B'_{j} = b_{jl}B^{l} \tag{3}
</tex>
これは テンソルの概念_ に出てきた、テンソルの定義式です。ベクトルは一階のテンソルですから、式 $(2)(3)$ をベクトルの定義式だと考えても良いでしょう。
式 $(2)(3)$ の両辺を掛け合わせて次式を得ます。
<tex>
A'_{i}B'_{j} = a_{ik}b_{jl}A^{k}B^{l} \tag{4}
</tex>
これは二階のテンソルの座標変換の式そのものですから、 $A^{k}B^{l}$ は二階のテンソルだと言えます。
同様に、三つのベクトル成分の積 $A^{i}B^{j}C^{k}$ は三階のテンソル、四つのベクトル成分の積 $A^{i}B^{j}C^{k}D^{l}$ は四階のテンソルになります。
.. [*] いま反変テンソル $A^{k}B^{l}$ が共変テンソル $a_{ik}b_{jl}$ によって共変テンソル $A'_{i}B'_{j}$ に移される例で考えましたが、共変・反変の組合わせは本質的にはそれほど重要ではありません。 テンソルの概念_ の式 $(4-2)(4-3)(4-4)$ を参照して下さい。
基底で考えてみる
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ベクトルの成分の積がテンソルになるという事情を、もう少し探ってみます。ベクトル $\bm{A},\bm{B}$ は基底を明示的に書けば次のように表現できました。
<tex>
\bm{A} = A^{1}\bm{e_{1}} + A^{2}\bm{e_{2}} + A^{3}\bm{e_{3}} \tag{5}
</tex>
<tex>
\bm{B} = B^{1}\bm{e_{1}} + B^{2}\bm{e_{2}} + B^{3}\bm{e_{3}} \tag{6}
</tex>
いま、式 $(5)(6)$ の両辺を掛け合わせることにします。成分は実数ですから普通に掛け算することにして、基底と基底の積にはテンソル積を使います。
<tex>
\bm{A} \otimes \bm{B} &=( A^{1}\bm{e_{1}} + A^{2}\bm{e_{2}} + A^{3}\bm{e_{3}})\otimes ( B^{1}\bm{e_{1}} + B^{2}\bm{e_{2}} + B^{3}\bm{e_{3}}) \\
&=A^{1}B^{1}\bm{e_{1}}\otimes \bm{e_{1}}
+ A^{1}B^{2}\bm{e_{1}}\otimes \bm{e_{2}}
+ A^{1}B^{3}\bm{e_{1}}\otimes \bm{e_{3}} \\
&\ \ +A^{2}B^{1}\bm{e_{2}}\otimes \bm{e_{1}}
+ A^{2}B^{2}\bm{e_{2}}\otimes \bm{e_{2}}
+ A^{2}B^{3}\bm{e_{2}}\otimes \bm{e_{3}} \\
&\ \ +A^{3}B^{1}\bm{e_{3}}\otimes \bm{e_{1}}
+ A^{3}B^{2}\bm{e_{3}}\otimes \bm{e_{2}}
+ A^{3}B^{3}\bm{e_{3}}\otimes \bm{e_{3}} \tag{7}
</tex>
式 $(7)$ の一行目から二行目への変形は、普通に分配法則を使って一項ずつ展開しただけです。すでに テンソルの概念_ で触れたように、これは $(\bm{e_{i}} \otimes \bm{e_{j}})$ を基底とする二階のテンソルになっています。前セクションの議論は、このベクトルのテンソル積 $A^{i}B^{j}$ が、テンソルの変換則 $A'^{i}B'^{j} = a_{ik}b_{jl}A^{k}B^{l}$ を満たすことを保証するものです。
逆に『全ての $n$ 階のテンソルは $n$ 個のベクトルの積として表わせる』ことを証明することも出来ます。これによって、変換則 $A'^{i}B'^{j} = a_{ik}b_{jl}A^{k}B^{l}$ による定義と、ベクトルのテンソル積 $A^{i}B^{j}(\bm{e_{i}} \otimes \bm{e_{j}})$ としての定義とが完全に同値であることが保証されます。さらに、 テンソルの概念_ で $2n$ 階のテンソル $\alpha_{klmn}$ を $\alpha_{km}\alpha_{ln}$ のように $2$ 階テンソルの積に分解して書きましたが、この分解が常に可能であることも保証されます。
.. admonition:: theorem
$n$ 階テンソルは、ベクトルの $n$ 個のテンソル積に分解できます。
この証明は少し面倒なので、特に二階のテンソルが二つのベクトルの積に分解できることだけを示します。それでもかなり面倒ですので、あまり細かい証明に拘らない人は結果だけを了承して先に進んでも構わないと思います。一般の階数のテンソルへの拡張は、帰納法を使えば容易です。証明の中で、ベクトルは太字体、ベクトル成分は細字体であることに注意してください。
.. admonition:: proof
正規直交基底 $\bm{e_{1}},\bm{e_{2}},\bm{e_{3}}$ を考えます。二階のテンソル $T_{ik}$ を何らかのベクトルに分解できることさえ示せば良いのですから、座標系は何でも良いはずです。基底 $\bm{e_{(\alpha)}} \ (\alpha =1,2,3)$ の第 $i$ 共変成分を $e_{(\alpha )i}$ 、第 $i$ 反変成分を $e_{(\alpha )}^{i}$ とし、積 $T_{ik}e_{(\alpha )}^{i}e_{(\beta )}^{k}$ を $T_{(\alpha \beta )}$ と書くことにします。これはスカラーになります。 $(\alpha )$ や $(\beta )$ は基底の種類を指定しているだけで、テンソルの添字ではないことに注意して下さい。 $T_{(\alpha \beta )}=T_{ik}e_{(\alpha )}^{i}e_{(\beta )}^{k}$ の両辺に共変成分の積 $e_{(\alpha )p}e_{(\beta )q}$ を掛け、 $\alpha , \beta$ と $i,j$ について総和を取ります。（左辺に $i,j$ は含まれていないので、 $i,j$ の和は右辺にしか出てきません。） $\sum \limits _{\alpha ,\beta =1}^{3}T_{(\alpha \beta )}e_{(\alpha )p}e_{(\beta )q}=\sum \limits _{i,k =1}^{3} T_{ik} \sum \limits _{\alpha ,\beta =1}^{3}e_{(\alpha )}^{i}e_{(\alpha )p}e_{(\beta )}^{k}e_{(\beta )q}$ 。ここで、基底の積については直交座標を選んだことにより $\bm{e_{(\alpha )}}\cdot \bm{e_{(\beta )}}= \sum \limits _{i=1}^{3}e_{(\alpha)}^{i}e_{(\beta )i}=\delta_{\alpha \beta}$ が成り立つことから、 $e_{(\alpha)}^{\alpha}=\sum \limits _{\beta =1}^{3}\delta_{(\alpha \beta )}e_{(\beta )}^{\alpha }=\sum \limits _{i=1}^{3} e_{(\alpha )}^{i}\sum \limits _{\beta =1}^{3} e_{(\beta )i}e_{(\beta )}^{\alpha}$ が言えます。（ここの式変形はややトリッキーです。右辺を実際に展開してみればすぐに確認できます。）右辺は計量テンソルを用いて $\sum \limits _{i=1}^{3} g_{i}^{.\alpha} e_{(\alpha )}^{i}$ と変形できることから、最初の $T_{ik}$ の式は $\sum \limits _{i,k=1}^{3} T_{ik}g_{p}^{.i}g_{q}^{.k}=T_{pq}$ と変形できます。さらに計量テンソルに関して $g_{i}^{.\alpha }=\sum \limits _{\beta=1}^{3} e_{(\beta)i}e_{(\beta)}^{\alpha}$ が成り立ちますので、これを代入すると $T_{pq}=\sum \limits _{\alpha , \beta =1}^{3} T_{(\alpha \beta )}e_{(\alpha)p}e_{(\beta )q}$ を得ます。これはつまり、 $T_{(pq)}$ を $e_{(\alpha)p}$ と $e_{(\beta )q}$ の積で表示する式に他なりませんので定理が示されます。■
より一般には、 $n$ 階のテンソルと $m$ 階のテンソルの積は、 $m+n$ 階のテンソルになります。上の定理は、 $1$ 階のテンソルであるベクトルに限ってこの乗法を考えた特別な場合だと言えます。このようなテンソル同士の積を *テンソルの直積* と呼びます。 テンソルの加法と乗法_ でもう一度考えます。
.. admonition:: theorem
$n$ 階のテンソルと $m$ 階のテンソルの積は $m+n$ 階のテンソルになります。
.. _テンソルの概念: http://www12.plala.or.jp/ksp/vectoranalysis/TensorConcept/
.. _テンソルの加法と乗法: http://www12.plala.or.jp/ksp/vectoranalysis/TensorManup/
@@author:Joh@@
@@accept: 2005-06-11@@
@@category: ベクトル解析@@
@@id: TensorFromVector@@
