ときわ台学/線形代数/多重線形性・テンソル

	５　多重線形性とテンソル
f-denshi.com ［目次へ］最終更新日：07/10/19
サイト検索

このページでは，テンソル積の記号を×と書いています。

1．双線形写像，多重線形写像

[1]　これから体R上のベクトル空間V上で定義された線形写像 [#] の概念の拡張として多重線形性を説明します。まず，1重線形性とも呼ぶべき線形写像についてもう一度書くと，

ベクトル空間 V

(1)　　 x，y 　 →　 x ＋y 　　　　( x,y ，x＋y ∈ V )
(2)　　　a，x　　→　 ax　　　　　　( x ，ax ∈V ，a ∈ R )

双対空間 V^*

(1)'　　φ(x )，ψ(x )　→　(φ＋ψ)(x )　　(φ，ψ，φ＋ψ ∈V^* )
(2)'　　　a，φ(x )　　→　(a･φ)(x )　　 (φ，a･φ ∈ V^*，a ∈ R )

これらの空間の”橋渡し役”　が線形写像：

(1)"　　φ(x＋y )＝φ(x )＋φ(y )　
(2)"　　φ(ax)　＝aφ(x )

ということでした。(詳しいことはこちら[#]，[#] を見て下さい。)

[２]　これらをベースに双線形写像(２重線形写像)と呼ばれる写像(＝関数)を定義しましょう。

定義

体R上のベクトル空間V の直積集合V×V：

｛(x,y )｜x,y ∈ V　｝

上で定義された関数：

φ(x,y )：　 (x,y )∈V×V　→　r ∈ R　

を考えて，それが，z ∈ V，a∈ R に対して，

(1)　φ(x＋z,y )＝φ(x,y )＋φ(z,y )
　　φ(x,y＋z )＝φ(x,y )＋φ(x,z )

(２)　φ(ax,y )＝aφ(x,y )　
　　　φ(x,ay )＝aφ(x,y )

を満たすとき，(1)，(２)の性質を双線形性といい，この関数φを双線形写像という。

つまり，1番目，２番目の各成分(ベクトル)についての線形性が独立して成り立つということです。

[３]　具体的例としては，２次元ベクトルの直積集合，

(x,y )
，　ただし，x ＝ x¹ ，y ＝ y¹ ∈V

x² y²

を次のような２行２列の行列式に対応させる写像ψ：

ψ(x,y )＝｜x y｜＝　 x¹ y¹ 　

x² y²

は双線形関数です。これは行列式の基本性質[#]から直ぐに(1)，(２)を確かめられることができます。ここで，ψ(x,y )が普通の二変数関数ψ(x,y )とはまったく別物であることに注意してください。

[４]　さらに，n 個の n次元ベクトルを並べてできる n次の行列式で表される関数はn重線形写像と呼ぶべきものということもわかりますね。このように線形性の概念は，”複数のベクトル空間の直積集合”上の関数に無理なく拡張できることが期待できます。また，定義の仕方から，定義域を構成するベクトル空間が必ずしも同一である必要はありません。つまり，より一般的に，

異なってもよいベクトル空間：V₁，V₂，･･･，V_n　を考えて，その直積集合：

｛(v₁,v₂,･･･,v_n)｜v₁∈V₁,v₂∈V₂,･･･,v_n∈V_n｝

上の関数で，各成分について線形性が成り立つもの

を考えることができます。これらを総称して多重線形写像といいます。

このように線形性は多重線形性へと一般化できますが，応用上重要なのは，ダントツで「３次元ベクトル空間上の双線形写像」です。また，ｎ重線形写像の取り扱いは記述が極めて煩雑になるので，ここでは双線形写像，２階テンソルに話を絞って具体的に説明したいと思います。

２．二階テンソル

[1]　前ページでベクトル空間 V の線形関数の全体集合 V^* を考えると，内積を通してこれらのベクトル空間V^* がVと同一視できることをみました。同様なことが双線形関数についても成り立つことをまず，確かめましょう。

　双線形写像全体の集合，これを　V^*×V^* ＝｛φ,ψ,･･･｝と書くことにしますが，この集合の元の間に意味のある和＋，とスカラー積･を次のように定義することができます。すなわち，

(1)　(φ＋ψ)(x,y)＝φ(x,y)＋ψ(x,y)
(２)　(a･φ)(x,y)＝aφ(x,y )

とします。このとき，φとψ∈V^*×V^* ならば，φ＋ψ，および，a･φ は V×V上の双線形写像であることが確かめられます。つまり，　(証明は，片方のベクトルに着目すれば，双対空間の線形性 [#] と全く同様です。)

φ＋ψ，　a･φ　∈ V^*×V^*

がいえます。この（双対）ベクトル空間 V^*×V^* を　V^* のテンソル積　といいます。

[２]　次に射影と呼ばれる写像を導入します。いま，基底：｛e₁,e₂,e₃ ｝のベクトル空間V の元を，

x ＝ x¹e₁＋x²e₂＋x³e₃
y ＝ y¹e₁＋y²e₂＋y³e₃
z ＝ z¹e₁＋z²e₂＋z³e₃

x，y，z ∈V　とします。そして，２つのベクトルをスカラーに対応させる写像（射影）：φ_jk(x,y)を，

　　　　「ベクトル(x ) のj 番目の成分　x^j　を取り出し」，　
さらに，
　　　　「ベクトル(y ) のk 番目の成分　y^k　を取り出し」
てその積をとる

ように定義します。つまり，

定義：　　φ_jk(x,y)＝x^jy^k ，φ_jk(z,y)＝z^jy^k　　　･･･　など

となります。すると，

φ_jk(x＋z，y ) ＝ (x^j＋z^j)y^k＝x^jy^k＋z^jy^k
　　　　　　　＝ φ_jk(x,y)＋φ_jk(z,y)

φ_jk(ax,y)　　＝ ax^jy^k
　　　　　　　＝ aφ_jk(x,y)

が成り立ち，このφ_jkが V×V上の双線形関数[#]の一つであることが確認できます。したがって，

　φ_jk ∈V^*×V^*

φ_jkは双線形関数の全体集合，V^*×V^* の元のひとつです。

[３]　次に，これら双線形関数の記号 ”φ_jk” を，線形関数の双対空間を調べたときをまねて[#]，

　φ₁₁ → e¹×e¹，φ₁₂ → e¹×e²，･･･，φ₃₃ → e³×e³　　　　( ⇔φ_j＝e^j)

　　　　　　　　　　　　　　　　　　　　　　　　　　　( e^j×e^k ∈ V^*×V^* )

フォントの関係で，普通に使われるの代わりに×を使ってます。　あしからず。

と機械的に置き換えてみましょう。すると，射影φ_jkの双線形性は，　　　　　　　　　

(1)　φ_jk(x＋z,y)＝φ_jk(x,y)＋φ_jk(z,y)

(2)　φ_jk(ax,y)＝aφ_jk(x,y)　

(3)　φ_jk(x,y)≡x^jy^k

⇒　{e^j×e^k}(x＋z,y)＝{e^j×e^k}(x,y)＋{e^j×e^k}(z,y)

⇒　{e^j×e^k}(ax,y) ＝a{e^j×e^k}(x,y)

⇒　{e^j×e^k}(x,y)
　　＝{e^j×e^k}( x¹e₁＋x²e₂＋x³e₃，y¹e₁＋y²e₂＋y³e₃)
　　　＝x¹y¹{e^j×e^k}(e₁,e₁)＋x¹y²{e^j×e^k}(e₁,e₂)･･･
　　　　　　　　　　････････････
　　＋x³y¹{e^j×e^k}(e₃,e₁)＋･･･＋x³y³{e^j×e^k}(e₃,e₃)
　　　≡x^jy^k

と[e^j×e^k]を用いて記述が変更されます。

cf. 　比較のために，以前定義した射影φ_jの線形性を再掲

(1)　φ_j(x＋y ) ＝ φ_j(x )＋φ_j(y )

(2)　φ_j(ax ) ＝ aφ_j(x )　

(3)　φ_j(x )＝φ_j(x¹e₁＋x²e₂＋x³e₃ )
　　＝ x¹φ_j(e₁ )＋x²φ_j(e₂ )＋x³φ_j(e₃ )
　　＝ x ^j

⇒　e^j(x＋y ) ＝ e^j(x )＋e^j(y )

⇒　e^j(ax ) ＝ ae^j(x )

⇒ e^j(x )＝e^j( x¹e₁＋x²e₂＋x³e₃ )
　　＝ x ¹e^j(e₁ )＋x²e^j(e₂ )＋x³e^j(e₃ )
　　＝ x ^j　

特に(３)の射影演算子：φ_jk　の定義式からは，

{e^j×e^k}(e_s,e_t) ＝δ_jsδ_kt

　　　　　　←　cf.　　e^j(e_k) ＝δ_jk

という”直交関係”が要求されていることがわかります。　　←これは φ_jkの定義の言い換えです。

[４]　以上の記号と定義のもとで，

定理
　｛e₁,e₂,e₃ ｝を基底とする３次元ベクトル空間V の直積V×V 上の任意の双線形写像φは，

φ(e₁,e₁)＝T₁₁，φ(e₁,e₂)＝T₁₂，･･･，φ(e₃,e₃)＝T₃₃

　　　⇔　cf.　　　φ(e_j)＝x_j　

とすれば，これらを係数として，

φ＝T₁₁{e¹×e¹}＋T₁₂{e¹×e²}＋･･･＋T₃₃{e³×e³}
　＝Σ_jΣ_k T_jk{e^jⅩe^k} 　⇔　cf.　φ＝x₁e¹＋x₂e²＋x₃e³ 　

のように e^j×e^k　の1次結合で展開できる。　

ただし，{e^j×e^k}(e_s,e_t )＝δ_jsδ_kt　　　　　　　　　　⇔　cf.　　e^j(e_s)＝δ_js

によって，双線形関数 {e^j×e^k} を定義する。

つまり，９個のe^j×e^k ，

e¹×e¹，e¹×e²，e¹×e³，e²×e¹，e²×e²，e²×e³，e³×e¹，e³×e²，e³×e³

はテンソル積 V^*×V^* [#]　と呼ばれるベクトル空間の基底となる。

そして，T_jk を２階共変テンソル成分いいます。

[証明]　　十分性だけ示しておきましょう。

任意のφ，および，x ＝ x¹e₁＋x²e₂＋x³e₃，y ＝ y¹e₁＋y²e₂＋y³e₃ について，

φ(x,y )＝φ(Σx^je_j,Σy^ke_k)＝　ΣΣx^j y^kφ(e_j,e_k)
　　＝x¹y¹T₁₁＋x¹y²T₁₂＋　_･･･＋x³y²T₃₂＋x³y³T₃₃
＝{e¹×e¹}(x,y)T₁₁＋{e¹×e²}(x,y)T₁₂＋_･･･＋{e³×e²}(x,y)T₃₂＋{e³×e³}(x,y)T₃₃
＝{T₁₁{e¹×e¹}＋T₁₂{e¹×e²}＋_･･･＋T₃₂{e³×e²}＋T₃₃{e³×e³}}(x,y)

となることからわかります。

双線形写像の２階テンソルを用いた展開の具体例としては内積が挙げられます⇒［具体例］

既出の「計量テンソルg_jk が共変テンソルである」こと，および，内積がV^*×V^*のベクトルであることは内積の定義[#]，

(x,y )＝x¹y¹g₁₁＋x¹y²g₁₂＋x¹y³g₁₃＋x²y¹g₂₁＋x²y²g₂₂＋x²y³g₂₃＋x³y¹g₃₁＋x³y²g₃₂＋x³y³g₃₃

思い出し，上述のφ(x,y )の展開において，対応　T_jk⇔ g_jk　を見出せばすぐに分かると思います。

[５]　さて，上の定理とベクトルの線形性に関する定理[#]などと比較して眺めてみましょう。

(双対)空間 ⇒	線形性のまとめの再掲		上述した双線形写像のまとめ	↓　対称性から推論
(双対)空間 ⇒	L₁(V^*) V	L₁(V) V^*	L₂(V) V^×V^	L₂(V^*) V×V
元の記号	xまたはT	φ	φ	(x,y )またはT
基底	e_j,･･･	e^j,･･･	e^j×e^k，･･･	e_j×e_k，･･･
線形結合	x＝Σx^je_j	φ＝Σx_je^j	φ＝ΣΣ T_jk{e^j×e^k}	T=ΣΣ T^jk{e_j×e_k}
基底と成分	T(e^j)＝x^j	φ(e_j )＝x_j	φ(e_j,e_k)＝φ({e_j×e_k})＝T_jk	T(e^j,e^k)=T(e^j×e^k)=T^jk
射影	e^j(x )＝φ_j(x)≡x^j		{e^j×e^k}(x,y )＝φ_jk(x,y)≡x^jy^k
直交性	e^j(e_s)＝e^j･e_s＝δ_js		{e^j×e^k}(e_s,e_t)＝{e^j×e^k}･{e_s×e_t}＝δ_jsδ_kt

左半分が前ページまでのまとめ，そのすぐ右の列がこのページのこれまでの説明のまとめです。そして一番右側の青い列は，この表に完璧な対称性をもたらすために必要な関係式を推定して書き込んだものです。それは共変テンソル（←ベクトル空間ですぞ！）に対となるベクトル空間上で成立する関係式です。

ベクトル空間で議論したベクトル空間と双対空間の対称性を考慮すると，共変テンソルに対してもそれと同型なベクトル空間が存在して，それは，指標の上下の関係を逆転させたものであろう予測できます。それを　V×V （=(V^*)^*×(V^*)^*）と命名することも当然の成り行きでしょう。厳密にはきちんとした証明が必要ですが，ここまでの議論を完全に理解できていれば自明であり，それも不要でしょう。また，ベクトルとは1階反変テンソルT^k と呼ぶベキものだったのだと気がつきますね。

[７]　双線形写像において，φと (x,y) のどちらが変数でどちらが関数に対応しているかは単なる視点の置き方の違いでしかないこと，したがって，V と V^* の役割をひっくり返して，V^* の直積集合 V^*×V^*上の関数の全体集合をV×V とすることで，V のテンソル積を導入してもよいことも分かるはずです。つまり，このページのここまでの議論と結果において，テンソルや基底の指標をすべて上下逆にひっくり変えした定理が成り立つはずです。その結果だけ書いておくと，

反変テンソル

　V^* の直積　V^*×V^*上の任意の双線形写像(x,y ) は，V^*の基底の直積に関して，

　　　　(x,y )(e¹,e¹)＝T¹¹，(x,y )(e¹,e²)＝T¹²，･･･，(x,y )(e³,e³)＝T³³

とおけば，

(x,y )＝ T¹¹{e₁×e₁}＋T¹²{e₁×e₂}＋･･･＋T³³{e₃×e₃}
　　＝Σ_jΣ_k T^jk{e_j×e_k}

と，e_j×e_k の1次結合で表せる　⇔　{e_j×e_k}　の全体集合は V×V の基底である。また，

{e_j×e_k}(e^s,e^t)＝δ_jsδ_kt　；　　T^jk：２階反変テンソル

が成立している。

ここで，(x,y )を関数とみなせというのはあまりに不細工なので，多くの教科書は別の記号を使っています。ここではあえて，そのような体裁を整えることはやめてここでは，”何も工夫をしないという工夫”をしてみました。

以上は２階テンソルで説明しましたが，これは３階以上のテンソルに拡張できることは，ただ，(x,y ，･･･)　とすればよいだけで容易に分かります。その性質は双線形性を一般化したもので，多重線形性と呼ばれます。

[目次へ]