[!Definition 8.4.1]
A matrix D = is a diagonal matrix if for all . In this case, we may write
[!Definition 8.4.4]
A matrix is diagonalizable if there exists an invertible matrix and a diagonal matrix so that . In this case, we may say that P diagonalized A to D
[!Corollary 8.4.9]
Let and assume that none of the eigenvalues of A are non-real. Then A is diagonalizable if and only if for every eigenvalue of A