For a bounded real function on , take a partition with nodes . Its lower Darboux sum and upper Darboux sum areThe function is Riemann integrable when ; their common value is its Riemann integral. Equivalently, for every some partition has . Indeed a common refinement of nearly extremizing upper and lower partitions proves necessity, while arbitrarily small gaps force equality of the two integrals. This is the Riemann integrability criterion.
A continuous function on a compact interval is bounded and uniformly continuous. Choose a mesh small enough that its oscillation on each subinterval is less than . Then ; using first makes the desired inequality strict. Thus every continuous function on is Riemann integrable.
Articles by others on the same topic
There are currently no matching articles.