Maths WorkshopMaths problems with full solutions
Exercise 65Calculus › Single-variable calculus › Integration › Riemann integralHigh schoolAdded 5 Nov 2026

A step function with zero integral

#zero integral#step functions#nonnegative

Statement

Let f≥0f\ge0 be a step function on [a,b][a,b] with ∫abf=0\int_a^bf=0. Show that ff vanishes at every point of continuity of ff.

Hint

If ff were positive on some open interval, the integral would be positive.

Show solutionHide solution

Solution

Setup. Suppose f(x0)>0f(x_0)>0 at a continuity point x0x_0. By continuity, there is a neighbourhood ]x0−ε,x0+ε[]x_0-\varepsilon,x_0+\varepsilon[ on which f≥f(x0)/2>0f\ge f(x_0)/2>0.

Positive integral. The integral of ff over [a,b][a,b] is at least (f(x0)/2)⋅2ε(f(x_0)/2)\cdot2\varepsilon if the whole neighbourhood lies in [a,b][a,b], contradicting ∫f=0\int f=0. (If x0x_0 is an endpoint, a similar half-neighbourhood argument applies.)

Conclusion. ff vanishes at each continuity point.