The spectral theorem for a Hermitian matrix supplies a unitary matrix and real diagonal matrix with . This single representation gives all three conclusions below.
For a positive integer , cancellation of gives . The trace is invariant under matrix similarity, since , and the determinant is multiplicative. Therefore
This includes zero eigenvalues without requiring to be invertible.
The convergent power series defining the matrix exponential gives , with . Hence the matrix exponential determinant identity is
The diagonalization proof uses the given Hermitian hypothesis; the identity itself holds for every square real or complex matrix.
Applying to an eigenvector gives , so each eigenvalue is either zero or one. If all are one, the spectral theorem gives , hence and . Otherwise, if eigenvalues are one, with , then
Thus the trace of this orthogonal projection equals its rank, including for the zero matrix.

Articles by others on the same topic (0)

There are currently no matching articles.