| n distinct eigenvalues |
diagonalizable |
distinctness ⟹ eigenvectors are linearly independent (sufficient, not necessary) |
| Real symmetric (A = AT) |
diagonalizable (orthogonally) |
spectral theorem; eigenvectors can be chosen orthonormal |
| mg(λ) = ma(λ) for every λ |
diagonalizable |
the definitive necessary-and-sufficient condition |
| mg(λ) < ma(λ) for some λ |
defective (not diagonalizable) |
not enough independent eigenvectors to form a basis; use Jordan form instead |
| Already diagonal (I, cI, any D) |
trivially diagonalizable |
take P = I; A is its own diagonal form |
| Nilpotent and nonzero (Ak = 0, A ≠ 0) |
defective |
all eigenvalues are 0 but the eigenspace is smaller than n; zero matrix is the only diagonalizable nilpotent |