Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-9/1/c/solution
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 9 1 c Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Use the printed bilinear pairing , which is complex linear in both arguments. For the conjugate exponents , Holder inequality gives , proving well-definedness, continuity, and . Linearity of follows from linearity of integration.
For , takewith the numerator defined as zero where . Since , this has and . Hence ; the same identity holds for . This also proves injectivity.
For surjectivity, let be a nonzero bounded linear functional on . Choose with and let . The closest point theorem for a closed convex subset of Lp supplies the nearest point ; write . For every , the whole line lies in , so the norm derivative at the minimum vanishes for real . Applying this also to shows that the complex linear functionalvanishes on . Since , each is in , giving and . ThereforeMembership follows from . The zero functional is represented by . This proves the asserted Lp duality isometric isomorphism, including surjectivity, without a separate representation theorem.
New to topics? Read the docs here!