Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ii/paper-3/19f/iii/solution

Let be disjoint closed subsets of . They are compact. For each , the Hausdorff space condition gives disjoint open neighbourhoods . For fixed , finitely many cover ; intersect the corresponding and take the union of those to obtain disjoint open sets and . Finitely many cover . Their union and the intersection of the corresponding are disjoint open neighbourhoods of . The case of an empty set is immediate. Hence is a normal topological space.
Urysohn lemma states that in a normal topological space satisfying , disjoint closed sets admit a continuous function with on and on .

New to topics? Read the docs here!