In there a topology on $\Bbb R$ where the compact subsets are precisely the countable subsets?

I am trying to create a counterexample to a certain claim, and I found that what I need is a topology of this kind. I thought hard about this and did quite a lot of searching, but could not find something relevant. Thank you in advance.

Note: "countable" includes "finite".

  • 1
    $\begingroup$ Just to narrow the search a bit, let me point out that if every countable subset of a space is compact, then the space is either finite or it fails to be Hausdorff. $\endgroup$
    – Will Brian
    Nov 21 '16 at 20:19
  • $\begingroup$ @WillBrian Because every infinite Hausdorff space contains a countably infinite discrete subspace, right? $\endgroup$ Nov 21 '16 at 20:24
  • 4
    $\begingroup$ A decreasing sequence of countable sets may have empty intersection $\endgroup$ Nov 21 '16 at 20:30
  • 1
    $\begingroup$ Although, in $\omega$ with the cofinite topology every subset is compact, but clearly there is a decreasing sequence of sets with empty intersection. So it seems that you need to use the fact that $\mathbb R$ is uncountable... $\endgroup$ Nov 21 '16 at 20:41
  • 1
    $\begingroup$ Will Brian's argument used (a weak version of) the Axiom of Choice. Is it possible to prove the non-existence in ZF without using AC? $\endgroup$ Nov 22 '16 at 20:56

There is no such topology.

Suppose there were. Then $\mathbb R$ itself is not compact, so there is an open cover $\mathcal U$ of $\mathbb R$ with no finite subcover. Using recursion, we can construct a non-compact countable subset of $\mathbb R$.

To begin, let $x_0 \in \mathbb R$ and let $U_0$ be any member of $\mathcal U$ containing $x_0$. Since $\{U_0\}$ does not cover $\mathbb R$, we may choose $x_1 \in \mathbb R - U_0$, and then we may also choose some $U_1 \in \mathcal U$ containing $x_1$. Continuing in this way, suppose $x_0, \dots, x_n$ are already chosen, and so are sets $U_0, \dots, U_n$ from $\mathcal U$, with $x_i \in U_i$ for each $i$. Since $\{U_0, \dots, U_n\}$ does not cover $\mathbb R$, we may choose $x_{n+1} \in \mathbb R - \bigcup_{i \leq n}U_i$, and then we may also choose $U_{n+1}$ from $\mathcal U$ containing $x_{n+1}$.

In the end, we get a countable set $\{x_0,x_1,x_2,\dots\}$ and a countable open cover $\{U_0,U_1,U_2,\dots\}$ of this set. But it is clear from our choices of the $x_i$ and the $U_i$ that this open cover has no finite subcover.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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