========================= テンソル成分の加法と乗法 ========================= テンソル同士の基本的な計算を決めることにします。いきなりこのページを読んでいる試験直前の人は、計算規則だけ暗記して下さい。テンソル空間の代数的構造を少し勉強してきた読者の方は、註の意味をしっかり理解できるか確認して下さい。 普通の活字の部分は最低限の基礎ですが、註の内容も問題なく理解できると良いです。 加法 ----------------------------- テンソルの足し算は、階数が同じテンソル同士でしか定義できないものとします。階数が同じテンソルが二つあった場合、その個々の成分の和からなるテンソルを、テンソルの和と定義します。ベクトルの加法で、成分同士を足し合わせたのと同じことです。 A^{ij}+B^{ij} = C^{ij} \tag{1} 和は、座標変換の際、もとの二つのテンソルと同じ変換則に従うことが示せます。 $A^{ij}$ と $B^{ij}$ の変換則を $A'_{kl}={\alpha}_{ki}{\alpha}_{lj}A^{ij}$ , $B'_{kl}={\alpha}_{ki}{\alpha}_{lj}B^{ij}$ とすると次式がなりたちます。 C'_{kl} &=A'_{ki}+B'_{lj} \\ & ={\alpha}_{ki}{\alpha}_{lj} (A^{ij}+B^{ij}) \\ &= {\alpha}_{ki}{\alpha}_{lj}C^{ij} \tag{2} 確かに式 $(1)$ によって定義される和も、階数の等しいテンソルになります。 .. [*] テンソルの基底を明示的につけて、例えば二階のテンソルを $A^{ij}(\bm{e_{i}}\otimes \bm{e_{j}})$ と書けば、式 $(1)$ の加法とは、同じ基底の係数同士を足すこと $A^{ij}(\bm{e_{i}}\otimes \bm{e_{j}}) + B^{ij}(\bm{e_{i}}\otimes \bm{e_{j}})=C^{ij}(\bm{e_{i}}\otimes \bm{e_{j}})$ だと分かるでしょう。テンソルの基底もベクトル空間を張っており（ テンソルとベクトル空間_ 参照）、一般にベクトル空間の元で基底が同じベクトルの和は、基底は変わらず成分同士を足せば良いことがベクトル空間の定義から示すことが出来ます。 添字の上下による区別 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ テンソル同士の和は階数が同じテンソルにしか定義できないと書きましたが、テンソルには添字の上下による形の区別があります。 *加法は形が同じテンソル同士にしか定義できない* ものとします。 以下に、共変テンソル、反変テンソル、混合テンソルの加法を例示します。　 A^{ij}+B^{ij} = C^{ij} \tag{3-1} A_{ij}+B_{ij} = C_{ij} \tag{3-2} A_{i}^{j}+B_{i}^{j} = C_{i}^{j} \tag{3-3} A_{ij}^{k}+B_{ij}^{k} = C_{ij}^{k} \ \ \ \ etc. 混合テンソルで、添字に順番がある場合、 $A_{i}^{.j}$ と $B_{.i}^{j}$ で加法は出来ませんので注意して下さい。 .. [*] この規則も基底を考えれば当然です。例えば $A^{ij}$ は基底 $(\bm{e_{i}}\otimes \bm{e_{j}})$ にかかる係数、 $B_{ij}$ は基底 $(\bm{e^{i}}\otimes \bm{e^{j}})$ にかかる係数ですが、 $(\bm{e_{i}}\otimes \bm{e_{j}})$ と $(\bm{e^{i}}\otimes \bm{e^{j}})$ は違うベクトルですから、単純に成分を足し合わせるようなことは出来ないわけです。なぜ、同じ形のテンソル同士にしか和が定義できないのか分かりましたね。また、テンソル積は一般に非可換ですから、 $(\bm{e_{i}}\otimes \bm{e^{j}})$ と $(\bm{e^{j}}\otimes \bm{e_{i}})$ は違います。（ 多重線形性とテンソル空間_ 参照）。混合テンソルの添字に順番がある理由は、基底のテンソル積の順番に対応しているわけです。 .. [*] テンソル積が可換になるのはどのような場合でしょうか？ここまで順番に記事を読んできた人は、テンソル空間の代数的構造もある程度理解しているはずですから、テンソルの計算規則についてもじっくり考えてみてください。 .. [*] 成分だけで計算規則を考えると、ベクトル空間の元としてのテンソルの意味が分かりにくくなります。計算規則が覚えやすいこともあって、テンソルとは何かを理解せずに計算規則だけを暗記する人が多いように思います。こんなに面白いのに、残念なことです。 テンソル積 ------------------------------------------------------- 次式のように、二つの *テンソル積* もしくは *外部積* と呼ばれる積を定義します。 A_{ij}B_{kl} = C_{ijkl} \tag{4-1} つまり、あたかも添字だけ足すようにするわけです。ここでもやはり添字の上下に気をつけなければなりませんが、違う形のテンソルで積を取ることもできます。階数が違うテンソル同士の積でも大丈夫です。加法とは大違いですね。幾つか例を示しましょう。 A^{ij}B_{kl} = C_{kl}^{ij} \tag{4-2} A^{ijk}B^{lmn} = C^{ijklmn} \tag{4-3} A_{i}B^{jkl} = C_{i}^{jkl} \tag{4-4} 一般にテンソルの積は非可換です。（行列の積が非可換であることを思い出せば、当然ですね。） C_{ijkl}=A_{ij}B_{kl} \ne C_{klij}=A_{kl}B_{ij} \tag{5} .. [*] テンソル積では、添字の上下がどのような組み合わせのテンソルに対しても積を考えることが出来ます。これは、どのような基底に対してもテンソル積 $\otimes$ を考えることが出来るからです。例えば式 $(4-4)$ は、 $\bm{e^{i}} \otimes (\bm{e_{j}}\otimes \bm{e_{k}}\otimes \bm{e_{l}})=\bm{e^{i}} \otimes \bm{e_{j}}\otimes \bm{e_{k}}\otimes \bm{e_{l}}$ という基底に対応した成分です。 テンソルの縮約規則 --------------------------------------------------------------- 同じ添字が上下に分かれて二回出てきたら、その添字について和を取る、という規則がありました。いま三階の混合テンソル $A_{i}^{jk}$ について、添字に同じ文字が出てくる状況を考えてみましょう。 A_{i}^{ik}= A_{1}^{1k}+A_{2}^{2k}+A_{3}^{3k} \tag{6} 結局、右辺で添字として生き残ったのは $k$ だけですから、これは $1$ 階のテンソル（つまりベクトル）に縮退してしまったと見ることができます。テンソルの定義である変換則を使って、 $A_{i}^{ik}$ が本当にベクトルなのか、つまりベクトルの変換則を満たすかどうかを確認してみましょう。　 {A'}_{i}^{ik} &={\alpha}^{i'l}{\alpha}_{i'm}{\alpha}_{n}^{k} A_{l}^{mn} \\ &= {\delta}_{m}^{l}{\alpha}_{n}^{k}A_{l}^{mn} \ \ \ \ (\because {\alpha}^{i'l}{\alpha}_{i'm}={\delta}_{m}^{l}) \\ &= {\alpha}_{n}^{k}A_{l}^{ln} 確かに、ベクトルの変換則を満たしています。一般に $n$ 階のテンソルの添字で同じ文字が現われると、その二文字分、テンソルの次元は縮退して $n-2$ 階のテンソルになってしまいます。 いま、同じ添字を含むテンソルの外部積を考えてみましょう。 A_{i}B^{ik} = C_{i}^{ik} = C^{k} 中辺から右辺への変形は、さきほどの結果を使いました。このように、異なるテンソルの積でも同じ添字を含むものは、それだけ次元が縮退します。このような同じ添字を上下に含むテンソル同士の積を *内積* と呼びます。上下に分かれて出現する添字は消えてしまうので、本当にテンソルの階数を示す添字ではありません。その意味で、このような添字を *ダミー* と呼びます。 .. [*] 縮約規則の復習になりますが、上に二つ、下に二つなど、同じ側に二回出てくる添字の和を取って良いのは、直交座標系においてのみです。一般の曲線座標系では、上下に分かれて出てくる同じ添字の和だけを取ります。さきほど同じ側に同じ添字が出てくるテンソルの和を取りましたが、直交座標系で考えているとの暗黙の了解に基づいています。実際の計算で使う座標系のほとんどは直交座標系ですので、この点にあまり神経質になることはありませんが、せっかくなのできちんと覚えておきましょう。 .. [*] テンソルの縮約は、テンソル積によってベクトル空間 $V$ とその双対空間 $V^{*}$ の元はスカラーに写像されるという性質に依拠しています。ベクトルについては、 一般の座標系における内積と外積_ で縮約をしても良い理由を説明しましたが、背景にある事情は基本的には同じですが、テンソルの縮約を考えると、ベクトル空間とテンソル積の性質がより一般的で本質的に理解できると思います。この問題は 縮約をもう一度考える_ で詳しく考察する予定です。 .. _多重線形性とテンソル空間: http://www12.plala.or.jp/ksp/vectoranalysis/MultilinearTensor/ .. _一般の座標系における内積と外積: http://www12.plala.or.jp/ksp/vectoranalysis/AffineProds/ .. _縮約をもう一度考える: .. _テンソルとベクトル空間: http://www12.plala.or.jp/ksp/vectoranalysis/TensorAndVectorspace/ @@author:Joh@@ @@accept: 2006-08-25@@ @@category: ベクトル解析@@ @@id: TensorManup@@