可对角化矩阵
特征化
关于可对角化映射和矩阵的基本事实可表达为如下:
在域F 上的 n × n 矩阵 A 是可对角化的,当且仅当它的特征空间的维度等于 n,它为真当且仅当存在由 A 的特征向量组成的 F 的基。如果找到了这样的基,可以形成有基向量作为纵列的矩阵 P,而 PAP 将是对角矩阵。这个矩阵的对角元素是 A 的特征值。
线性映射 T : V → V 是可对角化的,当且仅当它的特征空间的维度等于 dim(V),它为真当且仅当存在由 T 的特征向量组成的 V 的基。T 关于这个基将表示为对角矩阵。这个矩阵的对角元素是 T 的特征值。
另一个特征化: 矩阵或线性映射在域 F 上可对角化的,当且仅当它的极小多项式在 F 上有不同的线性因子。
下列充分(但非必要)条件经常是有用的。
n × n 矩阵 A 只在域 F 上可对角化的,如果它在 F 中有 n 个不同的特征值,就是说,如果它的特征多项式在 F 中有 n 个不同的根。
线性映射 T : V → V 带有 n=dim(V) 是可对角化的,如果它有 n 个不同的特征值,就是说它的特征多项式在 F 中有 n 个不同的根。
作为经验规则,在复数域 C 上几乎所有矩阵都是可对角化的。更精确地说: 在 C 上不可对角化的复数 n × n 矩阵的集合被当作 C 的子集,它是关于勒贝格测度的零集。也可以说可对角化矩阵形成了关于扎里斯基拓扑的稠密子集 : 补位于特征多项式的判别式变为零的集合内,后者是超平面。从中得出的还有在平常的(强拓扑)中密度由范数给出。
对于 R 域就不是这样了。随着 n 增长,随机选择的实数矩阵是在 R 上可对角化的可能性越来越小。
例子
可对角化矩阵
对合在实数上(甚至特征不是 2 的任何域)是可对角化的,带有 1 和 -1 在对角线上。
有限阶自同态(包括对合)是在复数,或域的特征不整除自同态的阶的任何代数闭合域(因为单位一的根是不同的)是可对角化的,带有单位根在对角线上。这是循环群的表示理论的一部分。
投影是可对角化的,带有 0 和 1 在对角线上。
非可对角化的矩阵
某些矩阵在任何域上都是不可对角化的,最著名的是幂零矩阵。如果特征值的几何重次和代数重次不一致,这会更一般的出现。例如考虑
这个矩阵是不可对角化的: 没有矩阵 U 使得 U− − -->1CU{\displaystyle U^{-1}CU} 是对角矩阵。实际上,C 有一个特征值(就是零)而这个特征值有代数重次 2 和几何重次 1。
某些实数矩阵在实数上是不可对角化的。例如考虑
矩阵 B 没有任何实数特征值,所以没有实数矩阵 Q 使得 Q− − -->1BQ{\displaystyle Q^{-1}BQ} 是对角矩阵。但是可以对角化 B,如果允许复数的话。实际上,如果我们取
则 Q− − -->1BQ{\displaystyle Q^{-1}BQ} 是对角的。
矩阵对角化的方法
考虑矩阵
这个矩阵有特征值
所以 A 是有三个不同特征值的 3 × 3 矩阵,所以它是可对角化的。
如果我们要对角化 A,我们需要计算对应的特征向量。它们是
我们可以轻易的验证 Avk=λ λ -->kvk{\displaystyle Av_{k}=\lambda _{k}v_{k}}。
现在,设 P 是由这些特征向量作为纵列的矩阵:
则 P 对角化了 A,简单的计算可验证:
注意特征值 λ λ -->k{\displaystyle \lambda _{k}} 出现在对角矩阵中。
应用
对角化可被用来有效的计算矩阵 A 的幂,假如矩阵是可对角化的。比如我们找到了
是对角矩阵,因为矩阵的积是结合的,
而后者容易计算,因为它只涉及对角矩阵的幂。
在找到线性递归序列比如斐波那契数列的项的闭合形式的表达中这是非常有用的。
特定应用
例如,考虑下列矩阵:
计算 M 个各次幂揭示了一个惊人的模式:
上面的现象可以通过对角化 M 来解释。要如此我们需要由 M 的特征向量组成的 R 的基。一个这样的特征向量基给出自
这里的 ei 指示 R 的标准基。 逆的基变更给出自
直接计算证实
所以,a 和 b 是分别是对应于 u 和 v 的特征值。 根据矩阵乘法的线性,我们有
切换回标准基,我们有
前面的关系用矩阵形式表达为
因此解释了上述现象。
参见
若尔当标准型
缩放
三角矩阵
引用
Roger A. Horn and Charles R. Johnson, Matrix Analysis, Chapter 1, Cambridge University Press, 1985. ISBN 0-521-30586-1 (hardback), ISBN 0-521-38632-2 (paperback).
免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。
- 有价值
- 一般般
- 没价值