矩阵的迹相关性质

迹的定义

在线性代数中，一个$n\times n$的矩阵$A$的迹，是指$A$的主对角线(从左上方至右下方)上各个元素的和，一般记作$tr(A)$或$Sp(A)$
$tr(A)=\sum _{i=1}^n{a}_{ii}$

一个矩阵的迹是其特征值的总和

迹的性质

线性函数

对于任意两个$n\times n$的矩阵$A$和$B$和标量$r$，都有：
$tr(A+B)=tr(A)+tr(B)$
$tr(r\cdot A)=r\cdot tr(A)$

由于一个矩阵$A$与转置矩阵$A^T$的对角线元素相同，所以任意一个矩阵和其转置矩阵的迹相等。
$tr(A)=tr(A^T)$

矩阵乘积的迹

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

其中$AB$是$n\times n$矩阵，$BA$是$m\times m$矩阵，证明如下：
$tr(AB)=\sum _{i=1}^n(AB{)}_{ii}=\sum _{i=1}^n\sum _{j=1}^m{A}_{ij}{B}_{ji}=\sum _{j=1}^m\sum _{i=1}^n{B}_{ji}{A}_{ij}=\sum _{j=1}^m(AB{)}_{jj}=tr(BA)$
上述性质可进一步推导，对于$ABC$三个方阵，可以循环改变乘积中的顺序：

$tr(ABC)=tr(BCA)=tr(CAB)$
注意：$tr(ABC)\ne tr(ACB)$

如果$ABC$是同样大小的方阵且是对称矩阵，其乘积的迹在所有排列下都不会改变：
$tr(ABC)=tr(BCA)=tr(CAB)=tr(ACB)=tr(BAC)=tr(CBA)$

迹的相似不变性

如果矩阵$A$和$B$相似，它们的迹相等。
由$A$和$B$相似，存在可逆矩阵$P$，使得 $B=PA{P}^{-1}$，则有
$tr(B)=tr(PA{P}^{-1})=tr(A{P}^{-1}P)=tr(A)$

矩阵迹数和特征多项式

一个$n\times n$的方形矩阵$A$的特征多项式$P_A(\lambda )$定义为$A$ 减 $\lambda$ 倍的单位矩阵的行列式：
$P_A(\lambda )=det(A-\lambda )$

特征多项式是一个关于$\lambda$的$n$次多项式，它的常数项是$A$的行列式的值，最高次项是$(-1{)}^n{\lambda }^n$，接下来的$n-1$次项为$(-1{)}^{n-1}tr(A){\lambda }^{n-1}$，则多项式：
$P_A(\lambda )=(-1{)}^n{\lambda }^n+(-1{)}^{n-1}tr(A){\lambda }^{n-1}+\cdots +det(A)$

矩阵迹数与特征值

特征多项式$P_A(\lambda )$有$n$，它可以表示为：
$P_A(\lambda )=(-1{)}^n(\lambda -r_1{)}^{{\alpha }_1}(\lambda -r_2{)}^{{\alpha }_2}+\cdots +(\lambda -r_k{)}^{{\alpha }_k}$
其中的$r_1,r_2,\dots ,r_k$是特征多项式的不同的根，而${\alpha }_1,{\alpha }_2,\dots ,{\alpha }_k$是根在特征多项式的重数，称为代数重数。所有的代数重数加起来等于$n$。

我们知道，特征多项式的根就是矩阵的特征值，以及根与多项式系数的关系可以得到：特征多项式所有的根加起来等于矩阵的迹：
$tr(A)={\alpha }_1{r}_1+{\alpha }_2{r}_2+\cdots +{\alpha }_k{r}_k$

如果不区分特征值或者特征值不同的话，也可以写作：
$tr(A)={\lambda }_1+{\lambda }_2+\cdots +{\lambda }_n$
其中${\lambda }_1+{\lambda }_2+\cdots +{\lambda }_n$是矩阵的特征值，而且有：
$\forall m\in \mathbb{N},tr(A^m)={\lambda }_1^m+{\lambda }_2^m+\cdots +{\lambda }_n^m$

参考

迹