并矢张量

在多重线性代数里，并矢张量(dyadic tensor)是一个以特别标记法写出的二阶张量，是由成对的向量并置形成的。针对这特别标记法，有一套专门计算这种表达式，类似于矩阵代数规则的方法。并矢张量的每一对向量的并置称为并矢(dyad)。两个单位基底向量的并矢积称为单位并矢(unit dyad)。纯量与单位并矢的乘积就是并矢。
例如，设定两个三维向量 formula_3 和 formula_4 ，
其中，formula_7 、formula_8 、formula_9，形成了一个三维空间里的标准正交基的单位基底向量。
那么，formula_3 与 formula_4 并置成为
其中，formula_13 、formula_14 、formula_15 等等，都是单位并矢，formula_16 、formula_17 、formula_18 等等，都是并矢。
并矢张量 formula_19 也可以表达为
定义.
根据Morse与Feshbach所著作的权威教科书，在三维空间里，并矢张量 formula_21 是一个3×3阵列，其分量 formula_22 ，当从一个坐标系变换到另外一个坐标系时，遵守协变变换(covariant transformation)的定律。
其中，formula_24 是变换后的分量。
所以，并矢张量是一个二阶协变张量。反过来说，按照这定义推广，任意二阶协变张量都是并矢张量：
并矢张量运算.
应用点积，并矢张量 formula_21 可以与向量 formula_3 综合在一起：
其中，formula_29 、formula_30 、formula_31 ，都是标准正交基的基底向量。
注意到 formula_32 ；其中，formula_33 是克罗内克函数。所以，
这点积运算得到的结果是一个协变向量。
并矢张量的缩并(tensor contraction)运算，将每一个并置 formula_35 ，替换为两个单位基底向量的点积 formula_36 ，以方程式表达为
只成立于三维空间，并矢张量的旋转因子运算，将每一个并置 formula_35 ，替换为两个单位基底向量的叉积 formula_39 ，以方程式表达为
这也可以表达为 formula_21 与列维-奇维塔符号 formula_42 的完全缩并：
进阶理论.
两个向量 formula_44 的并矢积 formula_19 其实就是张量积 formula_46 。 两个并矢积作形式上的相加就是并矢张量，从而并矢张量和二阶张量（严格地说，是二阶的反变张量）是同义词。力学、电动力学中常见的例子就是单位并矢张量 formula_47 、转动惯量 formula_48 以及麦克斯韦应力张量等；量子力学中的角动量耦合(angular momentum coupling)理论也要用到并矢张量。
需要注意：并矢积是不可交换的，也就是说，除非两个矢量 formula_44 线性相关，否则一定有 formula_50。
在物理学中，并矢张量最重要的应用之一就是它和向量的缩并。对于并矢积 formula_19 和向量 formula_52 的缩并，规定
如果要求这种规定也适用于量子力学中的态矢量，在这种情况下就要特别注意每个式子右端各个向量的先后顺序：用狄拉克符号来写，则 formula_54 。
进阶定义.
设 formula_2 是域 formula_1 上的一个线性空间，则下述定义是等价的。
定义1. 对于任意 formula_57，称它们的张量积 formula_58 为 formula_3 和 formula_4 的并矢积并将其简记为 formula_19 ，称为并矢张量。更加推广，称 formula_62 中的元素为 formula_2 上的并矢张量，或者二阶反变张量。
定义2. 如果有 formula_1 上的一个线性空间 formula_65 以及双线性映射 formula_66 满足
则称 formula_65 中的元素为 formula_2 上的并矢张量或二阶反变张量，把 formula_76 记为 formula_19 。
定义3. formula_2 上的并矢张量（或者二阶反变张量）这个概念可以按照下述规则来建立：
注： 所谓形式和，就是说我们既不刻意追究求和的实际含义，也关心求和的结果在哪个集合中，而只是知道这种求和满足交换律和结合律。
并矢张量与向量的缩并.
既然上述定义等价，我们就把 formula_2 上所有的并矢张量所构成线性空间记为 formula_62。在此基础上，如果 formula_2 是一个内积空间并把 formula_57 的内积记为 formula_100（当 formula_101 时，约定 formula_100 对 formula_3 是共轭线性的），则定义并矢张量 formula_104 和矢量 formula_3 的缩并 formula_106 和 formula_107 都是 formula_2 中的向量，满足下述运算律：
范例.
旋转.
设定 formula_125 为一个并矢张量：
formula_125 是一个二维空间的 90° 旋转算子 (rotation operator) 。它可以从左边点积一个向量来产生一个旋转：
或以矩阵表达，
一个一般的二维旋转并矢张量，会产生 formula_130 角度反时针方向的旋转，表达为
其中，formula_132 是二维的单位并矢张量。
量子力学.
设 formula_2 是量子力学中所有的角动量本征态所张成的希尔伯特空间（囊括了所有可能的总角动量量子数 formula_134，formula_135，formula_136，formula_137，formula_138），则 formula_101。当我们要考虑角动量耦合的时候，就会遇到态矢量的并矢张量 formula_140，而且时常把它记作 formula_141 或 formula_142 等等。任取一些复数 formula_143（但是其中只能有有限个非零），则
就是一个并矢张量。不妨把这个并矢张量记作 formula_104，则它和 formula_146 的缩并就是
在这其中，量子力学中最广为人知的就是通过CG矢量耦合系数所组合出来的张量。当然，在角动量耦合理论中，这样的张量被等同为某些角动量本征态，除了物理上的考虑之外，这更主要地还是有关李群 formula_149及其李代数 formula_150 的表示的另外一个话题，请参看李群表示及李代数的表示 (Lie algebra representation) ，在这里就不再深入探讨了。
实际上可以这样说，在量子力学中，只要物理问题涉及了系统的耦合，数学上就会导致态矢量的并矢。在这方面，还可以举一个常见的例子：由一维谐振子的态矢量所构成的并矢张量可以用来描述二维谐振子系统。
经典力学.
三维欧几里得空间上的并矢张量的例子非常多，例如转动惯量、应力张量、应变等等。这些例子实际上就是并矢张量这个概念的最初原型。
并矢张量的展开.
下面我们要说明，前面建议的规则 (1) 到 (9) 足以讲清楚二阶张量的运算和性质。
考虑 formula_2 为欧几里得空间的情形，则 formula_2 是实数域 formula_153 上的有限维线性空间（设 formula_154）而且带有正定的内积。设 formula_155 是 formula_2 的一个基底，则任意 formula_3、formula_94 都可以作线性展开 formula_159，formula_160。在这里，为了充分演示规则 (1) 到 (9) （见上面的定义3以及并矢张量与向量的缩并）的使用，我们明显地写出了求和号而不使用爱因斯坦求和约定。但是，为了简便，求和的上下限被略去了。
以下运算中，等于号上方的标号是规则的编号。
首先，我们要证明所有的二阶张量都能够用 formula_161 展开。重复地利用规则 (5) 可得
接下来重复地利用规则 (2) 可得
这样，我们就证明了所有的并矢，即形如 formula_19 的张量都能够写成 formula_161 的线性组合。接下来，按照规则 (3) 以及上面的结论，所有的二阶张量最终都能够表达为 formula_161 的线性组合。
反之，由规则 (1) 和 (3)，每一个 formula_161 都是一个二阶张量，再由规则 (3)，它们的任意线性组合也是二阶张量。至此，我们证明了二阶张量等价于 formula_161 的线性组合。
然后，从规则 (4) 可以证明，全部的 formula_161 是线性无关的，因此构成了 formula_62 的基底。
最后，利用规则（6）到（9）不难把所有的缩并最终归结为计算 formula_171。特别是，如果所给的基是标准正交基，那么结果就非常简单了。
实线性空间上的并矢张量和线性变换互相等同（爱因斯坦指标升降）.
对于 formula_172 维欧几里得空间 formula_2 而言，由于 formula_174，规则 (6) 和 (8) 表明，给定任意一个并矢张量 formula_104 之后，从矢量 formula_3 到 formula_106（或者 formula_107）的映射是线性映射，所以，下面要证明，从并矢张量到线性变换的这种对应是满射。为了准确起见，把 formula_120 所对应的 formula_2 上的线性变换分别记为 formula_181 和 formula_182 ， 则有
引理1. 对于欧几里得空间 formula_2 上的任意一个线性变换 formula_184，总是存在着 formula_2 上的并矢张量 formula_104 和 formula_187 使得 formula_188, formula_189 。
证明： 由于证明方法类似，我们只证明 formula_104 的存在性。设 formula_155 是 formula_2 的一个基底（不必是标准正交基），令
则内积的正定性导致 formula_194 所构成的 formula_195 矩阵 formula_196 为正定矩阵。给了 formula_2 上的一个线性变换 formula_184 之后，我们可以借助于基底得到一个矩阵 formula_199，其中，上标号是横标号，下标号是竖标号：
在这里我们使用了爱因斯坦求和约定。现在我们利用 formula_201 的逆矩阵
构造一个并矢张量
则
可见由 formula_205 。
类似地也可以构造一个 formula_206 ，使之满足 formula_189 。事实上，还可以证明 formula_187 是 formula_104 的转置——用基底来展开，就是说
结论证毕。
把 formula_172 维欧几里得空间 formula_2 上的所有的线性映射所构成的线性空间记为 formula_213，则后者的维数为 formula_214. 由并矢张量和向量的缩并中的规则 (6) 和 (7) 不难得到
'"引理2.
前面已经分析过，
根据引理2和引理1，我们就得到了
定理 映射 formula_216 和 formula_217 都是线性同构。
这就是说，对于欧几里得空间来说，它上面的并矢张量和线性变换可以互相等同。一般说来，用 formula_218 作等同比较自然些。这种等同就是爱因斯坦在相对论中用所引入的指标升降法(尽管其中的线性空间是闵可夫斯基空间，但是方法是相似的)。具体来说，并矢张量是具有两个上指标的二阶反变张量，而线性变换则是一阶协变一阶反变的张量，formula_218 就是用度规张量把二阶反变张量的右指标降下来，而 formula_220 则是把左边的反变指标降下来。
特别是，当 formula_221 为恒等映射时，formula_222，从而得到
推论 把 formula_2 上的单位张量（这是经典力学中的叫法，在相对论中则常常被称为度规张量的逆）定义为与恒等映射相对应的那个并矢张量（不管是 formula_218 还是 formula_220，结果都一样），则它可以借助于基底展开为 formula_226 。
在上述讨论过程中我们实际上没有真正用到内积的正定性，而真正实质性的条件有两点：（1）formula_174；（2）formula_196 可逆。所以欧几里德空间可以放松为 formula_153 上带有一个非退化的对称双线性型的线性空间。相对论中所用到的闵可夫斯基空间就是这样的。