# MA359 Measure Theory

**Lecturer: **John Smillie

**Term(s):** Term 1

**Status for Mathematics students:** List A

**Commitment:** 30 hours

**Assessment:** examination (85%), assignments (15%)

**Prerequisites:** MA132 Foundations or MA138 Sets and Numbers, MA260 Norms, Metrics and Topology or MA222 Metric Spaces, MA244 Analysis III or MA258 Mathematical Analysis III.

**Leads To: **ST318 Probability Theory, MA3D4 Fractal Geometry, MA482 Stochastic Analysis, MA496 Signal Processing, Fourier Analysis and Wavelets

**Content**: The modern notion of measure, developed in the late 19th century, is an extension of the notions of length, area or volume. A *measure* *m* is a law which assigns a number to certain subsets *A* of a given space and is a natural generalization of the following notions: 1) length of an interval, 2) area of a plane figure, 3) volume of a solid, 4) amount of mass contained in a region, 5) probability that an event from *A* occurs, etc.

It originated in the real analysis and is used now in many areas of mathematics like, for instance, geometry, probability theory, dynamical systems, functional analysis, etc.

Given a measure *m*, one can define the *integral* of suitable real valued functions with respect to *m*. Riemann integral is applied to continuous functions or functions with ``few`` points of discontinuity. For measurable functions that can be discontinuous ``almost everywhere'' Riemann integral does not make sense. However it is possible to define more flexible and powerful *Lebesgue's integral* (integral with respect to *Lebesgue's measure*) which is one of the key notions of modern analysis.

The Module will cover the following topics: Definition of a measurable space and -additive measures, Construction of a measure from outer measure, Construction of Lebesgue's measure, Lebesgue-Stieltjes measures, Examples of non-measurable sets, Measurable Functions, Integral with respect to a measure, Lusin's Theorem, Egoroff's Theorem, Fatou's Lemma, Monotone Convergence Theorem, Dominated Convergence Theorem, Product Measures and Fubini's Theorem. Selection of advanced topics such as Radon-Nikodym theorem, covering theorems, differentiability of monotone functions almost everywhere, descriptive definition of the Lebesgue integral, description of Riemann integrable functions, *k*-dimensional measures in *n*-dimensional spaces, divergence theorem, Riesz representation theorem, etc.

**Aims**: To introduce the concepts of *measure* and *integral with respect to a measure,* to show their basic properties, and to provide a basis for further studies in Analysis, Probability, and Dynamical Systems.

**Objectives**: To gain understanding of the abstract measure theory and definition and main properties of the integral. To construct Lebesgue's measure on the real line and in *n*-dimensional Euclidean space. To explain the basic advanced directions of the theory.

**Books**: There is no official textbook for the course. As the main recommended book, I would suggest:

- Cohn, D.L, Measure Theory, Second Edition, Birkhauser (2013). *

The list below contains some of many further books that may be used to complement the lectures.

- Folland, G.b.: Real Analysis, Second Edition, Wiley (1999). *
- Halmos, P. R.: Measure Theory, D. Van Nostrand Company Inc., Princeton, N.J. (1950) (Reprinted by Springer (1974)).
- Kubrusly, C.S: Essentials of Measure Theory, Springer (2015). *
- Loeb, P.A: Real Analysis, Birkhauser (2016). *
- Royden, H. L. and Fitzpatrick, P.M: Real Analysis, Fourth Edition, Macmillan Publishing Company (2010).
- Rudin, W.: Real and Complex Analysis, Third Edition, McGraw-Hill Book Company (1987).

- Stein, E. M. and Shakarchi, R.: Real Analysis - measure theory, integration and Hilbert spaces. (Princeton Lectures in Analysis III) Princeton University Press (2005).

* = E-book avaliable from Warwick Library.