One quick way is to use Caratheodory’s Criterion:

Let denote the Lebesgue outer measure on , and let . Then is Lebesgue measurable if and only if for every .

Suppose is a set with outer measure zero, and be any subset of .

Then by the monotonicity of outer measure.

The other direction follows by countable subadditivity of outer measure.

### Like this:

Like Loading...

*Related*