第6章 特征值与对角化
§6.1 矩阵的特征值与特征向量
一、定义
设 为 阶方阵,如果存在复数 和非零向量 ,使得
则称 是 的一个特征值, 是 的属于特征值 的特征向量。
说明:
- 特征向量 ;
- 特征值和特征向量只对方阵而言;
- 是 的属于 的特征向量,则 与 共线;
- 阶单位阵的特征值为 ,所有非零 维向量都是它的特征向量。
例1:若 阶方阵 的每行元素之和都等于常数 ,则 就是 的一个特征值,且 是 中属于特征值 的特征向量。
二、特征向量与特征值的关系
从特征值和特征向量的性质可以看出:矩阵 的一个特征值对应若干个线性无关的特征向量;但反之,一个特征向量只能属于一个特征值。
三、特征值与特征向量的性质
性质1:若 是 的属于同一特征值 的特征向量,且 ,则 也是 的属于 的特征向量。
性质2:若 是 的属于特征值 的特征向量, 为任意常数,则 也是 的属于 的特征向量。
性质3(线性组合):若 为 的属于同一特征值 的特征向量,则 仍是 的属于 的特征向量。
性质4(幂与逆): 是 的特征值,则
- 当 为正整数时, 是 的特征值;
- 当 可逆时, 是 的特征值;
- 当 可逆, 为整数时, 是 的特征值。
性质5(多项式): 是 的特征值, 是对应的特征向量,且 则 为 的特征值,且 也是 中属于 的特征向量。
例:设 , 有特征值 ,则 为 的特征值。
性质5’:若 为 阶方阵 的全部特征值,则 为 的全部特征值。
例:若 满足 ,证明 的特征值只能为 或 。 证:设 为 的任意特征值, 满足 。 ,因 ,故 , 或 。
性质6(等价条件1): 是 的属于 的特征向量 是齐次线性方程组 的非零解。
性质7(等价条件2): 是 的特征值 。
四、特征矩阵、特征多项式与特征方程
设 为 阶矩阵:
- 特征矩阵:
- 特征多项式:
- 特征方程:
五、求特征值和特征向量的步骤
- 计算特征多项式 ;
- 求出 的全部根,得 的全部特征值 ;
- 对于每个不同的特征值 ,求出齐次线性方程组 的一个基础解系 ,则 的属于 的全部特征向量为 (其中 是不全为零的任意常数)。
例2:求 的特征值与特征向量。
解:
特征值:(单根),(单根)
对 :解 ,得基础解系
对 :解 ,得基础解系
六、特征值与行列式及迹的关系 ★
性质8:设 阶方阵 的特征值为 ,则有
推论:方阵 可逆 没有零特征值。
例3:若三阶方阵 的特征值为 。 (1) ,故 可逆; (2) 的特征值分别为 ,故行列式
七、补充性质
性质9: 与 的特征值相同(但特征向量一般不同)。
性质10:属于不同特征值的特征向量线性无关(见 §6.2 定理2)。
§6.2 矩阵的相似对角化
一、相似矩阵的定义
设 均为 矩阵,若存在可逆矩阵 使得
则称 与 相似,记为 。
- 称为相似变换矩阵
- 称为对 施行的相似变换
二、相似矩阵的性质
| 性质 | 内容 |
|---|---|
| 1 | 相似关系是等价关系(自反性、对称性、传递性) |
| 2 | 若 , 是多项式,则 ;特别地 |
| 3 | 若 且可逆,则 |
| 4 | 若 ,则 $ |
| 5 | 若 ,则 和 有相同的特征值 ⚠️(反之不成立!) |
| 6 | 若 ,则 |
| 7 | 若 ,则 |
注:有相同特征值的矩阵不一定相似。例如 与 特征值相同但不相似。
例1:已知 与 相似,求 。 解:相似矩阵有相同的迹和行列式:,解得
三、矩阵的相似对角化
定义:对 阶方阵 ,若存在可逆矩阵 使得
则称 可(相似)对角化。
四、对角化的充要条件 ★★★
定理1: 阶矩阵 相似于对角矩阵 有 个线性无关的特征向量。
此时, 的列向量即为 的 个线性无关的特征向量, 的对角元即为对应的特征值。
定理2:属于不同特征值的特征向量线性无关。
推论:若 阶矩阵 有 个不同的特征值,则 可对角化。 ⚠️ 这是充分条件,非必要!有重根也可能对角化。
定理3:设 是 的互异特征值, 是属于 的线性无关特征向量,则所有特征向量放在一起仍线性无关。
定理4(重数判据)★★★: 可对角化 对于 的每个 重特征值 ,恰有 个线性无关的特征向量(即几何重数 = 代数重数)。
定理5(秩判据): 可对角化 对于 的每个 重特征值 ,。
五、对角化的步骤
- 求 的全部互异特征值 ;
- 对每个 ,解 的一个基础解系;
- 计算总特征向量数 :
- 若 ,则 不可对角化;
- 若 ,则 可对角化;
- 令 ,则
例2:判断 能否对角化?若能,求 和 。
解:,特征值 互异 → 可对角化。
: : :
,
例3(重根但可对角化):,特征值 (二重),
对 :,基础解系含 个向量 几何重数 = 代数重数,可对角化。
例4(重根不可对角化):,特征值 (二重),
对 :,基础解系含 个向量 几何重数 代数重数 ,不可对角化。
六、对角化的应用:求
若 ,则 ,其中 。
例5:已知三阶方阵 的特征值为 ,对应的特征向量依次为 ,求 和 。
令 ,
,
§6.3 实对称阵的对角化
一、向量的内积
定义:设有 维向量 ,,称
为向量 与 的内积。
内积的运算性质( 为 维向量, 为实数):
- ,且当 时有
二、向量的长度(范数)
定义:
性质:
- 非负性:;
- 齐次性:
- Cauchy-Schwarz 不等式:
- 三角不等式:(两边之和大于第三边)
单位向量:当 时,称 为单位向量。 称为 的单位化。
两向量的夹角:当 时,
三、正交向量组
定义:
- 当 时,称 与 正交()
- 若一不含有零向量的向量组中的向量两两正交,则称为正交向量组
- 正交向量组中每个向量均为单位向量,则称为规范正交向量组
定理1:正交向量组必线性无关。(逆命题不成立)
四、Schmidt 正交化方法
设 为 中的一个线性无关组。
步骤1(正交化):
步骤2(单位化):
则 为一个规范正交向量组,且与 等价。
例1:用 Schmidt 方法将 化为规范正交组。
正交化:,,
单位化:
五、正交矩阵
定义:若 阶实矩阵 满足 ,则 称为正交矩阵。
性质:
- 为正交阵 的每列(行)元素平方和为 (单位向量),且不同两列(行)的对应元乘积之和为 (正交)
- 若 为正交阵,则 也为正交阵
- 若 为正交阵,则 也为正交阵
六、实对称矩阵的性质 ★★★
定理2:实对称矩阵的特征值均为实数。(理论意义:对应的特征向量可以取实向量)
定理3:实对称矩阵属于不同特征值的特征向量正交。
引理:对于实对称矩阵 的 重特征值 ,,即恰有 个线性无关的特征向量。
定理4(主轴定理)★★★:设 为 阶实对称矩阵,则必有正交矩阵 ,使 其中 是 的 个特征值。
实对称矩阵对角化的特点:
- 一定可以对角化(不存在”不可对角化”的情况)
- 可以用正交矩阵来对角化(不是普通的可逆矩阵)
- ,即
七、实对称矩阵正交对角化的步骤
- 求 的全部特征值;
- 由 ,求出 的 个线性无关的特征向量;
- 将属于同一特征值的特征向量正交化(Schmidt),再将所有 个特征向量单位化;
- 令 ,则 。
例2:求正交矩阵 ,使 为对角阵,其中
解:
- ,特征值 (互异,已正交)
- 特征向量: : : :
- 单位化(不必正交化,不同特征值已自动正交):
- ,
八、应用举例
1. PageRank(Google 搜索引擎):网页排序的本质是求状态转移矩阵的属于特征值 的特征向量。
2. PCA(主成分分析):对大数据降维时,找方差大的投影方向,本质是求协方差矩阵的特征值和特征向量。
3. 马尔可夫链(舆论传播模型):通过状态转移矩阵 的对角化,计算 预测长期稳态分布。
自测题
一、判断
- 若 是 的特征值,则 也是 的特征值。 ( )
- 相似矩阵必有相同的特征向量。 ( )
- 阶方阵有 个不同的特征值是 可对角化的必要条件。 ( )
- 实对称矩阵的不同特征值对应的特征向量一定正交。 ( )
- 若 满足 ,则 的特征值全为 。 ( )
二、选择
已知三阶方阵 的特征值为 ,则 ( ) A. 10 B. 20 C. 30 D. 40
下列矩阵中可对角化的是: A. B. C. D.
设 是正交矩阵,则下列不对的是: A. B. C. 的列向量为标准正交组 D. 的特征值必为
三、计算
求 的特征值和特征向量,并判断是否可对角化。
判断 是否可对角化,并说明理由。
求正交矩阵 使 为对角阵,。
用施密特正交化方法将 化为规范正交组。
四、思考
- “相似矩阵有相同的特征值”,逆命题成立吗?举反例说明。
- 为什么实对称矩阵一定可以对角化?从几何重数和代数重数的角度解释。
- 正交变换法化二次型为标准形(第7章)与实对称矩阵的正交对角化有何联系?
参考答案
| 题号 | 答案 | 提示 |
|---|---|---|
| 1 | ✓ | $ |
| 2 | ✗ | 相似矩阵特征值相同,但特征向量不同(需乘以 ) |
| 3 | ✗ | 充分非必要——有重根也可以对角化(例3) |
| 4 | ✓ | 定理3,实对称矩阵的核心性质 |
| 5 | ✓ | |
| 6 | B | 的特征值:;$ |
| 7 | B | A有2个不同特征值1,2,可对角化(充分条件) |
| 8 | D | 正交矩阵特征值不一定为 (如旋转矩阵特征值为 ) |
| 9 | ;, ;可对角化 | |
| 10 | 不可对角化 | (二重),,几何重数=1<2 |
| 11 | 或等价形式 | 特征值 |
| 12 | ||
| 13 | 不成立。反例: 与 特征值相同但不相似 | |
| 14 | 实对称矩阵的每个 重特征值,,几何重数=代数重数 | |
| 15 | 二次型 通过正交变换 化为 ,正是实对称矩阵 的正交对角化 |