Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/ib/paper-4/14f/a/solution

Let be a compact subset of a Hausdorff space, and take . For each , the definition of a Hausdorff space supplies disjoint open neighbourhoods of and of . Compactness gives finitely many covering . Their corresponding intersection is open, contains , and misses . Therefore every point of the complement has an open neighbourhood contained in the complement, so is closed. The empty compact set is closed as well.

New to topics? Read the docs here!