Welcome to MathOverflow

Question

3

1

All topological spaces considered here are Hausdorff.

It is a well-known consequence of the minimality of a compact topology that an injective continuous map

$f\colon X\to Y$

where $X$ is compact, must be automatically a homeomorphism onto its range. I am interested in possibly non-compact spaces which share this property. I would like to kindly ask whether there is a characterisation of this class of spaces.

flag	asked Dec 22 at 17:59 Bojan Kwitek 327●1●6

There is an easy case: Let $f$ be proper, meaning the inverse image of every compact subset of $Y$ is compact in $X$. Then $f$ would be a homeomorphism onto its image. – Vahid Shirbisheh Dec 22 at 18:33

$Y$ also should be compact in the above! – Vahid Shirbisheh Dec 22 at 18:47

1

This is a similar question. mathoverflow.net/questions/36085/… – Joseph Van Name Dec 22 at 20:53

Joseph Van Name · Accepted Answer · 2012-12-22 20:52:26Z UTC

The spaces that you are looking for are precisely the minimal Hausdorff spaces. i.e. A Hausdorff space $X$ is a minimal Hausdorff if every injective continuous map from $X$ to a Hausdorff space is an embedding. See the Book General Topology by Stephen Willard problems 17M for more information about these spaces. The Minimal Hausdorff spaces are precisely the Hausdorff spaces where every open filter with a unique accumulation point converges.

We say that a topological space is semiregular if the regular open sets form a basis for the topology. A Hausdorff space is said to be $H$-closed if it is closed in every Hausdorff extension. Every minimal Hausdorff space is $H$-closed, and a Hausdorff space is a minimal Hausdorff space if and only if it is semiregular and $H$-closed.

While there are minimal Hausdorff spaces which are not compact, the notions of minimal Hausdorff and compactness coincide for regular spaces.

Automatic continuity of the inverse map

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.