Measure, Integration & Real Analysis · Problem 1A.11

Measures — Sheldon Axler

Mathematics — Measure Theory · riemann-integral-antiderivative-continuity

Problem

Suppose f:[a,b]→Rf : [a, b] \to \mathbf{R} is Riemann integrable. Define F:[a,b]→RF : [a, b] \to \mathbf{R} by F(t)={0if t=a,∫atfif t∈(a,b].F(t) = \begin{cases} 0 & \text{if } t = a, \\ \displaystyle\int_a^t f & \text{if } t \in (a, b]. \end{cases} Prove that FF is continuous on [a,b][a, b].
Intuitive explanation

The key insight is that Riemann integrability gives you uniform control over how much ff can accumulate over small intervals—this is exactly what you need to make F(t)F(t) change arbitrarily little when tt moves slightly. Rather than tracking ff's behavior pointwise, use the definition of Riemann integrability to bound ∣∫stf∣\left|\int_s^t f\right| for nearby points ss and tt, which directly translates to ∣F(t)−F(s)∣|F(t) - F(s)| being small. Continuity at aa and interior points follow from the same principle.

Intuitive explanation

The key insight is that Riemann integrability gives you uniform control over how much ff can accumulate over small intervals—this is exactly what you need to make F(t)F(t) change arbitrarily little when tt moves slightly. Rather than tracking ff's behavior pointwise, use the definition of Riemann integrability to bound ∣∫stf∣\left|\int_s^t f\right| for nearby points ss and tt, which directly translates to ∣F(t)−F(s)∣|F(t) - F(s)| being small. Continuity at aa and interior points follow from the same principle.

Related theory

Browse the problem library