Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ii/paper-3/19f/iii/solution
Past exam of the mathematics course of the University of Cambridge 2017 ii Paper 3 19F iii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-05
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!