矩阵的相似对角化
定义
设 阶矩阵 ,若存在 阶可逆矩阵 ,使得
其中 为对角矩阵(对角线以外的元素均为 0),则称矩阵 可相似对角化 (diagonalizable),记为 。称 是 的相似标准形。
相似对角化的意义在于,对角矩阵的幂运算和多项式运算非常简单,只需对对角线上的元素进行相应运算即可。若 ,则 。
对角化条件
充要条件
一个 阶矩阵 可相似对角化的充要条件是:
- 矩阵 有 个线性无关的特征向量。
- 对 的每个 重特征值 ,其对应的特征子空间 的维数(几何重数)等于 (代数重数),即 。简言之,每个 重特征值恰好能求出 个线性无关的特征向量。
推导过程: 由 可得 。 将可逆矩阵 按列分块为 ,对角矩阵 的对角线元素为 。 将上式展开,得到 比较两边的列向量,可得 ()。 由于 是可逆矩阵,其列向量组 必须线性无关。同时, 是非零向量。因此, 是 的特征值, 是对应的特征向量。 这就证明了 可对角化的充要条件是它有 个线性无关的特征向量。
充分条件
以下是矩阵 可相似对角化的充分条件(但非必要条件):
- 阶矩阵 有 个互不相同的特征值。
- 矩阵 为实对称矩阵。(实对称矩阵必可相似对角化,且其相似变换矩阵 可以是正交矩阵)。
注意:一个矩阵可对角化,不能反推出它一定有 个不同特征值,也不能反推出它一定是实对称矩阵。例如,单位矩阵 是对角矩阵,但其特征值全为 1,不是互不相同的。
例题
1. 判断 是否可以相似对角化
解: 因为 的行向量成比例,所以 的秩 。 对于 矩阵 ,其特征值满足 (迹) 和 (行列式)。 由于 的行向量成比例,所以 ,这意味着至少有一个特征值为 。 又因为 ,所以 有两个特征值为 ,即 。 迹 。 所以 ,得到 。 因此,特征值为 。
要判断 是否可以相似对角化,需要检查每个特征值的几何重数是否等于其代数重数。
对于特征值 (代数重数为 ):
我们需要找到方程 的基础解系向量个数,即 。
当 时,方程为 ,即 。
经过行变换化为行阶梯形矩阵:
该矩阵的秩 。
因此,特征值 对应的特征向量的个数(几何重数)为 。
由于特征值 的代数重数是 ,几何重数也是 ,两者相等。
对于特征值 (代数重数为 ):
代数重数为 的特征值,其几何重数必然为 。
因为所有特征值的几何重数都等于其代数重数,所以 可以相似对角化。
对角化步骤
-
求特征值:计算矩阵 的特征多项式 ,求出 的全部特征值 (含重根)。
-
求特征向量:对每个(不同)的特征值 ,求解齐次线性方程组 的基础解系。这个基础解系就是对应于 的线性无关的特征向量。
- 检验可对角化:检查所有特征值对应的线性无关特征向量的总个数是否等于矩阵的阶数 。若总数小于 ,则矩阵 不能相似对角化。
-
构造矩阵 P 和 Λ:将求出的 个线性无关的特征向量 作为列向量,构造可逆矩阵 。 此时,一定有 ,其中 是一个对角矩阵。 重要提示:对角矩阵 中主对角线元素的排列顺序,必须与可逆矩阵 中对应特征向量的排列顺序一一对应。即,如果 的第 列是属于特征值 的特征向量,那么 的第 个对角元就必须是 。
例题
1. 设 , 求可逆矩阵 , 使得
解: 首先计算特征值: 解得特征方程为 。 因此,特征值为 , 。
当 时,求解 。
对应的系数矩阵为 。
通过行变换可得其行阶梯形矩阵,进而求得基础解系。
得到特征向量 和 。
同理,代入 ,求解 。
得到特征向量 。
令 。
则 。