5.4 实对称矩阵的对角化

Posted

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了5.4 实对称矩阵的对角化相关的知识,希望对你有一定的参考价值。

  本节我们介绍一类必可对角化,且相似变换矩阵可取为正交矩阵的矩阵,即实对称矩阵.

  定理1   $n$阶实对称矩阵的特征值为实数.

  提示: $Ax=\lambda x, \bar\lambda \bar{x} = \bar{Ax}=\bar{A}\bar{x}=A\bar{x}$, 从而$\bar{x}^T A^{T}=\bar{x}^T A=\bar\lambda \bar{x}^T$, 所以$$\lambda\bar{x}^Tx=\bar{x}^T Ax=\bar\lambda\bar{x}^Tx,$$

注意到$\bar{x}^Tx=\bar{x_1}x_1 +\cdots + \bar{x_n}x_n = |x_1|^2 + \cdots +|x_n|^2$, 即得结论.

  推论1   $n$阶实对称矩阵必有$n$个实特征值(重根按重数计).

  定理2   设$\lambda_1, \lambda_2$是实对称矩阵$A$的两个特征值, $p_1, p_2$是对应的特征向量. 若$\lambda_1 \neq \lambda_2$, 则$p_1, p_2$正交.

  提示: $(Ap_1)^Tp_2=(\lambda_1p_1)^Tp_2=\lambda_1p_1^T$, 并且

$(Ap_1)^Tp_2=p_1^TA^Tp_2=p_1^TAp_2=\lambda_2p_1^Tp_2$, 再由$p_1^Tp_2=[p_1, p_2]$, 即得结论.

  定理3   设$A$是$n$阶实对称矩阵, 则存在$n$阶正交矩阵$P$, 使得$P^{-1}AP = diag(\lambda_1, \cdots, \lambda_n)$. 其中$\lambda_1, \cdots, \lambda_n$是$A$的全部特征值(均为实数). $P=(p_1, \cdots, p_n)$相应的规范正交特征向量(也是实的).

  提示: 数学归纳法.

  推论2   设$A$为实对称矩阵,如果$\lambda$是特征方程$|A-\lambda E|=0$的$k$重根, 则$\lambda$恰对应$k$个线性无关的特征向量.

  将实对称矩阵$A$对角化的步骤如下

  (1)求出$A$的全部特征值,得到对角矩阵的对角元素;

  (2)对于单重特征值, 求出相应的1个线性无关的特征向量, 将其单位化. 对于$k$重特征值, 求其$k$个线性无关的特征向量, 再按施密特方法, 将其规范正交化, 得到$k$个相互正交的单位特征向量. 最后得到$n$个规范正交特征向量$p_1, \cdots, p_n$.

  (3)令$P=(p_1, \cdots, p_n)$, 它是正交矩阵, 且有$P^{-1}AP=P^TAP=diag(\lambda_1, \cdots, \lambda_n)$.

  命题   设$A, B$为$n$阶实对称矩阵, 则$A$与$B$相似的充要条件为$A$与$B$有相同的特征值.

  注意: 若$A, B$不是实对称矩阵, 则充分性不成立. 如A=[0 0;0 0], B=[0 1;0 0], 特征值都是0, 但它们秩不同, 因而肯定不是相似矩阵.

 

以上是关于5.4 实对称矩阵的对角化的主要内容,如果未能解决你的问题,请参考以下文章

58欧氏空间05——实对称矩阵的正交相似对角化

实对称阵可对角化的几种证明

机器学习|数学基础Mathematics for Machine Learning系列之线性代数(18):对称矩阵的对角化

用C语言编写一个计算两个向量叉积的程序

MATLAB 生成n阶对称矩阵,其中主对角线元素为0,其他元素为0或1

矩阵的SVD分解