Riemann Integral — Definition, Formula & Examples
The Riemann integral is a way to define the definite integral of a function by partitioning an interval into subintervals, forming rectangles whose heights are sampled function values, and taking the limit of their total area as the subintervals become infinitely thin.
Let be a bounded function on . The Riemann integral exists if for every there exists a such that for every partition of with mesh and every choice of sample points , the Riemann sum satisfies .
Key Formula
Where:
- = Lower and upper bounds of integration
- = The function being integrated
- = Width of the i-th subinterval, equal to x_i - x_{i-1}
- = A sample point chosen in the i-th subinterval
- = Mesh (norm) of the partition — the width of the largest subinterval
How It Works
You divide the interval into subintervals of width . In each subinterval you pick a sample point and compute the rectangle's area . Summing all rectangles gives a Riemann sum , which approximates the area under the curve. If this sum converges to the same value regardless of how you choose the partitions and sample points (as the widest subinterval shrinks to zero), then is the Riemann integral of over .
Worked Example
Problem: Use a Riemann sum with n = 4 equal subintervals and right endpoints to approximate the Riemann integral of f(x) = x^2 on [0, 2].
Set up the partition: Divide [0, 2] into 4 equal subintervals. Each has width Δx = (2 − 0)/4 = 0.5. The right endpoints are x₁* = 0.5, x₂* = 1, x₃* = 1.5, x₄* = 2.
Compute the Riemann sum: Evaluate f at each right endpoint and multiply by Δx.
Compare with exact integral: The exact Riemann integral equals the definite integral found via antidifferentiation.
Answer: The right-endpoint Riemann sum with 4 subintervals gives 3.75, which overestimates the exact value of 8/3 ≈ 2.667. As n → ∞, the Riemann sum converges to 8/3.
Why It Matters
The Riemann integral provides the rigorous foundation for every definite integral you compute in calculus. Understanding it clarifies why certain pathological functions (like the Dirichlet function) are not integrable in the Riemann sense, motivating the study of Lebesgue integration in real analysis courses.
Common Mistakes
Mistake: Assuming every bounded function is Riemann integrable.
Correction: A bounded function on [a, b] is Riemann integrable if and only if its set of discontinuities has measure zero (Lebesgue's criterion). Functions with "too many" discontinuities, like the Dirichlet function, fail this condition.
