MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If $X$ a topological space one says that $X$ is universally closed if for every Hausdorff space $Y$ and every (continuous) map $f:X\rightarrow Y$, the image of $X$ is a closed subset of $Y$.

It is clear that every compact space is universally closed, but are there non compact universally closed spaces?

share|cite|improve this question
H-closed spaces are defined as those Hausdorff spaces $X$ such that for every embedding $e$ from $X$ into a Hausdorff space $Y$ has a closed image. It is well-known that there are H-closed spaces that are not compact (a characterisation: every open cover of $X$ has a finite subcover whose union is dense in $X$, which shows the relation to compactness even better). By the latter characterisation, we see that a regular H-closed space is compact. Now, I wonder, is every H-closed space universally closed, i.e. do these classes coincide for Hausdorff spaces? – Henno Brandsma Oct 21 '10 at 17:39
up vote 10 down vote accepted

If $Z$ is not compact, and $X=\{p\}\cup Z$ is the space whose nonempty open sets are of the form $\{p\}\cup V$ with $V$ open in $Z$, then $X$ is not compact, but every continuous function from $X$ to a Hausdorff space is constant.

share|cite|improve this answer
Taking $V$ empty, you get that $X=Z\coprod\{p\}$! – Laurent Moret-Bailly Oct 21 '10 at 10:40
Laurent, he hasn't included the old open sets, but just added $p$ to them all, so what you say is not correct. If $Z$ is nonempty, for example, then $X$ is not Hausdorff, even if $Z$ is. – Joel David Hamkins Oct 21 '10 at 10:59
Sorry, I see the point. – Laurent Moret-Bailly Oct 21 '10 at 16:29

No: if $X$ is non compact, it is a proper and dense subset, thus not closed, in its Stone–Čech compactification.

[edit] This is ok e.g. if X is $T_{3.5}$, as Bruno observes, otherwise $X\to\beta X$ may be surjective (I tend to culpably remove from my conscience the existence of less-separated topological spaces). So, given that a non-compact $T_{3.5}$ space is a proper subspace of its SC compactification, a suitable statement is "compact equals universally closed for $T_{3.5}$ spaces ", and analogous statements may be sought for other categories of topological spaces. In any case, it does not seem very fair, in the definition of "universally closed", to ask for more separation in $Y$ than in $X$ as you are doing. As in Jonas Meyer's answer: for instance, let's consider $X= \mathbb{Z} ,$ with left-unbounded order intervals as open sets. Then every two non-empty closed sets have non-empty intersection, so any continuous map $f:X\to Y$ to a Hausdorff space $Y$ is constant, thus $X$ is $T_0$, non-compact but universally closed in the definition you gave).

share|cite|improve this answer
Note: If X is compact, it is also dense in its Stone-Cech compactification... but the latter is simply equal to X. – André Henriques Oct 20 '10 at 23:56
You need to make assumptions on $X$ in order to view it as a subspace of its Stone-Čech compactification. But for general spaces I think your observation works by considering the image of $X$ in $\beta X$. – Joel David Hamkins Oct 21 '10 at 0:06
Yes, of course, I mean $f$ to be the compactification $X\to\beta X$, (that is not injective in general). – Pietro Majer Oct 21 '10 at 5:32
If $X$ is Tychonoff then $f$ is not surjective and everything is ok. However, in general the map $f$ might be surjective: this holds in the example below from Meyer, where the Stone–Čech compactification of $X$ is a point. – Bruno Martelli Oct 21 '10 at 9:02
Let me correct my comment: I used the fact that every point has a basis of closed neighborhoods, which means $X$ is regular, not just Hausdorff. See the coment by Henno Brandsma. – Laurent Moret-Bailly Oct 23 '10 at 15:50

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.