Paper 1, Section II, E
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 and are compact subspaces of a Hausdorff space then is compact.
A subset of is open in the cocountable topology if is empty or its complement in is countable. Is Hausdorff in the cocountable topology? Which subsets of are compact in the cocountable topology?