The Lebesgue Integral and What It Repairs
Define the integral first for simple functions, then as a supremum over the simple functions underneath. Functions the Riemann theory cannot touch become integrable, and the value agrees with the Riemann integral wherever that one exists.
What a learner can do afterwards
- Integrate a simple function directly from its defining partition
- Integrate the indicator function of the rationals and say where the Riemann definition stalls
- State how the two integrals relate on a bounded interval
1 · Read
A simple function is constant on each piece of a finite measurable partition. Its integral is the sum over pieces of value times measure. You already know the pieces are measurable, so each term makes sense, and adding them gives the whole integral.
The indicator of the rationals is 1 on rationals and 0 elsewhere. Its integral is 0, because the rationals have measure zero and the irrationals carry the full measure. Riemann sums stall here: every subinterval holds both kinds of points, so lower sums sit at 0 while upper sums sit at 1.
Riemann cuts the domain into subintervals, so wild oscillation inside one piece ruins the sums. Lebesgue cuts the range into levels and measures how much of the domain sits at each height. Grouping by height is what tames functions like the rationals indicator.
On a bounded interval, every Riemann integrable function is Lebesgue integrable, with the same value. The new integral agrees with the old one wherever the old one works, and it also handles functions the old one cannot touch.
The Lebesgue integral prices a function by height levels instead of domain slices, which is why it digests wilder functions yet agrees with Riemann where Riemann works.
2 · Watch
Take it off screen
Where it sits
8 questions wait behind this lesson, each with its answer explained. Every answer feeds the sky: stars light as they are learned, and dim when it is time to come back.