For every , write . The first term lies in , since , and the second lies in . If belongs to both spaces, write ; then , whereas membership in the kernel gives . Thus the intersection is zero and
In a basis assembled from bases of these two spaces, the idempotent linear map has matrix , where and . Therefore
This basis consists entirely of eigenvectors, so is diagonalizable over the reals, including the extreme cases and .

Articles by others on the same topic (0)

There are currently no matching articles.