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?
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
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.