Use the standard complex inner product , conjugate-linear in its first argument. A unitary matrix satisfies , and a Hermitian matrix satisfies , where is conjugate transpose.
If with , then
Positivity of proves . If , preservation of the norm gives , so .
For eigenvectors and , the Hermitian matrix identity gives . The already established reality of the eigenvalues therefore implies . Thus distinct eigenvalues have orthogonal eigenvectors.

Articles by others on the same topic (0)

There are currently no matching articles.