A projection is a linear operator satisfying ; it need not be an orthogonal projection without an inner product. Pairwise annihilation givesThus their sum is a projection.
The identities imply . Since is nonsingular, . Alsoso . Conversely, if , applying gives . For the eigenvalues are distinct, hence . Since , , proving .
Every vector is . If with , applying gives . ThusThese 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. Accordinglyand 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
There are currently no matching articles.