Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2002/ib/paper-2/8f/solution
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 2 8F Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Use the convention that a sesquilinear form is linear in its first argument and conjugate-linear in its second: for complex scalars ,No symmetry or positivity is assumed. Put . Its diagonal vanishes. Expansion at giveswhile expansion at givesThese two equations force . This is the polarization argument for a vanishing quadratic form, and proves on every pair of vectors.
For the final deduction, the linear map makes another sesquilinear form. Its diagonal agrees with that of , so the result just proved gives
New to topics? Read the docs here!