Skip to content

7.1 对称矩阵的对角化

一个对称矩阵是一个满足 的矩阵 ,这种矩阵当然是方阵,它的主对角线元素是任意的,但其他元素在主对角线的两边成对出现.

例 1

下面的矩阵中,仅前面三个是对称矩阵.

为了开始学习对称矩阵,复习5.3节的对角化过程非常有用.

例 2

如果可能,对角化矩阵 .

的特征方程是

通过标准计算可得到每个特征空间的一个基:

这三个向量形成 的一个基. 事实上, 容易验证 的正交基. 根据第6章的经验, 单位正交基对计算可能有用, 因此可以单位化 得到单位特征向量.

那么有 ,和平常一样。由于 是方阵且有单位正交列,所以 是一个正交矩阵,而 就是 。(见6.2节。)

定理1 解释了为什么例2 中的特征向量是正交的——它们对应不同的特征值.

定理 1

如果 是对称矩阵,那么不同特征空间的任意两个特征向量是正交的.

证明

是对应于不同特征值 的特征向量. 为证明 ,计算

因此 ,但是 ,所以

例2 中特殊类型的对角化对于对称矩阵理论十分重要. 一个矩阵 称为可正交对角化, 如

果存在一个正交矩阵 (满足 )和一个对角矩阵 使得

为了正交对角化一个 矩阵,我们必须找到 个线性无关且单位正交的特征向量。什么条件下可能做到?如果 是像(1)一样可以正交对角化的,那么

这样 是对称的!另一方面,定理2表明每一个对称矩阵都是可正交对角化,结论的证明非常困难,这里将其省略,证明的主要思路将在定理3之后给出.

定理 2

一个 矩阵 可正交对角化的充分必要条件是 是对称矩阵.

这个定理相当奇妙,我们根据第5章的经验可以推测,要知道何时一个矩阵 可对角化通常是不可能的,但对称矩阵却例外.

下面的例子给出一个矩阵,它的特征值并非全部都不相同.

例 3

正交对角化,其特征方程为

平常计算可得特征空间的基:

尽管 是线性无关的,但它们并不正交。从 6.2 节可知, 上的投影是 ,与 正交的 的分量是

于是 是关于 的特征空间的正交集。(注意 是特征向量 的线性组合,从而 属于特征空间。构造 的过程就是6.4节的格拉姆-施密特方法。)由于特征空间是二维的(基是 ),故由基定理,正交集合 是一个特征空间的正交基(见2.9节或4.5节)。

规范化,我们得到关于 的特征空间的单位正交基:

关于 的特征空间的单位正交基是

定理1 与其他特征向量 正交,因此 是一个单位正交集.令

那么 正交对角化且 .

例3 中,特征值 7 是二重的,特征向量是二维的。这个事实并不是偶然的,见下面定理。谱定理

矩阵 的特征值的集合有时称为 的谱,下面关于特征值的描述称为谱定理.

定理 3 对称矩阵的谱定理

一个对称的 矩阵 具有下述性质:

. A 有 个实特征值,包含重复的特征值.

. 对每一个特征值 ,对应的特征空间的维数等于 作为特征方程的根的重数。

. 特征空间相互正交, 这种正交性是在特征向量对应于不同特征值的意义下成立的.

. A 可正交对角化.

)可从5.5节的习题24得出,()可从()容易得到(见习题31).()就是定理1.由于(),因此()的一个证明可用习题32和第6章补充习题16中已经讨论过的舒尔因子分解给出,证明的细节从略.

假设 ,其中 的列是 的单位正交特征向量 ,且相应的特征值 属于对角矩阵 ,那么由于 ,故

利用乘积的行列展开式(2.4节定理10),我们可以得到

由于它将 分解为由 的谱(特征值)确定的小块,因此这个 的表示就称为 的谱分解。(2)中的每一项都是一个秩为1的 矩阵。例如, 的每一列都是 的倍数。更进一步,在 属于 的意义下,每个矩阵 都是投影矩阵,向量 在由 生成的子空间

上的正交投影.(见习题35.)

例 4

构造矩阵 的一个谱分解,已知 有以下正交对角化分解:

的列记为 ,则有

为验证 的谱分解,计算

数值计算的注解 当 是对称且不太大的矩阵时,现代高性能的计算机程序可以非常精确地计算特征值和特征向量。它们对 使用一系列包含正交矩阵的相似变换,变换后矩阵的对角元素很快收敛于 的特征值。(见 5.2 节的数值计算的注解。)利用正交矩阵常常可避免计算过程的误差积累。当 对称时,正交矩阵序列可形成列向量是 的特征向量的正交矩阵。

一个非对称矩阵没有完全的正交特征向量集,但算法仍得到相当精确的特征值。之后,就需要用非正交化方法计算特征向量。

练习题
  1. 证明:如果 是对称矩阵,那么 也是对称的.

  2. 证明:如果 是可正交对角化的,那么 也是可正交对角化的.

习题7.1

判断习题 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.

  1. . 证明 5 是 的一个特征值且 是一个特征向量,然后将 正交对角化.

  2. , . 验证 的特征向量, 然后将 正交对角化.

对习题 25~26,判断每一个命题的真假,验证你的答案.

  1. . 可正交对角化的 矩阵 一定是对称的. b. 如果 且向量 满足 ,那么 .

. 一个 对称矩阵 个不同的实特征值. d. 对属于 的非零向量 , 矩阵 被称为投影矩阵.

  1. . 每一个对称矩阵都是可正交对角化的. b. 如果 ,其中 是对角矩阵,那么 是对称矩阵. c. 一个正交矩阵是可正交对角化的. d. 一个对称矩阵的特征空间的维数等于对应的特征值的重数.

  2. 证明:如果 是一个 对称矩阵,那么对任意属于 .

  3. 是对称的 矩阵, 是任意 矩阵,证明 是对称矩阵.

  4. 可逆且可正交对角化,解释为什么 也是可正交对角化的.

  5. 都可正交对角化且 AB = BA,解释为什么 AB 也是可正交对角化的.

  6. ,其中 是正交矩阵, 是对角矩阵,且 的重数为 的特征值,那么 在对角矩阵 中出现 次,解释为什么 的特征空间的维数是 .

  7. ,其中 是正交的而 是上三角形矩阵,证明:如果 对称,那么 是对称的,因而实际上是一个对角矩阵。

  8. 构造例2 中矩阵 的一个谱分解.

  9. 构造例3 中矩阵 的一个谱分解.

  10. 中的单位向量, .

. 对任意属于 ,计算 并证明 上的正交投影,正如6.2节所描述的情况.

. 证明 是对称矩阵且 .

. 证明 的特征向量,并求其对应的特征值.

  1. 对称矩阵且 ,任何此类矩阵被称为投影矩阵(或正交投影矩阵)。对任意给定的 ,取

. 证明 正交.

. 设 的列空间,证明 是空间 中一个向量与空间 中一个向量之和。证明 By 是 的列空间上的正交投影。

[]正交对角化习题37~40中的矩阵.为练习本节的方法,不要用矩阵程序中特征向量的常规解法,而是使用程序求出特征值,然后对每个特征值 求出 的单位正交基,即类似例2例3中的做法.

练习题答案
  1. 由转置矩阵的性质得到 。由假设, ,所以 ,从而证明了 是对称的。

  2. 如果 可正交对角化,那么由定理2 可知矩阵 对称且可正交对角化(定理2)。 对称且可正交对角化(定理 2)。