Paper 2, Section I, 4F4 F

Metric and Topological Spaces
Part IB, 2009

Explain what is meant by a Hausdorff (topological) space, and prove that every compact subset of a Hausdorff space is closed.

Let XX be an uncountable set, and consider the topology T\mathcal{T} on XX defined by

UT either U= or X\U is countable. U \in \mathcal{T} \Leftrightarrow \text { either } U=\emptyset \text { or } X \backslash U \text { is countable. }

Is (X,T)(X, \mathcal{T}) Hausdorff? Is every compact subset of XX closed? Justify your answers.