I have couple of questions related to the properties of real numbers.
- My first question is as follows. Let $S_{\epsilon} = \displaystyle \bigcup_{k=1}^{\infty} \left( q_k-\frac{\epsilon}{2^{k+1}},q_k+\frac{\epsilon}{2^{k+1}} \right)$, where all the rationals are listed as $\{q_1,q_2,\ldots,q_n,\ldots\}$. The length of this set is bounded by $\epsilon$. This means there are a lot of irrationals not in the set. How do I go about explicitly constructing an irrational number not in the set? The irrational number will depend on the way I list the rationals but once the list is given I should be able to construct an irrational number not in the set.
- My second question is motivated from this question. I came to know that the set of rationals is not a $G_{\delta}$ set. However let us consider this. Let $$S_n = \bigcup_{k=1}^{\infty} \left(q_k - \frac{\epsilon}{2^{k+n+1}},q_k + \frac{\epsilon}{2^{k+n+1}} \right).$$ Clearly, $S_n$ is an open set and the length of $S_n$ is bounded by $\displaystyle \frac{\epsilon}{2^{n}}$. Let $$S = \bigcap_{n=1}^{\infty} S_n.$$ $S$ is a $G_{\delta}$ set and the length of $S$ is zero. Further, $\mathbb{Q} \subseteq S$. What other numbers are in $S$? How do I explicitly construct a number in $S \backslash \mathbb{Q}$? If there are no other numbers i.e. if $\mathbb{Q} = S$, then doesn't it imply that $\mathbb{Q}$ is a $G_{\delta}$ set?
Thanks, Adhvaitha