Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/iii/paper-6/4/ii/solution

If is empty, the zero linear functional satisfies the conclusion vacuously. Otherwise choose one , put , and form the convex set
It 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 and
For fixed , take the supremum of over this open ball; it is . Consequently for every . The normalization
is 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!