Thread: Exterior measure - show there exists an open interval...

( is the exterior/outer measure). Let with . Prove that for each , there exists an open interval such that .

Im not sure how to proceed....Ive tried starting with the definition of the outer measure and considering a cover of open intervals but im not making any progress. Ive also looked at contradiction, but not sure if im getting anywhere with that. Any help will be appreciated
Thanks

Originally Posted by ramdayal9

( is the exterior/outer measure). Let with . Prove that for each , there exists an open interval such that .

Im not sure how to proceed....Ive tried starting with the definition of the outer measure and considering a cover of open intervals but im not making any progress. Ive also looked at contradiction, but not sure if im getting anywhere with that. Any help will be appreciated
Thanks

Hmm, have you learned the concept of Lebesgue density? There's a theorem that states if E is measurable , then for a.e. x in E

d(x, E) = = 1 almost everywhere where B is a ball that contains x.

Fix an alpha, and suppose that no such interval, I, exists.

Thus, for all x in E, we have:

, which obviously contradicts the above statement.

EDIT: Oops, you never said E was measurable, but I think it would still work with outer measures, let me confirm.