3
$\begingroup$

I am trying to show that the following statement is equivalent to proving that a set $E\subset\mathbb{R}$ is Lebesgue measurable:

Given $\epsilon>0$ there is an open set $O\supset E$ with $m^*(O\setminus E)<\epsilon$. ($m^*$ is the outer measure.)

The hint in my book states that we can find open sets $O_n$ and closed sets $F_n$ such that $m^*(\cap_{n\in\mathbb{N}} O_n\setminus E)=m^*(E\setminus \cup_{n\in\mathbb{N}} F_n)=0$. Thus $E$ is Borel upto a null set and so Lebesgue measurable. I can establish the existence of the requisite $O_n$ through previous theorems in the book for the converse, i.e. for Lebesgue measurability implies this statement, but am not sure how to conclude Lebesgue measurability from this. Can someone explain?

Thanks.

  • 0
    Have you chosen the sets so that $O_n\supseteq E\supseteq F_n$ for each $n$?2012-10-01
  • 2
    Such an $O_n$ exists by the statement. I am not sure how to establish the existence of $F_n$. So I can prove $m^*(\cap O_n\setminus E)=0$ but not the other equality.2012-10-01
  • 0
    What definition of measurable are you using?2012-10-01
  • 0
    A set E is Lebesgue measurable iff $\forall A\subset \mathbb{R}$, we have $m^*(A)=m^*(A\cap E)+m^*(A\cap E^c)$. Here $m^*$ is the outer measure defined $\forall A\subset \mathbb{R}$ so that $m^*(A)=inf\{\sum_{n\in\mathbb{N}}l(I_n):I_n$ are intervals, $A\subseteq\cup_{n\in\mathbb{N}}\}$. ($l(I_n)$ means length of the interval $I_n$.)2012-10-02

0 Answers 0