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 1Show 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 2Give an example of a sequence of uniformly bounded, Riemann integrable functions for that converge pointwise to a bounded function that isnotRiemann 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 1Let 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 beLebesgue measurableif, for every , there exists an open set containing such that . If is Lebesgue measurable, we refer to as theLebesgue measureof (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.

** — 1. Two preliminaries: the extended non-negative real axis, and the axiom of choice — **

Before we start the main subject of discussion, let us review two basic mathematical tools that we will be using throughout the course: the extended non-negative real axis and the axiom of choice.

The extended non-negative real axis is the non-negative real axis with an additional element adjointed to it, which we label ; we will need to work with this system because many sets (e.g. ) will have infinite measure. Of course, is not a real number, but we think of it as an *extended* real number. We extend the addition, multiplication, and order structures on to by declaring

for all ,

for all non-zero ,

and

Most of the laws of algebra for addition, multiplication, and order continue to hold in this extended number system; for instance addition and multiplication are commutative and associative, with the latter distributing over the former, and an order relation is preserved under addition or multiplication of both sides of that relation by the same quantity. However, we caution that the laws of cancellation do *not* apply once some of the variables are allowed to be infinite; for instance, we cannot deduce from or from . This is related to the fact that the forms and are indeterminate (one cannot assign a value to them without breaking a lot of the rules of algebra). A general rule of thumb is that if one wishes to use cancellation (or proxies for cancellation, such as subtraction or division), this is only safe if one can guarantee that all quantities involved are finite (and in the case of multiplicative cancellation, the quantity being cancelled also needs to be non-zero, of course). However, as long as one avoids using cancellation and works exclusively with non-negative quantities, there is little danger in working in the extended real number system.

We note also that once one adopts the convention , then multiplication becomes *upward continuous* (in the sense that whenever increases to , and increases to , then increases to ) but not *downward continuous* (e.g. but ). This asymmetry will ultimately cause us to define integration from below rather than from above, which leads to other asymmetries (e.g. the monotone convergence theorem applies for monotone increasing functions, but not necessarily for monotone decreasing ones).

Remark 1Note that there is a tradeoff here: if one wants to keep as many useful laws of algebra as one can, then one can add in infinity, or have negative numbers, but it is difficult to have both at the same time. Because of this tradeoff, we will see two overlapping types of measure and integration theory: thenon-negativetheory, which involves quantities taking values in , and theabsolutely integrabletheory, which involves quantities taking values in or . For instance, the fundamental convergence theorem for the former theory is the monotone convergence theorem, while the fundamental convergence theorem for the latter is the dominated convergence theorem. Both branches of the theory are important, and both will be covered in later notes.

One important feature of the extended nonnegative real axis is that all sums are convergent: given any sequence , we can always form the sum

as the limit of the partial sums , which may be either finite or infinite. An equivalent definition of this infinite sum is as the supremum of all finite subsums:

Motivated by this, given any collection of numbers indexed by an arbitrary set (finite or infinite, countable or uncountable), we can define the sum by the formula

Note from this definition that one can relabel the collection in an arbitrary fashion without affecting the sum; more precisely, given any bijection , one has the change of variables formula

Note that when dealing with signed sums, the above rearrangement identity can fail when the series is not absolutely convergent (cf. the Riemann rearrangement theorem).

Exercise 3If is a collection of numbers such that , show that for all but at most countably many , even if itself is uncountable.

We will rely frequently on the following basic fact (a special case of the Fubini-Tonelli theorem, which we will encounter later in this course):

Theorem 2 (Tonelli’s theorem for series)Let be a doubly infinite sequence of extended non-negative reals . Then

Informally, Tonelli’s theorem asserts that we may rearrange infinite series with impunity as long as all summands are non-negative.

*Proof:* We shall just show the equality of the first and second expressions; the equality of the first and third is proven similarly.

We first show that

Let be any finite subset of . Then for some finite , and thus (by the non-negativity of the )

The right-hand side can be rearranged as

which is clearly at most (again by non-negativity of ). This gives

for any finite subset of , and the claim then follows from (1).

It remains to show the reverse inequality

It suffices to show that

for each finite .

Fix . As each is the limit of , the left-hand side is the limit of as . Thus it suffices to show that

for each finite . But the left-hand side is , and the claim follows.

Remark 2Note how important it was that the were non-negative in the above argument. In the signed case, one needs an additional assumption of absolute summability of on before one is permitted to interchange sums; this isFubini’s theorem for series, which we will encounter later in this course. Without absolute summability or non-negativity hypotheses, the theorem can fail (consider for instance the case when equals when , when , and otherwise).

Next, we recall the axiom of choice, which we shall be assuming throughout the course:

Axiom 3 (Axiom of choice)Let be a family of non-empty sets , indexed by an index set . Then we can find a family of elements of , indexed by the same set .

This axiom is trivial when is a singleton set, and from mathematical induction one can also prove it without difficulty when is finite. However, when is infinite, one cannot deduce this axiom from the other axioms of set theory, but must explicitly add it to the list of axioms. We isolate the countable case as a particularly useful corollary (though one which is strictly weaker than the full axiom of choice):

Corollary 4 (Axiom of countable choice)Let be a sequence of non-empty sets. Then one can find a sequence such that for all .

Remark 3The question of how much of real analysis still survives when one is not permitted to use the axiom of choice is a delicate one, involving a fair amount of logic and descriptive set theory to answer. We will not discuss these matters in this course. We will however note a theorem of Gödel that states that any statement that can be phrased in the first-order language of Peano arithmetic, and which is proven with the axiom of choice, can also be proven without the axiom of choice. So, roughly speaking, Gödel’s theorem tells us that for any “finitary” application of real analysis (which includes most of the “practical” applications of the subject), it is safe to use the axiom of choice; it is only when asking questions about “infinitary” objects that are beyond the scope of Peano arithmetic that one can encounter statements that are provable using the axiom of choice, but are not provable without it.

** — 2. Properties of Lebesgue outer measure — **

We begin by studying the Lebesgue outer measure , which was defined earlier, and takes values in the extended non-negative real axis . We first record three easy properties of Lebesgue outer measure, which we will use repeatedly in the sequel without further comment:

Exercise 4 (The outer measure axioms)

- (Empty set) .
- (Monotonicity) If , then .
- (Countable subadditivity) If is a countable sequence of sets, then . (
Hint:Use the axiom of countable choice, Tonelli’s theorem for series, and the trick used previously to show that countable sets had outer measure zero.)

Note that countable subadditivity, when combined with the empty set axiom, gives as a corollary the finite subadditivity property

for any . These subadditivity properties will be useful in establishing *upper* bounds on Lebesgue outer measure. Establishing *lower* bounds will often be a bit trickier. (More generally, when dealing with a quantity that is defined using an infimum, it is usually easier to obtain upper bounds on that quantity than lower bounds, because the former requires one to bound just one element of the infimum, whereas the latter requires one to bound *all* elements.)

Remark 4Later on in this course, when we study abstract measure theory on a general set , we will define the concept of anouter measureon , which is an assigment of element of to arbitrary subsets of a space that obeys the above three axioms of the empty set, monotonicity, and countable subadditivity; thus Lebesgue outer measure is a model example of an abstract outer measure. On the other hand (and somewhat confusingly), Jordan outer measure will not be an abstract outer measure (even after adopting the convention that unbounded sets have Jordan outer measure ): it obeys the empty set and monotonicity axioms, but is only finitely subadditive rather than countably subadditive. (For instance, the rationals have infinite Jordan outer measure, despite being the countable union of points, each of which have a Jordan outer measure of zero.) Thus we already see a major benefit of allowing countable unions of boxes in the definition of Lebesgue outer measure, in contrast to the finite unions of boxes in the definition of Jordan outer measure, in that finite subadditivity is upgraded to countable subadditivity.

Of course, one cannot hope to upgrade countable subadditivity to uncountable subadditivity: is an uncountable union of points, each of which has Lebesgue outer measure zero, but (as we shall shortly see), has infinite Lebesgue outer measure.

It is natural to ask whether Lebesgue outer measure has the finite additivity property, that is to say that whenever are disjoint. The answer to this question is somewhat subtle: as we shall see later, we have finite additivity (and even countable additivity) when all sets involved are Lebesgue measurable, but that finite additivity (and hence also countable additivity) can break down in the non-measurable case. The difficulty here (which, incidentally, also appears in the theory of Jordan outer measure) is that if and are sufficiently “entangled” with each other, it is not always possible to take a countable cover of by boxes and split the total volume of that cover into separate covers of and without some duplication. However, we can at least recover finite additivity if the sets are separated by some positive distance:

Lemma 5 (Finite additivity for separated sets)Let be such that , whereis the distance between and . (Here and in the sequel we use the usual Euclidean metric on .) Then .

*Proof:* From subadditivity one has , so it suffices to prove the other direction . This is trivial if has infinite Lebesgue outer measure, so we may assume that it has finite Lebesgue outer measure (and then the same is true for and , by monotonicity).

We use the standard “give yourself an epsilon of room” trick. Let . By definition of Lebesgue outer measure, we can cover by a countable family of boxes such that

Suppose it was the case that each box intersected at most one of and . Then we could divide this family into two subfamilies and , the first of which covered , and the second of which covered . From definition of Lebesgue outer measure, we have

and

summing, we obtain

and thus

Since was arbitrary, this gives as required.

Of course, it is quite possible for some of the boxes to intersect both and , particularly if the boxes are big, in which case the above argument does not work because that box would be double-counted. However, observe that given any , one can always partition a large box into a finite number of smaller boxes, each of which has diameter at most , with the total volume of these sub-boxes equal to the volume of the original box. Applying this observation to each of the boxes , we see that given any , we may assume without loss of generality that the boxes covering have diameter at most . In particular, we may assume that all such boxes have diameter strictly less than . Once we do this, then it is no longer possible for any box to intersect both and , and then the previous argument now applies.

In general, disjoint sets need not have a positive separation from each other (e.g. and ). But the situation improves when are closed, and at least one of is compact:

Exercise 5Let be disjoint closed sets, with at least one of being compact. Show that . Give a counterexample to show that this claim fails when the compactness hypothesis is dropped.

We already know that countable sets have Lebesgue outer measure zero. Now we start computing the outer measure of some other sets. We begin with elementary sets:

Lemma 6 (Outer measure of elementary sets)Let be an elementary set. Then the Lebesgue outer measure of is equal to the elementary measure of : .

Since countable sets have zero outer measure, we note that we have managed to give a proof of Cantor’s theorem that is uncountable. Of course, much quicker proofs of this theorem are available. However, this observation shows that the proof this lemma must somehow use some crucial fact about the real line which is not true for countable subfields of , such as the rationals . In the proof we give here, the key fact about the real line we use is the Heine-Borel theorem, which ultimately exploits the important fact that the reals are *complete*. In the one-dimensional case , it is also possible to exploit the fact that the reals are *connected* as a substitute for completeness (note that proper subfields of the reals are neither connected nor complete).

*Proof:* We already know that , so it suffices to show that .

We first establish this in the case when the elementary set is closed. As the elementary set is also bounded, this allows us to use the powerful Heine-Borel theorem, which asserts that every open cover of has a finite subcover (or in other words, is compact).

We again use the epsilon of room strategy. Let be arbitrary, then we can find a countable family of boxes that cover ,

and such that

We would like to use the Heine-Borel theorem, but the boxes need not be open. But this is not a serious problem, as one can spend another epsilon to enlarge the boxes to be open. More precisely, for each box one can find an open box containing such that (say). The still cover , and we have

As the are open, we may apply the Heine-Borel theorem and conclude that

for some finite . Using the finite subadditivity of elementary measure, we conclude that

and thus

Since was arbitrary, the claim follows.

Now we consider the case when the elementary is not closed. Then we can write as the finite union of disjoint boxes, which need not be closed. But, similarly to before, we can use the epsilon of room strategy: for every and every , one can find a closed sub-box of such that (say); then contains the finite union of disjoint *closed* boxes, which is a closed elementary set. By the previous discussion and the finite additivity of elementary measure, we have

Applying by monotonicity of Lebesgue outer measure, we conclude that

for every . Since was arbitrary, the claim follows.

The above lemma allows us to compute the Lebesgue outer measure of a finite union of boxes. From this and monotonicity we conclude that the Lebesgue outer measure of any set is bounded below by its Jordan inner measure. As it is also bounded above by the Jordan outer measure, we have

Remark 5We are now able to explain why not every bounded open set or compact set is Jordan measurable. Consider the countable set , which we enumerate as , let be a small number, and consider the setThis is the union of open sets and is thus open. On the other hand, by countable subadditivity, one has

Finally, as is dense in (i.e. contains ), we have

For small enough (e.g. ), we see that the Lebesgue outer measure and Jordan outer measure of disagree. Using (3), we conclude that the bounded open set is not Jordan measurable. This in turn implies that the complement of in, say, , is also not Jordan measurable, despite being a compact set.

Now we turn to countable unions of boxes. It is convenient to introduce the following notion: two boxes are *almost disjoint* if their interiors are disjoint, thus for instance and are almost disjoint. As a box has the same elementary measure as its interior, we see that the finite additivity property

holds for *almost* disjoint boxes , and not just for disjoint boxes. This (and Lemma 6) has the following consequence:

Lemma 7 (Outer measure of countable unions of almost disjoint boxes)Let be a countable union of almost disjoint boxes . Then

Thus, for instance, itself has an infinite outer measure.

*Proof:* From countable subadditivity and Lemma 6 we have

so it suffices to show that

But for each natural number , contains the elementary set , so by monotonicity and Lemma 6,

and thus by (4), one has

Letting we obtain the claim.

Remark 6The above lemma has the following immediate corollary: if can be decomposed in two different ways as the countable union of almost disjoint boxes, then . Although this statement is intuitively obvious and does not explicitly use the concepts of Lebesgue outer measure or Lebesgue measure, it is remarkably difficult to prove this statement rigorously without essentially using one of these two concepts. (Try it!)

Exercise 6Show that if a set is expressible as the countable union of almost disjoint boxes, then the Lebesgue outer measure of is equal to the Jordan inner measure: , where we extend the definition of Jordan inner measure to unbounded sets in the obvious manner.

Not every set can be expressed as the countable union of almost disjoint boxes (consider for instance the irrationals , which contain no boxes other than the singleton sets). However, there is an important class of sets of this form, namely the open sets:

Lemma 8Let be an open set. Then can be expressed as the countable union of almost disjoint boxes (and, in fact, as the countable union of almost disjoint closed cubes).

*Proof:* We will use the *dyadic mesh* structure of the Euclidean space , which is a convenient tool for “discretising” certain aspects of real analysis.

Define a *closed dyadic cube* to be a cube of the form

for some integers . To avoid some technical issues we shall restrict attention here to “small” cubes of sidelength at most , thus we restrict to the non-negative integers, and we will completely ignore “large” cubes of sidelength greater than one. Observe that the closed dyadic cubes of a fixed sidelength are almost disjoint, and cover all of . Also observe that each dyadic cube of sidelength is contained in exactly one “parent” cube of sidelength (which, conversely, has “children” of sidelength ), giving the dyadic cubes a structure analogous to that of a binary tree (or more precisely, an infinite forest of -ary trees). As a consequence of these facts, we also obtain the important *dyadic nesting property*: given any two closed dyadic cubes (possibly of different sidelength), either they are almost disjoint, or one of them is contained in the other.

If is open, and , then by definition there is an open ball centered at that is contained in , and it is easy to conclude that there is also a closed dyadic cube containing that is contained in . Thus, if we let be the collection of all the dyadic cubes that are contained in , we see that the union of all these cubes is exactly equal to .

As there are only countably many dyadic cubes, is at most countable. But we are not done yet, because these cubes are not almost disjoint (for instance, any cube in will of course overlap with its child cubes). But we can deal with this by exploiting the dyadic nesting property. Let denote those cubes in which are *maximal* with respect to set inclusion, which means that they are not contained in any other cube in . From the nesting property (and the fact that we have capped the maximum size of our cubes) we see that every cube in is contained in exactly one maximal cube in , and that any two such maximal cubes in are almost disjoint. Thus, we see that is the union of almost disjoint cubes. As is at most countable, the claim follows (adding empty boxes if necessary to pad out the cardinality).

We now have a formula for the Lebesgue outer measure of any open set: it is exactly equal to the Jordan inner measure of that set, or of the total volume of any partitioning of that set into almost disjoint boxes. Finally, we have a formula for the Lebesgue outer measure of an arbitrary set:

Lemma 9 (Outer regularity)Let be an arbitrary set. Then one has

*Proof:* From monotonicity one trivially has

so it suffices to show that

This is trivial for infinite, so we may assume that is finite.

Let . By definition of outer measure, there exists a countable family of boxes covering such that

We use the trick again. We can enlarge each of these boxes to an *open* box such that . Then the set , being a union of open sets, is itself open, and contains ; and

By countable subadditivity, this implies that

and thus

As was arbitrary, we obtain the claim.

Exercise 7Give an example to show that the reverse statementis false. (For the corrected version of this statement, see Exercise 15.)

** — 3. Lebesgue measurability — **

We now define the notion of a Lebesgue measurable set as one which can be efficiently contained in open sets in the sense of Definition 1, and set out their basic properties.

First, we show that there are plenty of Lebesgue measurable sets.

Lemma 10 (Existence of Lebesgue measurable sets)

- (i) Every open set is Lebesgue measurable.
- (ii) Every closed set is Lebesgue measurable.
- (iii) Every set of Lebesgue outer measure zero is measurable. (Such sets are called null sets.)
- (iv) The empty set is Lebesgue measurable.
- (v) If is Lebesgue measurable, then so is its complement .
- (vi) If are a sequence of Lebesgue measurable sets, then the union is Lebesgue measurable.
- (vii) If are a sequence of Lebesgue measurable sets, then the intersection is Lebesgue measurable.

*Proof:* Claim (i) is obvious from definition, as are Claims (iii) and (iv).

To prove Claim (vi), we use the trick. Let be arbitrary. By hypothesis, each is contained in an open set whose difference has Lebesgue outer measure at most . By countable subadditivity, this implies that is contained in , and the difference has Lebesgue outer measure at most . The set , being a union of open sets, is itself open, and the claim follows.

Now we establish Claim (ii). Every closed set is the countable union of closed and bounded sets (by intersecting with, say, the closed balls of radius for ), so by (vi), it suffices to verify the claim when is closed and bounded, hence compact by the Heine-Borel theorem. Note that the boundedness of implies that is finite.

Let . By outer regularity (Lemma 9), we can find an open set containing such that . It suffices to show that .

The set is open, and so by Lemma 8 is the countable union of almost disjoint closed cubes. By Lemma 7, . So it will suffice to show that for every finite .

The set is a finite union of closed cubes and is thus closed. It is disjoint from the compact set , so by Exercise 5 followed by Lemma 5 one has

By monotonicity, the left-hand side is at most , which is in turn at most . Since is finite, we may cancel it and conclude that , as required.

Next, we establish Claim (v). If is Lebesgue measurable, then for every we can find an open set containing such that . Letting be the complement of , we conclude that the complement of contains all of the , and that . If we let , then contains , and from monotonicity , thus is the union of and a set of Lebesgue outer measure zero. But is in turn the union of countably many closed sets . The claim now follows from (ii), (iii), (iv).

Finally, Claim (vii) follows from (v), (vi), and de Morgan’s laws (which work for infinite unions and intersections without any difficulty).

Informally, the above lemma asserts (among other things) that if one starts with such basic subsets of as open or closed sets and then takes at most countably many boolean operations, one will always end up with a Lebesgue measurable set. This is already enough to ensure that the majority of sets that one actually encounters in real analysis will be Lebesgue measurable. (Nevertheless, using the axiom of choice one can construct sets that are not Lebesgue measurable; we will see an example of this later. As a consequence, we cannot generalise the countable closure properties here to uncountable closure properties.)

Remark 7The properties (iv), (v), (vi) of Lemma 10 assert that the collection of Lebesgue measurable subsets of form a -algebra, which is a strengthening of the more classical concept of a boolean algebra. We will study abstract -algebras in more detail in subsequent notes.

Note how this Lemma 10 is significantly stronger than the counterpart for Jordan measurability (Exercise 6.1 of the prologue), in particular by allowing countably many boolean operations instead of just finitely many. This is one of the main reasons why we use Lebesgue measure instead of Jordan measure.

Exercise 8 (Criteria for measurability)Let . Show that the following are equivalent:

- (i) is Lebesgue measurable.
- (ii) (Outer approximation by open) For every , one can contain in an open set with .
- (iii) (Almost open) For every , one can find an open set such that . (In other words, differs from an open set by a set of outer measure at most .)
- (iv) (Inner approximation by closed) For every , one can find a closed set contained in with .
- (v) (Almost closed) For every , one can find a closed set such that . (In other words, differs from a closed set by a set of outer measure at most .)
- (vi) (Almost measurable) For every , one can find a Lebesgue measurable set such that . (In other words, differs from a measurable set by a set of outer measure at most .)
(

Hint:Some of these deductions are either trivial or very easy. To deduce (i) from (vi), use the trick to show that is contained in a Lebesgue measurable set with , and then take countable intersections to show that differs from a Lebesgue measurable set by a null set.)

Exercise 9Show that every Jordan measurable set is Lebesgue measurable.

Exercise 10 (Middle thirds Cantor set)Let be the unit interval, let be with the interior of the middle third interval removed, let be with the interior of the middle third of each of the two intervals of removed, and so forth. More formally, writeLet be the intersection of all the elementary sets . Show that is compact, uncountable, and a null set.

Now we look at the Lebesgue measure of a Lebesgue measurable set , which is defined to equal its Lebesgue outer measure . If is Jordan measurable, we see from (3) that the Lebesgue measure and the Jordan measure of coincide, thus Lebesgue measure extends Jordan measure. This justifies the use of the notation to denote both Lebesgue measure of a Lebesgue measurable set, and Jordan measure of a Jordan measurable set (as well as elementary measure of an elementary set).

Lebesgue measure obeys significantly better properties than Lebesgue outer measure, when restricted to Lebesgue measurable sets:

- (Empty set) .
- (Countable additivity) If is a countable sequence of disjoint Lebesgue measurable sets, then .

*Proof:* The first claim is trivial, so we focus on the second. We deal with an easy case when all of the are compact. By repeated use of Lemma 5 and Exercise 5, we have

Using monotonicity, we conclude that

(We can use instead of throughout this argument, thanks to Lemma 10). Sending we obtain

On the other hand, from countable subadditivity one has

and the claim follows.

Next, we handle the case when the are bounded but not necessarily compact. We use the trick. Let . Applying Exercise 8, we know that each is the union of a compact set and a set of outer measure at most . Thus

and hence

Finally, from the compact case of this lemma we already know that

while from monotonicity

Putting all this together we see that

for every , while from countable subadditivity we have

The claim follows.

Finally, we handle the case when the are not assumed to be bounded or closed. Here, the basic idea is to decompose each as a countable disjoint union of bounded Lebesgue measurable sets. First, decompose as the countable disjoint union of bounded measurable sets ; for instance one could take the annuli . Then each is the countable disjoint union of the bounded measurable sets for , and thus

by the previous arguments. In a similar vein, is the countable disjoint union of the bounded measurable sets for , and thus

and the claim follows.

From Lemma 11 one of course can conclude finite additivity

whenever are Lebesgue measurable sets. We also have another important result:

Exercise 11 (Monotone convergence theorem for measurable sets)

- (Upward monotone convergence) Let be a countable non-decreasing sequence of Lebesgue measurable sets. Show that . (
Hint:Express as the countable union of the lacunae .)- (Downward monotone convergence) Let be a countable non-increasing sequence of Lebesgue measurable sets. If at least one of the is finite, show that .
- Give a counterexample to show that the hypothesis that at least one of the is finite in the downward monotone convergence theorem cannot be dropped.

Exercise 12Show that any map from Lebesgue measurable sets to elements of that obeys the above empty set and countable additivity axioms will also obey the monotonicity and countable subadditivity axioms from Exercise 4, when restricted to Lebesgue measurable sets of course.

Exercise 13We say that a sequence of sets inconverges pointwiseto another set in if the indicator functions converge pointwise to .

- Show that if the are all Lebesgue measurable, and converge pointwise to , then is Lebesgue measurable also. (
Hint:use the identity or to write in terms of countable unions and intersections of the .)- (Dominated convergence theorem) Suppose that the are all contained in another Lebesgue measurable set of finite measure. Show that converges to . (
Hint:use the upward and downward monotone convergence theorems.)- Give a counterexample to show that the dominated convergence theorem fails if the are not contained in a set of finite measure, even if we assume that the are all uniformly bounded.

In later notes we will generalise the monotone and dominated convergence theorems to measurable functions instead of measurable sets; these fundamental convergence theorems will be the foundation of much of the rest of the course.

Exercise 14Let . Show that is contained in a Lebesgue measurable set of measure exactly equal to .

Exercise 15 (Inner regularity)Let be Lebesgue measurable. Show that

Remark 8The inner and outer regularity properties of measure can be used to define the concept of a Radon measure, which will be encountered much later in this course series.

Exercise 16 (Criteria for finite measure)Let . Show that the following are equivalent:

- (i) is Lebesgue measurable with finite measure.
- (ii) (Outer approximation by open) For every , one can contain in an open set of finite measure with .
- (iii) (Almost open bounded) differs from a bounded open set by a set of arbitrarily small Lebesgue outer measure. (In other words, for every there exists a bounded open set such that .)
- (iv) (Inner approximation by compact) For every , one can find a compact set contained in with .
- (v) (Almost compact) differs from a compact set by a set of arbitrarily small Lebesgue outer measure.
- (vi) (Almost bounded measurable) differs from a bounded Lebesgue measurable set by a set of arbitrarily small Lebesgue outer measure.
- (vii) (Almost finite measure) differs from a Lebesgue measurable set with finite measure by a set of arbitrarily small Lebesgue outer measure.
- (viii) (Almost elementary) differs from an elementary set by a set of arbitrarily small Lebesgue outer measure.
- (ix) (Almost dyadically elementary) For every , there exists an integer and a finite union of closed dyadic cubes of sidelength such that .

One can interpret the equivalence of (i) and (ix) in the above exercise as asserting that Lebesgue measurable sets are those which look (locally) “pixelated” at sufficiently fine scales. This will be formalised in later notes with the Lebesgue density theorem.

Exercise 17 (Carathéodory criterion, one direction)Let . Show that the following are equivalent:

- (i) is Lebesgue measurable.
- (ii) For every elementary set , one has .
- (iii) For every box , one has .

Exercise 18 (Inner measure)Let be a bounded set. Define theLebesgue inner measureof by the formulafor any elementary set containing .

- Show that this definition is well defined, i.e. that if are two elementary sets containing , that is equal to .
- Show that , and that equality holds if and only if is Lebesgue measurable.

Define a set to be a countable intersection of open sets, and an set to be a countable union of closed sets.

Exercise 19Let . Show that the following are equivalent:

- is Lebesgue measurable.
- is a set with a null set removed.
- is the union of a set and a null set.

Remark 9From the above exercises, we see that when describing what it means for a set to be Lebesgue measurable, there is a tradeoff between the type of approximation one is willing to bear, and the type of things one can say about the approximation. If one is only willing to approximate to within a null set, then one can only say that a measurable set is approximated by a or a set, which is a fairly weak amount of structure. If one is willing to add on an epsilon of error (as measured in the Lebesgue outer measure), one can make a measurable set open; dually, if one is willing to take away an epsilon of error, one can make a measurable set closed. Finally, if one is willing to both add and subtract an epsilon of error, then one can make a measurable set (of finite measure) elementary, or even a finite union of dyadic cubes.

Exercise 20 (Translation invariance)If is Lebesgue measurable, show that is Lebesgue measurable for any , and that .

Exercise 21 (Change of variables)If is Lebesgue measurable, and is a linear transformation, show that is Lebesgue measurable, and that . We caution that if is a linear map to a space of strictly smaller dimension than , then need not be Lebesgue measurable; see Exercise 26.

Exercise 22Let be natural numbers.

- If and , show that , where denotes -dimensional Lebesgue measure, etc.
- Let , be Lebesgue measurable sets. Show that is Lebesgue measurable, with . (Note that we allow or to have infinite measure, and so one may have to divide into cases or take advantage of the monotone convergence theorem for Lebesgue measure, Exercise 11.)

Exercise 23 (Uniqueness of Lebesgue measure)Show that Lebesgue measure is the only map from Lebesgue measurable sets to that obeys the following axioms:

- (Empty set) .
- (Countable additivity) If is a countable sequence of disjoint Lebesgue measurable sets, then .
- (Translation invariance) If is Lebesgue measurable and , then .
- (Normalisation) .

Hint:First show that must match elementary measure on elementary sets, then show that is bounded by outer measure.

Exercise 24 (Lebesgue measure as the completion of elementary measure)The purpose of the following exercise is to indicate how Lebesgue measure can be viewed as a metric completion of elementary measure in some sense. To avoid some technicalities we will not work in all of , but in some fixed elementary set (e.g. ).

- Let be the power set of . We say that two sets are
equivalentif is a null set. Show that this is a equivalence relation.- Let be the set of equivalence classes of with respect to the above equivalence relation. Define a distance between two equivalence classes by defining . Show that this distance is well-defined (in the sense that whenever and ) and gives the structure of a complete metric space.
- Let be the elementary subsets of , and let be the Lebesgue measurable subsets of . Show that is the closure of with respect to the metric defined above. In particular, is a complete metric space that contains as a dense subset; in other words, is a metric completion of .
- Show that Lebesgue measure descends to a continuous function , which by abuse of notation we shall still call . Show that is the unique continuous extension of the analogous elementary measure function to .
For a further discussion of how measures can be viewed as completions of elementary measures, see these notes.

** — 4. Non-measurable sets — **

In the previous section we have set out a rich theory of Lebesgue measure, which enjoys many nice properties when applied to Lebesgue measurable sets.

Thus far, we have not ruled out the possibility that every single set is Lebesgue measurable. There is good reason for this: a famous theorem of Solovay asserts that, if one is willing to drop the axiom of choice, there exist models of set theory in which all subsets of are measurable. So any demonstration of the existence of non-measurable sets must use the axiom of choice in some essential way.

That said, we can give an informal (and highly non-rigorous) motivation as to why non-measurable sets should exist, using intuition from probability theory rather than from set theory. The starting point is the observation that Lebesgue sets of finite measure (and in particular, bounded Lebesgue sets) have to be “almost elementary”, in the sense of Exercise 16. So all we need to do to build a non-measurable set is to exhibit a bounded set which is not almost elementary. Intuitively, we want to build a set which has oscillatory structure even at arbitrarily fine scales.

We will non-rigorously do this as follows. We will work inside the unit interval . For each , we imagine that we flip a coin to give either heads or tails (with an independent coin flip for each ), and let be the set of all the for which the coin flip came up heads. We suppose for contradiction that is Lebesgue measurable. Intuitively, since each had a chance of being heads, should occupy about “half” of ; applying the law of large numbers in an extremely non-rigorous fashion, we thus expect to equal .

Moreover, given any subinterval of , the same reasoning leads us to expect that should occupy about half of , so that should be . More generally, given any elementary set in , we should have . This makes it very hard for to be approximated by an elementary set; indeed, a little algebra then shows that for any elementary . Thus is not Lebesgue measurable.

Unfortunately, the above argument is terribly non-rigorous for a number of reasons, not the least of which is that it uses an uncountable number of coin flips, and the rigorous probabilistic theory that one would have to use to model such a system of random variables is too weak to be able to assign meaningful probabilities to such events as “ is Lebesgue measurable”. (For some further discussion of this point, see this post.) So we now turn to more rigorous arguments that establish the existence of non-measurable sets. The arguments will be fairly simple, but the sets constructed are somewhat artificial in nature.

Proposition 12There exists a subset which is not Lebesgue measurable.

*Proof:* We use the fact that the rationals are an additive subgroup of the reals , and so partition the reals into disjoint cosets . This creates a quotient group . Each coset of is dense in , and so has a non-empty intersection with . Applying the axiom of choice, we may thus find an element for each . We then let be the collection of all these coset representatives. By construction, .

Let be any element of . Then it must lie in some coset of , and thus differs from by some rational number in . In other words, we have

On the other hand, we clearly have

Also, the different translates are disjoint, because contains only one element from each coset of .

We claim that is not Lebesgue measurable. To see this, suppose for contradiction that was Lebesgue measurable. Then the translates would also be Lebesgue measurable. By countable additivity, we thus have

and thus by translation invariance and (5), (6)

On the other hand, the sum is either zero (if ) or infinite (if ), leading to the desired contradiction.

Exercise 25 (Outer measure is not finitely additive)Show that there exists disjoint bounded subsets of the real line such that . (Hint:Show that the set constructed in the proof of the above proposition has positive outer measure.)

Exercise 26 (Projections of measurable sets need not be measurable)Let be the coordinate projection . Show that there exists a measurable subset of such that is not measurable.

Remark 10The above discussion shows that, in the presence of the axiom of choice, one cannot hope to extend Lebesgue measure to arbitrary subsets of while retaining both the countable additivity and the translation invariance properties. If one drops the translation invariant requirement, then this question concerns the theory of measurable cardinals, and is not decidable from the standard ZFC axioms. On the other hand, one can constructfinitely additivetranslation invariant extensions of Lebesgue measure to the power set of by use of the Hahn-Banach theorem to extend the integration functional, though we will not do so here.

(Below are some miscellaneous exercises that were added after the main notes were written; I have not moved it up into a better place so as not to disturb the existing exercise numbering.)

Exercise 27Define acontinuously differentiable curvein to be a set of the form where is a closed interval and is a continuously differentiable function.

- If , show that every continuously differentiable curve has Lebesgue measure zero. (Why is the condition necessary?)
- Conclude that if , then the unit cube cannot be covered by countably many continuously differentiable curves.
We remark that if the curve is only assumed to be continuous, rather than continuously differentiable, then these claims fail, thanks to the existence of space-filling curves.

Exercise 28 (Tonelli’s theorem for series over arbitrary sets)Let be sets (possibly infinite or uncountable), and be a doubly infinite sequence of extended non-negative reals indexed by and . Show that(

Hint:although not strictly necessary, you may find it convenient to first establish the fact that if is finite, then is non-zero for at most countably many .)

## 113 comments

Comments feed for this article

9 September, 2010 at 11:55 pm

Anonymousjust above theorem 2, ”Motivated by this, given any countable sequence …” i guess we need to delete ”countable” from the sentence

Thanks

[Corrected, thanks – T.]10 September, 2010 at 12:00 am

Anonymousin the proof of thm 2 , summation after the sentence ” let F be e finite set….” should be over finite set F, NxN.

[Corrected, thanks – T.]10 September, 2010 at 12:17 am

AnonymousDear Prof. Tao,

in exercise 17, i guess it should be not

Thank you for this great post.

[Corrected, thanks – T.]10 September, 2010 at 1:45 am

Real Analysis (=Measure Theory) by Terence Tao « UGroh's Weblog[…] Grundfragen und Jordansche Maß Lecture 1: Das Lebesguesche […]

10 September, 2010 at 1:53 am

Mark SchwarzmannSome typos: in lemma 9.7, in the definition of the Cantor set and in the definition of a $G_delta$ set, the symbol used is countable union, though it should be a countable intersection. Also, the sentence with the definition of a $G_delta$ set got cut in the middle.

The corollary which you mention in remark 6 can be proven using transfinite induction (at least in the one-dimensional case), no?

10 September, 2010 at 8:44 am

Terence TaoThanks for the corrections!

I hadn’t considered the one-dimensional case, but yes, a transfinite induction (or a continuity argument) would indeed work here. In general, I think one has to use the Heine-Borel theorem at some point (or some other theorem which somehow “detects” the completeness, and hence uncountability, of the reals), since the claim is false for the rationals. But once one uses Heine-Borel one is basically using the Lemma 5 argument.

In one dimension one can use connectedness (Dedekind cuts, etc.) to access the information that the reals are complete, which is why one also has the continuity argument available.

12 September, 2010 at 9:52 pm

Nick GillGood post, although I got a bit confused about when things are being defined, and when they’re proved.

E.g1 (i) and (ii) of exercise 7 are equivalent by definition, right?

E.g.2 In exercise 10 the implication countable additivity => countable subadditivity is immediate, right? Am I missing something profound?!

Lem. 9 has a typo (apart from the double numbering which I’m guess is an accident). In 7 (vii) you should have \cap not \cup.

13 September, 2010 at 8:35 am

Terence TaoThanks for the corrections!

Yes, some of the implications in Exercise 7 are trivial. I phrased it this way so that the statement of the exercise becomes independent of the exact choice of definition of Lebesgue measurability (the definition used here (and in Stein-Shakarchi), based on outer regularity, is a convenient one, but certainly not the only one used in the literature).

Exercise 10 is indeed easy, but not completely trivial; countable additivity only works for disjoint sets, whereas countable subadditivity is for sets that can overlap, so one needs a little trick (more precisely, the lacuna trick from the preceding exercise) to finish the job.

14 September, 2010 at 5:48 am

AnonymousThese are just some questions regarding how you implement your course with the notes: When do you tend to publish these notes to your blog in relation to when you lecture on the material? Are they up well in advance, immediately before, afterward..?

And when you do give the lectures, how many lectures or how much time does a post such as this one cover?

Thanks in advance!

14 September, 2010 at 7:46 am

Terence TaoThis is highly variable, depending on the natural length of each subject topic and the natural amount of material covered in lecture, and my work schedule. Generally, though, the notes are about a week or so ahead of lectures, and each set of notes is good for one to two weeks of lectures. (But my lectures don’t always adhere exactly to the notes.)

15 September, 2010 at 8:14 pm

Beetle B.When you redefine the Jordan outer measure as the inf of a number of boxes, I take it that k is not a fixed quantity?

Thanks.

[Yes; I’ve added a note on this in the text. -T.]16 September, 2010 at 12:04 pm

Chris BreedenProfessor Tao,

I just wanted to express my gratitude that you take your time to post these valuable lecture notes (among everything else you post on your blog). These notes provide a great source of support for some of us inspiring mathematicians (who undoubtably look up to you). However, do you think it would be possible to post (or put on your course website) a pdf rendering of these notes? I’d really like to use these notes to supplement an equivalent course that I am taking at my school.

v/r

16 September, 2010 at 12:36 pm

Chris BreedenProfessor Tao,

I guess you can disregard my inquiry about making these notes available in a more reader friendly format; I just read your comment: https://terrytao.wordpress.com/2010/09/04/245a-prologue-the-problem-of-measure/#comment-46809, concerning making these notes available in latex format.

v/r

16 September, 2010 at 12:36 pm

B.Thanks for the notes. Exercise 23 should require the sets to be disjoint.

[Corrected, thanks – T.]18 September, 2010 at 11:46 am

chandrasekharRespected Sir,

I have always admired you as a Mathematician, and its good to see your wonderful posts which are very useful for undergraduate and Graduate students. These measure theory notes are excellent. By the one question. How do you put those boxes in wordpress.

Thanking you,

Chandrasekhar

19 September, 2010 at 8:10 am

Terence TaoThe boxes come from a customised CSS for this blog, see

https://terrytao.wordpress.com/about/

19 September, 2010 at 12:15 pm

chandrasekharRespected Sir,

Thanks for taking time to reply. By the way, i have one question to ask. Lebesgue integral was discovered, due to the shortcoming of the Riemann integral, does Lebesgue integration have any shortcomings. If what are they, and has any new “Integral” been developed, which is more advanced than the Lebesgue integral.

Chandrasekhar

19 September, 2010 at 2:28 pm

Terence TaoWell, among the class of absolutely integrable and Lebesgue measurable functions, the Lebesgue integral is the only operation that obeys reasonable axioms of integration (e.g. linearity, monotonicity, and countable additivity). So the only way to “improve” the integral further is to add in the ability to integrate some non-measurable, or non-absolutely-integrable functions. Regarding the former type of extension, we know that, due to things such as the Banach-Tarski paradox, we know that by doing so, one will have to give up one or more of the pleasant properties of the Lebesgue integral. Now it may be that one could avoid such problems by only enlarging the class of integrable functions in a very carefully controlled fashion, but it is not clear what benefit that would give, seeing that almost all functions that one actually encounters in practice are Lebesgue measurable (and the ones which are not are so pathological that probably no amount of tinkering with the integration concept can give a truly satisfactory integration theory for such functions).

So the main scope for improvement would then to consider integrals of functions that are measurable, but which oscillate so wildly, or are sufficiently singular (or sufficiently slowly decaying at infinity) that they are not absolutely integrable. In such cases, there are certainly non-Lebesgue ways to integrate such functions (e.g. improper Riemann integrals, principal value integrals, zeta function regularisation, etc.). However, one has to be quite careful with such integration concepts, as not every property that is true for the Lebesgue integral continues to hold for these more exotic integrals. For instance, it is entirely possible that an exotic integral of a non-negative function becomes negative (cf. the famous divergent series identity 1 + 2 + 3 + … = -1/12, which is valid for certain exotic interpretations of the infinite series). Such notions have their uses, but it is best to think of them as exotic variants of the Lebesgue integral, rather than “improvements” of that integral, so that one does not mistakenly apply results from the Lebesgue integration theory to the exotic integrals that lie outside the scope of those results.

19 September, 2010 at 7:21 pm

245A, Notes 2: The Lebesgue integral « What’s new[…] compatible. Conversely, the Lebesgue theory can be approximated by the Riemann theory; as we saw in the previous notes, every Lebesgue measurable set can be approximated (in various senses) by simpler sets, such as […]

22 September, 2010 at 12:24 am

AnonymousDear Prof. Tao,

there is missing in

after remark 1, in formulas (1) and (2), you are using but I guess they should be

is the bijection just after (2) from A to A or B to A?

in the last step of the proof of Lemma 8, do we use Lemma 7?

in Exercise 14, when you say ” E differs from a ….” do you mean outer measure of set differences?

Thanks for this great post and I hope you teach a grad level complex analysis after this course…

[Corrected, thanks. Lemma 7 is not used in the proof of Lemma 8; to obtain an upper bound for an inf, it suffices to bound a single instance of that infimum; one does not need to control arbitrary instances. – T.]23 September, 2010 at 10:00 am

AnonymousProf. Tao: Proving the existence of Lebesque nonmeasurable sets requires the axiom of choice. The above proof is by contradiction. Do existence proofs that require the axiom of choice have to be proofs by contradiction?

23 September, 2010 at 10:46 am

Terence TaoWell, the example of the nonmeasurable set given is completely constructive, once one has the axiom of choice. The only reason the proof is by contradiction is beause the statement one is trying to prove is a negative one: that a set is not measurable. It’s hard to see how else to proceed with proving such a negative statement other than to assume that the set is measurable and derive a contradiction.

(Such arguments (“A implies a contradiction, hence not-A”) are sometimes classified as “proof by negation” rather than “proof by contradiction”, which is then reserved for arguments of the form “not-A implies a contradiction, hence A”). But in classical logic (for which one has the law of the excluded middle, and hence not-not-A is equivalent to A) there is no essential distinction between the two types of proofs.)

1 October, 2010 at 8:16 am

AnonymousAlthough the set E in Prop. 11’s proof is constructed using the axiom of choice, this construction requires an infinite number of arbitrary choices, i.e., there seems to be no way to define E as {x_C : x_C is the unique element of the coset C in [0,1] with the property p}. What definition of a constructive proof do you use?

1 October, 2010 at 10:15 am

Terence TaoThe axiom of choice provides a choice function for any infinite family of non-empty sets. If you like, one can think of ZFC as a powerful computing language that contains a function call choicefunction() that returns a choice function for any such family. If one is permitted to use such a function, then the set described in the notes is constructive. Of course, if one is only working in the weaker computing language of ZF, one cannot do this.

There are however other ways to construct sets that do not involve choice in the construction, but for which the measurability is undecidable; but I do not know the specific details of these constructions.

1 October, 2010 at 12:13 pm

AnonymousThank you for answering my questions.

23 September, 2010 at 12:29 pm

Anonymousif E is unbounded, we define the Jordan outer measure of that set equals zero.

So has infinite Jordan outer measure in ? but any finite line has measure zero?

23 September, 2010 at 12:42 pm

Terence TaoWe give unbounded sets an outer Jordan measure of , by convention, so yes, the entire real line in the plane would have infinite outer Jordan measure even though each bounded segment of that line has outer Jordan measure zero. This demonstrates in particular that outer Jordan measure is not countably subadditive, which is one of the reasons why Lebesgue measure is a superior measure to Jordan measure for the purposes of analysis.

24 September, 2010 at 9:20 am

chandrasekharSir,

Regarding Exercise 1 i have a question. What does it mean when you say is a countable union? If this was a countable union then it would contradict where ‘s are one point sets.

24 September, 2010 at 9:23 am

Terence TaoA countable union is a union of countably many sets, in this case .

It is of course possible for a set to be a countable union of one (countable) family of sets, and an uncountable union of another (uncountable) family of sets, as your example demonstrates (though it would be better to express it as , as the formulation you indicate suggests countability.)

24 September, 2010 at 1:31 pm

Anonymouson your personal web page, I guess there are some mistakes in the codes of previous teaching. Random matrices and higher other fourier analysis’s codes should be 254 not 245. am I right?

[Corrected, thanks – T]Thanks for your great post

24 September, 2010 at 5:12 pm

Anonymouswhen we click on the link random matrix theory from your web page, it send us to real analysis’ page.

[Fixed – T.]25 September, 2010 at 10:59 pm

245A, Notes 3: Integration on abstract measure spaces, and the convergence theorems « What’s new[…] the hypothesis that for at least one is dropped. (Hint: copy the argument used for Exercise 10 in Notes 1.) Exercise 24 (Dominated convergence for sets) Let be a measure space. Let be a sequence of […]

8 October, 2010 at 6:54 am

AnonymousIn exercise 4, to prove countable subadditivity, the hint suggests using the axiom of countable choice, but it seems to me that it can be proved using only the Tonelli’s and the epsilon/2^n trick. Am I missing something here?

8 October, 2010 at 9:42 am

Terence TaoTry writing out your proof in full. At some point, you will need to choose a way to cover each of the by boxes. The ability to make one such choice for each n requires the axiom of countable choice.

In many cases, the axiom of choice is so intuitively obvious that it is possible to use it without being fully aware of doing so…

14 October, 2010 at 4:33 pm

AnonymousDear Professor Tao,

I had a quick question, if A,B are Lebesgue Measurable, we cannot assume that A\B is also lebesgue measurable. Is that correct?

Thank you

14 October, 2010 at 7:32 pm

Terence TaoThe set difference of two Lebesgue measurable sets is Lebesgue measurable; this can be seen by applying parts (v) and (vii) of Lemma 10. (Note that is the intersection of A with the complement of B.)

14 October, 2010 at 7:46 pm

AnonymousThank you Professor. Tao,

This is very clear now, thank you

14 October, 2010 at 8:32 pm

AnonymousDear Professor Tao,

Are there solutions to some of the Exercise problems that was assigned in class? I think this would really help to see how it is actually done right.

Some of these problems look trivial, but when one attempt to solve them, it is very challenging. If some solutions are available (maybe the TA if you are busy), it would help the class and students in general tremendously.

Thank you

15 October, 2010 at 7:42 am

Terence TaoThere should be some presentations of solutions to the exercises (either assigned or unassigned) by students in the TA session (I am assigning a bonus participation point of 1% to the final grade to any student who makes such a presentation). I’ll ask the TA if there needs to be more encouragement to do these presentations.

12 November, 2010 at 9:37 am

QiangHi, Dr. Tao

Have you considered expose solutions of exercises in your lecture notes to the public (of course after submission of assignments in your class)? To people like me who doesn’t have a mathematics background, some exercises are too hard to figure out. I believe some solutions can really help here.

Thank you

15 October, 2010 at 7:06 am

Hossein NaderiDear Professor Tao,

I was wondering if we have an uncountable bounded set, then its outer Lebesgue measure must always be non-zero (greater than 0). Since the only countable box that can cover it has measure non-zero.

Thank you

15 October, 2010 at 7:37 am

Terence TaoThe Cantor set is a one-dimensional example of an uncountable bounded set of measure zero; another simple example is that of line segment in the plane (note that if this line segment is oriented diagonally, then any cover by boxes must involve at least one box of positive volume). The point is that while any single countable cover of boxes will have positive measure, the infimum of all those measures can still be zero.

16 October, 2010 at 8:29 pm

245A, Notes 5: Differentiation theorems « What’s new[…] useful when it comes to the covering lemma stage of the argument, much as it was in Exercise 8 of Notes 1.) Exercise 20 (Besicovich covering lemma in one dimension) Let be a finite family of open […]

30 October, 2010 at 6:54 pm

245A, Notes 6: Outer measures, pre-measures, and product measures « What’s new[…] for instance, Lebesgue outer measure is an outer measure (see Exercise 4 of Notes 1) is an outer measure. On the other hand, Jordan outer measure is only finitely subadditive rather […]

31 October, 2010 at 12:09 am

sabariThis is regarding vitali’s construction of non measurable (Lebesgue)set … it is indeed a beautiful construction… My doubt is is it possible to give an answer to the question ”what might be the possible motivation for Vitali to apply this kind of equivalence relation and then axiom of choice etc for construction of non measurable set?” ..

21 November, 2010 at 7:34 pm

YDear Prof. Tao,

For the Exercise 1, the set in Ex. 18.4 (Notes 0) can give the desired countable union . Is possible to use or to construct ? Or does one need some other tools to do it?

22 November, 2010 at 8:56 am

Terence TaoUse de Morgan’s laws (localised to a bounded region) to flip the example for the union to an example for the intersection (cf. Trick 4 from the problem solving strategies page).

29 November, 2010 at 8:02 pm

AnonymousProf. Tao,

Could you explain where one needs the axiom of countable choice for “Countable subadditivity” in Exercise 3? Is it because when one says, for any , there exists a cover for , such that , one needs this axiom? Or anywhere else? My reason seems not that convincing.

29 November, 2010 at 8:34 pm

Terence TaoYes. There are a countable number of k for which one needs to choose a cover, so one needs the axiom of countable choice.

11 December, 2010 at 12:48 pm

AnonymousProf. Tao,

In Exercise 3.3, I don’t quite understand exactly why one needs Tonelli’s theorem for series here. From the right hand side, by axiom of countable choice and the trick, one can have the estimate where . Since , can one directly use ? Where is Tonelli here?

11 December, 2010 at 1:35 pm

Terence TaoThe doubly infinite family is not, strictly speaking, a countable cover of , but is (relabeling to identify it with if desired). So it is the sum , rather than , which is relevant for computing the outer measure of . Tonelli’s theorem guarantees that these two sums are the same and so the distinction is largely invisible.

(More generally, Fubini-Tonelli is not

solelyabout interchanging sums or integrals, although this is certainly the most popular way to use this theorem; it is also about converting double sums or integrals into a sum or integral over the product space.)29 December, 2010 at 5:53 am

AnonymousDear Sir,

I don’t quite understand why “the double infinite family is not, strictly speaking, a countable cover of the union of E_n”, as the latter is contained in the former (in particular, each E_n is contained in union of B_{n,k}) ?

Thanks!

29 December, 2010 at 9:42 am

Terence TaoA countable cover needs to be a countable family of sets that cover the desired set (in this case, ). Strictly speaking,

is not a countable family of sets that cover the desired set, but rather a countable family of countable families of sets, each of which cover a portion of the desired set. But, as mentioned above, if one rearranges the doubly infinite family into a singly infinite family , then one obtains a countable cover.

In practice, of course, one does not bother to make such pedantic distinctions, and usually “abuses notation” by identifying with . But at a foundational level they are slightly different objects, as can be seen by considering the standard encoding of tuples such as in set theory. (For similar reasons, a double sum is a slightly different object than the single sum , although we are fortunate to have Tonelli’s theorem, which asserts that these two sums always have the same value, at least when the are non-negative.)

29 December, 2010 at 7:51 pm

AnonymousThanks for pointing out the subtlties here!

So does it mean that the sum actually represents a whole ‘class’ of summation (e.g. we can do it as or ) and with the doubly infinite sumation $\latex \sum_{n=1}^\infty\sum_{k=1}^\infty|B_{n,k}|$ as a special case?

1 December, 2010 at 6:03 pm

AnonymousProf. Tao,

I’m confused for here. When one adds the to , then any sequence in the non-negative real axis has a limit and every unsigned infinite sum exists. This is the bonus you pointed out. But what do you mean by defining a function like ? How can one clarify when one says takes the “value” at some point , i.e. ? Is it something like , then ? It seems that only when one deals with the “limit process”, the will come up. How should I understand it here?

1 December, 2010 at 8:13 pm

Terence TaoA function can be defined from any domain to any range , by defining for each by whatever rule one pleases. For instance, the constant function would be an example of a function from any given domain to . The expression does not quite define a function on , being undefined at 0, but the function defined by setting for and for is a function. So is the function defined by setting for and for .

In real analysis, functions with some infinite values do indeed arise primarily from taking limits of sequences, or summing infinite series.

11 December, 2010 at 8:47 am

AnonymousDear Prof. Tao,

In remark 2 “before one is permitted to interchange integrals”, do you mean “before one is permitted to interchange Summation”?

[Corrected, thanks – T.]16 December, 2010 at 4:28 am

245A, Notes 2: The Lebesgue integral « mathTHÍCHinTOÁNmyHỌCbrain[…] compatible. Conversely, the Lebesgue theory can be approximated by the Riemann theory; as we saw in the previous notes, every Lebesgue measurable set can be approximated (in various senses) by simpler sets, such as […]

24 December, 2010 at 9:52 am

AnonymousDear Prof. Tao,

In Remark 5, “On the other hand, by countable additivity”, do you mean “countable subadditivity”?

What’s more, considering the in “Finally, as is dense in “, do you mean ? But the notation is for another set, i.e. , the union of the open set.

[Corrected, thanks – T.]30 December, 2010 at 3:31 am

AnonMight be nice to note that these arguments work more generally in the context of the (proof of the) Riesz representation theorem for positive measures.

30 December, 2010 at 3:40 am

AnonMight also be nice to note that you can’t find non-measurable sets in ZF (without choice).

5 January, 2011 at 5:07 am

AnonymousDear Prof. Tao,

I cannot read the whole passage for “give yourself an epsilon of room” in the following link,

http://www.tricki.org/article/Create_an_epsilon_of_room

Could you help me with this?

8 January, 2011 at 3:24 pm

AnonymousThanks for your comment at Tricki :)

10 January, 2011 at 7:27 pm

AnonymousGlad to see that it works now! :)

5 January, 2011 at 6:04 am

Anonymous“Of course, one cannot hope to upgrade countable additivity to uncountable additivity:”

Should “additivity” here be “subadditivity”?

[Corrected, thanks – T.]27 September, 2011 at 3:30 pm

254A, Notes 3: Haar measure and the Peter-Weyl theorem « What’s new[…] a Haar measure. Example 1 A large part of the foundations of Lebesgue measure theory (e.g. most of these lecture notes of mine) can be summed up in the single statement that Lebesgue measure is a (bi-invariant) Haar measure on […]

2 May, 2012 at 7:52 am

DelProfessor Tao, in exercise 1.2.7 which countable intersections do we take? Thank you for all your wonderful notes.

27 December, 2012 at 4:59 pm

JackRegarding Exercise 5 of giving a counterexample, , should work. It seems that disjoint and can be close enough to each other at “infinity” in the 1 dimensional case. Can one find other fundamentally different counterexamples in ? What if we restrict the space as n-sphere (n=1,2,3)? If one uses the 1-1 correspondence between and , that counterexample seems to fail.

7 June, 2013 at 12:59 pm

AnonymousYo dawg,

You made a small mistake. The E&F you described aren’t disjoint: perhaps you meant F=\{2n+1/n\}_{n=1}^{\infty}.

Peace

– P-Dizzle

28 December, 2012 at 7:24 am

JackCan one prove Lemma 6 for the “boxes” first, and then use finite additivity for both side? Is Heine-Borel Theorem still needed?

28 December, 2012 at 11:13 am

Terence TaoThe proof of Lemma 6, even for a single box, is about as difficult as for a general elementary set, and still requires Heine-Borel. (In particular, since Lemma 6 fails for the rationals Q (even for a single box) as noted in the text, one must at some point use a fact – such as the Heine-Borel theorem – which is true for the reals but not for the rationals.)

28 December, 2012 at 12:43 pm

Jack“Even for a single box” — do you mean “even for the rationals Q in a single box”?

This is basically the remark following Lemma 6. I’m a little bit confused why “Countable sets have zero out measure” suggests the proof of this lemma use some crucial fact about the real line. What I think is that Lemma 6 fails for the rationals Q “because” Q is not Jordan measurable thus m(Q) does not exist and hence is not true (since there is no m(Q)). But I don’t see why this motivates the use of “some crucial fact” of the real line.

I guess what you indicate in the “remark” (which is Remark 1.2.7 in the book) is that is false where E is an elementary set (even when E is a single box), and this suggests that one needs some crucial fact about the real line to show .

Is that precisely your point?

28 December, 2012 at 3:05 pm

Terence TaoThat is true, but is not quite the point I was getting at.

Suppose one had never heard of the real numbers at all, but instead only knew about the rational numbers . Then one could still define the notion of an interval for rational numbers , except that to this person, the interval would consist only of rationals:

.

One could still define the notion of elementary set and Jordan measure in this setting: the above rational interval would be a “rational elementary set” with “rational Jordan measure” or “rational elementary measure” , and similarly for “rational boxes”, finite unions of rational boxes, etc. (The theory of the Riemann integral works as well in the rational setting, provided that one works with uniformly continuous functions – note that because the rationals are not locally compact, continuity does not automatically imply uniform continuity.)

One can then also define the “rational outer measure ” of any subset of the rationals, but this turns out to always be zero (because of the countability of the rationals), and so in this setting the assertion that is false (here is interpreted as the rational elementary measure of a rational elementary set, rather than the real elementary measure of a real elementary set).

This tells us that any proof of for real elementary sets, real elementary measure, and real outer measure must use some fact about the reals which is not true for the rationals, for otherwise whatever argument one would come up with would also be able to prove for rational elementary sets, rational elementary measure, and rational outer measure, and this statement is false.

29 December, 2012 at 5:05 pm

JackI’ve seen the term “regularity” in many mathematical context lots of times. But it’s never defined mathematically. In this note, it is used in “outer regularity”. I also saw people use “regularity of a function” when they mean smoothness or differentiability of a function. (In complex analysis, some people use “regular” when they mean “holomorphic”. In some real analysis textbook, people say “Borel regularity of Lebesgue outer measure”.) And in set theory, there is an axiom called [axiom of regularity](http://en.wikipedia.org/wiki/Axiom_of_regularity). An quick search in MathOverflow returns this term in many different subjects in mathematics. People also use it in seminars without giving specific meaning. How should one understand this term?

29 December, 2012 at 6:38 pm

Terence Taohttp://en.wikipedia.org/wiki/Regular#Mathematics

1 January, 2013 at 8:01 am

JackRegarding Exercise 8, (ii)–>(iii) is trivial. (iii)–>(ii) is not obvious for me. If is open, then is the desired open set in (ii). But this seems not helpful for the general case. How can one find the open set containing from hypothesis (iii)?

1 January, 2013 at 9:08 am

Terence TaoOnce one establishes the implication (vi)->(i) using the hint given in the exercise, getting from (iii) to (ii) will be easy. (It may help to draw a graph between the six statements depicting the implications you are able to establish.)

2 January, 2013 at 8:09 pm

JackI don’t understand the hint for (vi)–>(i) for

1. To show is Lebesgue measurable (L-measurable), one needs an open set containg E such that . What’s the point of showing that differs from a Lebesgue measurable set by a null set? Do you mean where is L-measurable implies is measurable? (It seems that this is nothing different from (vi) itself.)

2. Since is contained in in the hint, . Thus . This is almost the definition of L-measurable. Can one directly use the open set containing with to show that ?

2 January, 2013 at 8:43 pm

Terence TaoYou don’t have to use first principles (i.e. Definition 1 directly) to deduce (i) from (vi) – this would indeed be quite difficult. Instead, you can use the results already established about Lebesgue measurability, and in particular Lemma 10.

2 January, 2013 at 9:15 pm

JackIn the hint, the first step is to find “containing” . But using the trick one could somehow get back and forth with in the hypothesis. How can make the union of some families of sets (where the trick is used) “cover” ? Could you elaborate the hint?

2 January, 2013 at 9:36 pm

JackI found that the symmetric difference is usually not easy to handle in most of the exercises in this and previous note, unlike and , which can be translated to each other by De Morgan’s law. If one wants to contain in some set, the symmetry difference only gives a set containing partially. How is this situation usually solved? I’ve never seen proofs of a theorem or proposition which includes symmetry difference are given in this notes. It appears only in the exercises. Is it because the manipulation is supposed to be “trivial”?

3 January, 2013 at 9:16 am

Terence TaoOne can interpret a bound such as as an assertion that the set differs from the set by the addition and removal of sets of total measure at most .

For these sorts of problems, visual, geometric, or analytic modes of thinking are more fruitful than formal or algebraic modes of thinking (in particular, I do not recommend using de Morgan’s laws, etc.). Drawing a picture of the situation, in particular, can be very helpful. See also https://terrytao.wordpress.com/2010/10/21/245a-problem-solving-strategies/ for general problem solving strategies.

10 January, 2013 at 7:48 am

Jack(i)(ii) is from the definition. (ii)–>(iii) is trivial. Using your hint I can show (iii)–>(vi)–>(ii). Thus the equivalence of (i)-(iii)and (vi) is established. (iv)–>(v)–>(vi) is also trivial. How can I get (iv) from any one of (ii),(iii) and (vi)?

4 January, 2013 at 3:57 pm

JackRegarding Exercise 12, can be established by induction. Hence for all . But I don’t see how this implies . Should one show first that ?

[Yes – T.]5 January, 2013 at 7:08 am

JackIn Exercise 13, is there any relationship between and ? The discrete metric is very “similar” to the indicator function. Is the pointwise convergence of sets defined in this exercise exactly the same as the “general set convergence” in [this wikipedia article](http://en.wikipedia.org/wiki/Limit_superior_and_limit_inferior#General_set_convergence)?

[Yes, there is a connection; it is an instructive exercise to work out exactly what it is. – T.]6 January, 2013 at 1:07 pm

JackFor Exercise 15, Ex.8 (iv) gives the proof when is bounded. How should one deal with the unbounded ?

Regarding, Ex.16, most of the “Lebesgue measurable” part of implication is from Ex.8. I don’t see the way to get (i)–>(iii). The boundedness of the open set in (iii) should be somehow from the hypothesis . But how should one make such bounded?

[Take advantage of monotone convergence (Exercise 11). -T]6 January, 2013 at 5:19 pm

JackI don’t see why the monotone convergence would help for Exercise 15. When , there exists a compact set such that , i.e., . Exercise 8 gives a closed but not necessarily bounded . (When is bounded, this is done.)

The technique used for handling an unbounded set in the proof of Lemma 11 is decomposing E with annulus. Locally one can get a compact set from inside, but when taking union, one may not get a compact set again. What I got so far is where .

How would the the monotone convergence in Exercise 11 help??

[. See also Trick 6 from https://terrytao.wordpress.com/2010/10/21/245a-problem-solving-strategies/ -T.]19 January, 2013 at 3:15 pm

JackAs you pointed out in Remark 1, there is a tradeoff between having the negative number and infinity. Thus we either work on or . Why would one not work on ?

21 January, 2013 at 8:27 am

JackThis is kind of a dumb question: it’s just because would be undefined in I think.

18 March, 2013 at 11:37 am

AnonymousI saw some books misleadingly call the “Monotone convergence theorem for measurable sets” as “continuity of measure”. Probably because it looks like for a function on a metric space. Is it still possible to view the “MCT for measurable sets” as a result of continuity of on some topological space?

22 April, 2013 at 12:02 pm

Andy Qingyun ZengFor the example of non-measurable set, can we infer some properties of it, such as density and countablility?

11 May, 2013 at 11:46 pm

Luqing YeA remark to unmeasurable set:

The unmeasurable constructed in the post is called Vitali unmeasurable set,in fact,from its construction,Vitali set is highly undetermined,because it uses Axiom of Choice. The outer measure of the Vitali set ranges over ,in fact,I think from its construction,we can that the outer measure of a Vitali set can be any real number in .

It need not to be dense(But it could be dense),but it is must be uncountable,because any countable set is measurable.

28 April, 2013 at 9:16 am

Luqing YeI am particularly interested in Example 1.As had been said by me yesterday in https://terrytao.wordpress.com/2010/09/04/245a-prologue-the-problem-of-measure/#comment-226505

I said:

“”

So,in the changing from arbitrary finite cover to arbitrary countable cover,there is really something significant happen that result in such difference!Finite cover,though arbitrary,is still finite,we do not expect any thing amazing from finite stuff.But countable infinite is a really big step,there must be something in it that makes things work !But I have to go to sleep first!

“”

Now I figure out why Lebesgue outer measure is better than Jordan outer measure,that is ,why arbitrary countable cover is better than arbitrary finite cover.

When covering finite number of points,in fact,those two types of cover are equivalent,one is not better than the other.

When covering countable infinite number of points,however,the superiority of the arbitratry countable cover begins to show up.When covering a point,in the case of countable cover,one can always be able to cover this point by “arbitrary” small box,so the “cost” of covering a point can be very small.But in the case of finite cover,the box which cover a point can not be arbitrary small because of the finiteness of the covering,so the “cost” of covering a point can not be very small!For example,the Jordan outer measure of is infinite,but the Lebesgue outer measure of is 0.

28 April, 2013 at 9:35 am

Luqing YeI need to correct what I just said and make some supplements.

The last sentence of my commet should be deleted.”For example,the Jordan outer measure of \mathbf{Z} is infinite,but the Lebesgue outer measure of \mathbf{Z} is 0.”,this is not true,because $\mathbf{Z}$ does not has Jordan outer measure.

So this also reflects a big disadvantage of Jordan outer measure,that is ,it can not measure any unbounded sets!

29 April, 2013 at 1:40 am

Luqing YeI think there is another method to prove the Countable

subadditivity(Exercise 4,(3)).

1.First,It is easy to verify that if is a

countable sequence of sets,and ,there exists open

boxes ,such that ,and ,Then we have

.

2.Then,based on the conclusion in 1,we can prove that if is a

countable sequence of sets,and there exists ,for any open box

that covers , covers ,we must have

.

Then we must have if is finite,we must have

if is infinite.

30 April, 2013 at 9:25 am

Luqing YeA remark to Lemma 8:

“Let be an open set. Then can be expressed as the countable union of almost disjoint boxes (and, in fact, as the countable union of almost disjoint closed cubes).”

I think that the following is also true:

Let be an open set. Then can be expressed UNIQUELY as the countable union of disjoint open boxes.

30 April, 2013 at 9:43 am

Luqing YeA remark to Lemma 9(outer regularity)

Outer regularity can also be stated as this way,which is also the way I prefer:

1 May, 2013 at 10:12 am

Luqing YeA remark to lemma 11(countable additivity),(2).

This lemma tells us the simple fact that disjoint Lebesgue measurable sets has the property of countable additivity,the proof,however,is rather tough,and long.

When faced with such a proof,I usually do not like to read it,because even though I read it,the proof still belongs to the one who find out it.Mathematics,do not like other subjects such as language——Even if you see a proof many times , it still do not belongs to you.In order to truely understand a proof,you have to find it out yourself,or,if the proof is so hard that it does not worth to invest too much time in it, at least you should try to simplify it or rewrite it in your own way,or decompose it in simpler steps.

So I find a proof myself,I think my proof is a bit simpler than Mr.Tao’s proof.Now let me start the proof.

As a preliminary,I have already proved that a set is L-measurable iff it satisfy the Carathéodory criterion.

Let ,We first prove that is L-measurable,that is ,according to Caratheodory criterion,,.

According to the sub-additivity property of outer measure,we know that ,so we only need to prove that .

According to the Morgan law,we just need to prove that

.

According to the outer regularity(Lemma 9,see also my comment https://terrytao.wordpress.com/2010/09/09/245a-notes-1-lebesgue-measure/#comment-227019 ),we just need to prove that

.

According to the Monotonicity property of outer measure,we know that .

So we just need to prove that

………….(1)

According to the L-measurability of (together with the mathematical induction),we know that

,

so (1) holds.So is L-measurable.Now we prove that

.

According to the outer regularity(Lemma 9,see also my comment https://terrytao.wordpress.com/2010/09/09/245a-notes-1-lebesgue-measure/#comment-227019 ),we have

.

Then according to the finite additivity of disjoint L-measurable sets(The finite additivity of disjoint L-measurable sets can be easily proved by using Caratheodory criterion together with the mathematical induction.),we have .

Done.

2 May, 2013 at 12:09 am

Luqing Ye———-

A remark to Exercise 11,(2),(Downward

monotone convergence) .

It seems that the condition here is stronger than in Mr.Tao’s book

“Analysis”,exercise 18.2.3.

In that book,the Downward monotone convergence theorem is stated as

follows:

Show that if is a decreasing

sequence of measurable sets,and ,then we have

.

At that time,my proof to that exercise is stated as follows:

——————————–

Firstly,by the algebra property,we know that

is measurable.

Then,it is easy to verify that .So .

According to the finite additivity of disjoint measurable sets,we have

.

( is finite,so the operation of minus makes sense).

According to Exercise 11,(1)(Upward monotone convergence),we have

,so .

————————-

But,surprizingly,the condition in Exercise 11,(2) is a bit

stronger than in Mr.Tao’s book, does not need to be

finite,in the case of when is not finite, is

finite,the theorem also holds!

So I think I need to change my proof a bit to prove this stronger

theorem.Now I figure out it,I even do not need to change my

proof,because ”the stronger theorem” only make use of the fact that

the first finite elements of a sequence do not affect its limit!HaHaHaHa…

2 May, 2013 at 9:19 pm

Luqing YeA remark to Exercise 13,(1).

This exercise is stated as follows:

“Show that if the are all Lebesgue measurable, and converge pointwise to , then is Lebesgue measurable also.”

I love this exercise,because this exercise makes me think again about the distinction between the uniform convergence and pointwise convergence.

I think uniform convergence correspond to the finite intersection of sets,and pointwise convergence correspond to the infinite(countable or uncountable) intersection of sets.

In this particular exercise,pointwise convergence correspond to the countable intersection of sets(Because is countable).

2 May, 2013 at 11:00 pm

Luqing YeA remark to Exercise 15,(inner regularity).

Inner regularity is just a counterpart to outer regularity.Just consider the complement of the measurable set will be enough.

But now I still have something to think.In the case of outer regularity(lemma 9),why has to be open?

Open set.I frequently see open set in real analysis.Why open set?I think one reason mathematician like open set,is that,open set has a good property:

Every open set in can be expressed uniquely into at most countable union of open boxes.

This property makes us define the outer measure more conveniently.Because it is easy to define the volume of at most countable union of open boxes.

So if we don’t use open set in outer measure,to reach the same effect,we have to use at most countable union of elementary boxes instead,this becomes more inconvenient in language.

3 May, 2013 at 6:28 am

Luqing YeA remark to Exercise 21:

In my comment https://terrytao.wordpress.com/2010/09/04/245a-prologue-the-problem-of-measure/#comment-226452,I have proved this result in the case of Jordan measure.

Now I begin to prove this result in the case of Lebesgue measure.Of course,I will try to base my argument on my proof in the case of Jordan measure.

So the proof becomes simple,based on two facts:

1.A Lebesgue measurable set can be arbitrarily approximated by a Jordan measurable set.

2.A linear transformation from to itself will not transform a set whose outer measure is very small to a set whose outer measure is far larger.

Fact 1 can be easily proved by the definition of Lebesgue measure.

Fact 2 can be easily proved by the change of variables formula in Jordan measure.

3 May, 2013 at 9:37 pm

Luqing YeIn fact,I think if there is no irrationional number in mathematical world,i.e,there exists only rational number system in mathematics,then Jordan measure will be enough,and we don’t need Lebesgue measure.

Unfortunately(Or fortunately?),there is real number system,so we need Lebesgue measure.

Jordan measure is suitable for ,Lebesgue measure is suitable for .

So if we only use Jordan measure in ,that will be not enough.

Jordan measure is dense,but Lebesgue measure is complete!

Complete stuff is real infinity,and dense stuff is not real infinity.Like a natural number,a natural number is finite,but the set of all the natural number is infinite!

4 May, 2013 at 7:41 am

Luqing YeA remark to Exercise 27:

———–

What is the use of the condition “continuously differentiable” ?

Continuously differentiable reminds of the motion of a mass point in physics. is continuously differentiable.

Maybe with this condition,we can compute the length of the curve?Does a curve which has length in higher dimensional space has outer measure zero?What does a curve which has length mean?

———–

The above is what I thought when I didn’t know how to solve this problem.Now I figure out it,the condition “continuously differentiable” enable us to approximate this curve by a polygonal line very well!Note that “continuous” is also needed,otherwise,the curve may change so rapidly in an arbitrarily small scale that we can not approximate it well by using polygonal line.

28 May, 2014 at 7:00 am

Anonymousin the remark, , do we have all the combinations of these inequalities?

gives and when is a Jordan measurable set, we have the equalities. I don’t have examples for

and

.

[Experiment with Boolean combinations of your original example , e.g. taking complements in , or taking unions or other combinations with translates of your original example. -T.]28 May, 2014 at 7:16 am

AnonymousI don’t quite understand the following remark:

“one does not gain any increase in power in the Jordan inner measure by replacing finite unions of boxes with countable ones.”

– Does “increase in power” for Lebesgue outer measure (which is defined by replacing finite unions of boxes with countable ones in Jordan out measure) refer to countable subadditivity?

– The asymmetry “ultimately arises from the fact that elementary measure is subadditive rather than superadditive”. Could you elaborate this point further?

28 May, 2014 at 10:08 am

Terence TaoIf one tries to define a “Lebesgue inner measure” by naive analogy with Lebesgue outer measure, that is to say by taking the sup over all countable collections of disjoint boxes inside the set, one gets exactly the same measure as Jordan inner measure. In contrast, the Lebesgue outer measure can be significantly smaller than the Jordan outer measure, and thus come much closer to measuring the “true” size of the set. In particular, Lebesgue outer measure gives the “correct” answer for the measure of a set far more often than Jordan inner or outer measure, which is what I mean by power (and countable subadditivity is of course further confirmation of this fact).

For the final remark, I am referring to the basic fact that if E and F are elementary sets (possibly overlapping), then we have the subadditivity property , but not the superadditivity property . This creates an asymmetry between lower and upper bounds, which is ultimately why Lebesgue outer measure obeys a useful countable subadditivity property, whereas “Lebesgue inner measure” as naively defined above enjoys no comparable property.

29 May, 2014 at 7:38 am

AnonymousThe conclusion in Exercise 6 seems very unnatural: on one side of the equality, is approximated by finite union of boxes from inside; one the other side, it is approximated by countable union of boxes from outside. Does the asymmetry here arise from the same fact?

In the elementary and Jordan measure theory (and Riemann integration), one can see the symmetry such as inner and outer measure, lower and upper integral and the terms “measurable”, “integrable” are defined when the “symmetric” concepts are equal to each other. Can one say that in Lebesgue measure and integration theory, such symmetry does not exist any more (one does have the correct version of the Lebesgue inner measure though, things are note defined as “when lower and upper or inner and outer stuffs match with each other…”) and it is this asymmetry that makes the Lebesgue theory more “powerful” than the Riemann integration theory?

29 May, 2014 at 7:12 am

AnonymousI don’t see why “If one tries to define a “Lebesgue inner measure” by naive analogy with Lebesgue outer measure, one gets exactly the same measure as Jordan inner measure”.

Let for any be the naive definition. I’m trying to show as you said that

.

The direction is obvious since one can replace the finite union with the infinite one using empty sets. I don’t see why is true. I thought Lemma 7 might be useful since one could have the estimate

if one has the elementary set such that

. But I don’t see why such exists.

Could you explain why one can achieve the second inequality?

29 May, 2014 at 7:40 am

Terence TaoFor any , one can find such that . For instance, if is finite, one can find such that .

1 June, 2014 at 8:00 am

PeterI don’t see why “If one tries to define a “Lebesgue inner measure” by naive analogy with Lebesgue outer measure, one gets exactly the same measure as Jordan inner measure”. Let \displaystyle m_*(E):=\sup_{\cup_n^\infty B_n\subset E} \sum_{n=1}^\infty |B_n| for any E\subset{\bf R}^d be the naive definition. I’m trying to show as you said that […]

For any X < \sum_{n=1}^\infty |B_n|, one can find N such that \sum_{n=1}^N |B_n| \geq X. For instance, if \sum_{n=1}^\infty |B_n| is finite, one can find N such that \sum_{n=1}^N |B_n| \geq \sum_{n=1}^\infty |B_n| – \vvarepsilon.

1 June, 2014 at 8:32 am

Terence TaoAn infinite sum of non-negative quantities is the least upper bound of its partial sums .

Also, to define inner measure in a reasonable way in this fashion, one would have to insist that the are disjoint or almost disjoint (if one could re-use the same box over and over again, then any set with non-trivial interior would have infinite inner measure.)

29 September, 2015 at 9:55 pm

275A, Notes 0: Foundations of probability theory | What's new[…] to say products of closed intervals. The construction of Lebesgue measure is a little tricky; see this previous blog post for […]