Littlewood three principles of real analysis in his 1944 Lectures on the Theory of Functions [1]:
There are three principles, roughly expressible in the following terms: Every (measurable) set is nearly a finite sum of intervals; every function (of class Lp) is nearly continuous; every convergent sequence of functions is nearly uniformly convergent.
This article examines the first principle and attempts to divine how restrictive the constraint of (Borel) measurability truly is for a set. This will be done in the form of two important results; namely, showing how well such a set can be approximated from above by open sets and how well such a set can be approximated from below by compact sets.
These two results will demonstrate how convenient Borel measurable sets are to work with and how one may more easily prove results about them by using this approximation and passing to the limit by continuity argument.
Approximation by Open Sets
The following theorem shows how well Borel measurable sets can be approximated from above by open sets.
Theorem. Let be a Borel measurable set. For every there exists an open set with such that .
Proof: By construction of the Borel measure, there exists a sequence of intervals such that and
Taking
gives the result.
[2]
Approximation by Compact Sets
The next theorem demonstrates how well Borel measurable sets can be approximated from below by compact sets.
Theorem. Let be a Borel measurable set. For every there exists an open set with such that .
Proof: First suppose is bounded. If is also closed, then we're done; is compact. Otherwise, the boundary is nonempty. Now, is a Borel measurable set, so we can approximate it from above by the previous section. That is, there exists an open set such that . Now define . By construction, this set is contained in . Moreover, it is closed, being the intersection of two closed sets. Finally, is bounded because is bounded. By the Heine-Borel Theorem, is compact, and satisfies the constraints of the theorem because
Now assume
is unbounded. Let
. By the preceding argument, for each
there exist compact
such that
and
. Let
. Then
is compact and
, and since
, the result follows.
[2]
Littlewood's First Principle
The previous two results imply the following formulation of Littlewood's First Principle:
Theorem. If is a Borel measurable set and , then for every there is a set that is a finite union of open intervals such that , where denotes symmetric difference.
Proof: Using the previous two sections find and such that and and . As noted in the proof of the first section, is really a countable union of open intervals. These intervals form an open cover for and since is compact, only finitely many cover . Defining to be the union of these finitely many intervals, the result follows, since and .
References
- ↑ Littlewood, J. E. Lectures on the Theory of Functions. Oxford University Press, 1944.
- ↑ 2.0 2.1 Gerald B. Folland, Real Analysis: Modern Techniques and Their Applications, second edition, §1.5