Let for a nonzero eigenvector of the Hermitian matrix . Hermitian symmetry of the inner product givesSince , , so every eigenvalue is real.
SetThen , and idempotence givesMoreover,because both and are Hermitian. This is the orthogonal decomposition into the kernel and image of the projection.
Put . This is a nonzero Hermitian matrix. By the finite-dimensional spectral theorem, it has a unit eigenvector with a nonzero real eigenvalue . Define the rank-one orthogonal projection matrixThe cyclic property of the matrix trace givesHence this distinguishes and through the required traces.
No. Consider the two orthogonal projectionsTheir product isFor ,Thus is not a positive semidefinite matrix. It is also not Hermitian; products of orthogonal projections need not remain orthogonal projections unless the factors commute.
Articles by others on the same topic
There are currently no matching articles.