张量积

在数学中，张量积，记为 formula_1，可以应用于不同的上下文中如向量、矩阵、张量、向量空间、代数、拓扑向量空间和模。在各种情况下这个符号的意义是同样的:最一般的双线性运算。在某些上下文中也叫做外积。
向量空间张量积的定义与构造.
两个向量空间 和 间的张量积是指一个向量空间，通常记作 ，这个新向量空间可确定到至多相差一个同构。 
有多种等价的方式来定义向量空间的张量积，其中大多数都是在显式地定义那个将被称作张量积 的向量空间，而对等价性的证明可从该向量空间的基本性质中直接得出。张量积也可以通过泛性质定义，参见下文的 一节。 
利用基来构造.
设 和 是域 上的两个向量空间，其上分别有基 formula_2 和 。一种定义张量积的方式是，把 与 的张量积 formula_3 构造成一个以 formula_4 为一组基的向量空间。下面的小节会具体介绍如何构造出这样的向量空间，实际使用的是自由向量空间的一种通俗表述。
此种张量积定义的一个局限在于，如此定义的张量积依赖于所选择的基，变更基的选择将带来一个不同的张量积空间。不过，用某一组基展开另一组基的做法定义了这两种张量积空间之间的典范同构。而且这种定义不能推广到环上的模的张量积。
用基的笛卡尔积生成.
具体构造这种向量空间的方法之一是： 考虑从两组基之笛卡尔积 formula_5 到 上的、且只在有限个点处取非零值的函数，逐点地定义这些函数的加法与数乘如下：对于任意两个这样的函数 formula_6 ，以及任意的 formula_7，formula_8容易验证如此定义的运算满足向量空间公理。于是就定义 formula_3 为这些函数所构成的向量空间。
其中，将 formula_10 映为 1 、且将 formula_5 中其他元素映为 0 的函数记作 。于是集合 formula_12 直接就构成了 的一组基，称为基 formula_2 与 的张量积。
用向量空间的笛卡尔积生成.
另一构造方式是，将 formula_3 定义为两个向量空间之笛卡尔积 formula_15 上的、且在 中仅有有限个点上的值非零的双线性形式所构成的集合。具体来说：给定 formula_16 与双线性形式 ，可在基 formula_2 与 中展开 formula_18 与 formula_19 为formula_20其中只有有限个 formula_21 、formula_22 非零。根据 formula_23 的双线性可知formula_24由此可见 formula_23 在任一 formula_16 上的值都完全由它在 上的值完全确定了。而现在要使 formula_27 成为这些 formula_23 中的一个，它在 formula_5 上的定义和之前一样，所以现在只需将定义线性扩张到整个 formula_30 上：formula_31自此，可将任一双线性形式 formula_23 表示为一个 formula_27 的（可能无穷的）线性组合：formula_34这看上去就像 formula_35 作为向量空间的一样。而为使其正确地成为一个，只需增加一个条件，我们转而考虑在 中只在有限个元素上非零的 formula_23 ，这些更为特殊的映射构成一个子空间，将这个子空间作为 formula_3 即可。
向量的张量积.
在这两种构造中，两个向量的张量积都可通过在基上展开来定义。具体来说，如前文一样地取 formula_38 和 formula_39 的基展开：formula_40从前面用双线性给出的 formula_41 在基下的展开看来，这个定义是非常直接的。也很容易验证映射 formula_42 是 formula_43 到 formula_44 的一个满足张量积泛性质（见下文）的双线性映射。 
若将排成矩阵，所得到的就是 formula_18 和 之坐标向量的外积。因此，张量积是外积的一种推广，而前者抽象掉了对坐标向量的依赖。 
作为一个商空间.
一种不依赖于基选取的张量积构造方式如下。
设 , 是域 上的两个向量空间，为定义它们的张量积空间，首先需要找一个以笛卡儿积 formula_43 为基的向量空间 。为此可考虑 formula_30 且仅在有限点处非零的函数的集合，同样逐点地定义运算使其成为向量空间。其中在 formula_10 上取值 1 否则取值 0 的函数在下面将简单记作 formula_10 （虽然略显滥用符号）。
令 为一个由张量积所必须满足的关系张成的 的子空间。具体来说， 由具有以下形式之一的元素张成：formula_50其中 , formula_51, 。
而张量积就定义为商空间 formula_52 ，而 formula_10 在这个商中的像就记作 。根据商空间的定义，张量积自然就满足以下性质：formula_54因为在被映射到商空间中之前，上式等号两端的原像（将上式中的张量积换成笛卡尔积）只差一个 中元素，所以等号两端的原像位于同一等价类中，因而被商映射映为同一元素，即张量积相等。
容易证明，如此构造而来的张量积满足下一节中的泛性质。（一种非常相似的构造可用于定义。）
泛性质.
本节将刻画张量积所满足的泛性质。满足任一泛性质的两个对象间将由唯一一个同构联系。显然，这种定义方式是非构造性的，而前文的张量积构造都可看作对由泛性质定义的张量积的存在性的证明。
张量积的任何性质都可从泛性质中导出。而在运用张量积的实践中，我们可以完全忘掉用于证明它存在性所用的构造法。
两个向量空间之张量积的「泛性质定义」如下： 
向量空间 与 的张量积是一个记作 的向量空间，其配备了一个双线性映射 formula_55 ，这个映射须满足：对任意双线性映射 ，有一个唯一的线性映射 使得 formula_56 。也就是说 formula_57 对任意 formula_58 和 成立。
线性无缘.
类似上面的泛性质，下面的刻画也可用于确定一个给定的向量空间和双线性映射是否形成了一个张量积。
例子.
作为例子，考虑 和 （其中 formula_59, formula_60 是正整数），可设 formula_61 并定义双线性映射 formula_62 如下formula_63来构成 formula_64 与 的张量积。 映射 formula_65 通常记作 formula_66 ，即 formula_67 。
作为另一个例子，考虑集 formula_68 上的全体复值函数通过逐点运算定义而来的向量空间 formula_69 。设 formula_68, formula_65 为任意的集合，而 formula_72, ，用 formula_73 表示由 所定义的函数。
设 formula_74 和 formula_75 ，那么它们和 formula_76 都是向量空间 formula_77 的子空间，后者配备 formula_78 后就形成了 formula_79 和 的张量积。
向量空间张量积的性质.
零在 formula_3 中。
结果的张量积 formula_3 自身是向量空间，它可以直接通过向量空间公理来验证。分别给定 "V" 和 "W" 基 formula_82 和 formula_83，形如 formula_84
的张量形成 formula_3 的基。张量积的维数因此是最初空间维数的积；例如 formula_86 有维数 formula_87。
两个张量的张量积.
有两个（或更多）张量积的分量的一般公式。例如，如果 "U" 和 "V" 是秩分别为 "n" 和 "m" 的两个协变张量，则它们的张量积的分量给出为
所以两个张量的张量积的分量是每个张量的分量的普通积。
注意在张量积中，因子 "V" 消耗前 rank("V") 个指标，而因子 "U" 再消耗 rank("U") 个指标，所以
例子.
设 U 是类型 (1,1) 的张量，带有分量 "Uαβ"；并设 V 是类型 (1,0) 的张量，带有分量 "Vγ"。则
而
张量积继承它的因子的所有指标。
两个矩阵的克罗内克积.
对于矩阵这个运算通常叫做克罗内克积，用来明确结果有特定块结构在其上，其中第一个矩阵的每个元素被替代为这个元素与第二个矩阵的积。对于矩阵 formula_92 和 formula_93:
多重线性映射的张量积.
给定多重线性映射 formula_95 和 formula_96
它们的张量积是多重线性函数
希尔伯特空间的张量积.
两个希尔伯特空间的张量积是另一个希尔伯特空间，其定义如下。
定义.
设 formula_98 和 formula_99 是两个希尔伯特空间，分别带有内积 formula_100 和 formula_101。构造 "H"1 和"H"2 的张量积formula_102如下：
考虑他们的作为线性空间的张量积formula_103。formula_98 和 formula_99上的内积自然地扩展到formula_106上：
由内积的双线性（Bilinearity），只需定义
其中 formula_108 和 formula_109
即可。
现在formula_106是一未必完备的内积空间。将formula_106完备化，得到希尔伯特空间formula_102，这就是 "H"1 和 "H"2作为希尔伯特空间的张量积。在希尔伯特空间的范畴中，formula_102具有如前所述的泛性质，即它是二者在该范畴内的乘积。
性质.
如果 "H"1 和 "H"2 分别有正交基 {φ"k"} 和 {ψ"l"}，则 {φ"k" ⊗ ψ"l"} 是 "H"1 ⊗ "H"2 的正交基。
与对偶空间的关系.
在泛性质的讨论中，替代 "X" 为 "V" 和 "W" 的底层标量域生成空间 formula_114（formula_3 的对偶空间，包含在那个空间上的所有线性泛函），它自然的同一于在 formula_15 上所有双线性函数的空间。换句或说，所有双线性泛函是在张量积上的泛函，反之亦然。
只要 formula_93 和 formula_118 是有限维的，在 formula_119 和 formula_120 之间有一个自然的同构，而对于任意维的向量空间我们只有一个包含 formula_121。所以线性泛函的张量是双线性泛函。这给我们一种新看法，把双线性泛函看做张量积自身。