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 , then
Consequently 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 .
Since and are real symmetric matrices, . Expanding the unitarity condition gives
Equality of the entrywise real and imaginary parts yields
These are the identities for the real and imaginary parts of a symmetric unitary matrix.
Let . The commutation relation gives , so preserves the eigenspace of with eigenvalue . Because it is a nondegenerate eigenvalue, the eigenspace is one-dimensional, and for some real . This includes . Thus the eigenvectors of form a common eigenbasis, and
Writing the corresponding unit-modulus eigenvalue of as gives
The pairing refers to the same common eigenvector; independent reorderings of the two real spectra would lose this information. The simultaneous diagonalization can also be constructed without requiring simple eigenvalues by diagonalizing within each eigenspace of .

Articles by others on the same topic (0)

There are currently no matching articles.