Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2003/ib/paper-1/8g/solution
Past exam of the mathematics course of the University of Cambridge 2003 ib Paper 1 8G Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Nondegeneracy of means both radicals are zero: if for every , then , and the analogous implication holds in the other variable. Define linear maps and by and . Both are injective. Finite dimensionality gives and , so they are isomorphisms.
Similarly define and , which are linear by bilinearity. SetThen and are linear endomorphisms of and , respectively, and their definitions give for every pair. These dual isomorphisms induced by a nondegenerate pairing also prove uniqueness. No symmetry of , and no identification of the two vector spaces, is required.
New to topics? Read the docs here!