Past exam of the topology course of the University of Oxford / 2023 / 2 / b / iv / Solution

False. Take the metric space $X=\mathbb{R}\times \{0,1\}$ with the Euclidean distance and subspace topology inherited from ${\mathbb{R}}^2$. For every $t\ne 0$, identify $(t,0)$ with $(t,1)$; leave the two points $(0,0)$ and $(0,1)$ in separate equivalence classes. All equivalence classes have one or two points, so all are closed in this metric space.

Let $o_0,o_1$ be the two distinct images of the origins. If $U_0,U_1$ are any open neighbourhoods of $o_0,o_1$ in the quotient space, their preimages contain respectivelyfor some $\epsilon ,\delta >0$. Choose $0<t<\min (\epsilon ,\delta )$. The common image $p(t,0)=p(t,1)$ belongs to both $U_0$ and $U_1$. Therefore the origins have no disjoint open neighbourhoods and the quotient space is not Hausdorff. This is the line with two origins.