One of the most fundamental concepts in Euclidean geometry is that of the *measure* of a solid body in one or more dimensions. In one, two, and three dimensions, we refer to this measure as the *length*, *area*, or *volume* of respectively. In the classical approach to geometry, the measure of a body was often computed by partitioning that body into finitely many components, moving around each component by a rigid motion (e.g. a translation or rotation), and then reassembling those components to form a simpler body which presumably has the same area. One could also obtain lower and upper bounds on the measure of a body by computing the measure of some inscribed or circumscribed body; this ancient idea goes all the way back to the work of Archimedes at least. Such arguments can be justified by an appeal to geometric intuition, or simply by postulating the existence of a measure that can be assigned to all solid bodies , and which obeys a collection of geometrically reasonable axioms. One can also justify the concept of measure on “physical” or “reductionistic” grounds, viewing the measure of a macroscopic body as the sum of the measures of its microscopic components.

With the advent of analytic geometry, however, Euclidean geometry became reinterpreted as the study of Cartesian products of the real line . Using this analytic foundation rather than the classical geometrical one, it was no longer intuitively obvious how to define the measure of a general subset of ; we will refer to this (somewhat vaguely defined) problem of writing down the “correct” definition of measure as the *problem of measure*. (One can also pose the problem of measure on other domains than Euclidean space, such as a Riemannian manifold, but we will focus on the Euclidean case here for simplicity.)

To see why this problem exists at all, let us try to formalise some of the intuition for measure discussed earlier. The physical intuition of defining the measure of a body to be the sum of the measure of its component “atoms” runs into an immediate problem: a typical solid body would consist of an infinite (and uncountable) number of points, each of which has a measure of zero; and the product is indeterminate. To make matters worse, two bodies that have exactly the same number of points, need not have the same measure. For instance, in one dimension, the intervals and are in one-to-one correspondence (using the bijection from to ), but of course is twice as long as . So one can disassemble into an uncountable number of points and reassemble them to form a set of twice the length.

Of course, one can point to the infinite (and uncountable) number of components in this disassembly as being the cause of this breakdown of intuition, and restrict attention to just finite partitions. But one still runs into trouble here for a number of reasons, the most striking of which is the Banach-Tarski paradox, which shows that the unit ball in three dimensions can be disassembled into a finite number of pieces (in fact, just five pieces suffice), which can then be reassembled (after translating and rotating each of the pieces) to form two disjoint copies of the ball . (The paradox only works in three dimensions and higher, for reasons having to do with the property of amenability; see this blog post for further discussion of this interesting topic, which is unfortunately too much of a digression from the current subject.)

Here, the problem is that the pieces used in this decomposition are highly pathological in nature; among other things, their construction requires use of the axiom of choice. (This is in fact necessary; there are models of set theory without the axiom of choice in which the Banach-Tarski paradox does not occur, thanks to a famous theorem of Solovay.) Such pathological sets almost never come up in practical applications of mathematics. Because of this, the standard solution to the problem of measure has been to abandon the goal of measuring *every* subset of , and instead to settle for only measuring a certain subclass of “non-pathological” subsets of , which are then referred to as the *measurable sets*. The problem of measure then divides into several subproblems:

- What does it mean for a subset of to be measurable?
- If a set is measurable, how does one define its measure?
- What nice properties or axioms does measure (or the concept of measurability) obey?
- Are “ordinary” sets such as cubes, balls, polyhedra, etc. measurable?
- Does the measure of an “ordinary” set equal the “naive geometric measure” of such sets? (e.g. is the measure of an rectangle equal to ?)

These questions are somewhat open-ended in formulation, and there is no unique answer to them; in particular, one can expand the class of measurable sets at the expense of losing one or more nice properties of measure in the process (e.g. finite or countable additivity, translation invariance, or rotation invariance). However, there are two basic answers which, between them, suffice for most applications. The first is the concept of Jordan measure of a Jordan measurable set, which is a concept closely related to that of the Riemann integral (or Darboux integral). This concept is elementary enough to be systematically studied in an undergraduate analysis course, and suffices for measuring most of the “ordinary” sets (e.g. the area under the graph of a continuous function) in many branches of mathematics. However, when one turns to the type of sets that arise in *analysis*, and in particular those sets that arise as *limits* (in various senses) of other sets, it turns out that the Jordan concept of measurability is not quite adequate, and must be extended to the more general notion of *Lebesgue measurability*, with the corresponding notion of Lebesgue measure that extends Jordan measure. With the Lebesgue theory (which can be viewed as a *completion* of the Jordan-Darboux-Riemann theory), one keeps almost all of the desirable properties of Jordan measure, but with the crucial additional property that many features of the Lebesgue theory are preserved under limits (as exemplified in the fundamental *convergence theorems* of the Lebesgue theory, such as the monotone convergence theorem and the dominated convergence theorem, which do not hold in the Jordan-Darboux-Riemann setting). As such, they are particularly well suited for applications in analysis, where limits of functions or sets arise all the time. (There are other ways to extend Jordan measure and the Riemann integral, but the Lebesgue approach handles limits better than the other alternatives, and so has become the standard approach in analysis.)

In the rest of the course, we will formally define Lebesgue measure and the Lebesgue integral, as well as the more general concept of an abstract measure space and the associated integration operation. In the rest of this post, we will discuss the more elementary concepts of Jordan measure and the Riemann integral. This material will eventually be superceded by the more powerful theory to be treated in the main body of the course; but it will serve as motivation for that later material, as well as providing some continuity with the treatment of measure and integration in undergraduate analysis courses.

** — 1. Elementary measure — **

Before we discuss Jordan measure, we discuss the even simpler notion of *elementary measure*, which allows one to measure a very simple class of sets, namely the *elementary sets* (finite unions of boxes).

Definition 1 (Intervals, boxes, elementary sets)Anintervalis a subset of of the form , , , or , where are real numbers. We define thelengthof an interval to be . (Note we allow degenerate intervals of zero length.) Aboxin is a Cartesian product of intervals (not necessarily of the same length), thus for instance an interval is a one-dimensional box. Thevolumeof such a box is defined as . Anelementary setis any subset of which is the union of a finite number of boxes.

Exercise 1 (Boolean closure)Show that if are elementary sets, then the union , the intersection , and the set theoretic difference , and the symmetric difference are also elementary. If , show that the translate is also an elementary set.

We now give each elementary set a measure.

Lemma 2 (Measure of an elementary set)Let be an elementary set.

- can be expressed as the finite union of
disjointboxes.- If is partitioned as the finite union of disjoint boxes, then the quantity is independent of the partition. In other words, given any other partition of , one has .
We refer to as the

elementary measureof . (We occasionally write as to emphasise the -dimensional nature of the measure.) Thus, for example, the elementary measure of is .

*Proof:* We first prove (1.) in the one-dimensional case . Given any finite collection of intervals , one can place the endpoints of these intervals in increasing order (discarding repetitions). Looking at the open intervals between these endpoints, together with the endpoints themselves (viewed as intervals of length zero), we see that there exists a finite collection of disjoint intervals such that each of the are a union of some subcollection of the . This already gives (1.) when . To prove the higher dimensional case, we express as the union of boxes . For each , we use the one-dimensional argument to express as the union of subcollections of a collection of disjoint intervals. Taking Cartesian products, we can express the as finite unions of boxes , where for all . Such boxes are all disjoint, and the claim follows.

To prove (2.) we use a discretisation argument. Observe (exercise!) that for any interval , the length of can be recovered by the limiting formula

where and denotes the cardinality of a finite set . Taking Cartesian products, we see that

for any box , and in particular that

Denoting the right-hand side as , we obtain the claim (2.).

Exercise 2Give an alternate proof of part (2.) of the above lemma by showing that any two partitions of into boxes admit a mutual refinement into boxes that arise from taking Cartesian products of elements from finite collections of disjoint intervals.

Remark 1One might be tempted to now define the measure of an arbitrary set by the formulasince this worked well for elementary sets. However, this definition is not particularly satisfactory for a number of reasons. Firstly, one can concoct examples in which the limit does not exist (Exercise!). Even when the limit does exist, this concept does not obey reasonable properties such as translation invariance. For instance, if and , then this definition would give a measure of , but would give the translate a measure of zero. Nevertheless, the formula (1) will be valid for all Jordan measurable sets (see Exercise 13). It also makes precise an important intuition, namely that the continuous concept of measure can be viewed as a limit of the discrete concept of (normalised) cardinality. (Another way to obtain continuous measure as the limit of discrete measure is via Monte Carlo integration, although in order to rigorously introduce the probability theory needed to set up Monte Carlo integration properly, one already needs to develop a large part of measure theory, so this perspective, while intuitive, is not suitable for foundational purposes.)

From the definitions, it is clear that is a non-negative real number for every elementary set , and that

whenever and are disjoint elementary sets. We refer to the latter property as *finite additivity*; by induction it also implies that

whenever are disjoint elementary sets. We also have the obvious degenerate case

Finally, elementary measure clearly extends the notion of volume, in the sense that

for all boxes .

From non-negativity and finite additivity (and Exercise 1) we conclude the *monotonicity property*

whenever are nested elementary sets. From this and finite additivity (and Exercise 1) we easily obtain the *finite subadditivity property*

whenever are elementary sets (not necessarily disjoint); by induction one then has

whenever are elementary sets (not necessarily disjoint).

It is also clear from the definition that we have the *translation invariance*

for all elementary sets and .

These properties in fact define elementary measure up to normalisation:

Exercise 3 (Uniqueness of elementary measure)Let . Let be a map from the collection of elementary subsets of to the nonnegative reals that obeys the non-negativity, finite additivity, and translation invariance properties. Show that there exists a constant such that for all elementary sets . In particular, if we impose the additional normalisation , then . (Hint:Set , and then compute for any positive integer .)

Exercise 4Let , and let , be elementary sets. Show that is elementary, and .

** — 2. Jordan measure — **

We now have a satisfactory notion of measure for elementary sets. But of course, the elementary sets are a very restrictive class of sets, far too small for most applications. For instance, a solid triangle or disk in the plane will not be elementary, or even a rotated box. On the other hand, as essentially observed long ago by Archimedes, such sets can be *approximated* from within and without by elementary sets , and the inscribing elementary set and the circumscribing elementary set can be used to give lower and upper bounds on the putative measure of . As one makes the approximating sets increasingly fine, one can hope that these two bounds eventually match. This gives rise to the following definitions.

Definition 3 (Jordan measure)Let be a bounded set.

- The
inner Jordan measureof is defined as- The
outer Jordan measureof is defined as- If , then we say that is
Jordan measurable, and call theJordan measureof . As before, we write as when we wish to emphasise the dimension .By convention, we do not consider unbounded sets to be Jordan measurable (they will be deemed to have infinite outer Jordan measure).

Jordan measurable sets are those sets which are “almost elementary” with respect to outer Jordan measure. More precisely, we have

Exercise 5 (Characterisation of Jordan measurability)Let be bounded. Show that the following are equivalent:

- is Jordan measurable.
- For every , there exist elementary sets such that .
- For every , there exists an elementary set such that .

As one corollary of this exercise, we see that every elementary set is Jordan measurable, and that Jordan measure and elementary measure coincide for such sets; this justifies the use of to denote both. In particular, we still have .

Jordan measurability also inherits many of the properties of elementary measure:

Exercise 6Let be Jordan measurable sets.

- (Boolean closure) Show that , , , and are Jordan measurable.
- (Non-negativity) .
- (Finite additivity) If are disjoint, then .
- (Monotonicity) If , then .
- (Finite subadditivity) .
- (Translation invariance) For any , is Jordan measurable, and .

Now we give some examples of Jordan measurable sets:

Exercise 7 (Regions under graphs are Jordan measurable)Let be a closed box in , and let be a continuous function.

- Show that the graph is Jordan measurable in with Jordan measure zero. (Hint: on a compact metric space, continuous functions are uniformly continuous.)
- Show that the set is Jordan measurable.

Exercise 8Let be three points in .

- Show that the solid triangle with vertices is Jordan measurable.
- Show that the Jordan measure of the solid triangle is equal to , where .
(

Hint:It may help to first do the case when one of the edges, say , is horizontal.)

Exercise 9Show that every compact convex polytope in is Jordan measurable.

Exercise 10

- Show that all open and closed Euclidean balls , in are Jordan measurable, with Jordan measure for some constant depending only on .
- Establish the crude bounds
(An exact formula for is , where is the volume of the unit sphere and is the Gamma function, but we will not derive this formula here.)

Exercise 11Let be a linear transformation.

- Show that there exists a non-negative real number such that for every elementary set (note from previous exercises that is Jordan measurable).
Hint:apply Exercise 3 to the map .- Show that if is Jordan measurable, then is also, and .
- Show that . (
Hint:Work first with the case when is an elementary transformation, using Gaussian elimination. Alternatively, work with the cases when is a diagonal transformation or an orthogonal transformation, using the unit ball in the latter case, and use the polar decomposition.)

Exercise 12Define aJordan null setto be a Jordan measurable set of Jordan measure zero. Show that any subset of a Jordan null set is a Jordan null set.

Exercise 13Show that (1) holds for all Jordan measurable .

Exercise 14 (Metric entropy formulation of Jordan measurability)Define adyadic cubeto be a half-open box of the formfor some integers . Let be a bounded set. For each integer , let denote the number of dyadic cubes of sidelength that are contained in , and let be the number of dyadic cubes of sidelength that intersect . Show that is Jordan measurable if and only if

in which case one has

Exercise 15 (Uniqueness of Jordan measure)Let . Let be a map from the collection of Jordan-measurable subsets of to the nonnegative reals that obeys the non-negativity, finite additivity, and translation invariance properties. Show that there exists a constant such that for all Jordan measurable sets . In particular, if we impose the additional normalisation , then .

Exercise 16Let , and let , be Jordan measurable sets. Show that is Jordan measurable, and .

Exercise 17Let be two polytopes in . Suppose that can be partitioned into finitely many sub-polytopes which, after being rotated and translated, form a cover of , with any two of the sub-polytopes in intersecting only at their boundaries. Conclude that and have the same Jordan measure. The converse statement is true in one and two dimensions (this is the Bolyai-Gerwien theorem), but false in higher dimensions (this was Dehn’s negative answer to Hilbert’s third problem).

The above exercises give a fairly large class of Jordan measurable sets. However, not every subset of is Jordan measurable. First of all, the unbounded sets are not Jordan measurable, by construction. But there are also bounded sets that are not Jordan measurable:

Exercise 18Let be a bounded set.

- Show that and the closure of have the same outer Jordan measure.
- Show that and the interior of have the same inner Jordan measure.
- Show that is Jordan measurable if and only if the topological boundary of has outer Jordan measure zero.
- Show that the
bullet-riddled square, and set of bullets , both have inner Jordan measure zero and outer Jordan measure one. In particular, both sets are not Jordan measurable.

Informally, any set with a lot of “holes”, or a very “fractal” boundary, is unlikely to be Jordan measurable. In order to measure such sets we will need to develop *Lebesgue measure*, which is done in the next set of notes.

Exercise 19 (Carathéodory type property)Let be a bounded set, and be an elementary set. Show that .

** — 3. Connection with the Riemann integral — **

To conclude these notes we briefly discuss the relationship between Jordan measure and the Riemann integral (or the equivalent Darboux integral). For simplicity we will only discuss the classical one-dimensional Riemann integral on an interval , though one can extend the Riemann theory without much difficulty to higher-dimensional integrals on Jordan measurable sets. (In later notes, this Riemann integral will be superceded by the Lebesgue integral.)

Definition 4 (Riemann integrability)Let be an interval of positive length, and be a function. Atagged partitionof is a finite sequence of real numbers , together with additional numbers for each . We abbreviate as . The quantity will be called thenormof the tagged partition. TheRiemann sumof with respect to the tagged partition is defined asWe say that is

Riemann integrableon if there exists a real number, denoted and referred to as theRiemann integralof on , for which we haveby which we mean that for every there exists such that for every tagged partition with .

If is an interval of zero length, we adopt the convention that every function is Riemann integrable, with a Riemann integral of zero.

Note that unbounded functions cannot be Riemann integrable (why?).

The above definition, while geometrically natural, can be awkward to use in practice. A more convenient formulation of the Riemann integral can be formulated using some additional machinery.

Exercise 20 (Piecewise constant functions)Let be an interval. Apiecewise constant functionis a function for which there exists a partition of into finitely many intervals , such that is equal to a constant on each of the intervals . If is piecewise constant, show that the expressionis independent of the choice of partition used to demonstrate the piecewise constant nature of . We will denote this quantity by , and refer to it as the

piecewise constant integralof on .

Exercise 21 (Basic properties of the piecewise constant integral)Let be an interval, and let be piecewise constant functions. Establish the following statements:

- (Linearity) For any real number , and are piecewise constant, with and .
- (Monotonicity) If pointwise (i.e. for all ) then .
- (Indicator) If is an elementary subset of , then the indicator function (defined by setting when and otherwise) is piecewise constant, and .

Definition 5 (Darboux integral)Let be an interval, and be a bounded function. Thelower Darboux integralof on is defined aswhere ranges over all piecewise constant functions that are pointwise bounded above by . (The hypothesis that is bounded ensures that the supremum is over a non-empty set.) Similarly, we define the

upper Darboux integralof on by the formulaClearly . If these two quantities are equal, we say that is

Darboux integrable, and refer to this quantity as theDarboux integralof on .

Note that the upper and lower Darboux integrals are related by the reflection identity

Exercise 22Let be an interval, and be a bounded function. Show that is Riemann integrable if and only if it is Darboux integrable, in which case the Riemann integral and Darboux integrals are equal.

Exercise 23Show that any continuous function is Riemann integrable. More generally, show that any bounded, piecewise continuous function is Riemann integrable.

Now we connect the Riemann integral to Jordan measure in two ways. First, we connect the Riemann integral to one-dimensional Jordan measure:

Exercise 24 (Basic properties of the Riemann integral)Let be an interval, and let be Riemann integrable. Establish the following statements:

- (Linearity) For any real number , and are Riemann integrable, with and .
- (Monotonicity) If pointwise (i.e. for all ) then .
- (Indicator) If is a Jordan measurable subset of , then the indicator function (defined by setting when and otherwise) is Riemann integrable, and .
Finally, show that these properties uniquely define the Riemann integral, in the sense that the functional is the only map from the space of Riemann integrable functions on to which obeys all three of the above properties.

Next, we connect the integral to two-dimensional Jordan measure:

Exercise 25 (Area interpretation of the Riemann integral)Let be an interval, and let be a bounded function. Show that is Riemann integrable if and only if the sets and are both Jordan measurable in , in which case one haswhere denotes two-dimensional Jordan measure. (

Hint:First establish this in the case when is non-negative.)

Exercise 26Extend the definition of the Riemann and Darboux integrals to higher dimensions, in such a way that analogues of all the previous results hold.

## 77 comments

Comments feed for this article

4 September, 2010 at 11:47 am

Marek BernátHello,

thank you for a nice post. There is a typo in the definition of in Exercise 10.

[Corrected, thanks – T.]4 September, 2010 at 2:46 pm

J BalachandranProf.Tao I’m really happy to see your post. I’m right now learning Real Analysis. Is it possible for you to make a print option where I can print these notes. I personally find it difficult to read it online. It would be great if you can provide a print option

4 September, 2010 at 3:25 pm

Terence TaoYour web browser should come with “Print” and/or “Print preview” options. The blog is configured to strip out the sidebar and other extraneous material from the printed version.

4 September, 2010 at 4:13 pm

J BalachandranWooww . This is cool. Thank you very much Prof.Tao

4 September, 2010 at 5:18 pm

AnonymousIn lemma 2, partitions do not have to have the same length. do they?

thanks

[Corrected, thanks – T.]4 September, 2010 at 6:32 pm

JCK“Outer Jordan Measure” in Definition 3 should be ” ”

Definition 5: “Clearly…” both D. integrals are upper.

Exercise 14: parenthesis trouble in the “if and only if” limit ( “E)_*”)

[Corrected, thanks – T.]4 September, 2010 at 7:23 pm

StudentDeer,Prof.Tao:

Exercise 23 (Basic properties of the Riemann integral) Let $latex$ be an interval, and let $latex$ be Riemann integrable. Establish the following statements:

(Linearity) For any real number $latex$, $latex$ and $latex$ are Riemann integrable, with $latex$

I wonder if the formala should be $latex$ ?

5 September, 2010 at 7:39 am

Yu CaoDear Prof. Tao,

I think you are very generous to post the notes on your blog. And I benefit a lot here. But I was quite curious about your work. Do you type all these stuff in $LaTeX$ yourself in a very short time? Every post of your blog seams very long. How can you do that?

5 September, 2010 at 8:21 am

ugrohTerence, this is great and I will recommend it for studying.

Q1: Can you please add the print-buttom offered by WordPress (see e.g.

http://en.blog.wordpress.com/2010/08/24/more-ways-to-share/ ). Then it is easy to print the blog as asked above.

Q1: Will this appear in one of your “blog based books”?

Q2: Are you still using the latex->wordpress tool LaTeX2WP or do you have a newer one?

Ulrich

5 September, 2010 at 9:30 am

Terence TaoI’ve added the print button.

Yes, I plan to incorporate these notes into the 2010 blog-based book. I still mostly rely on Luca’s LaTeX2WP tool, and indeed for the purposes of bundling the posts into a book it is convenient to view my LaTeX source files as the “master” copy of the text, with the blog version available here being a secondary copy.

5 September, 2010 at 8:29 am

Real Analysis (=Measure Theory) by Terence Tao « UGroh's Weblog[…] Der Prolog ist eben erschienen (siehe den Link hier). […]

5 September, 2010 at 10:47 am

JeffPedagogical question, do you recommend students to write out full formal solutions for each of the exercises?

Or do you think it is enough to ponder each exercise long enough to see the key idea used to prove or solve it?

5 September, 2010 at 1:26 pm

Terence TaoThis depends to a large extent on the level of the student. If one is not yet confident in one’s own ability to expand out an informal argument into a fully fleshed out formal one, then I would indeed recommend writing out full solutions to such exercises. (In my experience, a significant proportion of first-year graduate students would be at this level.) But if one already has plenty of experience in writing out formal arguments (e.g. if one has already written publication-quality mathematical research papers or theses), and in particular can see what parts of a formal argument would be routine, and which ones address the heart of the matter, then it would be acceptable to give more informal solutions that only treat the latter portion of the argument in detail. (In contrast, informal solutions that leave out crucial details while focusing on more routine components of the arguments often indicate that the student has in fact missed the point of the question; in such cases I would definitely recommend that the student write out complete and detailed rigorous proofs instead.)

See also my discussion of the “rigorous” and “post-rigorous” stages of mathematics at

https://terrytao.wordpress.com/career-advice/there%E2%80%99s-more-to-mathematics-than-rigour-and-proofs/

5 September, 2010 at 2:41 pm

AnonymousWhen I pressed the ”print” button, it printed comments as well. is there way to print only your post, namely without comments?

Thanks

5 September, 2010 at 4:36 pm

AnonymousDear Prof. Tao,

In exercise 3, does go to positive reals or non-negative reals? because we have some measure zero boxes.

do we assume that assigns zero to empty set?

Thanks

[Corrected, thanks – T.]5 September, 2010 at 10:57 pm

Grad StudentDear Prof. Tao, thank you for this enlightening course!

My question regards Solovay’s model: Since it solves the problem of measure, by making every set of real numbers Lebesgue measurable, why isn’t this model used as the baseline model, instead of going through the difficulty of handling unmeasurable sets?

5 September, 2010 at 11:05 pm

Terence TaoWell, the price one pays for such Solovay-type models is that one has to sacrifice the axiom of choice and its many useful consequences (e.g. Zorn’s lemma, the Hahn-Banach theorem, the well-ordering theorem, Tychonoff’s theorem, the Banach-Alaoglu theorem, the ultrafilter lemma, the Stone-Cech compactification, existence of bases for arbitrary vector spaces, etc.; many of these topics will be touched upon in the 245B and 245C sequels to this course). This price is generally considered too expensive; the net benefit of these choice-dependent tools for analysis far outweighs the cost of having to entertain the concept of a non-measurable set, especially given how in practice, most of the sets one actually encounters will be Lebesgue measurable. (Indeed, one can view Solovay’s theorem as providing an explanation of this latter phenomenon.)

The reason given above is somewhat analogous to the reason why analysts work with the real number system rather than the rational number system . The latter has some ostensible advantages: the rationals are countable rather than uncountable, and all numbers have finite height. But by restricting to the rational model, one sacrifices almost completely the ability to take limits; and this cripples analysis far more than uncountability or infinite height does. This is not to say that the rational number system is useless for analysis – far from it – but the preferred “base” field for analysis is definitely (or , in some cases).

6 September, 2010 at 8:26 am

WaltYou can add axioms to ZFC that make every set we care about measurable (projective determinacy is an example), so we could have our cake and eat it too. I’m not clear on the practical consequences of this. Are there lots of sets that we would like to be measurable, but we can’t prove that they are? Is lack of measurability a serious obstacle, or more of a technical nuisance? As far as I know, it’s just a technical nuisance, but some of the further reaches of probability theory get closer to the edge of what’s provable and what’s not, so maybe there it’s a real obstacle. For example, I have seen probability books that use the fact that the projection of a Borel set is Lebesgue measurable, which is sort-of the limit of what you can say in general in ZFC.

6 September, 2010 at 7:22 am

WaltGrad Student: Switching to the Solovay model is a much bigger step than it might sound, beyond even the loss of the axiom of choice. It’s not true that the axiom of choice alone is what causes the troubles with unmeasurability. There are ordinary sets (sets that do not require the axiom of choice to construct) whose measurability is independent of the axioms of set theory. To make those sets Lebesgue measurable, we have to add, as a brand new axiom, that every subset of the reals has a closed set that’s slightly smaller and an open set that’s slightly bigger. We can’t say much of anything

aboutthese open and closed sets. We just assert they exist so that we can say every set is measurable.6 September, 2010 at 3:42 pm

Bo JacobyMinor detail. In definition 3, “outer Jordan measure {m_{*,(J)}(E)}” should read: “outer Jordan measure {m^{*,(J)}(E)}”.

[Corrected, thanks – T.]7 September, 2010 at 7:47 am

some guy on the streetIncidentally, the definition (for reasonable solids) of measure by circumscribing and exscribing simple solids (prisms) is found at least implicitly in Euclid’s books on solids, there called the “new” method of exhaustion, where it is used to argue that the volume of any pyramidal figure is the usual Ah/3.

7 September, 2010 at 2:16 pm

TedProf. Tao – This is great, and I am grateful to you for all your contributions including teaching. There is no better way to groom next generation but to provide them with education & develop their interest. I have benefited from your blogs, and now i hope to benefit from your class notes. Sometime in future, do you think, will there be a time when you can post video lectures as well? You would have a class of thousands of students across the globe!

8 September, 2010 at 1:10 am

Bo Jacobyre Definition 5 (Darboux integral).

Why not use the lower integral when defining the upper integral?

\overline{\int_a^b} f(x)\ dx := – \underline{\int_a^b} -f(x)\ dx

[I added a remark to this effect, thanks – T.]8 September, 2010 at 3:23 am

Nick GillThanks for this Terry; I enjoyed reading it…

There’s a typo (A instead of B) in the definition of outer Jordan measure.

[Corrected, thanks! – T.]9 September, 2010 at 10:54 pm

245A, Notes 1: Lebesgue measure « What’s new[…] 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 […]

17 September, 2010 at 1:18 am

AnonymousIn the proof of Lemma 2, you say “A simple case check reveals that the intersection or set-theoretic difference of two intervals is again an interval.” Isn’t $[0,3] \setminus (1,2) = [0,1] \cup [2,3]$, which is not an interval?

[Fair enough; I’ve changed that portion of the argument to avoid using this claim. – T.]25 September, 2010 at 2:01 pm

Wenying GanProf Tao, I think there is a typo in EX25. The integration of f(x) on interval [a,b] should be equal to $m(E_1)-m(E_2)$, but not $m^2 (E_1)-m^2 (E_2)$.

[ denotes the two-dimensional Lebesgue measure, not the square of that measure. I’ll add some text to clarify this. – T.]25 September, 2010 at 10:58 pm

245A, Notes 3: Integration on abstract measure spaces, and the convergence theorems « What’s new[…] length (see Exercise 14 of the prologue). These are Boolean algebras which are decreasing in : . Draw a diagram to indicate how these […]

19 October, 2010 at 5:15 pm

AnonymousProf. Tao,

For the question in “Remark 1”, if the set E is unbounded, the limit does not exist. Can we give the counterexample which is bounded?

19 October, 2010 at 5:43 pm

Terence TaoYes, it is possible, for instance by making the expression behave differently for odd N and for even N, say in the one-dimensional case d=1; I’ll omit the precise construction as an exercise because it is quite instructive. (For a more difficult challenge, find an example where E is bounded, and the limit does not exist even when N is restricted to be a power of 2.)

13 December, 2010 at 2:35 pm

AnonymousProf. Tao,

I think your “challenge question” is the very hint for the original one. I may use the set . when . But for your “challenging”, seems to be useless here. Do I need another totally different idea for your question? I myself cannot find the hint even after I refer to your “Problem Solving Strategies”.

23 October, 2010 at 9:34 am

AnonymousProf. Tao,

For Exercise 5 (Characterisation of Jordan measurability), I think it is not very hard to give i)=>ii), ii)=>iii). When we need to prove something “exist”, we can try to construct it. But when it comes to take iii) as the premise to conclude i) or ii), one can have “trouble”. Since in iii), A can be not included in E or not including E. Then i) or ii) seems not that obvious. Do we need to prove by contradiction?

23 October, 2010 at 9:50 am

Terence TaoOne does not need to prove by contradiction here, but as you say one does need to modify the set so that it becomes either completely contained inside , or completely contains . A hint: from the hypothesis (iii), what can you contain in?

30 October, 2010 at 6:54 pm

245A, Notes 6: Outer measures, pre-measures, and product measures « What’s new[…] union of product sets of -measurable sets and -measurable sets (cf. Lemma 2 (and Exercise 2) from the prologue). We then define the quantity associated such a disjoint union by the […]

10 November, 2010 at 8:54 pm

AnonymousProf. Tao,

For Exercise 7, the second statement, does one need to first prove that the boundary of the set is with Jordan measure zero? (It seems to become complicated). Considering the case , is possible that has infinitely many zero points？ If so, the set seems very strange and how can one come up with a elementary cover for approximation?

11 November, 2010 at 8:18 am

Terence TaoUse the fact that on a compact space, every continuous function is uniformly continuous. This will give a piecewise constant approximant to the continuous function.

13 November, 2010 at 5:42 pm

AnonymousProf. Tao,

Does one need some “convenient” definition for the convex polytope to do Exercise 8? It is intuitively right. But how can one deal with such geometric concept?

13 November, 2010 at 6:05 pm

AnonymousDear Prof. Tao,

In the Definition 5, why do you say “the hypothesis that f is bounded ensures that the supremum is over a non-empty set” instead of “ensures that the INFIMUM is over a non-empty set”?

13 November, 2010 at 7:43 pm

YProf. Tao,

I tried to prove the uniqueness of elementary measure in the 1-D case, but I found that finally I had to deal with m'([0,a)), where 0<a<1, and a is a irrational number. Is it possible to avoid discussing the irrational number? One idea came to my mind is that using the non-negativity and finite additivity to construct monotonicity for m', and then applying the squeeze test for , where and are rational number sequences which approximate . But do such sequences exist? (Do I have to go over MATH 113A?)

17 November, 2010 at 8:12 pm

AnonymousProf. Tao,

I am confused in the definition 5. Since if is unbounded, then there at least exists a piecewise constant function, say, , which satisfies , and is piecewise constant. Then the supremum on the right hand side of the definition of lower Darboux integral is always over a non-empty set. But if is unbounded, there is no piecewise constant function such that , and the infimum in the definition of upper darboux integral will be over a empty set. But as you said, “the hypothesis that is bounded ensures that the supremum is over a non-empty set.” Could you please point out my mistakes or explain it slightly?

17 November, 2010 at 8:24 pm

Terence Taof can be negative in Definition 5. To ensure the supremum is non-empty, we need a bound on f from below.

17 November, 2010 at 8:30 pm

AnonymousThank you so much for your patience. This reminds me that one should always be very careful for the domain and the range of a function.

17 November, 2010 at 9:17 pm

YDear Prof. Tao,

I have some difficulties in Ex. 18 Problem 3. For the “if” part, one has to use the hypothesis “the topological boundary of E has outer Jordan measure zero”. I tried the definition. , , where is elementary set, such that . The trouble for me is here. It seems that if I want to deduce E is Jordan measurable, I have to approximate E by the elementary sets from inside and outside. (say, ) And then use the argument like . But how can I do this? Or should there be another "right" way to figure it out? (1 and 2 do not seem to be helpful here?)

17 November, 2010 at 10:06 pm

Terence TaoThe definition of Jordan inner measure or Jordan outer measure will supply one of the elementary sets . One can then use to construct the other set.

19 November, 2010 at 12:57 pm

YProf. Tao

I feel quite frustrated for the construction here. For the “if” part, if one can prove that for any , one always finds elementary sets with , which I think, is the essential goal, then things are done. But given , even I get from the definition of Jordan inner measure, there seems to be no hope to construct without touching , as I cannot find the way to make sure that . But once I touch , I have to deal with and at the same time which actually I need to “cancel” in the inequality.

I tried the definition again and again, but still did not see the light of dawn. I read the proof in Richard Courant’s “Introduction to Calculus and Analysis (vol.2)” for the same statement in which the “Jordan measure” is called “area”. He used the square cubes which is equivalent to the boxes here to define inner area and outer area, and finally used then cubes again to prove this statement. Does one have to use the boxes to cover , like you did to rewrite the outer Jordan measure in the Notes 1, for the proof here? I think I must miss some points here which make the proof difficult for me. Could you please make the stuff clear here?

19 November, 2010 at 1:40 pm

Terence TaoStart with an elementary set C’ that contains E, and a small elementary set B that contains . Then remove B from C’ to create another elementary set , which one can rewrite as the disjoint union of boxes. Each of these boxes is disjoint from , and must therefore lie either completely outside of E, or completely inside of E (as the boxes are topologically connected). If one removes the boxes outside of E, one gets the desired sets A and C.

19 November, 2010 at 8:11 am

StudentDear Prof Tao,

first of all I would like to thank you for a wonderful blog. Now to my question:

1. When trying to prove the finite addivity of the Jordan measure in exercise 6, is it “enough” to prove it for the inner (outer) jordan measure? (Assuming that we already have proven the measurability of E U F, when both E and F are measurable.)

2. This question is maybe a little bit out of line and unspecific, but anyhow… when thinking of measures (in general) is there according to you any mental picture which is particulary useful to have at hand?

Regards

H

19 November, 2010 at 9:59 am

Terence TaoFor Jordan measurable sets, the inner or outer Jordan measure is equal to the Jordan measure, so if one can show additivity for inner or outer Jordan measure for Jordan measurable sets, this certainly implies additivity of Jordan measure for the same sets. (Note though that inner and outer Jordan measure are not additive for general sets that are not assumed to be Jordan measurable.)

There are many ways to conceptualise measure. The viewpoint used here is geometric, using one’s intuition about length, area, or volume. But one can also use many other mental models. For instance, one can take a physical viewpoint and view the measure of a set E (now viewed as a physical body) as being something like the total mass of E; or an economic viewpoint and view the measure of E (now viewed as an economic asset, e.g. a tract of land) as the total cost or economic value of E; or a probabilistic viewpoint and view the measure of E (now interpreted as an event) as the probability that E occurs; or a political viewpoint and view the measure of E (now viewed as, say, a voting bloc) as the total political power of E; and so forth. Different people may prefer to use different conceptual models, but usually the best perspectives ultimately come from synthesising together multiple conceptual models to get a more stereoscopic viewpoint.

19 November, 2010 at 3:08 pm

anthonyDear Prof Tao,

I think that

1. one needs to turn “translation invariance” to italics for the sake of consistency with finite (sub-)additivity and monotony properties (after Remark 2)

2. the sentences “Show that the bullet-riddled square , and with the bullets” and “The hypothesis that is bounded ensures that the supremum is over a non-empty set” are grammatically incomplete.

3. one could mention Monte-Carlo Method in Remark 1.

best regards and thank you very much for this notes,

anthony

[Corrected, thanks – T.]28 September, 2012 at 4:15 pm

AnonymousI think hint for exercise 11(1) means exercise 9, instead of 3?

28 September, 2012 at 7:56 pm

Terence TaoActually, I do intend Exercise 3 to be used as a hint for the proof. (It is true though that Exercise 9 is the “previous exercise” alluded to in the parenthetical comment.)

24 December, 2012 at 6:45 pm

JackThe limit of the Riemann sum is neither limit of real numbers nor limit of a real functions. More generally, it is also not the limit in a metric space. Is there a name of this kind of limit?

What’s the advantage of this type of limit? I’ve scanned the whole sets of 245a notes: it seems that this limit is never used again in the following notes (even in 245b?). Are there any other pieces of real analysis where this sort of limit is often useful?

24 December, 2012 at 11:38 pm

Terence TaoThis type of limit is an example of convergence along a filter. In this case, the domain is the space of partitions , the filter is the set of all collections of partitions with less than a given threshold, and the function is the function .

One can recast topological notions of convergence in terms of filters (this is briefly alluded to in 245B Notes 10). The Bourbaki approach to topology emphasises this perspective, though I have generally chosen to downplay it in my own notes (instead using the more common approach of basing point set topology around the notion of an open set).

26 December, 2012 at 7:25 am

JackWhat properties are allowed to use for Exercise 8? Is reassembling allowed? In some special cases, one can use Ex.7. Using the lattice and Ex.5(2) might work. But I think it’s not “rigorous” to say “consider those boxes containing the boundary of the solid triangle”. It would rely on a “picture” of the triangle. How can one turn this into a formal proof when the solid triangle is only regarded as a point set in ?

26 December, 2012 at 3:02 pm

Terence TaoYou can use the results from

~~Lemma~~Exercise 6, which provide some tools for reassembling complex Jordan measurable sets from simpler ones.To turn the intuitive picture of the situation into a formal one is precisely the point of the exercise. One way to do it is by analytic geometry (writing each edge of the triangle as something like ) and using an explicit covering the triangle by squares, and then upper bounding how many of these squares touch the boundary.

26 December, 2012 at 3:43 pm

JackI can’t find Lemma 6. There are only 2 lemmas in this note. Do you mean Exercise 6?:-)

[Yes – T.]27 January, 2013 at 7:26 pm

JackRegarding Exercise 3, I don’t know to show when . Does one have to show that for ? Would you suggest alternative approach to get ?

(I skipped some exercises until I reached exercise 1.3.16 in the book. I found that I have to do Exercise 1.2.21 first. When I went back to Exercise 1.2.21, I found that I need Exercise 1.1.11 which points to Exercise 1.1.3. Are the exercises set in this way deliberately?:) It seems that if one cannot do well in the exercises in one section, then it is very likely that one would have trouble in the later sections.So one has no way to skip exercises…)

[I recommend using some of the standard tricks discussed in https://terrytao.wordpress.com/2010/10/21/245a-problem-solving-strategies/ ; in particular, Tricks 1, 2, 7, 8, and 18 are relevant here. -T.]30 January, 2013 at 7:57 am

AnonymousThat’s very instructive. Now I see how Tricks 1,2,7, and 8 work. With a sequence of nested intervals (containing ) such that , for all , and , , I think one can have

.

I don't see why Trick 18 is also relevant. How would help? Did I miss something here or is it implicitly used somewhere?

[One can flip a lim sup into a lim inf using Trick 4. -T.]30 January, 2013 at 10:49 am

JackAh, what I mean is that I don’t see why (i.e. Trick 18) is needed since I think one can take limit in the last formula above and then get

since and …

[Fair enough; as monotone bounded sequences are automatically convergent, one does not need to separate limits into lim inf and lim sup here. -T.]26 April, 2013 at 2:02 am

Luqing YeJack,this remind me of the process of constructing the irrationals from the rationals.

An irrational number is born to be approxiamated by rational numbers…

24 April, 2013 at 3:44 am

Luqing YeProposition 1:

If a set is covered by finite number of boxes ,and that .Then it is easy to verify that $\forall \varepsilon>0$, can be covered by finite number of open boxes ,and that .

Proposition 2:

If a set is covered by finite number of open boxes ,and that .Then it is easy to verify that $\forall \varepsilon>0$, can be covered by finite number of boxes ,and that .

From Exercise 5 (Characterisation of Jordan measurability) ,we have

Proposition 3:

If a set is jordan measurable,then $\forall \delta>0$,the border of can be covered by finite number of boxes ,and .

From Proposition 1 and Proposition 3,we can conclude Proposition 4.

Proposition 4:

If a set is jordan measurable,then $\forall \delta>0$,the border of can be covered by finite number of open boxes ,and .

24 April, 2013 at 6:31 am

Luqing YeUnfortunately,proposition 2 is not true.It should be changed as follows

If a set is covered by finite number of open boxes ,and that .Then it is easy to verify that , E can be covered by finite number of boxes ,and that .

But I think Proposition 1,3,4 is still true.

24 April, 2013 at 11:06 am

Luqing YeThese material has a book version called “An introduction to measure theory”.Still,I like to read the blog version,because I like to read those comments made by other readers of your blog,also,the blog is more interactive.I decide to make some comments,take some notes and put up some personal thoughts of the material in the comment area while reading.

If my comments seems occupy too much room,just ignore it.I will be glad if my comments help someone(I hope so).And If I start my comment by “Dear Prof.Tao” ,that means I think I discover some errors in the post or I have some big confusions which can only be understood by the auther.(I decide I won’t post any general confusions casually,which should be solved by myself or asked at some other place).

Inherit the material of my above two comments,now I start to prove that If ,there exists finite number of boxes such that ,and that covers the border of ,then is jordan measurable.

This is the inverse of proposition 3.In fact,proposition 3 can be proved in a straightforward manner by using the definition of jordan measurable set.But in my eye,the inverse of Proposition 3 is not so obvious,so I think it is neccessary to write some words down to prove the inverse of proposition 3.

According to Proposition 1,it can be easily verified that ,there exists finite number of open boxes such that the border of can be covered by ,and that .

And the interior of can be viewed as an at most countable union of disjoint open boxes (according to the construction of open sets).So together with form an at most countable open covering of .According to the Hein-Borel finite covering theorem,this at most countable open covering must have a finite subcovering which still covers .It is also easy to verify that is still a finite covering of .And in fact ,which means the union of all the elements of ,is a subset of the interior of .

So we have constructed a finite open covering of ——.And we have constructed a subset of which is a finite union of open boxes ——$\bigcup (H\backslash \{O_1,\cdots,O_n\})$.It is easy to verify that .

Combine this result with the corrected version of proposition 2,we can conclude that is indeed jordan measurable.

26 April, 2013 at 2:31 am

Luqing YeDear Prof.Tao,

In exercise 3,I think should be ,or .

26 April, 2013 at 7:36 am

Terence TaoIn this text, denotes the non-negative reals (as stated explicitly in Exercise 3).

26 April, 2013 at 8:56 am

Luqing Ye…In fact ,it is not an interesting “errata”…It is related to notations,not mathematics.

In my convention,when I was in middle school or faced with an exam,etc,when seeing ,this always means that is positive,and can’t be zero…

27 April, 2013 at 2:12 am

Luqing YeRegarding to Exercise 11,(3),I think I can write down some notes

here.These notes are about Gaussian elimination method and

determinant.Those who want to solve the problem yourself please ignore this notes.

A linear transformationm from to will

transform a dimensional square box into

another stuff,namely, a dimensional parallelogram.This exercise

let me prove that the jordan measure of the parallelogram

corresponding to the square box is .

Luckily,by using Gaussion elimation method twice,we can prove it.What

does it mean to use Gaussion elimation method twice?Now I explain it.

The linear transformation can be

represented by a matrix ,by using Gaussion elimation once,from the head to the

foot,we can change this matrix into an upper triangle form

.Then by using Gaussion elimation from the foot to the

head,we can change this upper triangle form into the diagonal form

,where , .

I love diagonal form,because the diagonal form transform a square box

into a rectangle box

.It is very happy to see that

the volume of is

,which is also exactly the absolute value of

the determinant of this diagonal matrix.

The process of Gaussion elimation do not affect the determinant of a

matrix.

And also,The process of Gaussion elimation do not affect the volume of

the dimensional parallelogram(This may seems not evident at

first,but it is in fact true after careful consideration.)

So the jordan measure of the parallelogram corresponding to the square box is .

27 April, 2013 at 5:28 am

Luqing YeA remark to Exercise 14 (Metric entropy formulation of Jordan measurability) :

1.Why half-open box ?

I think the half-open box can also be replaced by closed box .

But it shouldn’t be replaced by open box,because there is finite number of holes in ,so it may not cover .

2.What does this exercise mean?

I think this exercise means that a bounded set is Jordan measurable if and only if the boundary of this set can be covered by arbitrary small finite number of boxes.

3.Some thoughts about Jordan measure and Lebesgue measure.

In the past,I have an acquaintance with Lebesgue measurable sets.Now I think the main difference between the Jordan measurable sets and the Lebesgue measurable sets is that the former is essentially “arbitrarily finite cover”,but the latter is essentially “arbitrarily countable infinite cover”.

So why there is no “arbitrarily uncountable infinite cover”?If there is such,then I create a measure which is superior to the Lebesgue measure!But unfortunately I think this will not be realistic,because the arbitrarily uncountable infinite cover do not exists at all in !(If so,there are only countable number of rational numbers,and there is an injective map from the rational number set to the arbitrarily uncountable cover,which is absurd!)

27 April, 2013 at 9:42 am

Luqing YeI’d like to write down some notes to Exercise 18.

(1) and (2) are counterpart problems.Although they can be solved individually,I prefer to deduce one from the other.

Regarding (4),

We know that has outer Lebesgue outer measure 0,and Jordan outer measure 1.

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!

28 April, 2013 at 5:08 am

Luqing YeA remark to Exercise 19 (Carathéodory type property):

I think the elementary set can be replaced by the Jordan measurable set ,just take a limit.

28 April, 2013 at 5:37 am

Luqing YeDear Prof.Tao,

In exercise Exercise 24 (Basic properties of the Riemann integral) ,(3)(Indicator) ,”If is a Jordan measurable of ” should be “If is a Jordan measurable subset of ” .

[Corrected, thanks – T.]26 May, 2014 at 7:15 am

AnonymousIn Exercise 11.1, can you give a hint that why one can say that is Jordan measurable when is an elementary set by the previous exercises?

26 May, 2014 at 8:32 am

Terence TaoElementary sets are Boolean combinations of polytopes, and linear transformations of polytopes are polytopes.

27 May, 2016 at 1:52 pm

AnonymousIn Exercise 7(1), if we consider being measurable only, do we have an example that the Jordan measure of the graph of is positive?

27 May, 2016 at 2:10 pm

AnonymousIs the graph of with Jordan measurable?

2 May, 2017 at 3:22 am

1 số vấn đề hay về tích phân Riema[…] https://terrytao.wordpress.com/2010/09/04/245a-prologue-the-problem-of-measure/ […]

17 May, 2020 at 12:44 am

Anonymoushello prof, I am 15 and have only recently started reading your book, and have a question which I am curious about:

prove that all distance preserving maps preserve Jordan measure..

will be highly obliged to know your answer