定义：若A为方阵，且$A^2=A$，则A称为幂等矩阵。例如，某行全为1而其他行全为0的方阵是幂等矩阵。实际上，由Jordan标准型易知，所有幂等矩阵都相似于对角元全为0或1的对角阵。