In the higher echelons of mathematical analysis, the standard Riemann integral—the one we all learned in introductory calculus—eventually hits a brick wall. It struggles with functions that are “too jagged” or domains that are “too fragmented.” This is where Measure and Integration steps in. By introducing the Lebesgue measure, we gain a much more powerful and flexible way to calculate the “size” of sets and the integrals of functions. For students, this unit represents the transition from “calculating” to “proving,” requiring a deep grasp of Sigma-algebras and convergence theorems.
Below is the exam paper download link
PDF Past Paper On Measure And Integration For Revision
Above is the exam paper download link
To help you navigate these abstract waters, we have compiled a revision guide focusing on the high-level logic and rigorous definitions found in advanced mathematics past papers.
Why do we need the Lebesgue Integral over the Riemann Integral?
The Riemann integral works by partitioning the $x$-axis into small intervals. The Lebesgue Integral flips this logic by partitioning the $y$-axis (the range). This allows us to integrate functions that are highly discontinuous, such as the Dirichlet function (which is 1 on rational numbers and 0 on irrationals). While the Riemann integral fails here, the Lebesgue integral simply looks at the “measure” of the set where the function takes certain values, providing a clean, defined answer.
What is a $\sigma$-algebra (Sigma-algebra)?
A $\sigma$-algebra is a collection of subsets of a given set that is closed under complements and countable unions. It defines which sets are “measurable.” Without a $\sigma$-algebra, we would run into paradoxes where we try to measure sets that mathematically shouldn’t have a size. In an exam, you are often asked to prove that a specific collection of sets forms a $\sigma$-algebra or to identify the Borel $\sigma$-algebra on a real line.
How do we define a ‘Measure’?
A measure $\mu$ is a function that assigns a non-negative real number (including infinity) to sets in a $\sigma$-algebra. It must satisfy Countable Additivity: if you have a sequence of disjoint sets, the measure of their union must equal the sum of their individual measures. The most famous example is the Lebesgue Measure, which generalizes the intuitive concept of “length” to much more complex sets.
What is the ‘Monotone Convergence Theorem’ (MCT)?
The MCT is a cornerstone of integration theory. It states that if you have a sequence of non-negative measurable functions that are increasing point-wise toward a limit function, then the integral of the sequence also converges to the integral of the limit. This allows us to swap the limit sign and the integral sign—a move that is strictly regulated in analysis.
Can you explain ‘Fatou’s Lemma’?
Fatou’s Lemma is an inequality that provides a lower bound for the integral of the limit inferior of a sequence of functions. It states:
This is particularly useful when the conditions for the Monotone Convergence Theorem or the Dominated Convergence Theorem aren’t fully met, acting as a “safety net” for analysts.
What is the ‘Lebesgue Dominated Convergence Theorem’ (LDCT)?
The LDCT is perhaps the most useful tool in the unit. It allows you to swap limits and integrals even if the functions aren’t increasing, provided they are all “dominated” by a single integrable function $g$. If $|f_n| \leq g$ for all $n$, then you can confidently take the limit inside the integral. In past papers, you will frequently use this to solve complex integration problems involving sequences of functions.
Conclusion
Measure and Integration is the language of modern probability and advanced physics. It requires a mindset that values logical consistency over simple arithmetic. Success in your finals comes from your ability to handle “almost everywhere” ($a.e.$) properties and understanding how different types of convergence (point-wise, uniform, and in-measure) relate to one another.
To sharpen your proofs and master the Lebesgue theory, we have provided a link to a comprehensive revision resource below.
Last updated on: March 24, 2026