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.