Allow an eigenvector to have complex entries, since real matrices can initially have complex eigenvalues. Write for its conjugate transpose. Reality of gives ; symmetry then gives . Thus is a Hermitian matrix. The scalar equals its complex conjugate, because . If , thensince . This proves that all eigenvalues are real. The equality is precisely where reality was used; a complex symmetric matrix need not be Hermitian, as illustrates.
If and , then , but also . Consequently . Distinct eigenvalues force . For real eigenvectors this is ordinary Euclidean orthogonality. These arguments establish real symmetric spectral orthogonality without assuming a diagonalization in advance.
A real orthogonal matrix satisfies , equivalently . If is symmetric,so orthogonal similarity preserves symmetry. An arbitrary real invertible change of basis need not do so. For example,The final matrix is not symmetric. Orthogonal similarity preserves real symmetry; general similarity does not.
Articles by others on the same topic
There are currently no matching articles.