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, andWriting the corresponding unit-modulus eigenvalue of as givesThe 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
There are currently no matching articles.