出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/07/28 09:29 UTC 版)
テンソル積との関係
多重線型写像は本質的にテンソル積空間上の線型写像であると考えることができる。すなわち多重線型写像の空間 L(E1, …, Ek; F) と線型写像の空間 L(E1 ⊗ ⋯ ⊗ Ek; F) との間に自然な一対一対応が存在する(テンソル積の普遍性)。ここに E1 ⊗ ⋯ ⊗ Ek は E1, …, Ek のテンソル積である。この対応関係において対応する多重線型写像
と線型写像
の間の関係は、等式
![{\displaystyle {\tilde {f}}(x_{1}\otimes \cdots \otimes x_{k})=f(x_{1},\dotsc ,x_{k})\qquad (x_{i}\in E_{i})}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/3c9b69776e021eb110ac11eb5362e90d4ce00cd4)
によって端的に表される。すなわち、この等式を満たすという意味で
f は
~f の制限であり、
~f は
f の唯一の線型な拡張である
[注釈 1]。