Let $E\subset[a,b]$.
How can we show that:
$\exists F \in F_\sigma$: $F\subseteq E$ and $\mu^*(F)=\mu^*(E)$
Can we conclude that $E$ is measurable?
Let $E\subset[a,b]$.
How can we show that:
$\exists F \in F_\sigma$: $F\subseteq E$ and $\mu^*(F)=\mu^*(E)$
Can we conclude that $E$ is measurable?