Monotonicity implies Integrability
Every monotone function is Riemann integrable.
Proposition 4.11
Let . If is monotone, then is Riemann integrable.
Proof
A monotone on is bounded by , and for any partition
The extrema of a monotone function on are attained at the endpoints: assuming WLOG that is increasing, and , so
For the uniform partition every subinterval has length and the sum telescopes:
so the sequential integrability criterion applies.
Related
Stated in
- Proposition 4.11ยง4.2 Integrability Criteria
