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

The question arose while comparing the notions of compactness, countable compactness, local compactness, and "Lindelofness" in Hausdorff spaces. It is straightforward to show that compactness implies any of the other properties. I found ready counterexamples (I will be glad to provide them if asked) for all but one of the other possible implications, namely the question of whether countable compactness implies local compactness. The paper "On Countably Compact Nonlocally Compact Spaces" by T. B. Rushing shows that, in general, countable compactness does not imply local compactness. The examples he provides, however, are not Hausdorff.

share|cite|improve this question
What happens to the examples in the paper if they are made Hausdorff? – Loop Space Aug 30 '10 at 7:35
What does it mean to "make" a space Hausdorff if it is not so already? (Please forgive the question. I am still a novice in such matters.) – Austin Mohr Aug 30 '10 at 21:08
There is a "Hausdorffication": Every topological space has a biggest hausdorff quotient, that is a quotion $X\to HX$ such that all continouos maps $X\to Y$ into hausdorff spaces factor as $X\to HX\to Y$. – Johannes Hahn Mar 24 '13 at 0:41
up vote 7 down vote accepted

Examples abound: take for instance a $\Sigma$-product of two-point spaces. To be specific let $X$ be the set of points in $\lbrace0,1\rbrace^{\omega_1}$ that have only countably many coordinates that are $1$. This set is dense but not open in the product, hence not locally compact but it is countably compact as each countably infinite subset sits in a compact subset of $X$.

share|cite|improve this answer
Hi KP. It seems that I am too slow typing my answers. And of course, your example is more elegant than mine. – Stefan Geschke Aug 30 '10 at 8:40
Hi Stefan, thanks. – KP Hart Aug 30 '10 at 11:01
Thanks for the elegant counterexample, KP. – Austin Mohr Aug 30 '10 at 13:00

Example 3.10.17 of Engelking's General Topology (Heldermann Verlag Berlin 1989) is the following dense subspace of $I^{\mathbb R}$, where $I=[0,1]$:

Let $X$ be the set of all $(x_t)_{t\in\mathbb R}\in I^{\mathbb R}$ such that $x_t$ is different from zero for at most countably many $t\in\mathbb R$.
Engelking shows that the space is countably compact but not compact.
Almost the same argument shows that the space is not locally compact. I sketch the proofs below.

Being a subspace of $I^{\mathbb R}$, the space is Hausdorff.
Countable compactness follows from the fact that every countable subset of $X$ is contained in a subspace of $X$ that is homeomorphic to a countable product of closed unit intervals.

The space is not locally compact:
Let $x\in X$ and let $U\subseteq X$ be an open neighborhood of $x$.
By shrinking $U$ if necessary we may assume that $U$ is the intersection of $X$ with a product of non-degenerate intervals. Now the closure of $U$ in $X$ is dense in a product of closed intervals, but not equal to this product. It follows that the closure of $U$ in $X$ is not compact.

Hence $X$ is not locally compact.

share|cite|improve this answer

Le $X$ be any Hausdorff, sequentially compact, not compact space (e.g. $\omega_1$ with the order topology). Then $X^\mathbb{N}$ is Hausdorff, sequentially (hence countably) compact, and not locally compact, because any set with non-empty interior is mapped surjectively onto $X$ by some projection, thus is not compact as $X$ itself is not.

share|cite|improve this answer
Rmk: you need to start with $X$ sequentially, not just countably compact, because sequential compactness is preserved by countable products (via the diagonal argument), while countable compactness may be lost already in $X^2$. – Pietro Majer Aug 30 '10 at 8:30

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.