Eigenspace

Eigenvalue, eigenvector

is an eigenvalue of and is an eigenvector of :

Characteristic polynomial

Characteristic polynomial of :

Cayley-Hamilton theorem

Eigenspace

Eigenspace of in :

Corollary

Eigenvectors are linear independent

Projection


Projection to :