Choose an ordered basis of and let . Define the characteristic polynomial by
If a different basis gives for an invertible matrix , multiplicativity of the determinant gives
Thus the definition is independent of the chosen basis. The alternate convention differs by the constant factor and gives the same roots.
A real number is an eigenvalue of if for some nonzero vector . Its eigenspace is
It is a vector subspace because it contains and whenever and .
If , then , so . Since , this forces . Therefore
The definition of an eigenvalue and the kernel criterion for a singular square matrix give
For the second equivalence, a linear map from a finite-dimensional vector space to itself has zero kernel exactly when its rank of a linear map is the full dimension, by the rank-nullity theorem, and therefore exactly when it is invertible. This proves both directions.

Articles by others on the same topic (0)

There are currently no matching articles.