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.
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
There are currently no matching articles.