Is the cardinality of the rationals the same on the unit interval? Let $\mathscr{G}$ be a compact subset of $\mathbb{R}$. Denote by $\mathbb{Q} ( \mathscr{G})$ the set of all rational numbers in $\mathscr{G}$. Does $| \mathbb{Q} ( \mathscr{G}_1)| = |\mathbb{Q} (\mathscr{G}_2)|$ for $\mu(\mathscr{G}_1) > \mu(\mathscr{G}_2)$ where $\mu$ is the Lebesgue Measure?   
i.e. are there more rationals in $[0,2]$ than $[0,1]$?
 A: No, there are not more rationals in $[0,2]$ than in $[0,1]$.  In fact, there are not even more elements in $[0,2]$ and $[0,1]$, despite the fact that these two sets have different measure, since there exists a bijection between them.
Note that measure and cardinality behave, in some ways, "independently" of one another.  Another noteworthy example is that of the Cantor set and the rationals.  We note that although the Cantor set has cardinality greater than that of the rationals, both sets have measure $0$.
Also, note that we can have (measurable) sets of any size that contain no (or any finite number of) rational numbers.  For example, $\mathscr{G} = [0,2]\setminus\mathbb{Q}$ satisfies $\mu(\mathscr{G}) = 2$ while $|\mathbb{Q}(\mathscr{G})| = 0$.
A: Assuming that $a<b$, and $c<d$ are all rational, one can set up 1-1 correspondence between rational numbers in $[a,b]$ with those in $[c,d]$ by the mapping
$$
y = \frac{d-c}{b-a}(x-a) + c, ~~ x \in [a,b], ~~y \in [c,d] \tag1$$
Added in response to OP's question
Note that (1) is invertible:
$$
x = \frac{b-a}{d-c}(y-c) + a \tag2
$$
Thus for every $x\in[0,1]$ we can find a $y \in [c,d]$ and vice-versa. Note that if $x$ is irrational then so is $y$ and vice-versa. So the irrationals can also be put in to a 1-1 correspondence. The fact that one is countable infinity and the other uncountable is incidental. The key point is that there is a 1-1 correspondence.
A: Let $\cal{G}_1=[0,1]$. Let $\cal{G}_2$ be such a compact subset of $[0,2]\setminus Q$ that $\mu(\cal{G}_2)=a>1$. We can construct such a subset $\cal{G}_2$ by virtue of the inner regularity of the linear Lebesgue measure $\mu$. Then we have $$|Q(\cal{G}_1)|=\aleph_0 >0=|Q(\cal{G}_2)|$$(here $\aleph_0$ denotes cardinality of all natural numbers)   and
$$\mu(\cal{G}_1)=1<a=\mu(\cal{G}_2).$$
This answers negativelly to Anthony Peter's first question. 
