Solution

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

The Hermitian operators form a real vector space of dimension . To see that the same basis spans all complex operators, decompose an arbitrary as , where and are Hermitian. Expand in the real orthonormal basis and combine their coefficients. The resulting complex expansion is unique because . Taking the Hilbert-Schmidt inner product with gives
If is Hermitian, then by cyclicity. Hence . The basis is a real basis of Hermitian operators and its complexification is a complex basis of all operators.

New to topics? Read the docs here!