Measure Theory/Approximations of Measurable Sets
Approximations of Measurable Sets
editIn this lesson we will see that every measurable set is "nearly" an open set, and also "nearly" a closed set.
Let be any measurable set, and let .
We will show that there exists an open set G such that and
Exercise 1. Finite Measure Sets Approximated by Open Sets
editSuppose that and . Prove that there exists an open set G such that and .
Hint: Use the trick, and the fact that arbitrary unions of open sets are open sets.
Exercise 2. Infinite Measure Sets Approximated by Open Sets
editSuppose that and . Again find an open set G as before.
Hint: The strategy is to take E and "do something to it" to get a finite-measure set. Apply the result for finite measures. Do this in a sequence which culminates in the desired set G.
Exercise 3. Approximation by Closed Sets
editInfer from the previous exercises that, for and , there is a closed such that .
Hint: Apply the previous result to .
Optional Exercise 4. Approximated by Open Sets Are Measurable
editIn fact it turns out that the converse is also true: If any set is approximated by open sets, then it must be measurable. Feel free to prove this if you would like a challenge problem -- however, we will not so often have use for this theorem. This exercise is therefore "merely" an exercise, for this course.
Exercise 5. Open Sets Are Countable Intervals
editProve that every open set is a countable union of open intervals.
Because we need the union to be countable, it is not adequate to simply say "Each point is in an open interval, which stays inside the open set."
Hint: We need a way to capture the intervals, such that when we "count" one interval we don't also count it again at some other point. This can be accomplished by using an equivalence relation, since equivalence relations afford a unique representation of each partition.
So define an equivalence relation on the open set, such that the cells of the corresponding partition are intervals disconnected from each other.
Exercise 6. Open Set Are Approximately Finite Unions of Intervals
editLet and U an open set. Show that there is a finite collection of open intervals, , such that and
- .
Exercise 7. Measurable sets are Approximately Finite Unions of Intervals
editLet and . Show that there is a finite collection of open intervals, , such that
Hint: Approximate E by an open set, approximate the open set by intervals, and so on.