前回の記事:
優しい解説を心掛けるリーマン幾何学~1. ベクトルとテンソル 1.2 双対ベクトル空間(2)~
次回の記事:
テンソルの解説です。代数学の環論においてテンソル積空間の構成から理解しておくのが一番どの文脈でも適用出来て汎用性が高いと思いますが、その方法は少し道が長くなるので、差し当たって多様体論の基本的内容を理解するために最小限の導入にします。
テンソル
次元ベクトル空間を、その双対空間をとします。の元は線形写像であり、またの元もと見なせました。これらはベクトルまたはコベクトルを1つ引数に取る線形関数であり、これを一般化すれば複数のベクトルやコベクトルを引数に取る線形関数を考えることができそうです。
例えば、の基底をとし、とするとき、の行列を使って、に対して、
という量を対応させることで2つのベクトルを引数に持つ関数が得られます。この関数をと書くと、
となり、1つ目の引数に対して線形です。また同様に2つ目の引数に対しても線形です。このように各引数に対する線形性を多重線形性といいます。
これを一般化してテンソルを定義します。
テンソル
多重線形写像
を型テンソルという。をテンソルの階数(ランク)という。型テンソルの集合をと書く。
の行列は型、型、型テンソルなどと見なすことができます(また後で触れますが、2階のテンソルのある基底に関する表現は行列となります)。
テンソル空間
には和とスカラー倍が以下のように定義されます。ここではを例にとっていますが、一般のに対しても同じです。
これによりは明らかに実ベクトル空間となります。をベクトル空間とみなしたものをテンソル空間と呼びます。
次にテンソル空間の基底を構成します。の基底を、の双対基底をとします。の元を
として、各引数に対して多重線形に拡張して定義します。
さらにに対して、
をの基底に関する成分と呼びます。このとき任意のは
と表されるので、集合はにおいて完全性を満たします。また独立性もとの独立性を繰り返し使うことで成り立つことが分かります。よってこの集合がテンソル空間の基底となります。
次回はテンソルの同値、存在、成分の変換性、縮約について述べます。