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

How to show :

If $A \subseteq \mathbb{I}$ is not countable, then $A$ is not closed set in $\mathbb{R}$.

I think that if $A$ is closed, then $A^{c}$ is open thus: $A^{c}$ is an union of open intervals, but...

share|cite|improve this question
@Bryan Yocks: Most of those tags are inappropriate; this is not calculus, not set-theory, not analysis,... – Arturo Magidin Nov 23 '10 at 21:09
What is your question? – Rasmus Nov 23 '10 at 21:09
What is $\mathbb I$? – Rasmus Nov 23 '10 at 21:10
What is $\mathbb{I}$? If you mean $\mathbb{I}$ to be an open interval, your statement is not true. For instance take $\mathbb{I} = (0,1)$ and let $A \subset \mathbb{I}$ be $[\frac{1}{4},\frac{3}{4}]$. Clearly, $A$ is not countable and is a closed set. Are you missing something or am I missing something? – user17762 Nov 23 '10 at 21:10
Btw, $\mathbb I$ is not a commonly used symbol for the irrationals. $\mathbb R$ and $\mathbb Q$ are almost universally accepted to represent the reals and the rationals, so $\mathbb{ R \backslash Q }$ would be a much clearer way to represent the irrationals to a general audience. – trutheality Nov 23 '10 at 21:20
up vote 4 down vote accepted

The statement is not true. There exist perfect1 (hence closed) subsets of $\mathbb R$ that doesn't intersect $\mathbb Q$, and perfect sets are not countable. See: Perfect set without rationals.

1 A set $S$ is perfect if it is closed and every point of $S$ is an accumulation point of $S$.

share|cite|improve this answer

As another counterexample, enumerate the rationals as $\{q_k\}_{k=1}^\infty$, and let $U = \bigcup_{k=1}^\infty (q_k - 2^{-(k+2)}, q_k + 2^{-(k+2)})$. $U$ is open and contains all the rationals, so its complement $U^c$ is closed and contains none of them. But $U$ is a union of intervals of lengths $2^{-(k+1)}$, so its Lebesgue measure (i.e. length) is at most $\sum_{k=1}^\infty 2^{-(k+1)} = 1/2$. So $U^c$ has measure at least $1/2$ and in particular must be uncountable. You can modify this construction to make the measure of $U^c$ as close to $1$ as desired.

share|cite|improve this answer

As AgCl pointed out (and François G. Dorais, in the answer AgCl linked to), the statement is false. (And Nate also pointed out, as I was writing my answer.)

I would even say that the point is that ${\mathbb R}\setminus{\mathbb Q}$ is homeomorphic to the set ${\mathbb N}^{\mathbb N}$ (with the product topology of discrete ${\mathbb N}$).

But, obviously, ${\mathbb N}^{\mathbb N}$ contains lots of perfect subsets, such as $\{1,2\}^{\mathbb N}$.

[A really pretty example of such a homeomorphism in the first chapter of the book "Descriptive Set Theory and Forcing: how to prove theorems about Borel sets the hard way" by Arnold Miller (which you can download from his webpage). The usual construction (which is also pretty) is to note that a sequence $(a_1,a_2,\dots)$ can be identified with the continued fraction of an irrational in $(0,1)$, and a bit of thought shows that this map is indeed a homeomorphism.]

share|cite|improve this answer

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.