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 andIn a basis assembled from bases of these two spaces, the idempotent linear map has matrix , where and . ThereforeThis basis consists entirely of eigenvectors, so is diagonalizable over the reals, including the extreme cases and .
Articles by others on the same topic
There are currently no matching articles.