Bourbaki

Remark 4

Tag 087N, permanent. Cite it as [Bourbaki, Tag 087N].

Functions of a Real Variable, chapter II, § 1. PRIMITIVES AND INTEGRALS

The approximation of an integral by Riemann sums is closely connected to one of the historical origins of the concept of an integral, the problem of the measure of areas. We shall come back to this point in the Book on Integration which is devoted to generalizations of the concept of integral to which this problem leads; in these generalizations the functions to be "*integrated*" are not necessarily defined on a subset of R\mathbf{R}; moreover, even when one deals with (not necessarily regulated) real functions ff of a real variable for which one can define an integral ∫x0xf(t) dt\int_{x_0}^x f(t)\,dt, the function x↦∫x0xf(t) dtx \mapsto \int_{x_0}^x f(t)\,dt is not always a primitive of ff, and there exist functions which have a primitive but are not "integrable" in the sense to which we allude.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.