Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-9/1/c/solution

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 , take
with 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 functional
vanishes on . Since , each is in , giving and . Therefore
Membership 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!