Maths WorkshopMaths problems with full solutions
Exercise 64Calculus › Single-variable calculus › Integration › Riemann integralL1Added 5 Nov 2026

Darboux sums for a step function

#Darboux sums#upper lower#step functions

Statement

Let ff be a step function on [a,b][a,b]. Show that its lower and upper Darboux sums (over the subdivision adapted to ff) coincide, and deduce that ff is Riemann integrable with ∫abf\int_a^bf defined as usual.

Hint

On the intervals of the adapted subdivision, inf⁡f=sup⁡f=ck\inf f=\sup f=c_k.

Show solutionHide solution

Solution

Darboux sums. Take a subdivision σ\sigma adapted to ff. On each ]xk−1,xk[]x_{k-1},x_k[, f=ckf=c_k, so inf⁡=ck=sup⁡\inf=c_k=\sup. Hence
L(f,σ)=∑kckΔk=U(f,σ).L(f,\sigma)=\sum_kc_k\Delta_k=U(f,\sigma).

Riemann integrability. Since inf⁡σL(f,σ)=sup⁡σU(f,σ)\inf_\sigma L(f,\sigma)=\sup_\sigma U(f,\sigma), ff is Riemann integrable with value ∫abf\int_a^bf.

Conclusion. Step functions are Riemann integrable with the expected integral.