矩阵的tr

转载请声明出处：link

在线性代数中，$n$ 乘 $n$ 方阵 “$\mathbf{A}$” 的迹，是指 “$\mathbf{A}$” 的主对角线各元素的总和（从左上方至右下方的对角线），例如：
$$tr(\mathbf{A})={\mathbf{A}}_{1,1}+{\mathbf{A}}_{2,2}+...+{\mathbf{A}}_{n,n}$$

其中 ${\mathbf{A}}_{ij}$ 代表在 $i$ 行 $j$ 列中的数值。

迹的英文为“trace”，是来自德文中的“Spur”这个单词（与英文中的“Spoor”是同源词），在数学中，通常简写为“Sp”。

性质

迹是一种线性算子。亦即，对于任两个方阵 $\mathbf{A}$ 、$\mathbf{B}$ 和标量 $r$，会有下列关系：
$$tr(\mathbf{A}+\mathbf{B})=tr(\mathbf{A})+tr(\mathbf{B})$$

$$tr(r\mathbf{A})=r\cdot tr(\mathbf{A})$$

因为主对角线不会在转置矩阵中被换掉，所以所有的矩阵和其转置矩阵都会有相同的迹：
$$tr(\mathbf{A})=tr({\mathbf{A}}^T)$$

设 $\mathbf{A}$ 是一个 $n\times m$ 矩阵，$\mathbf{B}$ 是个 $m\times n$ 矩阵，则：
$$tr(\mathbf{A}\mathbf{B})=tr(\mathbf{B}\mathbf{A})$$

其中 $\mathbf{A}\mathbf{B}$ 是 $n\times n$ 矩阵，而 $\mathbf{B}\mathbf{A}$ 是$m\times m$ 矩阵。

上述可以由矩阵乘法的定义证明：
$$tr(\mathbf{A}\mathbf{B})=\sum _{i=1}^n(\mathbf{A}\mathbf{B}{)}_{ii}=\sum _{i=1}^n\sum _{j=1}^m{\mathbf{A}}_{ij}{\mathbf{B}}_{ji}=\sum _{j=1}^m\sum _{i=1}^n{\mathbf{B}}_{ji}{\mathbf{A}}_{ij}=\sum _{j=1}^m(\mathbf{B}\mathbf{A}{)}_{jj}=tr(\mathbf{B}\mathbf{A})$$

利用这个结果，我们可以推导出方阵的乘积和其任何循环置换的乘积会有相同的迹，称为迹的“循环性质”。例如，有三个方阵 $\mathbf{A}$、$\mathbf{B}$、$\mathbf{C}$，则：
$$tr(\mathbf{A}\mathbf{B}\mathbf{C})=tr(\mathbf{C}\mathbf{A}\mathbf{B})=tr(\mathbf{B}\mathbf{C}\mathbf{A})$$

更一般化地，当矩阵不被假设为方阵，但其所有乘积依然存在时，其迹依然会完全相同。

若 $\mathbf{A}$、$\mathbf{B}$、$\mathbf{C}$ 为有着相同维度的方阵而且对称的话，其乘积的迹不只在循环置换下不会改变，而是在所有的置换下均不会改变，亦即
$$tr(\mathbf{A}\mathbf{B}\mathbf{C})=tr(\mathbf{C}\mathbf{A}\mathbf{B})=tr(\mathbf{B}\mathbf{C}\mathbf{A})=tr(\mathbf{B}\mathbf{A}\mathbf{C})=tr(\mathbf{C}\mathbf{B}\mathbf{A})=tr(\mathbf{A}\mathbf{C}\mathbf{B})$$

以上内容编辑：崔健棣