Diagonalizable matrix and eigenvectors #lemma
Corollary
Diagonalizable linear operator #definition
Diagonalizable linear operator and representation matrix #lemma
Properties of characteristic polynomial #lemma
Characteristic polynomial of linear operator #definition
Algebraic multiplicity #definition
Geometric multiplicity #definition