Lebesgue Integral
Integrate by partitioning the range.
Key idea
Integrate by partitioning the range.
In depth
Instead of slicing the domain, slice the range: ∫f dμ = sup of integrals of simple functions below f. It handles more functions than Riemann, and has better convergence theorems.
Worked example
The Dirichlet function (1 on Q, 0 elsewhere) has Lebesgue integral 0 on [0, 1].
Real-world uses
- Computing expectations of random variables and integrals of rough signals in probability
Common mistake
Using the Lebesgue integral and expecting that improper conditional integrals converge.
How to learn this
- Read the key idea and say it in your own words.
- Work through the worked example, then try a similar problem.
- Use the interactive lesson’s visual and mini-quiz to check the pattern.
Frequently asked questions
What is Lebesgue Integral?
Integrate by partitioning the range. It is a topic at the expert level in Analysis & Topology.
Where is Lebesgue Integral used in real life?
Real-world examples: Computing expectations of random variables and integrals of rough signals in probability.
What should I learn before Lebesgue Integral?
Make sure you are comfortable with Measurable Functions, the previous topic in Analysis & Topology.
What is a common mistake with Lebesgue Integral?
Using the Lebesgue integral and expecting that improper conditional integrals converge.
How can I practise Lebesgue Integral?
Open the interactive lesson, play with the visual, then answer the three-question mini-quiz. Getting two right marks the topic complete.
What comes after Lebesgue Integral?
Move on to Monotone Convergence (Lebesgue) next.
Related expert topics in Analysis & Topology
- Axioms of the Real Numbers – ℝ is a complete ordered field.
- Completeness and Supremum – Every nonempty bounded-above set has a least upper bound.
- Archimedean Property – For any real x there is an integer n > x.
- Density of Rationals – Between any two reals there is a rational.
- Sequences and Convergence (ε–N) – aₙ → L if for every ε>0 eventually |aₙ − L| < ε.
- Limit Theorems for Sequences – Algebra of limits and squeeze theorem.