迹

向量 · 向量空间  · 行列式  · 矩阵

标量 · 向量 · 向量空间 · 向量投影 · 外积 · 内积 · 数量积 · 向量积

矩阵 · 行列式 · 线性方程组 · 秩 · 核 · 迹 · 单位矩阵 · 初等矩阵 · 方块矩阵 · 分块矩阵 · 三角矩阵 · 非奇异方阵 · 转置矩阵 · 逆矩阵 · 对角矩阵 · 可对角化矩阵 · 对称矩阵 · 反对称矩阵 · 正交矩阵 · 幺正矩阵 · 埃尔米特矩阵 · 反埃尔米特矩阵 · 正规矩阵 · 伴随矩阵 · 余因子矩阵 · 共轭转置 · 正定矩阵 · 幂零矩阵 · 矩阵分解 （LU分解 · 奇异值分解 · QR分解 · 极分解 · 特征分解） · 子式和余子式 · 拉普拉斯展开 ·

线性空间 · 线性变换 · 线性子空间 · 线性生成空间 · 基 · 线性映射 · 线性投影 · 线性无关 · 线性组合 · 线性泛函 · 行空间与列空间 · 对偶空间 · 正交 · 特征向量 · 最小二乘法 · 格拉姆-施密特正交化 ·

在线性代数中，一个${\displaystyle n\times <!--\; \times \; -->n}$是一个${\displaystyle n\times <!--\; \times \; -->m}$是个${\displaystyle m\times <!--\; \times \; -->n}$矩阵，则：

其中${\displaystyle \mathbf{A}\mathbf{B}}$是一个${\displaystyle n\times <!--\; \times \; -->n}$矩阵，而${\displaystyle \mathbf{B}\mathbf{A}}$是一个${\displaystyle m\times <!--\; \times \; -->m}$矩阵。

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

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

但是要注意：

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

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

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

一个${\displaystyle n\times <!--\; \times \; -->n}$的方形矩阵${\displaystyle \mathbf{A}}$的特征多项式${\displaystyle P_A(\mathrm{\lambda <!--\; \lambda \; -->})}$定义为${\displaystyle \mathbf{A}}$减去${\displaystyle \mathrm{\lambda <!--\; \lambda \; -->}}$倍的单位矩阵后所得到的矩阵的行列式：

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

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

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

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

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

其中的${\displaystyle {\mathrm{\lambda <!--\; \lambda \; -->}}_1,{\mathrm{\lambda <!--\; \lambda \; -->}}_2\cdots <!--\; \cdots \; -->{\mathrm{\lambda <!--\; \lambda \; -->}}_n}$是矩阵的特征值。而且有：

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

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

根据行列式理论，这个函数也是一个行列式型的函数，也就是说存在一个只取决于${\displaystyle f}$的量${\displaystyle \mathrm{S}\mathrm{p}(f)}$，使得

可以证明，这个纯量${\displaystyle \mathrm{S}\mathrm{p}(f)}$就等于之前定义的${\displaystyle f}$的迹数。

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