A projection is a linear operator satisfying ; it need not be an orthogonal projection without an inner product. Pairwise annihilation gives
Thus their sum is a projection.
The identities imply . Since is nonsingular, . Also
so . Conversely, if , applying gives . For the eigenvalues are distinct, hence . Since , , proving .
Every vector is . If with , applying gives . Thus
These operators are the spectral projections of a diagonalizable matrix, expressed without choosing an eigenbasis.
For a self-adjoint operator on a finite-dimensional complex inner product space, every eigenvalue is real and eigenspaces for distinct eigenvalues are orthogonal. The spectral theorem gives an orthonormal eigenbasis. Accordingly
and the are orthogonal projections satisfying . Since is nonsingular, none of its eigenvalues is zero. Its representing matrix in the orthonormal eigenbasis is real diagonal.

Articles by others on the same topic (0)

There are currently no matching articles.