Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

Can $\Bbb N$ be topologized to be a compact Hausdorff space?

I guess it might be a topology that is strictly finer than cofinite topology and strictly coarser than the topology consists of all infinite subsets of $\Bbb N$. But is there such a topology?

share|cite|improve this question
up vote 4 down vote accepted

Yes. Consider the ordinal $\omega+1$ (respect to the order topology.)

share|cite|improve this answer
Ah,right! Thank you. – Metta World Peace Nov 5 '13 at 3:22

Sorry I can't comment, only answer. But isn't your question equivalent to asking whether there exists a denumerable compact Haussdorf space? An example would be a sequence in $\mathbb R$ with a limit that is also an element in the sequence, e.g. $\{1/n \mid n \in \mathbb N\} \cup \{0\}$. You then choose a bijection of $\mathbb N$ with this set and pull-back the topology.

share|cite|improve this answer
You're right.${}{}{}$ – Metta World Peace Nov 5 '13 at 3:26

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.