- Membership
- MAA Press
- Meetings
- Competitions
- Community
- Programs
- Students
- High School Teachers
- Faculty and Departments
- Underrepresented Groups
- MAA Awards
- MAA Grants

- News
- About MAA

Publisher:

Wiley

Publication Date:

2009

Number of Pages:

237

Format:

Hardcover

Price:

89.95

ISBN:

978-0-470-25954-2

Category:

Textbook

[Reviewed by , on ]

Kenneth A. Ross

06/3/2010

This is a joint review of

*Measure and Integration: A Concise Introduction to Real Analysis*, by Leonard F. Richardson*A Primer of Lebesgue Integration*, 2nd edition, by H. S. Bear*A (Terse) Introduction to Lebesgue Integration*, by John Franks

I shall refer to these books as *Concise*, *Primer*, and *Terse*, respectively. For reference:

*concise*, adjective: giving a lot of information clearly and in a few words; brief but comprehensive.*primer*, noun: an elementary textbook that serves as an introduction to a subject of study.*terse*, adjective: sparing in the use of words; abrupt.

These short treatments are suitable for different audiences. Bear’s *Primer* is ideal for beginners, especially for those studying on their own. Franks’ *Terse* is a very nice introduction for readers with some mathematical sophistication. Both *Terse* and Richardson’s *Concise* would be good texts for a semester graduate course, and Terse would be especially useful for someone needing a refresher or an overview of the subject.

In the August-September 2009 *Monthly*, Neil Falkner gave an excellent review of two longer analysis textbooks, authored by Anthony W. Knapp and published in 2005. I highly recommend this incisive review to anyone planning on teaching graduate-level real analysis.

Here are some observations about the three books under review.

Bear’s *Primer* is a friendly introduction that could be read by a motivated undergraduate. It begins with the basic definitions of the Riemann integral. A simple, easily motivated, definition of measurable set is given on page 27 that is later shown to be equivalent to Carathéodory’s “slick, even brilliant’ but unintuitive definition. Halfway through the book, Lebesgue measure on the plane is developed. After this, the book tackles general measures on general measure spaces. The final chapter introduces L^{2}(X).

Richardson’s *Concise* starts out focusing on the “deficiencies” of the Riemann integral. But then Chapter 2 jumps right into abstract measure theory. The reader or student needs to be quite comfortable with abstraction to survive this concise treatment. Then Chapter 3 develops Lebesgue measure. The transition from Chapter 2 to Chapter 3 is very efficient, but very abstract. The book doesn’t get to integrals again until Chapter 5. The last chapters include introductions to related topics from the Riesz representation theorem for bounded linear functionals on *C*(X) to closed invariant subspaces of L(**R**).

I like Franks’ *Terse* book, though I’m shocked that it doesn’t even mention Fubini’s theorem. Like the other two books, it starts out with a brief treatment of the Riemann integral that motivates the need for a more general Lebesgue integral. This book defers the construction of Lebesgue measure to Appendix B, but clearly describes measures, the basic idea of null sets, σ-algebras, and finally general measurable sets, all in Chapter 2. This device works, and the book goes on to develop integration theory nicely. Incidentally, Appendix A provides the background material needed and, 2 unlike some such appendices, includes some proofs and is not too terse! The second half of the book covers Hilbert space, motivated by a study of L^{2}[a,b], does some classical Fourier series, and discusses two important ergodic transformations.

Each of these three books give different developments of Lebesgue’s Dominated Covergence Theorem (LDCT), and Richardson’s *Concise* uses Egoroff’s theorem! I still think the best and best-motivated proof is accomplished by first proving the Monotone Convergence Theorem, then Fatou’s Lemma as a corollary, and then the LDCT. See Chapter 2 of Folland’s fine *Real Analysis: Modern Techniques and Their Applications* (2nd edition, Wiley, 1999).

I am surprised that Richardson’s *Concise* and Bear’s *Primer* both state and prove Vitali’s classical covering lemma, because Vitali’s covering lemma is not needed to prove Lebesgue’s density theorem. Its quite technical proof was a major stumbling block when I was first studying analysis over 50 years ago. All that is needed is a simplified version of Wiener’s covering lemma, which is also sufficient to prove a Hardy-Littlewood maximal theorem. See, for example, Lemma 3.15 in Folland’s book.

Richardson’s *Concise* and Bear’s *Primer* include proofs of versions of the Radon-Nikodym theorem and of Fubini’s theorem. Franks’ *Terse* omits Fubini’s theorem; it motivates and states the Radon-Nikodym, but omits the proof.

Kenneth A. Ross (ross@math.uoregon.edu) taught at the University of Oregon from 1965 to 2000. He was President of the MAA during 1995-1996. Before that he served as AMS Associate Secretary, MAA Secretary, and MAA Associate Secretary. His research area of interest was commutative harmonic analysis, especially where it has a probabilistic flavor. He is the author of the book Elementary Analysis: The Theory of Calculus (1980, now in 14th printing), co-author of Discrete Mathematics (with Charles R.B. Wright, 2003, fifth edition), and, as Ken Ross, the author of A Mathematician at the Ballpark: Odds and Probabilities for Baseball Fans (2004).

Preface.

Acknowledgments.

Introduction.

**1 History of the Subject.**

1.1 History of the Idea.

1.2 Deficiencies of the Riemann Integral.

1.3 Motivation for the Lebesgue Integral.

**2 Fields, Borel Fields and Measures.**

2.1 Fields, Monotone Classes, and Borel Fields.

2.2 Additive Measures.

2.3 Carathéodory Outer Measure.

2.4 E. Hopf’s Extension Theorem.

**3 Lebesgue Measure.**

3.1 The Finite Interval [-N,N).

3.2 Measurable Sets, Borel Sets, and the Real Line.

3.3 Measure Spaces and Completions.

3.4 Semimetric Space of Measurable Sets.

3.5 Lebesgue Measure in R^{n}.

3.6 Jordan Measure in R^{n}.

**4 Measurable Functions.**

4.1 Measurable Functions.

4.2 Limits of Measurable Functions.

4.3 Simple Functions and Egoroff’s Theorem.

4.4 Lusin’s Theorem.

**5 The Integral.**

5.1 Special Simple Functions.

5.2 Extending the Domain of the Integral.

5.3 Lebesgue Dominated Convergence Theorem.

5.4 Monotone Convergence and Fatou’s Theorem.

5.5 Completeness of L^{1} and the Pointwise Convergence Lemma.

5.6 Complex Valued Functions.

**6 Product Measures and Fubini’s Theorem.**

6.1 Product Measures.

6.2 Fubini’s Theorem.

6.3 Comparison of Lebesgue and Riemann Integrals.

**7 Functions of a Real Variable.**

7.1 Functions of Bounded Variation.

7.2 A Fundamental Theorem for the Lebesgue Integral.

7.3 Lebesgue’s Theorem and Vitali’s Covering Theorem.

7.4 Absolutely Continuous and Singular Functions.

**8 General Countably Additive Set Functions.**

8.1 Hahn Decomposition Theorem.

8.2 Radon-Nikodym Theorem.

8.3 Lebesgue Decomposition Theorem.

**9. Examples of Dual Spaces from Measure Theory.**

9.1 The Banach Space L^{p}.

9.2 The Dual of a Banach Space.

9.3 The Dual Space of L^{p}.

9.4 Hilbert Space, Its Dual, and L^{2}.

9.5 Riesz-Markov-Saks-Kakutani Theorem.

**10 Translation Invariance in Real Analysis.**

10.1 An Orthonormal Basis for L^{2}(T).

10.2 Closed Invariant Subspaces of L^{2}(T).

10.3 Schwartz Functions: Fourier Transform and Inversion.

10.4 Closed, Invariant Subspaces of L^{2}(R).

10.5 Irreducibility of L^{2}(R) Under Translations and Rotations.

Appendix A: The Banach-Tarski Theorem.

A.1 The Limits to Countable Additivity.

References.

Index.

- Log in to post comments