线性代数学习笔记——特征值与特征向量

矩阵的特征值与特征向量

特征值与特征向量的概念

• 设$A$是$n$阶矩阵，${\lambda }_0$是一个数，如果存在$n$维非零列向量$\eta$，使得$$A\eta ={\lambda }_0\eta ，$$则称${\lambda }_0$是$A$的特征值，$\eta$是$A$的相应于特征值${\lambda }_0$的特征向量。
• $|{\lambda }_{0}E-A|$称为矩阵$A$的特征多项式，$|{\lambda }_{0}E-A|=0$为矩阵A的特征方程

特征值的性质

• 设矩阵$A=(a_{ij}{)}_{n\times n}$，则$|\lambda E-A|$是$n$次多项式，且其$n$次项的系数为1，$n-1$次项的系数为$-(a_{11}+a_{22}+\cdots +a_{nn})$，常数项为$(-1{)}^n|A|$称$$a_{11}+a_{22}+\cdots +a_{nn}$$为矩阵$A=(a_{ij}{)}_{n\times n}$的迹，记为迹$(A)$，或$tr(A)$
• 设矩阵$A=(a_{ij}{)}_{n\times n}$的特征值是${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_n$，则$$\sum _{i=1}^n{\lambda }_i=tr(A)，\prod _{i=1}^n{\lambda }_i=|A|$$
• 矩阵$A=(a_{ij}{)}_{n\times n}$是可逆的当且仅当$A$的特征值均不为零
• 矩阵的特征值具有如下性质：
   ①如果${\lambda }_0$是可逆矩阵$A$的特征值，则${\lambda }_0\ne 0$，且${\lambda }_0^{-1}$是$A^{-1}$的特征值
   ②如果${\lambda }_0$是矩阵$A$的特征值，$f(\lambda )$是多项式，则$f({\lambda }_0)$是$f(A)$的特征值
   ③设$A$是方阵，$f(\lambda )$是多项式，并且$f(A)=0$(称这样的多项式$f(\lambda )$为$A$的化零多项式)，且$A$的特征值全是$f(\lambda )$的根

相似矩阵

矩阵的相似关系

• 设$A,B$都是$n$阶矩阵，如果存在可逆矩阵$P$使得$$B=P^{-1}AP，$$则称矩阵$A$相似于$B$，记为$A$~$B$，称$P$为相似变换矩阵
• 相似关系满足反身性、对称性、传递性
• 相似矩阵具有如下性质：
   ①若$A$~$B$，则$r(A)=r(B)$
   ②若$A$~$B$，并且$A$可逆，则$A^{-1}$~$B^{-1}$
   ③若$A$~$B$，$f(\lambda )$为多项式，则$f(A)$~$f(B)$

矩阵相似的必要条件

• 若矩阵$A$~$B$，则$|\lambda E-A|=|\lambda E-B|$
• 设$A$~$B$，则$A,B$有相同的特征值，从而有$tr(A)=tr(B)$并且$|A|=|B|$

可对角化问题

• $n$阶矩阵$A$可以相似对角化的充分必要条件是$A$有$n$个线性无关的特征向量
• 设${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_s$是矩阵$A$的互不相同的特征值，${\eta }_1,{\eta }_2,\cdots ,{\eta }_s$是相应的特征向量，则${\eta }_1,{\eta }_2,\cdots ,{\eta }_s$线性无关
• 若$n$阶矩阵$A$有$n$个互不相同的特征值，则$A$相似于对角阵
• 设${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_s$是矩阵$A$的互不相同的特征值，${\eta }_{i1},{\eta }_{i2},\cdots ,{\eta }_{i{t}_i}$是$A$相应于特征值${\lambda }_i$的线性无关的特征向量，则向量组$${\eta }_{11},{\eta }_{12},\cdots ,{\eta }_{1t_1},{\eta }_{21},{\eta }_{22},\cdots ,{\eta }_{2t_2},\cdots ,{\eta }_{s1},{\eta }_{s2},\cdots ,{\eta }_{s{t}_s}$$线性无关
• 如果${\lambda }_0$是矩阵$A$的$k$重特征值，则称$k$是${\lambda }_0$的代数重数；如果相应于特征值${\lambda }_0$，$A$有$m$个线性无关的特征向量，则称$m$是${\lambda }_0$的几何重数
• 矩阵$A$相似于对角阵的充分必要条件是其每个特征值的几何重数等于其代数重数

实对称矩阵的正交相似对角化

实对称矩阵的性质

• 实对称矩阵的特征值都是实数
• 实对称矩阵的属于不同特征值的特征向量相互正交
• 若$A$是实对称矩阵，则存在正交矩阵$Q$,使得$Q^{T}AQ$是对角阵

实对称矩阵正交相似对角化的计算

• 第一步：计算矩阵$A$的特征多项式$|\lambda E-A|$，并求$A$的全部互不相同的特征值${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_s$
• 第二步：对每一个特征值${\lambda }_i$，求齐次线性方程组$({\lambda }_{i}E-A)x=0$的一个基础解系${\eta }_{i1},{\eta }_{i2},\cdots ,{\eta }_{i{t}_i}$
• 第三步：用Schmidt正交化方法将${\eta }_{i1},{\eta }_{i2},\cdots ,{\eta }_{i{t}_i}$正交化、单位化，得到一个与${\eta }_{i1},{\eta }_{i2},\cdots ,{\eta }_{i{t}_i}$等价的标准正交向量组${\gamma }_{i1},{\gamma }_{i2},\cdots ,{\gamma }_{i{t}_i}$
• 第四步：令$$Q=({\gamma }_{11},{\gamma }_{12},\cdots ,{\gamma }_{1t_1},{\gamma }_{21},{\gamma }_{22},\cdots ,{\gamma }_{2t_2},\cdots ,{\gamma }_{s1},{\gamma }_{s2},\cdots ,{\gamma }_{s{t}_s})$$$$\Lambda =\left(\begin{array}{cccc}{\lambda }_1{E}_{t_1}& & & \\ & {\lambda }_2{E}_{t_2}& & \\ & & \ddots & \\ & & & {\lambda }_s{E}_{t_s}\end{array}\right),$$则$Q$是正交阵，且$Q^{T}AQ=\Lambda$

矩阵的Jordan标准型*

Hamilton-Cayley定理

• 设$n$阶矩阵$A$的特征多项式$c(\lambda )=|\lambda E-A|$，则$c(A)=0$

最小多项式

• 矩阵$A$的最高项系数为1的次数最低的化零多项式称为$A$的最小多项式
• 如果$\phi (\lambda )$是矩阵$A$的化零多项式，$m(\lambda )$是$A$的最小多项式，则$m(\lambda )$能整除$\phi (\lambda )$
• 任意矩阵$A$的最小多项式是唯一的
• 设$c(\lambda )$是矩阵$A$的特征多项式，$m(\lambda )$是$A$的最小多项式，则$m(\lambda )$能整除$c(\lambda )$，且数${\lambda }_0$是$c(\lambda )$的根当且仅当${\lambda }_0$是$m(\lambda )$的根
• 相似矩阵有相同的最小多项式
• 设$n$阶矩阵的乘积$M_1{M}_2\cdots M_s=0$，则$$\sum _{i=1}^{s}r(M_i)\le (s-1)n$$
• $n$阶矩阵$A$相似于对角阵当且仅当$A$的最小多项式没有重根

Jordan标准型

• 称形如$$\left(\begin{array}{cccc}{\lambda }_0& 1& & \\ & {\lambda }_0& \ddots & \\ & & \ddots & 1\\ & & & {\lambda }_0\end{array}\right)$$的矩阵为$Jordan$块。以$Jordan$块为对角线元素的分块对角阵称为$Jordan$形矩阵。如果矩阵$A$与$Jordan$形矩阵$J$相似，则称$J$是$A$的$Jordan$标准形
• 在复数范围内，任意方阵都相似于一个$Jordan$形矩阵，即任意矩阵的$Jordan$标准形是存在的。而且，如果不考虑$Jordan$块的次序，任一矩阵的$Jordan$标准形是唯一的。
• 设矩阵$A$的最小多项式是$m(\lambda )={\prod }_{i=1}^s(\lambda -{\lambda }_i{)}^{t_i}$，则$A$的$Jordan$标准型中以${\lambda }_i$为主对角元素的$Jordan$块的最高阶数是$t_i$
• 矩阵$A,B$相似的充分必要条件是$A,B$有相同的$Jordan$标准形