what would be $F=\bigcup_{i=1}^N [a_i,b_i]$ in $m(E\Delta F)\leq \varepsilon$ if $E=\mathbb Q$?

23 Views Asked by At

Refer to this question, what would be such an $F$ if $E=\mathbb Q$ ? I mean, $\mathbb Q$ has measure null and thus the measure is finite. Therefore, for all $\varepsilon>0$, there exist $[a_1,b_1],...,[a_N,b_N]$ s.t. $$m\left(E\Delta \bigcup_{i=1}^N [a_i,b_i]\right)<\varepsilon.$$ But I can't find them if $E=\mathbb Q$. What would be such cubes $[a_i,b_i]$ if $E=\mathbb Q$ ?

1

There are 1 best solutions below

2
On

$$ \mu(A\Delta \Bbb Q) = \mu(A\setminus \Bbb Q) + \mu(\Bbb Q\setminus A) = \mu(A) + 0. $$