A4: Integration (2019-2020)

Prof. Charles Batty
Course Term: 
Course Lecture Information: 

16 lectures

Course Overview: 

The course will exhibit Lebesgue's theory of integration in which integrals can be assigned to a huge range of functions on the real line, thereby greatly extending the notion of integration presented in Prelims. The theory will be developed in such a way that it can be easily extended to a wider framework, but measures other than Lebesgue's will only be lightly touched.

Operations such as passing limits, infinite sums, or derivatives, through integral signs, or reversing the order of double integrals, are often taken for granted in courses in applied mathematics. Actually, they can occasionally fail. Fortunately, there are powerful convergence and other theorems allowing such operations to be justified under conditions which are widely applicable. The course will display these theorems and a wide range of their applications.

This is a course in rigorous applications. Its principal aim is to develop understanding of the statements of the theorems and how to apply them carefully. Knowledge of technical proofs concerning the construction of Lebesgue measure will not be an essential part of the course, and only outlines will be presented in the lectures.

Course Synopsis: 

Measure spaces. Outer measure, null set, measurable set. The Cantor set. Lebesgue measure on the real line. Counting measure. Probability measures. Construction of a non-measurable set (non-examinable). Simple function, measurable function, integrable function. Reconciliation with the integral introduced in Prelims.

A simple comparison theorem. Integrability of polynomial and exponential functions over suitable intervals. Monotone Convergence Theorem. Fatou's Lemma. Dominated Convergence Theorem. Corollaries and applications of the Convergence Theorems (including term-by-term integration of series).

Theorems of Fubini and Tonelli (proofs not examinable). Differentiation under the integral sign. Change of variables.

Brief introduction to $L^p$ spaces. Hölder and Minkowski inequalities.

Reading List: 
  1. M. Capinski & E. Kopp, Measure, Integral and Probability (Second Edition, Springer, 2004).
  2. F. Jones, Lebesgue Integration on Euclidean Space (Second Edition, Jones & Bartlett, 2000).

Please note that e-book versions of many books in the reading lists can be found on SOLO and ORLO.

Further Reading: 
  1. D. S. Kurtz & C. W. Swartz, Theories of Integration (Series in Real Analysis Vol.9, World Scientific, 2004).
  2. H. A. Priestley, Introduction to Integration (OUP, 1997). [Useful for worked examples, although adopts a different approach to construction of the integral].
  3. H. L. Royden, Real Analysis (various editions; 4th edition has P. Fitzpatrick as co author).
  4. E. M. Stein & R. Shakarchi, Real Analysis: Measure Theory, Integration and Hilbert Spaces (Princeton Lectures in Analysis III, Princeton University Press, 2005).
  5. R. L. Schilling, Measures, Integrals and Martingales (CUP first ed. 2005, or second ed. 2017).