Are continuous bijections between compact and topological spaces homeomorphisms

examples-counterexamplesgeneral-topology

We know that continuous bijections between compact and Hausdorff spaces are homeomorphisms. I.e. if $(X,\tau_{X})$ is a compact topological space, $(Y,\tau_{Y})$ is a Hausdorff space and $f:(X,\tau_{X})\rightarrow(Y,\tau_{Y})$ is a continuous bijective function, then $f$ is a homeomorphism.

However, does this hold if we relax the assumption that $(Y,\tau_{Y})$ is a Hausdorff space, i.e. only a topological space? If not, provide a counterexample.

Best Answer

Take $X$ to be a finite set ($|X|>1$) with discrete topology and $X'$ be the same set with indiscrete topology.

Consider $i : X \to X'$, the identity function.

Clearly, $X$ is compact (as it is finite). $i$ is clearly bijective and continuous (you cannot demand more open sets in the left space).

But, obviously, this is not a homeomorphism.