11
$\begingroup$

I am wondering if we have a set $A\in\mathbb{R}$ that is countable, whether $A^{c}$ is dense in $\mathbb{R}$? I thought I saw this quoted somewhere on google but I can not find it again! I am working through a proof relating to uniqueness of weak limits of sequences distribution functions. The set of discontinuity points of distribution functions are countable, and the proof suggests the complement of this set is dense in $\mathbb{R}$, and I am unsure how this conclusion is arrived at.

Any help would be greatly appreciated.

2 Answers 2

16

Yes it is. Suppose it's not : then there exists an nonempty open set $U$ of $\mathbb{R}$ which doesn't meet $A^C$. So $(A^C)^C = A$ contains a non empty open interval, and since open interval are in bijection with $\mathbb{R}$, $A$ is not countable.

  • 0
    I think you did use the correct term. I think that 2 sets meeting is a mathematical term that has something to do with lattices, but perhaps for sets in $\mathbb{R}$ means they are not disjoint. The book I am reading uses the same term but does not describe what it means. You have confirmed at least that you also thought as I did. Thanks again.2012-03-13
6

Let $a\in \Bbb R$ and suppose $U$ is an open set containing $a$. Then since $U$ contains uncountably many points in $\Bbb R$ and since $A$ is countable, $U\setminus A$ is uncountable and thus contains points of $A^C$ distinct from $a$. It follows that $a$ is in the closure of $A^C$. As $a$ was an arbitrary point in $\Bbb R$, it follows that $A^C$ is dense in $\Bbb R$.

  • 0
    Thanks very much David for this very quick answer, it is a nice alternative to the one given by Selim. I gave Selim the accepted answer since I think he beat you for speed by a minute!2012-03-12