Let for a nonzero eigenvector of the Hermitian matrix . Hermitian symmetry of the inner product gives
Since , , so every eigenvalue is real.
For an orthogonal projection matrix ,
Thus is a positive semidefinite matrix.
Set
Then , and idempotence gives
Moreover,
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 matrix
The cyclic property of the matrix trace gives
Hence this distinguishes and through the required traces.
No. Consider the two orthogonal projections
Their product is
For ,
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 (0)

There are currently no matching articles.