Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/iii/paper-6/4/ii/solution
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 6 4 ii Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
If is empty, the zero linear functional satisfies the conclusion vacuously. Otherwise choose one , put , and form the convex setIt contains because . The point is outside : membership would imply for some with , contradicting the assumed absence of points of in .
Apply part (i). There is a continuous linear functional with and for every , . Thus andFor fixed , take the supremum of over this open ball; it is . Consequently for every . The normalizationis a continuous linear functional satisfying for every . No compactness, closedness or attainment of the supremum on the open ball is needed.
New to topics? Read the docs here!