Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2003/ib/paper-4/15g/b/solution
Past exam of the mathematics course of the University of Cambridge 2003 ib Paper 4 15G b Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
The dual map is defined by . Suppose . Then for every and every . The dual space separates vectors: a nonzero vector can be included in a basis and a coordinate functional takes value one on it. Thus for every , and . This proves injectivity of .
Its source and target have the same finite dimension:An injective linear map between equal finite dimensions is surjective by the rank-nullity theorem. Therefore is an isomorphism. The inverse is also described by taking the dual again and identifying each space canonically with its double dual.
New to topics? Read the docs here!