2025年2月16日日曜日

1011: フィールド（体）、フィールド（体）上方のk個のベクトルたちスペース（空間）たちおよびフィールド（体）に関するテンソルたちスペース（空間）は、ベーシス（基底）でデュアルベーシス（基底）たちの要素たちのテンソルプロダクト（積）たちから構成されるものを持つ

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
フィールド（体）、フィールド（体）上方のk個のベクトルたちスペース（空間）たちおよびフィールド（体）に関するテンソルたちスペース（空間）は、ベーシス（基底）でデュアルベーシス（基底）たちの要素たちのテンソルプロダクト（積）たちから構成されるものを持つことの記述/証明

話題


About: ベクトルたちスペース（空間）

この記事の目次

開始コンテキスト

ターゲットコンテキスト



  • 読者は、任意のフィールド（体）、当該フィールド（体）上方の任意のk個のベクトルたちスペース（空間）たちに対して、当該フィールド（体）、当該ベクトルたちスペース（空間）たち、当該フィールド（体）に関するテンソルたちスペース（空間）は、ベーシス（基底）で当該ベクトルたちスペース（空間）たちの任意のベーシス（基底）たちのデュアルベーシス（基底）たちの全ての要素たちの全てのテンソルプロダクト（積）たちから構成されるものを持つという命題の記述および証明を得る。

オリエンテーション


本サイトにてこれまで議論された定義たちの一覧があります。

本サイトにてこれまで議論された命題たちの一覧があります。

本体

1: 構造化された記述


ここに'構造化された記述'のルールたちがある。

エンティティ（実体）たち:
F: ∈{ 全てのフィールド（体）たち }
{V1,...,Vk}: ⊆{ 全てのファイナイト（有限）-ディメンショナル（次元） F ベクトルたちスペース（空間）たち }
L(V1,...,Vk:F): = 当該テンソルたちスペース（空間） 
{B1,...,Bk}: Bj∈{ の全てのベーシス（基底）たち Vj}={bjl|1≤l≤dimVj}
{B1∗,...,Bk∗}: Bj∗=Bj のデュアルベーシス（基底） ={bjl|1≤l≤dimVj}
B∗: ={b1j1⊗...⊗bkjk|∀l∈{1,...,k}(1≤jl≤dimVl)}
//

ステートメント（言明）たち:
B∗∈{L(V1,...,Vk:F) に対する全てのベーシス（基底）たち }
//

B∗を、"{B1,...,Bk}に関するスタンダード（標準）ベーシス（基底）"と呼ぼう: それは、{B1,...,Bk}が指定されなければ決定されない。

2: 注1


L(V1,...,Vk:F)はもっと一般的なL(V1,...,Vk:W)ではあり得ない、なぜなら、b1j1⊗...⊗bkjk∈L(V1,...,Vk:F)。

3: 証明


全体戦略: ステップ1: B∗はL(V1,...,Vk:F)をスパンする（張る）ことを見る; ステップ2: B∗はリニア（線形）にインディペンデント（独立）であることを見る。

ステップ1:

f∈L(V1,...,Vk:F)は任意のものであるとしよう。

v=(v1,...,vk)∈V1×...×Vkは任意のものであるとしよう。

vj=vjlbjl。

f(v)=f((v1,...,vk))=f((v1l1b1l1,...,vklkbklk))=v1l1vklkf((b1l1,...,bklk))。

f((b1l1,...,bklk))b1l1⊗...⊗bklk∈L(V1,...,Vk:F)のことを考えよう。

f((b1l1,...,bklk))b1l1⊗...⊗bklk(v)=f((b1l1,...,bklk))b1l1⊗...⊗bklk((v1,...,vk))=f((b1l1,...,bklk))b1l1(v1m1b1m1)...bklk(vkmkbkmk)=f((b1l1,...,bklk))v1m1δm1l1...vkmkδmklk=f((b1l1,...,bklk))v1l1...vklk。

それが意味するのは、f=f((b1l1,...,bklk))b1l1⊗...⊗bklk、したがって、B∗はL(V1,...,Vk:F)をスパンする（張る）。

ステップ2:

cl1,...,lkb1l1⊗...⊗bklk=0としよう。

それを(b1m1,...,bkmk)にオペレートさせる。すると、(cl1,...,lkb1l1⊗...⊗bklk)((b1m1,...,bkmk))=0((b1m1,...,bkmk))=0、しかし、(cl1,...,lkb1l1⊗...⊗bklk)((b1m1,...,bkmk))=cl1,...,lkb1l1(b1m1)...bklk)(bkmk)=cl1,...,lkδm1l1...δmklk=cm1,...,mk、したがって、各cm1,...,mk=0。

4: 注2


B∗が本命題内におけるように固定されたら、f=f((b1l1,...,bklk))b1l1⊗...⊗bklk、そして、fはコンポーネントたち{f((b1l1,...,bklk))}によってユニークに代表されることができる。

本命題は、Vjたちが互いに異なるFベクトルたちスペース（空間）たちであることを許容するが、ある典型的なケースは、Tqp(V):=L(V∗,...,V∗,V,...,V:F)、ここで、p個のV∗たちおよびq個のVたちがある。すると、Vに対する任意のベーシス（基底）{bj|1≤j≤n}に対して、V∗に対するデュアルベーシス（基底）を{bj|1≤j≤n}として、B∗は(\{b_{j_1} \otimes ... \otimes b_{j_p} \otimes b^{j_{p + 1}} \otimes ... \otimes b^{j_{p + q}} \vert 1 \le j_l \le n\}\): 実のところ、そこのbjlは厳密にはそれでなく、それにV∗∗内で対応するものである、任意のファイナイト（有限）-ディメンショナル（次元）リアル（実）ベクトルたちスペース（空間）のダブルデュアルは元のベクトルたちスペース（空間）へ'ベクトルたちスペース（空間）たち - リニア（線形）モーフィズム（射）たち'アイソモーフィック（同形写像）であるという命題内にて: blに対応するものはbmへbm(bl)=δlmとしてオペレートするので、本当に、{bj}に対応するベーシス（基底）は{bj}のデュアルベーシス（基底）である。すると、fのコンポーネントたちは、fjp+1,...,jp+qj1,...,jp:=f((bj1,...,bjp,bjp+1,...,bjp+q))と表記される。

一部の人々は、{fjp+1,...,jp+qj1,...,jp}を"テンソル"と呼ぶが、それらは本当はテンソルfの当該ベーシス（基底）B∗に関するコンポーネントたちであって、"テンソル"ではない。

本命題内におけるB∗はあるベーシス（基底）であるが、別のベーシス（基底）はその形である必要はない: あるL(V1,V2:F)、ここで、B1={b11,b12}およびB2={b21,b22}、に対して、{b11⊗b21,b11⊗b22+b12⊗b21,b11⊗b22−b12⊗b21,b12⊗b22}はあるベーシス（基底）である: それは、L(V1,V2:F)をスパンする（張る）、なぜなら、b11⊗b22およびb12⊗b21はb11⊗b22=1/2((b11⊗b22+b12⊗b21)+(b11⊗b22−b12⊗b21))およびb12⊗b21=1/2((b11⊗b22+b12⊗b21)−(b11⊗b22−b12⊗b21))として実現される; それはリニア（線形）にインディペンデント（独立）である、なぜなら、c1b11⊗b21+c2(b11⊗b22+b12⊗b21)+c3(b11⊗b22−b12⊗b21)+c4b12⊗b22=0は、c1=c2=c3=c4=0を含意する: c1b11⊗b21+c2(b11⊗b22+b12⊗b21)+c3(b11⊗b22−b12⊗b21)+c4b12⊗b22=c1b11⊗b21+(c2+c3)b11⊗b22+(c2−c3)b12⊗b21+c4b12⊗b22、それが含意するのは、c1=c2+c3=c2−c3=c4=0、それが含意するのは、c2=c3=0。

すると、fのコンポーネントたちはfjp+1,...,jp+qj1,...,jpのように表記することができない、それは、そのベーシス（基底）に対しては意味をなさない。したがって、通常のコンポーネントたち表現fjp+1,...,jp+qj1,...,jpは、本命題内で用いられている特定タイプのベーシス（基底）たちに関してのみ有効である。

参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
投稿者 時刻:
ラベル: