Measure Theory: Riemann vs Lebesgue

What are Riemann and Lebesgue Integrals?

The Riemann integral is a foundational concept in calculus, defined as the limit of Riemann sums. These sums approximate the area under a curve by dividing the domain into subintervals and summing up the areas of rectangles that approximate the function's behavior within each interval.

In contrast, the Lebesgue integral generalizes the notion of integration to a broader class of functions through measure theory. It focuses on partitioning the range (or codomain) of the function rather than its domain, allowing for more flexible and powerful integration over complex sets.

Why Do They Differ?

The key difference lies in their approach to defining integrability. Riemann's method is based on partitioning the domain of a function into subintervals, which works well for continuous functions but fails when dealing with discontinuities or more complex sets.

Lebesgue integration, however, partitions the range of the function and integrates over measurable sets in the codomain. This approach allows it to handle a wider variety of functions, including those that are highly discontinuous or defined on fractal-like sets like the Cantor set.

live demo · related simulation● LIVE

Real-World Applications

The Lebesgue integral is crucial in probability theory and measure-theoretic statistics. It provides a rigorous framework for defining expectations, variances, and other statistical measures that are essential in fields like econometrics and data science.

In physics, the Lebesgue integral is used to handle integrals over complex regions or functions with singularities, such as those encountered in quantum mechanics and fluid dynamics.

Cantor Set Construction

The Cantor set construction demonstrates a key difference between Riemann and Lebesgue integration: while the Riemann integral of the characteristic function of the Cantor set is zero, indicating no area under the curve, the Lebesgue integral recognizes that the measure (length) of the removed intervals approaches 1, leaving only a set of measure zero.

This example illustrates how Lebesgue integration can capture more nuanced properties of functions and sets than Riemann integration.

Frequently asked questions

What is the Dirichlet function?

The Dirichlet function is a classic example used in measure theory to illustrate differences between Riemann and Lebesgue integrals. It is defined as 1 if the input is rational and 0 otherwise, making it highly discontinuous.

Why does Lebesgue integration matter more than Riemann integration?

Lebesgue integration is more powerful because it can integrate a broader class of functions, including those that are not Riemann integrable. This makes it essential in advanced mathematics and its applications.

Can the Cantor set be measured using Riemann integration?

No, the Cantor set cannot be effectively measured using Riemann integration because the concept of partitioning the domain does not capture the measure (length) of the removed intervals. Lebesgue integration is necessary to determine that the remaining set has a measure of zero.

What are some other functions where Lebesgue integration is more useful than Riemann integration?

Lebesgue integration is particularly useful for functions defined on fractal sets, such as the Cantor set or the Sierpinski triangle. It also handles well functions with discontinuities and those that are not bounded.

Try it live

Everything above runs in your browser — open Measure Theory: Riemann vs Lebesgue and change the parameters while it is running. Nothing is installed, nothing is uploaded, the whole model lives in one tab.

▶ Open Measure Theory: Riemann vs Lebesgue simulation