Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2003/ib/paper-4/15g/c/solution
Past exam of the mathematics course of the University of Cambridge 2003 ib Paper 4 15G c Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Here acts on , so it is the same dualization construction with the source and target interchanged: . This is the natural family interpretation of the symbol used in part (b).
If , composition reversal gives , so . Conversely, if , the isomorphism in part (b) writes uniquely. Then implies ; injectivity of dualization gives . ThusSimilarly, is equivalent to , givingEquivalently, the reverse implications follow by taking double duals and using the canonical double-dual identification. The equalities are of subspaces under an isomorphism, not only inclusions.
New to topics? Read the docs here!