5
$\begingroup$

Statement: If $E$ is a bounded set of real numbers, there exists a $G_\delta$ set $G$ such that $G$ contains E and has the same Lebesgue outer measure with $E$.

I completed the proof for the case that $E$ is countable, but how should I prove this for the case that $E$ is uncountable?

1 Answers 1