Open set containing rationals but complement non-denumerable

Question

I am taking Real Analysis classes and I got a homework that asks me:

Give an example of an open set $\mathcal{A}$ such that $\mathcal{A}\supset\mathbb{Q}$ but $\mathbb{R}-\mathcal{A}$ is non-denumerable.

My attempt: First let $\mathcal{A} = \bigcup(r_n-1/2^n,r_n+1/2^n)$ where $r_n$ is the $n$-th rational, this is a union of open sets so $\mathbb{R}-\mathcal{A}$ is closed. I have reasons to believe that such set is also non-denumerable (as seen here: Uncountable closed set of irrational numbers but I have no experience in measure theory, is there other way to prove it's non-denumerability? Is that an answer at all?

Please excuse my bad english, thank you.

Answer 1

For a non measure-theoretic proof you can construct a Cantor set containing no rationals and then take its complement. Here's a sketch of how to make it:

Start with an interval $[a,b]$ with $a,b$ irrational. Let $\{q_n\}$ be an enumeration of the rationals in this interval. Now remove from $[a,b]$ an interval $(c,d)$ with irrational endpoints containing $q_1$. Now remove open intervals with irrational endpoints from the two remaining closed intervals so that $q_2$ is no longer in the set, and so on.

The result is a closed set avoiding every rational number which has cardinality equal to that of the continuum (equivalently, to the set of all infinite binary sequences). The proof that Cantor sets have cardinality continuum is very similar to the proof that the standard Cantor ternary set consists of all numbers with only 0 and 2 in their ternary expansion (Or since its a perfect set the Baire category theorem shows that it's uncountable).

Answer 2

The sum of the measures of these sets is $\sum\limits_{n=1}^\infty \dfrac 1 {2^{n-1}} = 2$. Consequently the measure of its complement is $\infty$. That the measure of the complement is positive is enough to entail that the complement is uncountable.