Diagonalizable matrix and eigenvectors lemma

Eigenvalues and eigenvectors of a linear transformation definition

Eigenvalues of linear transformation and representation matrix 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