2
$\begingroup$

If $U$ is a bounded open set in $\mathbb R^n$, then is it necessarily that $\partial U$, the boundary of $U$, is a set of measure $0$ with respect to Lebesgue measure?

  • 0
    An equivalent question: [Comparing the Lebesgue measure of an open set and its closure](http://math.stackexchange.com/q/28052)2012-12-03

1 Answers 1

4

No, not even in one dimension. Let $E$ be a fat Cantor set, which is a closed, nowhere dense subset of $[0,1]$ with positive Lebesgue measure. (Indeed, its measure can be arbitrarily close to 1.) If we take $U = [0,1] \setminus E$ then $U$ is bounded and open, yet we have $\partial U = E$ which has positive measure.