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 , then
since . 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.
Take
Its characteristic polynomial is , whose roots are and . Thus this real matrix has no real eigenvalues.
Take the Jordan block
Its only eigenvalue is one. An eigenvector satisfies , so its second coordinate vanishes; the eigenspace is one-dimensional. A diagonalizable matrix of size two requires a basis of two independent eigenvectors, which this matrix lacks even over .
Use
It has independent complex eigenvectors and , with eigenvalues and . Taking these as columns gives an invertible complex matrix with , so is a diagonalizable matrix over . It cannot be diagonalized over , since a real diagonal matrix would have real eigenvalues, whereas similarity preserves the characteristic polynomial.
Take
The real eigenvalues are one and two, with eigenlines spanned by and respectively. These independent vectors form a real eigenbasis, so is a diagonalizable matrix over . Their inner product is one, and any two nonzero vectors on those eigenlines have nonzero inner product. Rescaling can normalize their lengths but cannot make them orthogonal. Hence no orthonormal eigenbasis exists.

Articles by others on the same topic (0)

There are currently no matching articles.