Paper 1, Section II, E

Metric and Topological Spaces
Part IB, 2014

Define what it means for a topological space to be compact. Define what it means for a topological space to be Hausdorff.

Prove that a compact subspace of a Hausdorff space is closed. Hence prove that if C1C_{1} and C2C_{2} are compact subspaces of a Hausdorff space XX then C1C2C_{1} \cap C_{2} is compact.

A subset UU of R\mathbb{R} is open in the cocountable topology if UU is empty or its complement in R\mathbb{R} is countable. Is R\mathbb{R} Hausdorff in the cocountable topology? Which subsets of R\mathbb{R} are compact in the cocountable topology?