Lebesgue outer measure

  • Thread starter alexfloo
  • Start date
  • #1
192
0
I'm trying to prove, per ex. 5 of section 2.2 of S. Berberian's Fundamentals of Real Analysis, that where [itex]\lambda^*[/itex] is the Lebesgue outer measure, and An is any sequence of (not necessarily measurable) sets of reals increasing to A, then [itex]\lambda^*(A_n)[/itex] increases to [itex]\lambda^*(A)[/itex].

As a hint, it mentions that every set is contained in a measurable set which differs from it by a null set. I considered the closure. I know that the boundary is not necessarily null (for instance, the rationals) but perhaps this cannot be the case for a nonmeasurable set.

In either case, assuming the hint, the proof is pretty trivial. I just don't really know where to start on proving the hint.
 

Answers and Replies

  • #2
morphism
Science Advisor
Homework Helper
2,015
4
Given any subset B of R, measurable or not, one can find a measurable set M containing B with ##\lambda^*(B) = \lambda(M)##. (If the outermeasure of B is infinite, take M=R; otherwise find a descending sequence U_n of open sets containing B with ##\lambda(U_n) < \lambda(B) + 1/n##, and then let M be their intersection.)

The existence of such an M should help you prove your hint.
 

Related Threads on Lebesgue outer measure

  • Last Post
Replies
1
Views
6K
  • Last Post
Replies
6
Views
5K
  • Last Post
Replies
3
Views
4K
  • Last Post
Replies
7
Views
3K
  • Last Post
Replies
6
Views
7K
Replies
1
Views
701
Replies
2
Views
3K
Replies
1
Views
2K
Replies
3
Views
4K
Top