迹

在线性代数中，一个<math>n \times n</math>的矩阵<math>\mathbf{A}</math>的迹（或迹数），是指<math>\mathbf{A}</math>的主对角线（从左上方至右下方的对角线）上各个元素的总和，一般记作<math>\operatorname{tr}(\mathbf{A})</math>或<math>\operatorname{Sp}(\mathbf{A})</math>：

<math>\operatorname{tr}(\mathbf{A}) = \sum_{i=1}^n \mathbf{A}_{i, i} = \mathbf{A}_{1, 1} + \mathbf{A}_{2, 2} + \cdots + \mathbf{A}_{n, n} </math>

其中<math>\mathbf{A}_{i, j}</math>代表矩阵的第<math>i</math>行<math>j</math>列上的元素的值。一个矩阵的迹是其特征值的总和（按代数重数计算）。

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

例子

设有矩阵：

<math>\mathbf{A} = \begin{bmatrix} 3 & 5 & 1\\0 & 9 & 2\\7 & 6 & 4 \end{bmatrix}</math>

它的迹是：

<math>\operatorname{tr}(\mathbf{A}) = \operatorname{tr} \begin{bmatrix} 3 & 5 & 1\\0 & 9 & 2\\7 & 6 & 4 \end{bmatrix} = 3 + 9 + 4 = 16</math>

性质

线性函数

给定一个环<math>\mathbb{R}</math>，迹是一个从系数在环中的<math>n \times n</math>矩阵的空间<math>\mathcal{M}_n(\mathbb{R})</math>射到环<math>\mathbb{R}</math>之上的线性算子。也就是说，对于任两个<math>n \times n</math>的矩阵<math>\mathbf{A}</math>、<math>\mathbf{B}</math>和标量<math>r</math>，都有：

<math>\mathrm{tr}(\mathbf{A} + \mathbf{B}) = \mathrm{tr}(\mathbf{A}) + \mathrm{tr}(\mathbf{B})</math>

<math> \mathrm{tr}(r \cdot \mathbf{A} ) = r \cdot \mathrm{tr}(\mathbf{A})</math>

更进一步来说，当<math>\mathbb{R}</math>是一个域时，迹数函数<math>\mathrm{tr}</math>是<math>n \times n</math>矩阵的空间<math>\mathcal{M}_n(\mathbb{R})</math>上的一个线性泛函。

由于一个矩阵<math>\mathbf{A}</math>的转置矩阵<math>\mathbf{A}^T</math>的主对角线元素和原来矩阵的主对角线元素是一样的，所以任意一个矩阵和其转置矩阵都会有相同的迹：

<math> \mathrm{tr}(\mathbf{A} ) = \mathrm{tr}\left(\mathbf{A}^T \right)</math>

矩阵乘积的迹数

设<math>\mathbf{A}</math>是一个<math>n \times m</math>矩阵，<math>\mathbf{B}</math>是个<math>m \times n</math>矩阵，则：

<math> \mathrm{tr}(\mathbf{AB} ) = \mathrm{tr}(\mathbf{BA})</math>

其中<math>\mathbf{AB}</math>是一个<math>n \times n</math>矩阵，而<math>\mathbf{BA}</math>是一个<math>m \times m</math>矩阵。

上述的性质可以由矩阵乘法的定义证明：

<math>\mathrm{tr}(\mathbf{AB}) = \sum_{i=1}^n (\mathbf{AB})_{i, i} = \sum_{i=1}^n \sum_{j=1}^m \mathbf{A}_{i, j} \mathbf{B}_{j, i} = \sum_{j=1}^m \sum_{i=1}^n \mathbf{B}_{j, i} \mathbf{A}_{i, j} = \sum_{j=1}^m (\mathbf{BA})_{j, j} = \mathrm{tr}(\mathbf{BA})</math>

如果<math>\mathbf{A}</math>和<math>\mathbf{B}</math>都是<math>n \times n</math>的方形矩阵，那么它们的乘积<math>\mathbf{AB}</math>和<math>\mathbf{BA}</math>也会是方形矩阵。因此，利用这个结果，可以推导出：计算若干个同样大小的方形矩阵的乘积的迹数时，可以循环改变乘积中方形矩阵相乘的顺序，而最终的结果不变。例如，有三个方形矩阵<math>\mathbf{A}</math>、<math>\mathbf{B}</math>和<math>\mathbf{C}</math>，则：

<math> \mathrm{tr}(\mathbf{ABC} ) = \mathrm{tr}(\mathbf{BCA}) = \mathrm{tr}(\mathbf{CAB})</math>

但是要注意：

<math> \mathrm{tr}(\mathbf{ABC} ) \neq \mathrm{tr}(\mathbf{ACB}) </math>

更一般地，乘积中的矩阵不一定要是方形矩阵，只要某一个循环改变后的乘积依然存在，那么得到的迹数依然会和原来的迹数相同。

另外，如果<math>\mathbf{A}</math>、<math>\mathbf{B}</math>和<math>\mathbf{C}</math>是同样大小的方阵而且还是对称矩阵的话，那么其乘积的迹数不只在循环置换下不会改变，而且在所有的置换下都不会改变：

<math> \mathrm{tr}(\mathbf{ABC} ) = \mathrm{tr}(\mathbf{BCA}) = \mathrm{tr}(\mathbf{CAB}) = \mathrm{tr}(\mathbf{ACB} ) = \mathrm{tr}(\mathbf{CBA}) = \mathrm{tr}(\mathbf{BAC})</math>

迹数的相似不变性

迹数拥有相似不变性。如果矩阵<math>\mathbf{A}</math>和<math>\mathbf{B}</math>相似的话，它们会有相同的迹。这一性质可使上面讲过的循环性质来证明：

矩阵<math>\mathbf{A}</math>和<math>\mathbf{B}</math>相似也就是说存在可逆矩阵<math>\mathbf{P}</math>，使得<math> \mathbf{B} =\mathbf{P}\mathbf{A} \mathbf{P}^{-1}</math>

因此<math> \mathrm{tr}(\mathbf{B} ) = \mathrm{tr}(\mathbf{P}\mathbf{A} \mathbf{P}^{-1}) = \mathrm{tr}(\mathbf{P}^{-1} \mathbf{P}\mathbf{A}) = \mathrm{tr}(\mathbf{A})</math>

矩阵迹数和特征多项式

一个<math>n \times n</math>的方形矩阵<math>\mathbf{A}</math>的特征多项式<math>P_{A}(\lambda)</math>定义为<math>\mathbf{A}</math>减去<math>\lambda</math>倍的单位矩阵后所得到的矩阵的行列式：

<math>P_{A}(\lambda) = \det(\mathbf{A} - \lambda \mathbf{I})</math>

特征多项式是一个关于<math>\lambda</math>的n次多项式，它的常数项是<math>\mathbf{A}</math>的行列式的值，最高次项是<math>(-1)^n \lambda^n</math>，而接下来的n-1次项就是<math>(-1)^{n-1} \mathrm{tr}( \mathbf{A}) \lambda^{n-1}</math>，也就是说：

<math>P_{A}(\lambda) = (-1)^n \lambda^n + (-1)^{n-1} \mathrm{tr}( \mathbf{A}) \lambda^{n-1} + \cdots + \det(\mathbf{A})</math>

矩阵迹数与特征值

当系数域是代数闭域时（否则可以将系数域扩展到其代数闭包上来看），特征多项式<math>P_{A}(\lambda)</math>有n个根，它可以表达成：

<math>P_{A}(\lambda) = (-1)^n(\lambda - r_1)^{\alpha_1}(\lambda - r_2)^{\alpha_2} \cdots (\lambda - r_k)^{\alpha_k}</math>

其中的<math>r_1,r_2 \cdots r_k</math>是特征多项式的不同的根，而<math>\alpha_1,\alpha_2 \cdots \alpha_k</math>是这些根在特征多项式里的重数，称为代数重数。显然，所有代数重数加起来等于n。一方面，特征多项式的根就是矩阵的特征值，而另一方面，借由根与多项式系数的关系可以知道：特征多项式的所有的根加起来等于矩阵的迹数。所以矩阵的迹数是矩阵的所有特征值（按照代数重数计算）的和。

<math>\mathrm{tr}( \mathbf{A}) = \alpha_1 r_1 + \alpha_2 r_2 + \cdots + \alpha_k r_k</math>

如果将矩阵写成它的若尔当标准型的话，也可以看出这一点，因为若尔当标准型的特征多项式的所有的根（包括重根）就是对角线上的所有元素。

如果不区分相同或不同的特征值的话，上述关系也可以写成：

<math>\mathrm{tr}( \mathbf{A}) = \lambda_1 + \lambda_2 + \cdots + \lambda_n</math>

其中的<math>\lambda_1,\lambda_2 \cdots \lambda_n</math>是矩阵的特征值。 而且有：

<math>\forall m \in \mathbb{N}, \mathrm{tr}( \mathbf{A}^m) = \lambda_1^m + \lambda_2^m + \cdots + \lambda_n^m</math>

线性映射的迹数

设系数域为<math>\mathbb{K}</math>的<math>\mathbb{V}</math>是一个有限维的向量空间，维数是n。给定任一线性映射<math>f : \mathbb{V}\rightarrow \mathbb{V}</math>，可以定义此一映射的迹数为其变换矩阵的迹，即选定<math>\mathbb{V}</math>的一个基底并用对应于此基底的一个方形矩阵描述<math>f</math>，再定义这个方形矩阵的迹数为<math>f</math>的迹数。这个定义下<math>f</math>的迹数和所选取的基无关：只需要注意到不同的基底的选取实际上等价于对变换矩阵做一次相似变换，而两个相似的矩阵的迹数是一样的。因此这样的定义是自洽的。

另外一种定义涉及到行列式的性质。考虑<math>\mathbb{V}</math>的一个基底<math>\mathcal{B} = (e_1, e_2, \cdots , e_n)</math>，以及函数：

<math>Sp : \; \; \; \quad \mathbb{V}^n \qquad \; \quad \longrightarrow \quad \qquad \qquad \qquad \mathbb{K} \qquad \qquad \qquad, </math> <math>Sp :(x_1, x_2, \cdots , x_n) \longmapsto \sum_{i=1}^n \det(x_1, x_2, \cdots , f(x_i),\cdots ,x_n)</math>

根据行列式理论，这个函数也是一个行列式型的函数，也就是说存在一个只取决于<math>f</math>的量<math>\mathrm{Sp} (f)</math>，使得

<math>Sp(x_1, x_2, \cdots , x_n) = \mathrm{Sp} (f) \cdot \det(x_1, x_2,\cdots ,x_n)</math>

可以证明，这个纯量<math>\mathrm{Sp} (f)</math>就等于之前定义的<math>f</math>的迹数。

迹的梯度

由迹的定义可知迹可以看作是矩阵的实标量函数，所以我们可以通过求实标量函数的梯度来求迹的梯度。

单个矩阵

• A是m×m矩阵时，有<math>\frac { \partial \mathrm{tr}(\mathbf{A}) }{ \partial \mathbf{A} } ={ \mathbf{I} }_{ m }</math>
• m×m矩阵A可逆时，有<math>\frac { \partial \mathrm{tr}(\mathbf{A}^{-1}) }{ \partial \mathbf{A} } =-( \mathbf{A}^{-2} )^T</math>
• 对于两个向量x和y的外积，有<math>\frac { \partial \mathrm{tr}(\boldsymbol{xy}^T) }{ \partial \boldsymbol{x} }=\frac { \partial \mathrm{tr}(\boldsymbol{yx}^T) }{ \partial \boldsymbol{x} } =\boldsymbol{y}</math>

两个矩阵

• 若A为m×n矩阵，有<math>\frac { \partial \mathrm{tr}(\mathbf{A}\mathbf{A}^T) }{ \partial \mathbf{A} }=\frac { \partial \mathrm{tr}(\mathbf{A}^T\mathbf{A}) }{ \partial \mathbf{A} } =2\mathbf{A}</math>
• 若A为m×m矩阵，有<math>\frac { \partial \mathrm{tr}(\mathbf{A}^2) }{ \partial \mathbf{A} }=\frac { \partial \mathrm{tr}(\mathbf{A}\mathbf{A}) }{ \partial \mathbf{A} } =2\mathbf{A}^T</math>

• 若A为m×n矩阵，B是m×n矩阵，有<math>\frac { \partial \mathrm{tr}(\mathbf{A}^T\mathbf{B}) }{ \partial \mathbf{A} }=\frac { \partial \mathrm{tr}(\mathbf{B}\mathbf{A}^T) }{ \partial \mathbf{A} } =\mathbf{B}</math>
• 若A为m×n矩阵，B是n×m矩阵，有<math>\frac { \partial \mathrm{tr}(\mathbf{A}\mathbf{B}) }{ \partial \mathbf{A} }=\frac { \partial \mathrm{tr}(\mathbf{B}\mathbf{A}) }{ \partial \mathbf{A} } =\mathbf{B}^T</math>
• 当A和B均为对称矩阵时，有<math>\frac { \partial \mathrm{tr}(\mathbf{A}\mathbf{B}) }{ \partial \mathbf{A} }=\frac { \partial \mathrm{tr}(\mathbf{B}\mathbf{A}) }{ \partial \mathbf{A} } =\mathbf{B}+\mathbf{B}^T-diag(\mathbf{B})</math>

• 若A和B都是m×m矩阵，并且A是非奇异矩阵，有<math>\frac { \partial \mathrm{tr}(\mathbf{B}\mathbf{A}^{-1}) }{ \partial \mathbf{A} }=-(\mathbf{A}^{-1}\mathbf{B}^T\mathbf{A}^{-1})^T</math>

参见

• 行列式
• 若尔当标准型
• 对角矩阵
• 三角矩阵
• 特征多项式

参考书籍

• （中文）张贤达. 矩阵分析与应用. 清华大学出版社. 2008. ISBN 9787302092711. 
• （英文）Strang Gilbert. Linear algebra and its applications. Thomson, Brooks/Cole, Belmont, CA. 2006. ISBN 9780534422004. 
• （中文）居余马、林翠琴. 线性代数. 清华大学出版社. 2002. ISBN 978-7-302-06507-4. 
• （英文）Werner Hildbert Greub. linear algebra. Springer Verlag. 1975. ISBN 978-0-387-90110-7. 
• （英文）Steven Roman. Advanced Linear Algebra. Springer. 2005. ISBN 0-387-24766-1. 
• （英文）Carl Dean Meyer. Matrix Analysis and Applied Linear Algebra Book and Solutions Manual. Society for Industrial and Applied Mathematics. 2001. ISBN 978-0898714548. 

• （英文）Karim M. Abadir,Jan R. Magnus. Matrix algebra. Cambridge University Press. 2005. ISBN 978-0521537469.