# Outer Measure Question

Prove or give a counter example: For every open set $U$ of $\mathbb{R}$, $m^*(\bar{U} - U ) = 0.$

My first impression was that it was true, since if $U$ is an open set in $\mathbb{R}$, then it can be expressed as the disjoint union of a countable collection of open intervals. We also know that the outer measure of an interval is just its length. So, then I get stuck by wondering if $\bar{U} - U$ is always at most countable, which at the moment I cannot think of a case where it's not true. For if this is true, then the outer measure of $\bar{U}-U$ would be zero and I would be done.

What am I missing here?

• The set $C$ described above is closed and the measure of its boundary is positive. What is the boundary of $\mathbb{R} \setminus C$ in terms of the boundary of $C$? – Zach L. Apr 21 '13 at 22:27
• @Archie: You say that the boundary of a set $C$ is just $$\overline C\cap\overline{\Bbb R\setminus C}.$$ Since $\Bbb R\setminus(\Bbb R\setminus C)=C$ and since $A\cap B=B\cap A$, this means that a set and its complement have the same boundary. – Cameron Buie Apr 21 '13 at 22:33