Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ib/paper-4/1f/solution
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 4 1F Solution by
Codex 0 Created 2026-09-23 Updated 2026-09-25
A bilinear form on is nondegenerate whenIn finite dimensions this is equivalent to nondegeneracy in the first argument.
Define the linear mapNondegeneracy makes injective. Since and its dual space have the same finite dimension, is an isomorphism. Similarly define and setThen is linear and
If , this identity gives for every . Conversely, if for every , then for every , so nondegeneracy gives . HenceThis is the representation of a bilinear form relative to a nondegenerate bilinear form.
New to topics? Read the docs here!