You are currently browsing the tag archive for the ‘outer measure’ tag.
In this course so far, we have focused primarily on one specific example of a countably additive measure, namely Lebesgue measure. This measure was constructed from a more primitive concept of Lebesgue outer measure, which in turn was constructed from the even more primitive concept of elementary measure.
It turns out that both of these constructions can be abstracted. In this set of notes, we will give the Carathéodory extension theorem, which constructs a countably additive measure from any abstract outer measure; this generalises the construction of Lebesgue measure from Lebesgue outer measure. One can in turn construct outer measures from another concept known as a pre-measure, of which elementary measure is a typical example.
With these tools, one can start constructing many more measures, such as Lebesgue-Stieltjes measures, product measures, and Hausdorff measures. With a little more effort, one can also establish the Kolmogorov extension theorem, which allows one to construct a variety of measures on infinite-dimensional spaces, and is of particular importance in the foundations of probability theory, as it allows one to set up probability spaces associated to both discrete and continuous random processes, even if they have infinite length.
The most important result about product measure, beyond the fact that it exists, is that one can use it to evaluate iterated integrals, and to interchange their order, provided that the integrand is either unsigned or absolutely integrable. This fact is known as the Fubini-Tonelli theorem, and is an absolutely indispensable tool for computing integrals, and for deducing higher-dimensional results from lower-dimensional ones.
This is the final set of notes in this sequence. If time permits, the course will then begin covering the 245B notes, starting with the material on signed measures and the Radon-Nikodym-Lebesgue theorem.
In the prologue for this course, we recalled the classical theory of Jordan measure on Euclidean spaces . This theory proceeded in the following stages:
- First, one defined the notion of a box and its volume .
- Using this, one defined the notion of an elementary set (a finite union of boxes), and defines the elementary measure of such sets.
- From this, one defined the inner and outer Jordan measures of an arbitrary bounded set . If those measures match, we say that is Jordan measurable, and call the Jordan measure of .
As long as one is lucky enough to only have to deal with Jordan measurable sets, the theory of Jordan measure works well enough. However, as noted previously, not all sets are Jordan measurable, even if one restricts attention to bounded sets. In fact, we shall see later in these notes that there even exist bounded open sets, or compact sets, which are not Jordan measurable, so the Jordan theory does not cover many classes of sets of interest. Another class that it fails to cover is countable unions or intersections of sets that are already known to be measurable:
Exercise 1 Show that the countable union or countable intersection of Jordan measurable sets need not be Jordan measurable, even when bounded.
This creates problems with Riemann integrability (which, as we saw in the preceding notes, was closely related to Jordan measure) and pointwise limits:
Exercise 2 Give an example of a sequence of uniformly bounded, Riemann integrable functions for that converge pointwise to a bounded function that is not Riemann integrable. What happens if we replace pointwise convergence with uniform convergence?
These issues can be rectified by using a more powerful notion of measure than Jordan measure, namely Lebesgue measure. To define this measure, we first tinker with the notion of the Jordan outer measure
of a set (we adopt the convention that if is unbounded, thus now takes values in the extended non-negative reals , whose properties we will briefly review below). Observe from the finite additivity and subadditivity of elementary measure that we can also write the Jordan outer measure as
i.e. the Jordan outer measure is the infimal cost required to cover by a finite union of boxes. (The natural number is allowed to vary freely in the above infimum.) We now modify this by replacing the finite union of boxes by a countable union of boxes, leading to the Lebesgue outer measure of :
thus the Lebesgue outer measure is the infimal cost required to cover by a countable union of boxes. Note that the countable sum may be infinite, and so the Lebesgue outer measure could well equal .
(Caution: the Lebesgue outer measure is sometimes denoted ; this is for instance the case in Stein-Shakarchi.)
Clearly, we always have (since we can always pad out a finite union of boxes into an infinite union by adding an infinite number of empty boxes). But can be a lot smaller:
Example 1 Let be a countable set. We know that the Jordan outer measure of can be quite large; for instance, in one dimension, is infinite, and since has as its closure (see Exercise 18 of the prologue). On the other hand, all countable sets have Lebesgue outer measure zero. Indeed, one simply covers by the degenerate boxes of sidelength and volume zero.
Alternatively, if one does not like degenerate boxes, one can cover each by a cube of sidelength (say) for some arbitrary , leading to a total cost of , which converges to for some absolute constant . As can be arbitrarily small, we see that the Lebesgue outer measure must be zero. We will refer to this type of trick as the trick; it will be used many further times in this course.
From this example we see in particular that a set may be unbounded while still having Lebesgue outer measure zero, in contrast to Jordan outer measure.
As we shall see later in this course, Lebesgue outer measure (also known as Lebesgue exterior measure) is a special case of a more general concept known as an outer measure.
In analogy with the Jordan theory, we would also like to define a concept of “Lebesgue inner measure” to complement that of outer measure. Here, there is an asymmetry (which ultimately arises from the fact that elementary measure is subadditive rather than superadditive): one does not gain any increase in power in the Jordan inner measure by replacing finite unions of boxes with countable ones. But one can get a sort of Lebesgue inner measure by taking complements; see Exercise 18. This leads to one possible definition for Lebesgue measurability, namely the Carathéodory criterion for Lebesgue measurability, see Exercise 17. However, this is not the most intuitive formulation of this concept to work with, and we will instead use a different (but logically equivalent) definition of Lebesgue measurability. The starting point is the observation (see Exercise 5 of the prologue) that Jordan measurable sets can be efficiently contained in elementary sets, with an error that has small Jordan outer measure. In a similar vein, we will define Lebesgue measurable sets to be sets that can be efficiently contained in open sets, with an error that has small Lebesgue outer measure:
Definition 1 (Lebesgue measurability) A set is said to be Lebesgue measurable if, for every , there exists an open set containing such that . If is Lebesgue measurable, we refer to as the Lebesgue measure of (note that this quantity may be equal to ). We also write as when we wish to emphasise the dimension .
(The intuition that measurable sets are almost open is also known as Littlewood’s first principle, this principle is a triviality with our current choice of definitions, though less so if one uses other, equivalent, definitions of Lebesgue measurability.)
As we shall see later, Lebesgue measure extends Jordan measure, in the sense that every Jordan measurable set is Lebesgue measurable, and the Lebesgue measure and Jordan measure of a Jordan measurable set are always equal. We will also see a few other equivalent descriptions of the concept of Lebesgue measurability.
In the notes below we will establish the basic properties of Lebesgue measure. Broadly speaking, this concept obeys all the intuitive properties one would ask of measure, so long as one restricts attention to countable operations rather than uncountable ones, and as long as one restricts attention to Lebesgue measurable sets. The latter is not a serious restriction in practice, as almost every set one actually encounters in analysis will be measurable (the main exceptions being some pathological sets that are constructed using the axiom of choice). In the next set of notes we will use Lebesgue measure to set up the Lebesgue integral, which extends the Riemann integral in the same way that Lebesgue measure extends Jordan measure; and the many pleasant properties of Lebesgue measure will be reflected in analogous pleasant properties of the Lebesgue integral (most notably the convergence theorems).
We will treat all dimensions equally here, but for the purposes of drawing pictures, we recommend to the reader that one sets equal to . However, for this topic at least, no additional mathematical difficulties will be encountered in the higher-dimensional case (though of course there are significant visual difficulties once exceeds ).
The material here is based on Sections 1.1-1.3 of the Stein-Shakarchi text, though it is arranged somewhat differently.