1
$\begingroup$

Let $E\subset[a,b]$ be a non-mensurable set. I want to show that:

$\exists F \in F_\sigma$ : $F\subset E$ , $\mu^*(F)=\mu_*(E)$ .

  • 0
    @user32240 The set $E$ here is non-measurable. And Avril, what measure are we talking about here, the Lebesgue measure? Also, how did you define the inner measure in you class?2012-12-12

0 Answers 0