ChooseThe Leibniz formula for determinants shows that its leading term is , as required. A scalar is an eigenvalue exactly when has a nonzero kernel, equivalently when it is singular, soThe fundamental theorem of algebra gives a complex root of the degree- polynomial , so every nonempty complex square matrix has at least one complex eigenvalue.
Eigenvectors belonging to distinct eigenvalues are linearly independent. Under the hypothesis they therefore form a basis . For every ,because . A linear map that vanishes on a basis is zero, henceThis proves the Cayley-Hamilton theorem in the distinct-eigenvalue case.
Over , triangularize and denote its eigenvalues, with algebraic multiplicity, by . ThenThe numbers are all the root of unity solutions of , soConsequentlyIf is an eigenvalue of , choose with . The displayed identity makes at least one factor zero. Thus is an eigenvalue of and
Articles by others on the same topic
There are currently no matching articles.