用户:Mbjpxncp7k/Draft:张量积

定义与构造

两个向量空间 V 和 W 间的张量积是指一个向量空间，通常记作 $V\otimes W$ ，这个新向量空间可确定到至多相差一个同构。

有多种等价的方式来定义张量积，其中大多数都是在显式地定义那个将被称作张量积 $V\otimes W$ 的向量空间，而对等价性的证明可从该向量空间的基本性质中直接得出。张量积也可以通过泛性质定义，参见下文的 User:Mbjpxncp7k/Draft:张量积 § 泛性质 一节。

利用基来构造

设 V 和 W 是域 F 上的两个向量空间，其上分别有基 $B_{V}$ 和 $B_{W}$ 。一种定义张量积的方式是，把 V 与 W 的张量积 $V\otimes W$ 构造成一个以 $\{u\otimes v|u\in B_{V},v\in B_{W}\}$ 为一组基的向量空间。下面的小节会具体介绍如何构造出这样的向量空间，实际使用的是自由向量空间的一种通俗表述。

此种张量积定义的一个局限在于，如此定义的张量积依赖于所选择的基，变更基的选择将带来一个不同的张量积空间。不过，用某一组基展开另一组基的做法定义了这两种张量积空间之间的典范同构。而且这种定义不能推广到环上的模的张量积。

作为基组的笛卡尔积上的函数集

具体构造这种向量空间的方法之一是： 考虑从两组基之笛卡尔积 $B_{V}\times B_{W}$ 到 F 上的、且只在有限个点处取非零值的函数，逐点地定义这些函数的加法与数乘如下：对于任意两个这样的函数 $f,g$ ，以及任意的 $v\in B_{V},w\in B_{W},s\in F$，$${\begin{aligned}(f+g)(v,w):=&f(v,w)+g(v,w),\\(sf)(v,w):=&sf(v,w).\end{aligned}}$$容易验证如此定义的运算满足向量空间公理。于是就定义 $V\otimes W$ 为这些函数所构成的向量空间。

其中，将 $(v,w)$ 映为 1 、且将 $B_{V}\times B_{W}$ 中其他元素映为 0 的函数记作 $v\otimes w$ 。于是集合 $\{v\otimes w\mid v\in B_{V},w\in B_{W}\}$ 直接就构成了 $V\otimes W$ 的一组基，称为基 $B_{V}$ 与 $B_{W}$ 的张量积。

作为向量空间的笛卡尔积上的函数集

另一构造方式是，将 $V\otimes W$ 定义为两个向量空间之笛卡尔积 $V\times W$ 上的、且在 $B_{V}\times B_{W}$ 中仅有有限个点上的值非零的双线性形式所构成的集合。具体来说：给定 $(x,y)\in V\times W$ 与双线性形式 $B:V\times W\to F$ ，可在基 $B_{V}$ 与 $B_{W}$ 中展开 $x$ 与 $y$ 为$$x=\sum _{v\in B_{V}}x_{v}\,v,\quad y=\sum _{w\in B_{W}}y_{w}\,w,$$其中只有有限个 $x_{v}$ 、$y_{w}$ 非零。根据 $B$ 的双线性可知$$B(x,y)=\sum _{v\in B_{V}}\sum _{w\in B_{W}}x_{v}y_{w}\,B(v,w)$$由此可见 $B$ 在任一 $(x,y)\in V\times W$ 上的值都完全由它在 $B_{V}\times B_{W}$ 上的值完全确定了。而现在要使 $v\otimes w$ 成为这些 $B$ 中的一个，它在 $B_{V}\times B_{W}$ 上的定义和之前一样，所以现在只需将定义线性扩张到整个 $V\times W\to F$ 上：$$(v\otimes w)(x,y):=\sum _{v'\in B_{V}}\sum _{w'\in B_{W}}x_{v'}y_{w'}\,(v\otimes w)(v',w')=x_{v}\,y_{w}.$$自此，可将任一双线性形式 $B$ 表示为一个 $v\otimes w$ 的（可能无穷的）线性组合：$$B=\sum _{v\in B_{V}}\sum _{w\in B_{W}}B(v,w)(v\otimes w),$$这看上去就像 ${\text{Hom}}(V,W;F)$ 作为向量空间的绍德尔基一样。而为使其正确地成为一个哈默尔基，只需增加一个条件，我们转而考虑在 $B_{V}\times B_{W}$ 中只在有限个元素上非零的 $B$ ，这些更为特殊的映射构成一个子空间，将这个子空间作为 $V\otimes W$ 即可。

向量的张量积

在这两种构造中，两个向量的张量积都可通过在基上展开来定义。具体来说，如前文一样地取 $x\in V$ 和 $y\in W$ 的基展开：$${\begin{aligned}x\otimes y&={\biggl (}\sum _{v\in B_{V}}x_{v}\,v{\biggr )}\otimes {\biggl (}\sum _{w\in B_{W}}y_{w}\,w{\biggr )}\\[5mu]&=\sum _{v\in B_{V}}\sum _{w\in B_{W}}x_{v}y_{w}\,v\otimes w.\end{aligned}}$$从前面用双线性给出的 $B(x,y)$ 在基下的展开看来，这个定义是非常直接的。也很容易验证映射 ${\otimes }:(x,y)\mapsto x\otimes y$ 是 $V\times W$ 到 $V\otimes W$ 的一个满足张量积泛性质（见下文）的双线性映射。

若将坐标向量排成矩阵，所得到的就是 $x$ 和 $y$ 之坐标向量的外积。因此，张量积是外积的一种推广，而前者抽象掉了对坐标向量的依赖。

作为一个商空间

一种不依赖于基选取的张量积构造方式如下。

设 V,W 是域 F 上的两个向量空间，为定义它们的张量积空间，首先需要找一个以笛卡儿积 $V\times W$ 为基的向量空间 L 。为此可考虑 $V\times W\to F$ 且仅在有限点处非零的函数的集合，同样逐点地定义运算使其成为向量空间。其中在 $(v,w)$ 上取值 1 否则取值 0 的函数在下面将简单记作 $(v,w)$ （虽然略显滥用符号）。

令 R 为一个由张量积所必须满足的关系张成的 L 的子空间。具体来说， R 由具有以下形式之一的元素张成：$${\begin{aligned}(v_{1}+v_{2},w)&-(v_{1},w)-(v_{2},w),\\(v,w_{1}+w_{2})&-(v,w_{1})-(v,w_{2}),\\(sv,w)&-s(v,w),\\(v,sw)&-s(v,w),\end{aligned}}$$其中 $v,v_{1},v_{2}\in V$, $w,w_{1},w_{2}\in W$, $s\in F$ 。

而张量积就定义为商空间 $L/R$ ，而 $(v,w)$ 在这个商中的像就记作 $v\otimes w$ 。根据商空间的定义，张量积自然就满足以下性质：$${\begin{aligned}(v_{1}+v_{2})\otimes w&=(v_{1}\otimes w)+(v_{2}\otimes w),\\v\otimes (w_{1}+w_{2})&=(v\otimes w_{1})+(v\otimes w_{2}),\\(sv)\otimes w&=s(v\otimes w),\\v\otimes (sw)&=s(v\otimes w),\end{aligned}}$$因为在被映射到商空间中之前，上式等号两端的原像（将上式中的张量积换成笛卡尔积）只差一个 R 中元素，所以等号两端的原像位于同一等价类中，因而被商映射映为同一元素，即张量积相等。

容易证明，如此构造而来的张量积满足下一节中的泛性质。（一种非常相似的构造可用于定义模的张量积。）

泛性质 Universal property

本节将刻画张量积所满足的泛性质。满足任一泛性质的两个对象间将由唯一一个同构联系。显然，这种定义方式是非构造性的，而前文的张量积构造都可看作对由泛性质定义的张量积的存在性的证明。

张量积的泛性质：若 h 是双线性的，则有唯一一个线性映射 ~h 使此图交换（即，使得 $h={\tilde {h}}\circ \varphi$ ）。

张量积的任何性质都可从泛性质中导出。而在运用张量积的实践中，我们可以完全忘掉用于证明它存在性所用的构造法。

两个向量空间之张量积的“泛性质定义”如下：

向量空间 V 与 W 的张量积是一个记作 $V\otimes W$ 的向量空间，其配备了一个双线性映射 ${\otimes }:V\times W\to V\otimes W:(v,w)\mapsto v\otimes w$ ，这个映射须满足：对任意双线性映射 $h:V\times W\to Z$ ，有一个唯一的线性映射 ${\tilde {h}}:V\otimes W\to Z$ 使得 $h={\tilde {h}}\circ {\otimes }$ 。也就是说 $h(v,w)={\tilde {h}}(v\otimes w)$ 对任意 $v\in V$ 和 $w\in W$ 成立。

线性无缘

类似上面的泛性质，下面的刻画也可用于确定一个给定的向量空间和双线性映射是否形成了一个张量积。

定理 — 设 $X,Y,Z$ 是复向量空间，而 $T:X\times Y\to Z$ 是一双线性映射。那么，$(Z,T)$ 是 $X,Y$ 之张量积的充要条件是：$T$ 的像张成了整个 $Z$ （即 $\operatorname {span} \;T(X\times Y)=Z$ ）；且 $X,Y$ 是 T-线性无缘的。

$X,Y$ 的T-线性无缘性质是说对于任意正整数 $n$ 和元素 $x_{1},\ldots ,x_{n}\in X$, $y_{1},\ldots ,y_{n}\in Y$ 满足

1. $\sum _{i=1}^{n}T\left(x_{i},y_{i}\right)=0$,
2. 若 $x_{1},\ldots ,x_{n}$ 线性无关则 $y_{i}$ 全为 0,
3. 若 $y_{1},\ldots ,y_{n}$ 线性无关则 $x_{i}$ 全为 0.

等价地说， $X,Y$ 是 $T$-线性无缘的，当且仅当对于 $X$ 中的任一线性无关序列 $x_{1},\ldots ,x_{m}$ 和 $Y$ 中的任一线性序列 $y_{1},\ldots ,y_{n}$ ，都有 $\left\{T\left(x_{i},y_{j}\right):1\leq i\leq m,1\leq j\leq n\right\}$ 线性无关。

例子

作为例子，考虑 $X=\mathbb {C} ^{m}$ 和 $Y=\mathbb {C} ^{n}$ （其中 $m$, $n$ 是正整数），可设 $Z=\mathbb {C} ^{mn}$ 并定义双线性映射 $T:\mathbb {C} ^{m}\times \mathbb {C} ^{n}\to \mathbb {C} ^{mn}$ 如下$$(x,y)=((x_{1},\ldots ,x_{m}),(y_{1},\ldots ,y_{n}))\mapsto (x_{i}y_{j})_{\stackrel {i=1,\ldots ,m}{j=1,\ldots ,n}}$$来构成 $X$ 与 $Y$ 的张量积。 映射 $T$ 通常记作 $\,\otimes \,$ ，即 $x\otimes y=T(x,y)$ 。

作为另一个例子，考虑集 $S$ 上的全体复值函数通过逐点运算定义而来的向量空间 $\mathbb {C} ^{S}$ 。设 $S$, $T$ 为任意的集合，而 $f\in \mathbb {C} ^{S}$, $g\in \mathbb {C} ^{T}$ ，用 $f\otimes g\in \mathbb {C} ^{S\times T}$ 表示由 $(s,t)\mapsto f(s)g(t)$ 所定义的函数。

设 $X\subseteq \mathbb {C} ^{S}$ 和 $Y\subseteq \mathbb {C} ^{T}$ ，那么它们和 $Z:=\operatorname {span} \left\{f\otimes g:f\in X,g\in Y\right\}$ 都是向量空间 $\mathbb {C} ^{S\times T}$ 的子空间，后者配备 ${\textstyle X\times Y\to Z:(f,g)\mapsto f\otimes g}$ 后就形成了 $X$ 和 $Y$ 的张量积。