7.1 对称矩阵的对角化
一个对称矩阵是一个满足 的矩阵 ,这种矩阵当然是方阵,它的主对角线元素是任意的,但其他元素在主对角线的两边成对出现.
下面的矩阵中,仅前面三个是对称矩阵.
为了开始学习对称矩阵,复习5.3节的对角化过程非常有用.
如果可能,对角化矩阵 .
解
的特征方程是
通过标准计算可得到每个特征空间的一个基:
这三个向量形成 的一个基. 事实上, 容易验证 是 的正交基. 根据第6章的经验, 单位正交基对计算可能有用, 因此可以单位化 和 得到单位特征向量.
令
那么有 ,和平常一样。由于 是方阵且有单位正交列,所以 是一个正交矩阵,而 就是 。(见6.2节。)
定理1 解释了为什么例2 中的特征向量是正交的——它们对应不同的特征值.
如果 是对称矩阵,那么不同特征空间的任意两个特征向量是正交的.
证明
设 和 是对应于不同特征值 的特征向量. 为证明 ,计算
因此 ,但是 ,所以
例2 中特殊类型的对角化对于对称矩阵理论十分重要. 一个矩阵 称为可正交对角化, 如
果存在一个正交矩阵 (满足 )和一个对角矩阵 使得
为了正交对角化一个 矩阵,我们必须找到 个线性无关且单位正交的特征向量。什么条件下可能做到?如果 是像(1)一样可以正交对角化的,那么
这样 是对称的!另一方面,定理2表明每一个对称矩阵都是可正交对角化,结论的证明非常困难,这里将其省略,证明的主要思路将在定理3之后给出.
一个 矩阵 可正交对角化的充分必要条件是 是对称矩阵.
这个定理相当奇妙,我们根据第5章的经验可以推测,要知道何时一个矩阵 可对角化通常是不可能的,但对称矩阵却例外.
下面的例子给出一个矩阵,它的特征值并非全部都不相同.
将 正交对角化,其特征方程为
解
平常计算可得特征空间的基:
尽管 和 是线性无关的,但它们并不正交。从 6.2 节可知, 在 上的投影是 ,与 正交的 的分量是
于是 是关于 的特征空间的正交集。(注意 是特征向量 和 的线性组合,从而 属于特征空间。构造 的过程就是6.4节的格拉姆-施密特方法。)由于特征空间是二维的(基是 ),故由基定理,正交集合 是一个特征空间的正交基(见2.9节或4.5节)。
将 和 规范化,我们得到关于 的特征空间的单位正交基:
关于 的特征空间的单位正交基是
由定理1, 与其他特征向量 和 正交,因此 是一个单位正交集.令
那么 将 正交对角化且 .
在例3 中,特征值 7 是二重的,特征向量是二维的。这个事实并不是偶然的,见下面定理。谱定理
矩阵 的特征值的集合有时称为 的谱,下面关于特征值的描述称为谱定理.
一个对称的 矩阵 具有下述性质:
. A 有 个实特征值,包含重复的特征值.
. 对每一个特征值 ,对应的特征空间的维数等于 作为特征方程的根的重数。
. 特征空间相互正交, 这种正交性是在特征向量对应于不同特征值的意义下成立的.
. A 可正交对角化.
()可从5.5节的习题24得出,()可从()容易得到(见习题31).()就是定理1.由于(),因此()的一个证明可用习题32和第6章补充习题16中已经讨论过的舒尔因子分解给出,证明的细节从略.
假设 ,其中 的列是 的单位正交特征向量 ,且相应的特征值 属于对角矩阵 ,那么由于 ,故
利用乘积的行列展开式(2.4节定理10),我们可以得到
由于它将 分解为由 的谱(特征值)确定的小块,因此这个 的表示就称为 的谱分解。(2)中的每一项都是一个秩为1的 矩阵。例如, 的每一列都是 的倍数。更进一步,在 属于 的意义下,每个矩阵 都是投影矩阵,向量 是 在由 生成的子空间
上的正交投影.(见习题35.)
构造矩阵 的一个谱分解,已知 有以下正交对角化分解:
解
将 的列记为 和 ,则有
为验证 的谱分解,计算
且
数值计算的注解 当 是对称且不太大的矩阵时,现代高性能的计算机程序可以非常精确地计算特征值和特征向量。它们对 使用一系列包含正交矩阵的相似变换,变换后矩阵的对角元素很快收敛于 的特征值。(见 5.2 节的数值计算的注解。)利用正交矩阵常常可避免计算过程的误差积累。当 对称时,正交矩阵序列可形成列向量是 的特征向量的正交矩阵。
一个非对称矩阵没有完全的正交特征向量集,但算法仍得到相当精确的特征值。之后,就需要用非正交化方法计算特征向量。
-
证明:如果 是对称矩阵,那么 也是对称的.
-
证明:如果 是可正交对角化的,那么 也是可正交对角化的.
判断习题 1~6 中哪一个矩阵是对称矩阵.
判断习题 7~12 中哪一个矩阵是正交的,如果正交,求出它的逆矩阵.
将习题 13~22 中的矩阵正交对角化,并给出一个正交矩阵 和一个对角矩阵 D.为节约时间,给出习题 17~22 的特征值是:(17)-4,4,7;(18)-3,-6,9;(19)-2,7;(20)-3,15;(21)1,5,9;(22)3,5.
-
设 和 . 证明 5 是 的一个特征值且 是一个特征向量,然后将 正交对角化.
-
设 , 和 . 验证 和 是 的特征向量, 然后将 正交对角化.
对习题 25~26,判断每一个命题的真假,验证你的答案.
- . 可正交对角化的 矩阵 一定是对称的. b. 如果 且向量 和 满足 和 ,那么 .
. 一个 对称矩阵 有 个不同的实特征值. d. 对属于 的非零向量 , 矩阵 被称为投影矩阵.
-
. 每一个对称矩阵都是可正交对角化的. b. 如果 ,其中 且 是对角矩阵,那么 是对称矩阵. c. 一个正交矩阵是可正交对角化的. d. 一个对称矩阵的特征空间的维数等于对应的特征值的重数.
-
证明:如果 是一个 对称矩阵,那么对任意属于 的 有 .
-
若 是对称的 矩阵, 是任意 矩阵,证明 和 是对称矩阵.
-
若 可逆且可正交对角化,解释为什么 也是可正交对角化的.
-
若 和 都可正交对角化且 AB = BA,解释为什么 AB 也是可正交对角化的.
-
若 ,其中 是正交矩阵, 是对角矩阵,且 是 的重数为 的特征值,那么 在对角矩阵 中出现 次,解释为什么 的特征空间的维数是 .
-
若 ,其中 是正交的而 是上三角形矩阵,证明:如果 对称,那么 是对称的,因而实际上是一个对角矩阵。
-
构造例2 中矩阵 的一个谱分解.
-
构造例3 中矩阵 的一个谱分解.
-
令 是 中的单位向量, .
. 对任意属于 的 ,计算 并证明 是 在 上的正交投影,正如6.2节所描述的情况.
. 证明 是对称矩阵且 .
. 证明 是 的特征向量,并求其对应的特征值.
- 设 是 对称矩阵且 ,任何此类矩阵被称为投影矩阵(或正交投影矩阵)。对任意给定的 ,取 和 。
. 证明 与 正交.
. 设 是 的列空间,证明 是空间 中一个向量与空间 中一个向量之和。证明 By 是 在 的列空间上的正交投影。
[]正交对角化习题37~40中的矩阵.为练习本节的方法,不要用矩阵程序中特征向量的常规解法,而是使用程序求出特征值,然后对每个特征值 求出 的单位正交基,即类似例2和例3中的做法.
-
由转置矩阵的性质得到 。由假设, ,所以 ,从而证明了 是对称的。
-
如果 可正交对角化,那么由定理2 可知矩阵 对称且可正交对角化(定理2)。 对称且可正交对角化(定理 2)。
书籍模块索引
线性代数及其应用(原书第5版) · 章节内联关系图谱
核心知识枢纽章节
被全书其他章节引用频次最高的基石章节:
图谱交互提示
- 视角放大/缩小:使用左下角工具栏 +/- 或鼠标滚轮;
- 大书防混淆:顶部选择“按篇章/大章聚合”或“聚焦当前章”;
- 视图平移与拖拽:拖动画布或节点;双击节点直达原文。