Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/ib/paper-1/9f/c/solution
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 1 9F c Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-06
To prove that trace is the unique normalized cyclic linear functional, let be the matrix units. For , whereas , so the assumed identity for the linear functional gives . Also, and , giving . Write this common value as . Since the matrix units form a basis,For the same conclusion follows immediately from the one-dimensional basis . Finally, ; if this equals , then over either specified field. The normalization makes exactly the trace.
New to topics? Read the docs here!