Paper 3, Section II, F
Part II, 2017
Let be a non-empty compact Hausdorff space and let be the space of real-valued continuous functions on .
(i) State the real version of the Stone-Weierstrass theorem.
(ii) Let be a closed subalgebra of . Prove that and implies that where the function is defined by . [You may use without proof that implies .]
(iii) Prove that is normal and state Urysohn's Lemma.
(iv) For any , define by for . Justifying your answer carefully, find