Spaces on which every continuous one-to-one map is a homeomorphism

116 Views Asked by At

Assume all spaces are Hausdorff.

I am looking for a characterization of spaces $X$ such that if $f:X\to Y$ is a continuous one-to-one surjection then $f$ is a homeomorphism. I know this is true when $X$ is compact.

Is compactness necessary?


POSSIBLE SOLUTION:

Here we will work with a separable metric space $X$, so that $X$ has a metric compactification $\gamma X$ (for instance, the closure of an embedding in the Hilbert cube).

Supposing that $X$ is not compact, we will construct a continuous one-to-one mapping that is not a homeomorphism.

Let $x\in X$. Since $X$ is not compact, there exists $p\in \gamma X\setminus X$. Let $\varphi:\gamma X\to \gamma X/\{p,x\}$ be the canonical epimorphism onto the quotient obtained by identifying $p$ and $x$. Let $f=\varphi\restriction X$ and $Y=\varphi[X]$. Then $f:X\to Y$ is continuous and one-to-one, but is not a closed mapping. To see this, note that there is a sequence $(x_i)_{i\in\omega}$ of points in $X\setminus \{x\}$ converging to $p$ because $X$ is dense in $\gamma X$. Then $A:=\{x_i:i\in\omega\}$ is closed in $X$, but $x\in \overline{f[A]}\setminus f[A]$. $\square$


Notes: I think this approach would work if $X$ simply has a compactification. The compactification probably does not even have to be Hausdorff, so $X$ just needs to be Hausdorff I think. Does that sound right? I don't know how it would go when you have lesser separation axioms. Like is there a $T_1$ example that is not compact?