矩阵的tr

转载请声明出处：http://www.cnblogs.com/gaoshangbing/articles/1700717.html

在线性代数中，$n$ 乘 $n$方阵“$A$”的迹，是指“$A$”的主对角线各元素的总和（从左上方至右下方的对角线），例如：
$tr(A) = A_{1,1} + A_{2,2} + ... + A_{n,n}$
其中 $A_{ij}$ 代表在 $i$ 行 $j$ 列中的数值。

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

性质

迹是一种线性算子。亦即，对于任两个方阵A、B和标量r，会有下列关系：
$tr(A + B) = tr(A) + tr(B)$
$tr(rA) = r\cdot tr(A)$
因为主对角线不会在转置矩阵中被换掉，所以所有的矩阵和其转置矩阵都会有相同的迹：
$tr(A) = tr(A^T)$
设A是一个n×m矩阵，B是个m×n矩阵，则：
$tr(AB) = tr(BA)$
其中$AB$是n×n矩阵，而$BA$是m×m矩阵。

上述可以由矩阵乘法的定义证明：
$tr(AB) = \sum\limits_{i=1}^n (AB)_{ii} = \sum\limits_{i=1}^n \sum\limits_{j=1}^m A_{ij} B_{ji} = \sum\limits_{j=1}^m \sum\limits_{i=1}^n B_{ji} A_{ij} = \sum\limits_{j=1}^m (BA)_{jj} = tr(BA)$
利用这个结果，我们可以推导出方阵的乘积和其任何循环置换的乘积会有相同的迹，称为迹的“循环性质”。例如，有三个方阵A、B、C，则：
$tr(ABC) = tr(CAB) = tr(BCA)$
更一般化地，当矩阵不被假设为方阵，但其所有乘积依然存在时，其迹依然会完全相同。

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