向量空间的张量积
贡献者： Giacomo
未完成：万有性质
定义 1 张量积
设 $V_1, V_2,T$ 是域 $\mathbb F$ 上的向量空间，$\sigma: V_1 \times V_2 \rightarrow T$ 是个双线性映射。若对域 $\mathbb F$ 上任意向量空间 $U$，任一双线性映射 $\varphi:V_1\times V_2\rightarrow U$，都存在唯一的线性映射 $\psi:T\rightarrow U$ 使 $\varphi=\psi\sigma$，即如下交换图
\begin{equation}
\begin{CD}
V_1 \times V_2 @>{\sigma}>> T \\
@| @V{\psi}VV\\
V_1 \times V_2 @>{\varphi}>> U
\end{CD}~
\end{equation}
那么对 $(\sigma, T)$ 就称为 $V_1$ 与 $V_2$ 的
张量积，$T$ 记为 $V_1 \otimes V_2$，$\sigma(v_1, v_2)$ 记为 $v_1 \otimes v_2$
1。
我们还可以定义向量空间 $V$ 的 $k$ 次张量幂，$V^{\otimes k}: = \underbrace{V \otimes \dots \otimes V}_k$。
未完成：存在性
未完成：张量积的维度
未完成：张量积与对偶空间
1. ^ 在张量的张量积一文中，在有限维度的情况下，我们定义了向量间的张量积，这里是对它的推广
致读者： 小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此，我们请求广大读者
热心打赏 ，使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损， 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款， 他们的付出帮助了 99% 的读者免费获取知识， 我们在此表示感谢。