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.

Articles by others on the same topic (0)

There are currently no matching articles.