Past exam of the mathematics course of the University of Cambridge 2015 ia Paper 1 7A iii Solution Created 2026-09-24 Updated 2026-10-06
Let with . Commutation givesThus belongs to the eigenspace , with the zero vector allowed. Since has distinct eigenvalues, each eigenspace is one-dimensional. Hence for some scalar . This is the fact that commuting maps preserve eigenspaces.
The standard linear independence theorem for eigenvectors belonging to distinct eigenvalues supplies a basis of eigenvectors of . The preceding argument makes every one an eigenvector of as well. Their column matrix therefore simultaneously diagonalizes and . This is simple spectrum gives simultaneous diagonalization.
For real matrices, this conclusion always holds over ; a real common basis follows when the distinct eigenvalues of are real. Real matrix entries alone do not ensure a real eigenbasis: a quarter-turn of , with , has eigenvalues . The matrices in this question have real spectra, so their common basis is real.
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.
Suppose first that , and take an eigenvector of , with . Commutation givesSince the eigenvalue is simple, its eigenspace is one-dimensional, so for some scalar . Thus every vector in an eigenbasis of is also an eigenvector of . The simple spectrum of ensures these account for its eigenvector directions as well. Eigenvectors are understood up to nonzero scaling and permutation, rather than as literally identical numerical vectors.
Conversely, if are a common eigenbasis with and , thenfor every basis vector. Hence . ThereforeThis is simple spectrum gives simultaneous diagonalization. Without simple spectra, commuting Hermitian matrices still possess a common orthonormal eigenbasis, but not every arbitrary eigenvector of one matrix must be an eigenvector of the other.
Work over the field containing the stated distinct eigenvalues of ; in a real formulation these must be real to obtain real eigenvectors. Choose one eigenvector for each distinct eigenvalue. By independence of eigenvectors for distinct eigenvalues, these vectors are a basis. Consequently each eigenspace has dimension one: in an expansion in this eigenbasis, forces every coefficient with a different eigenvalue to vanish.
Now let be any eigenvector of . By part (d), belongs to its one-dimensional eigenspace, so for some scalar . This proves that is an eigenvector of , including the case , where . This is the crucial one-dimensional step in simple spectrum gives simultaneous diagonalization.