数学 › 線形代数学 › テンソル積と外積代数

多重線形写像

定義 2.1(「テンソル積と外積代数」§2)

V1,…,Vk,WV_1,\ldots,V_k,W を KK 上のベクトル空間とする。写像 B:V1×⋯×Vk→WB:V_1\times\cdots\times V_k\to W が多重線形(kk 重線形、k=2k=2 のとき双線形)であるとは、各 ss について、他の変数を固定したとき vs↦B(v1,…,vs,…,vk)\boldsymbol{v}_s\mapsto B(\boldsymbol{v}_1,\ldots,\boldsymbol{v}_s,\ldots,\boldsymbol{v}_k) が線形であることをいう。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。