迹 - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for .

维基百科,自由的百科全书

线性代数 A = [ 1 2 3 4 ] {\displaystyle \mathbf {A} ={\begin{bmatrix}1&2\\3&4\end{bmatrix))} 向量 · 向量空间  · 行列式  · 矩阵 向量 标量 · 向量 · 向量空间 · 向量投影 · 外积 · 内积 · 数量积 · 向量积 矩阵与行列式 矩阵 · 行列式 · 线性方程组 · 秩 · 核 · 迹 · 单位矩阵 · 初等矩阵 · 方块矩阵 · 分块矩阵 · 三角矩阵 · 非奇异方阵 · 转置矩阵 · 逆矩阵 · 对角矩阵 · 可对角化矩阵 · 对称矩阵 · 反对称矩阵 · 正交矩阵 · 幺正矩阵 · 埃尔米特矩阵 · 反埃尔米特矩阵 · 正规矩阵 · 伴随矩阵 · 余因子矩阵 · 共轭转置 · 正定矩阵 · 幂零矩阵 · 矩阵分解 (LU分解 · 奇异值分解 · QR分解 · 极分解 · 特征分解) · 子式和余子式 · 拉普拉斯展开 · 线性空间与线性变换 线性空间 · 线性变换 · 线性子空间 · 线性生成空间 · 基 · 线性映射 · 线性投影 · 线性无关 · 线性组合 · 线性泛函 · 行空间与列空间 · 对偶空间 · 正交 · 特征向量 · 最小二乘法 · 格拉姆-施密特正交化 · 查论编

线性代数中,一个矩阵(或迹数),是指主对角线(从左上方至右下方的对角线)上各个元素的总和,一般记作

其中代表矩阵的第ij列上的元素的值[1]。一个矩阵的迹是其特征值的总和(按代数重数计算)。

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

例子

设有矩阵:

它的迹是:

= 3 + 9 + 4 = 16

性质

线性函数

给定一个,迹是一个从系数在环中的矩阵的空间射到环之上的线性算子。也就是说,对于任两个的矩阵标量,都有:

[2]

更进一步来说,当是一个时,迹数函数矩阵的空间上的一个线性泛函

由于一个矩阵转置矩阵的主对角线元素和原来矩阵的主对角线元素是一样的,所以任意一个矩阵和其转置矩阵都会有相同的迹[2]

矩阵乘积的迹数

A是一个矩阵,B是个矩阵,则:

[2]

其中是一个矩阵,而是一个矩阵。

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

如果都是方形矩阵,那么它们的乘积也会是方形矩阵。因此,利用这个结果,可以推导出:计算若干个同样大小的方形矩阵的乘积的迹数时,可以循环改变乘积中方形矩阵相乘的顺序,而最终的结果不变[2]。例如,有三个方形矩阵,则:

[3]

但是要注意:

[3]

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

另外,如果是同样大小的方阵而且还是对称矩阵的话,那么其乘积的迹数不只在循环排列下不会改变,而且在所有的排列下都不会改变:

迹数的相似不变性

迹数拥有相似不变性。如果矩阵相似的话,它们会有相同的迹。这一性质可使上面讲过的循环性质来证明:

矩阵相似也就是说存在可逆矩阵,使得
因此

矩阵迹数和特征多项式

一个的方形矩阵特征多项式定义为减去倍的单位矩阵后所得到的矩阵的行列式

特征多项式是一个关于n多项式,它的常数项是的行列式的值,最高次项是,而接下来的n-1次项就是,也就是说:

矩阵迹数与特征值

当系数域是代数闭域时(否则可以将系数域扩展到其代数闭包上来看),特征多项式n,它可以表达成:

其中的是特征多项式的不同的根,而是这些根在特征多项式里的重数,称为代数重数。显然,所有代数重数加起来等于n。一方面,特征多项式的根就是矩阵的特征值,而另一方面,借由根与多项式系数的关系可以知道:特征多项式的所有的根加起来等于矩阵的迹数。所以矩阵的迹数是矩阵的所有特征值(按照代数重数计算)的和[4]

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

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

其中的是矩阵的特征值。 而且有:

线性映射的迹数

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

另外一种定义涉及到行列式的性质。考虑的一个基底,以及函数:

根据行列式理论,这个函数也是一个行列式型的函数,也就是说存在一个只取决于的量,使得

[5]

可以证明,这个纯量就等于之前定义的的迹数[6]

迹的梯度

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

单个矩阵

  • A是m×m矩阵时,有
  • m×m矩阵A可逆时,有
  • 对于两个向量xy的外积,有

两个矩阵

  • A为m×n矩阵,有
  • A为m×m矩阵,有
  • A为m×n矩阵,B是m×n矩阵,有
  • A为m×n矩阵,B是n×m矩阵,有
  • AB均为对称矩阵时,有
  • AB都是m×m矩阵,并且B是非奇异矩阵,有

参见

参考来源

  1. ^ 张贤达,《矩阵分析与应用》,第54页
  2. ^ 2.0 2.1 2.2 2.3 2.4 张贤达,《矩阵分析与应用》,第55页
  3. ^ 3.0 3.1 Carl Dean Meyer, Matrix Analysis and Applied Linear Algebra,第110页
  4. ^ Karim M. Abadir,Jan R. Magnus, Matrix algebra,第168页
  5. ^ Werner, Linear Algebra,第126页
  6. ^ Werner, Linear Algebra,第127-128页

参考书籍

  • (中文)张贤达. 矩阵分析与应用. 清华大学出版社. 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. 
{{bottomLinkPreText}} {{bottomLinkText}}
Listen to this article