A bijective map that is not a homeomorphism

One way to see why the inverse mapping cannot be continuous is to note that $S^1$ is compact while $[0,2\pi)$ is not.


Consider the sequence $z_n:=e^{i(-1)^n/n}$ in $S^1$. Then $(z_n)$ converges to $e^{0}=1$. But if you apply the inverse map $f^{-1}$, you obtain the sequence $(x_n)$ given by $x_{2n}=1/(2n)$ and $x_{2n+1}=2\pi-1/(2n+1)$. Since the latter does not converge, the inverse map $f^{-1}$ is not sequentially continuous. Hence it is not continuous. Of course, this elementary answer does not highlight the topological invariants you are looking for.


The inverse map is not continuous.


Homeomorphisms preserve the structure of topologies...i.e. the open sets.

Continuous maps preserve the structure one way since a function of topological spaces is continuous if and only if the preimage of open sets is open.

However (bijective) homeomorphisms do this AND preserve open sets the other way, i.e. the image of open sets is now required to be open too.

Anyway, if you draw some pictures you will convince yourself that the open sets are not preserved.