On successful completion of this module, students will be able to:
Discuss countable sets, characteristic functions and bolean algebras;
State and prove properties of length measure, outer measure and Lebesgue measure for subsets of the real line and establish measurability for a range of functions and sets;
Define the Lebesgue integral on the real line and apply basic results including convergence theorems.
The basics of the theory of the Lebesgue integral and Lebesgue measure.Monotone and dominated convergence theorems.
Countable versus uncountable sets; inverse images;characteristic functions; boolean algebra for subsets.
Algebras of subsets of the real line; length measure on the interval algebra; finite-additivity; subadditivity and countable-additivity; outer measure; Lebesgue measurable sets; extension to sigma algebra; Borel sigma algebra.
Lebesgue measurable functions; simple functions; integrals for non-negative functions; limits of measurable functions and the monotone convergence therorem; Lebesgue integrable functions; generalisation of the Riemann integral (for continuous functions on finite closed intervals).
Fatou's lemma; dominated convergence theorem; integrals depending ona parameter
Metric Spaces (MA2223) or (121)
This module will be examined jointly with MA2223
in a 3-hour examination in Trinity term,
except that those taking just one of the
two modules will have a 2 hour examination.
However there will be separate grades for MA2223 and MA2224.