Let . Commutation gives , so preserves each eigenspace of . Since the eigenvalues of are nondegenerate, each eigenspace is one-dimensional and . The spectral theorem for a Hermitian matrix lets us choose these vectors as an orthonormal eigenbasis. With ,This is simple spectrum gives simultaneous diagonalization. The common eigenvectors can be chosen up to their phases and ordering. In fact degeneracy does not prevent a common eigenbasis for commuting Hermitian matrices, but the one-dimensional argument already suffices here.
The convergent matrix exponential series respects similarity, so and likewise for . Scalar exponentials multiply on each diagonal entry, givingThe essential hypothesis is commutation; Hermiticity supplies this convenient diagonalization proof.
Articles by others on the same topic
There are currently no matching articles.