向量空间的张量积

贡献者： Giacomo

本文处于草稿阶段。

预备知识　多线性映射

未完成：万有性质

定义 1　张量积

　　设 $V_{1}, V_{2}, T$ 是域 $F$ 上的向量空间， $σ : V_{1} \times V_{2} \to T$ 是个双线性映射。若对域 $F$ 上任意向量空间 $U$ ，任一双线性映射 $φ : V_{1} \times V_{2} \to U$ ，都存在唯一的线性映射 $ψ : T \to U$ 使 $φ = ψ σ$ ，即如下交换图

\begin{matrix} (1) & \begin{matrix} V_{1} \times V_{2} & \overset{σ}{\to} & T \\ ∥ & ψ ↓ \\ V_{1} \times V_{2} & \overset{φ}{\to} & U \end{matrix} \end{matrix}

那么对

(σ, T)

就称为

V_{1}

与

V_{2}

的张量积，

T

记为

V_{1} \otimes V_{2}

，

σ (v_{1}, v_{2})

记为

v_{1} \otimes v_{2}

¹。

　　我们还可以定义向量空间 $V$ 的 $k$ 次张量幂， $V^{\otimes k} := \underset{k}{\underset{⏟}{V \otimes \dots \otimes V}}$ 。

未完成：存在性

未完成：张量积的维度

未完成：张量积与对偶空间

1. ^ 在张量的张量积一文中，在有限维度的情况下，我们定义了向量间的张量积，这里是对它的推广

致读者：小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。因此，我们请求广大读者热心打赏 ，使网站得以健康发展。如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损，并在接下来的一年里向所有读者继续免费提供优质内容。但遗憾的是只有不到 1% 的读者愿意捐款，他们的付出帮助了 99% 的读者免费获取知识，我们在此表示感谢。

向量空间的张量积

定义 1 张量积

定义 1　张量积