5.3 对角化
在很多情况下,从分解式 (其中 是对角矩阵),我们能够了解到有关矩阵 的特征值和特征向量的信息。本节,我们利用分解式在 较大时能快速计算 ,这是线性代数中某些应用的基本思想。稍后,在5.6节和5.7节,分解式被用来分析(解耦)动力系统。
下面的例题表明对角矩阵的幂很容易计算.
若 , 则
一般有
若 ,其中 为可逆矩阵, 为对角矩阵,那么 的计算也很简单,见下例.例2设 ,给定 ,其中 ,计算
解
由 矩阵的逆矩阵的标准公式得
然后,结合矩阵乘法,得
同理,
一般对 ,有
如果方阵 相似于对角矩阵,即存在可逆矩阵 和对角矩阵 ,有 ,则称 可对角化。下一个定理给出了可对角化矩阵的特征,并告诉我们如何去建立合适的分解式。
矩阵 可对角化的充分必要条件是 有 个线性无关的特征向量.
事实上, ,为对角矩阵的充分必要条件是的列向量是的个线性无关的特征向量。此时,的主对角线上的元素分别是的对应于中特征向量的特征值。
换句话说, 可对角化的充分必要条件是有足够的特征向量形成 的基,我们称这样的基为特征向量基.
证明
首先看到,若 是列为 的任一 矩阵, 是对角线元素为 的对角矩阵,那么
而
现假设 可对角化且 ,用 右乘等式两边,则有 AP = PD。此时,由(1)和(2)得 (3)
由列相等,有
因为 可逆,故 的列 必定线性无关。同样,因为这些 非零,故(4)表示 是特征值, 是相应的特征向量。这就证明了定理中第一、第二和随后的第三个命题的必要性。
最后,给定任意 个特征向量 ,用它们作为矩阵 的列,并用相应的特征值来构造矩阵 ,由(1)~(3),等式 AP = PD 成立而不需要特征向量有任何条件。若特征向量是线性无关的,则 是可逆的(由可逆矩阵定理),由 AP = PD 可推出 。
矩阵的对角化
可能的话,将下面矩阵对角化:
即求可逆矩阵 和对角矩阵 ,使得 .
解
对角化工作可分为 4 步来完成.
第 1 步 求出 的特征值. 在 5.2 节曾提到,在矩阵的规模大于 时,可借用计算机求特征值,为避免分心,本书将会提供这一步的内容. 现在的特征方程是一个 3 次多项式,可分解为:
特征值是 和 .
第2步 求 的3个线性无关的特征向量. 因为 是 矩阵, 故需要3个向量. 这一步很关键, 如果找不到这3个向量, 那么由定理5, 就不能对角化. 用5.1节的方法可求出每一特征空间的基:
对于 的基是:
对于 的基是: 和
可以验证 是线性无关的.
第3步 用第2步得到的向量构造矩阵 。向量的次序不重要,用第2步选择的次序,形成
第4步 用对应的特征值构造矩阵 。构造 时,特征值的次序必须和矩阵 的列选择的特征向量的次序一致。对应于 的特征向量有2个,特征值 要出现2次:
验证所找的 和 是否正确是一个好的习惯,为避免计算 ,可简单验证 AP = PD,这等价于当 可逆时 。(但必须确认 是可逆的!)计算
试着将下面的矩阵 对角化:
解
的特征方程与例3的完全一样:
特征值是 和 。但当我们找特征向量时,发现每一特征空间仅是一维的:
对于 的特征向量:
对于 的特征向量:
没有其他的特征向量了, 的每个特征向量都是 或 的倍数.因此不可能利用 的特征向量
来构造出 的基. 由定理5, 不能对角化
以下定理为矩阵可对角化提供了充分条件.
有 个相异特征值的 矩阵可对角化.
证明
设 是矩阵 对应于 个相异特征值的特征向量,由 5.1 节定理2 是线性无关的,因此,由定理5, 是线性无关的,因此,由定理 5, 可对角化.
不过, 矩阵并不是必须有 个相异特征值才可对角化。例3 的 矩阵尽管只有 2 个相异的特征值,但它是可对角化的。
确定下列矩阵能否对角化:
解
很容易判断矩阵 可对角化. 因为 是 的三角矩阵, 其特征值显然是 5, 0 和 -2, 有三个相异的特征值, 故 可对角化.
特征值不都相异的矩阵
Section titled “特征值不都相异的矩阵”如果 矩阵 有 个相异的特征值及相应的特征向量 ,若记 ,那么由定理2, 的列是线性无关的,自然 是可逆的。当 可对角化,但 相异的特征值的个数少于 时,我们仍可以用以下定理给出的方法来构造可逆矩阵 。
设 是 矩阵,其相异的特征值是 .
. 对于 的特征空间的维数小于或等于 的代数重数.
. 矩阵 可对角化的充分必要条件是所有不同特征空间的维数之和为 ,即()特征多项式可完全分解为线性因子,(ii)每个 的特征空间的维数等于 的代数重数。
. 若 可对角化, 是对应于 的特征空间的基,则集合 中所有向量的集合是 的特征向量基.
试着将下列矩阵对角化.
解
是三角矩阵,特征值是 和 ,重数都是2.利用5.1节的方法,我们求出每个特征空间的基.
对应 的基:
对应 的基: ,
由定理7,向量集合 是线性无关的,故 是可逆的,且有 ,其中
-
,计算 .
-
设 ,若已知 和 是 的特征向量,将 对角化.
-
设 矩阵 的特征值是 5, 3 和 -2,并且已知对应于 的特征空间是二维的,你能否判断 是可对角化的?
在习题 1 和习题 2 中,设 ,计算 .
在习题 3 和习题 4 中, 利用分解式 , 计算 , 为正整数.
在习题5和习题6中,矩阵 被分解为 ,利用对角化定理求 的特征值和每个特征空间的基.
试着将习题 7~20 的矩阵对角化. 习题 11~16 的特征值如下所示:
(11) ; (12) ; (13) ;
(14) ; (15) ; (16) . 对于习题 18,一个特征值是 ,对应的特征向量为 .
在习题21和习题22中,,,和是 矩阵,标出每个命题的真假,证明你的答案(在做这些习题之前先仔细研读定理5和定理6及本节的例子).
- . 若存在矩阵 和可逆矩阵 使得 成立,则 可对角化.
. 若 有 的特征向量基,则 可对角化.
. A 可对角化的充分必要条件是 有 个特征值(算上重数).
. 若 可对角化,则 是可逆的.
- . 若 有 个特征向量,则 可对角化. b. 若 可对角化,则 有 个相异的特征值. c. 若 AP = PD, 为对角矩阵,那么 的非零列必定是 的特征向量.
. 若 可逆,则 可对角化.
-
矩阵 有 2 个特征值,一个特征空间是三维的,另一个特征空间是二维的。A 可对角化否?为什么?
-
矩阵 有 2 个特征值,每个特征空间是一维的, 可对角化否?为什么?
-
矩阵 有3个特征值,有一个特征空间为一维,其他特征空间之一是二维的。 是否可对角化?说明理由。
-
矩阵 有 3 个特征值,一个特征空间是二维的,其他特征空间之一是三维的, 是否不可对角化?说明理由.
-
证明:若 可对角化且可逆,则 亦可对角化.
-
证明: 若 有 个线性无关的特征向量, 则 也有 个线性无关的特征向量. (提示: 用对角化定理.)
-
分解式 不是唯一的,用例2的矩阵 ,利用例2的结果求矩阵 ,利用例2的结果求矩阵 ,使得 .
-
对例2 的 和 ,求不等于 的可逆矩阵 ,使得 .
-
构造一个非零的 可逆但不可对角化的矩阵.
-
构造一个不是对角阵的 可对角化但不可逆的矩阵.
[]将习题33~36的矩阵对角化,先用矩阵程序的特征值命令求特征值,然后用5.1节的方法找出特征空间的基.
- ,特征值是2和1,对应的特征向量是 和 ,然后构造 . 由 ,得
- 计算
显然, 和 分别是特征值 1 和 3 对应的特征向量,因此 ,其中
和
- 可对角化,对应于 的特征空间有一个基 . 此外,对应于 和 至少有一个特征向量,记为 和 ,则由定理2 是线性无关的. 由定理7( 是线性无关的. 由定理 7(), 可对角化. 因为向量全属于 , 的基包含的线性无关向量的个数不超过 4,故对应于 和 的特征空间都是一维的.
书籍模块索引
线性代数及其应用(原书第5版) · 章节内联关系图谱
核心知识枢纽章节
被全书其他章节引用频次最高的基石章节:
图谱交互提示
- 视角放大/缩小:使用左下角工具栏 +/- 或鼠标滚轮;
- 大书防混淆:顶部选择“按篇章/大章聚合”或“聚焦当前章”;
- 视图平移与拖拽:拖动画布或节点;双击节点直达原文。