You are currently browsing the tag archive for the ‘Lebesgue measure’ tag.
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.
In this supplemental note to the previous lecture notes, I would like to give an alternate proof of a (weak form of the) Carathéodory extension theorem. This argument is restricted to the -finite case, and does not extend the measure to quite as large a -algebra as is provided by the standard proof of this theorem, but I find it conceptually clearer (in particular, hewing quite closely to Littlewood’s principles, and the general Lebesgue philosophy of treating sets of small measure as negligible), and suffices for many standard applications of this theorem, in particular the construction of Lebesgue measure.
Let us first state the precise statement of the theorem:
Theorem 1. (Weak Carathéodory extension theorem) Let be a Boolean algebra of subsets of a set X, and let be a function obeying the following three properties:
- (Pre-countable additivity) If are disjoint and such that also lies in , then .
- (-finiteness) X can be covered by at most countably many sets in , each of which has finite -measure.
Let be the -algebra generated by . Then can be uniquely extended to a countably additive measure on .
We will refer to sets in as elementary sets and sets in as measurable sets. A typical example is when X=[0,1] and is the collection of all sets that are unions of finitely many intervals; in this case, are the Borel-measurable sets.
In these notes we quickly review the basics of abstract measure theory and integration theory, which was covered in the previous course but will of course be relied upon in the current course. This is only a brief summary of the material; of course, one should consult a real analysis text for the full details of the theory.