阶矩阵可对角化的充分必要条件是：每个特征值对应的特征向量线性无关的最大个数等于该特征值的重数(即的每个特征值对应的'齐次线性方程组的基础解系所含向量个数等于该特征值的重数，也即的每个特征子空间的维数等于该特征值的重数）。
