Proposition (Equivalent conditions for diagonalizability)
Let V be a Finite Dimensional vector space, where dim(V)=n, and T∈L(V). If λ1,⋯,λm are all distinct eigenvalues of T, then the following statements are equivalent. 1. T is diagonalizable 2. There is a basis for V consisting of eigenvectors of T 3. There exists 1-dimensional subspaces W1,⋯,Wn of V, each of which are invariant under T, such that V=W1⊕⋯⊕Wn. 4. V is a direct sum of eigenspaces. That is, V=\mboxKer(T−λ1IV)⊕⋯⊕\mboxKer(T−λmIV) 5. \mboxdim(V)=\mboxdim(\mboxKer(T−λ1IV))⊕⋯⊕\mboxdim(\mboxKer(T−λmIV))