Let $m^*$ be an Lebesgue outer measure on a set $X$. Show that a subset $E$ of $X$ is $m^*$-measurable if and only if for each $\epsilon>0$ there exist a $m^*$-measurable set $F$ such that $F$ is a subset of $E$ and $m^*(E\setminus F)<\epsilon$.
Tell me more
×
Mathematics Stack Exchange is a question and answer site for
people studying math at any level and professionals in related fields. It's 100% free, no registration required.
|