第七章，相似矩阵及其应用，2-实对称矩阵之相似对角化

玩转线性代数(35)实对称矩阵之相似对角化的笔记，相关证明以及例子见原文

实对称矩阵的性质

实对称矩阵在特征值与特征向量方面有两个重要性质，
（1）实对称矩阵的特征值为实数，从而对应的特征向量也是实向量；
（2）不同特征值对应的特征向量正交．
证明（2）：
设对称矩阵A的两个不相等的特征值为${\lambda }_1,{\lambda }_2$，其对应的特征向量分别为$P_1$和$P_2$，要证$P_1$和$P_2$正交，只需证明$[P_1,P_2]=0$即可。
因
$\begin{array}{rl}{\lambda }_1[P_1,P_2]& ={\lambda }_1{P}_1^T{P}_2\\ & =({\lambda }_1{P}_1{)}^T{P}_2\\ & =(A{P}_1{)}^T{P}_2\\ & =P_1^T{A}^T{P}_2\\ & =P_1^{T}A{P}_2\end{array}$
$={\lambda }_1{P}_1^T{P}_2={\lambda }_2[P_1,P_2]\Rightarrow ({\lambda }_1-{\lambda }_2)[P_1,P_2]=0$
因${\lambda }_1\ne {\lambda }_2$,所以$[P_1,P_2]=0$,所以$[P_1,P_2]$正交。

实对称矩阵对角化定理

定理：设A为n阶对称矩阵，则必有正交阵P，使$P^{(}-1)AP=P^{T}AP=\Lambda$，其中$\Lambda$是以A的n个特征值为对角元素的对角阵
推论：设A为n阶对称矩阵,$\lambda$是A的特征方程的k重根，则矩阵$A-\lambda E$的秩$R(A-\lambda E)=n-k$，从而对应特征值$\lambda$恰有k个线性无关的特征向量。
分析：A对称$\Rightarrow P^{-1}AP=\Lambda \Rightarrow A与\Lambda 相似\Rightarrow A-\lambda E与\Lambda -\lambda E$相似
当$\lambda$为k重特征根时，$R(\Lambda -\lambda E)=n-k=R(A-\lambda E)$，
从而$\lambda$对应k个线性无关的特征向量.

对称矩阵对角化步骤

1）求A的特征值；
2）由$(A-\lambda E)x=0$，求出A的特征向量；
3）将特征向量正交化；（只针对重根特征向量）；
4）将特征向量单位化；
5）把这n个两两正交的单位特征向量构成矩阵P，便有$P^{-1}AP=P^{T}AP=\Lambda$