Eigenvalues/Endomorphism/Under Isomorphism/Fact/Proof

Proof

(1). Let be an eigenvector of for the eigenvalue . Set

Then

The reverse statement holds in the same way. (2) and (3) follow directly from (1).