矩阵可对角化条件

第二节矩阵可对角化的条件定义1如果矩阵能与对角矩阵相似，则称可对角化。设而可对角化。定理1阶矩阵可对角化的充分必要条件是有个线性无关的特征向量。证明：必要性如果可对角化，则存在可逆矩阵，使得将按列分块得因此有，所以是的属于特征值的特征向量，又由可逆，知线性无关，故有个线性无关的特征向量。充分性设是的个线性无关的特征向量，它们对应的特征值依次为因此有，即，也就是矩阵可注若，则，对按列分块得，于是有对角矩阵的元素就是矩阵的特征值，可逆矩阵就是由的线性无关的特征向量所构成的，并且特征向量的顺序依赖于对角矩阵。征向量，现对作数学归纳法证明线性无关。当时，由于特征向量不为零，因此定理成立。假设的个互不相同的特征值对应的个特征向量是线性无关的。设向量。又设式两边同乘两两互不相同可两两互不相同可得入(1)式得推论1若阶矩阵有个互不相同的特征值，则可对角化，且定理3设是阶矩阵的个互异特征值，对应于的线性无关的特征向量为个)构成的向量组，则由所有这些特征向量(征向量为个)构成的向量组或是的属于特征值的特征向量。若存在某个，，则由属于不同特征值的特征向量线性无关知，矛盾。因此有，,因此向量组定理4设是阶矩阵的一个重特征值，对应于的特征向量线性无关的最大个数为，则，即齐次线性方程组的基础解系所含向量个数不超过特证明：用反证法。由于是的属于特征值的特征向量当且仅当是齐次线性方程组性方程组程组程组性方程组程组将的基础解系所含向量个数相等。设是齐次线性方的一个基础解系,且假设扩充为一个的一个基础解系,且假设扩充为一个维线性无关向量组未必是的特征向量，但有是一个维向量，从而可由向量组可由向量组((2)其中有个。令，并将(2)式右端矩阵分块表示，则有其中是的次多项式。从而至少是的重特征值，与是重特征值矛盾。所以。定理5阶矩阵可对角化的充分必要条件是：的每个特征值对应的特征向量线性无关的最大个数等于该特征值的重数(即的每个特征值对应的齐次线性方程组的基础解系所含向量个数等于该特征值的重数,也即的每个特征子空间的维数等于该特征值的重数)。两两不同，且有充分性由于对应于的特征向量有个线性无关，又个特征值互异，因此有个线性无关的特征向量，故可对角化。必要性(反证法)设有一个特征值所对应的线性无关的特征向量的最大个数重数，则的线性无关的特征向量个数小于，故不能与对角矩阵相似。例例2设，求的特征值和特征向量，并判断是否可对角化？重特征值)。得基础解系为意非零常数)。的特征向量为(得基础解系为意非零常数)。得基础解系为，从而的属于特征值的特征向量为(为任意非零常数)。由于的特征值对应的齐次线性方程组的基础解系所含向量个数小于特征值的重数，故例3巳知，判断能否对角化？若能对角化，求可逆矩阵(二重特征值)。(二重特征值)。得基础解系为意非零常数)。的特征向量为(得基础解系为意非零常数)。得基础解系为及，从而的属于特征值的特征向量为(为任意不全为零的常数)。由于的每个特征值对应的齐次线性方程组的基础解系所含向量个数等于特征值的重数，故可对角化。令例4设是阶矩阵，，判断是否可对角化。解：设的特征方程的两个根为，则，故有两个不同的特征值，从而可对角化。(三重特征值)得基础解系为征值量为(得基础解系为属于特征值的特征向量为(为任意不全为零的常(三重特征值)得基础解系为征值量为(得基础解系为属于特征值的特征向量为(为任意不全为零的常例例5设实对称矩阵，问是否可对角化？若可对角化，求矩阵，使得为对角阵，并求(为正整数)。得得意非零常数)。数)。由于的每个特征值对应的齐次线性方程组的基础解系所含向量个数等于特征值的重数，故可对角化。令例6设阶矩阵满足(称为幂等矩阵)，证明：的特征值只能为或，并且可对角化。的属于特征值的特征向量，则，由，得，所以幂等矩阵的特征值只能为或。设秩，当秩时，，故可对角化且；当秩时,可逆,由得，故可对角化且;现设。当特征值征矩阵值征矩阵可得对应于应于的线性无关的特征向量的最