Let denote the identity endomorphism. The two-root minimal polynomial gives . Every vector has the decompositionThe first summand lies in the eigenspace , and the second in . If a vector belongs to both, subtracting its two eigenvalue equations gives , hence . Thus .
For distinct real roots , define polynomial projectorsThe Lagrange interpolation polynomials in this expression sum to one: their sum has degree at most and equals one at the distinct roots. Hence . Also , because its numerator is the minimal polynomial evaluated at . Thus every vector is a sum of eigenvectors, . On , acts as , so applying to any zero sum of vectors from the eigenspaces shows that every summand is zero. ThereforeChoosing a basis in each eigenspace proves diagonalizability over the reals. Conversely, if a real matrix is similar over the reals to a diagonal matrix, a polynomial annihilates it exactly when it vanishes at each distinct real diagonal entry. Its minimal polynomial is therefore the product of those distinct linear factors. We have proved real diagonalizability is equivalent to a minimal polynomial with distinct real roots.
Articles by others on the same topic
There are currently no matching articles.