An example of an open set of real numbers containing the set of rational and having complementary non-countable.

Question

I can not think of any set that satisfies this condition.

Se here for a previous answer – Old John Sep 19 '13 at 20:42 — Old John, Sep 19 '13 at 20:42

score 4 · Accepted Answer · answered Sep 19 '13 at 20:42

4

Fix an enumeration $\{r_k\}_{k \in \Bbb{N}}$ of $\Bbb{Q}$ and let $O_k = (r_k - \frac{1}{2^k}, r_k + \frac{1}{2^k})$. Consider $O = \bigcup_k O_k$. Do you see why $O$ contains every rational number, while also having very large complement?

answered Sep 19 '13 at 20:42

sorry, but I can not see that the complement of $O$ is great. – Henfe Sep 19 '13 at 20:47
@Henfe Each interval $O_k$ has length $1/2^{k -1}$. Adding up all the lengths gives a finite number (in fact, $2@), since it's a geometric series. – Sep 19 '13 at 20:48

An example of an open set of real numbers containing the set of rational and having complementary non-countable.

1 Answers1

Linked