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

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?

• Is this true for discrete spaces? If $X$ is any topological space, and $X^\delta$ is the set $X$ with the discrete topology, then the identity map in the category of sets $id_X:X^\delta\to X$ is a continuous bijection but is not a homeomorphism – freeRmodule Dec 5 '16 at 1:39
• Oh right... my brain is not working today – Forever Mozart Dec 5 '16 at 1:41
• Indiscrete topology is another. – Brian M. Scott Dec 5 '16 at 1:44
• This is not true for $X$ compact Hausdorff unless you require $Y$ to be Hausdorff as well. – Eric Wofsey Dec 5 '16 at 3:42
• correct. let's assume everything is Hausdorff, or even metric if you like – Forever Mozart Dec 5 '16 at 5:04
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9320295453071594, "perplexity": 144.1858591295177}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2019-35/segments/1566027314852.37/warc/CC-MAIN-20190819160107-20190819182107-00090.warc.gz"}