Past exam of the options II course of the University of Oxford / 2012 / E / E4 / a / v

Define $\tilde{f}:X/\mathcal{F}\to Y$ by $\tilde{f}([x])=f(x)$. Its definition is independent of the representative because the classes are precisely the fibres of $f$. It is onto since $f$ is onto, and injective because two points with equal $f$-values lie in the same fibre.

The relation $\tilde{f}\circ p=f$ and part (iii) imply continuity of $\tilde{f}$. Since $X$ is compact and $p$ is continuous, $X/\mathcal{F}$ is compact. A continuous bijection from a compact space to a Hausdorff space is a homeomorphism. Therefore