Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-52/2/a/solution

A basis of Hermitian matrices is a real basis for the Hermitian subspace, but it also supplies a complex basis for all matrices. Indeed every operator has the decomposition
with Hermitian. Expand each in the given real basis, then combine their coefficients to expand . Orthogonality for the Hilbert-Schmidt inner product determines those complex coefficients uniquely:
Consequently
If is Hermitian, cyclicity of the trace gives
Thus its coordinate vector is real. The product need not itself be Hermitian; trace cyclicity is what justifies the conclusion.

New to topics? Read the docs here!