Eigenvalues/Endomorphism/Matrix/Fact

Let be an endomorphism on the finite-dimensional -vector space , and let denote a basis of . Let be the describing matrix of with respect to the basis.

Then

is an eigenvector of for the eigenvalue if and only if the coordinate tuple

of with respect to the basis is an eigenvector of for the eigenvalue .