Enough distinct eigenvalues yields an eigenbasis

f23 math 307 quiz 07 problem 05 We show that if a linear operator on V has dim(V) distinct eigenvalues, then V has an eigenbasis. With respect to this eigenbasis, the matrix of T is a diagonal matrix, i.e., T is diagonalizable.