Choose an ordered basis of and let . Define the characteristic polynomial byIf a different basis gives for an invertible matrix , multiplicativity of the determinant givesThus 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 isIt is a vector subspace because it contains and whenever and .
The definition of an eigenvalue and the kernel criterion for a singular square matrix giveFor 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
There are currently no matching articles.