If for a Hermitian matrix and a nonzero eigenvector, then . The scalar on the left equals its complex conjugate because , while . Thus is real. If also , thenConsequently distinct eigenvalues force , proving orthogonality of their eigenvectors.
For a unitary matrix, preserves the norm induced by the standard Hermitian inner product. If with , then , so .
Articles by others on the same topic
There are currently no matching articles.