Bourbaki

Example

Tag 088J, permanent. Cite it as [Bourbaki, Tag 088J].

Functions of a Real Variable, chapter II, § 2. INTEGRALS OVER NON-COMPACT INTERVALS

If the interval I is bounded, and if ff is bounded on I, then the integral ∫If(t) dt\int_I f(t)\,dt always exists, for, by the mean value theorem, one has, for y≤α≤β≤zy \leq \alpha \leq \beta \leq z,

∥∫yαf(t) dt∥≤(α−a)sup⁡t∈I∥f(v)∥,∥∫βzf(t) dt∥≤(b−β)sup⁡t∈I∥f(x)∥ \left\| \int_y^\alpha f(t)\,dt \right\| \leq (\alpha - a) \sup_{t \in I} \|f(v)\| , \quad \left\| \int_\beta^z f(t)\,dt \right\| \leq (b - \beta) \sup_{t \in I} \|f(x)\|
and it suffices to take α−a\alpha - a and b−βb - \beta small enough for the Cauchy criterion be satisfied.

One may note that in this case a primitive of ff on I does not necessarily have a right (resp. left) derivative at the left-hand endpoint (resp. right-hand endpoint) of I (when this number is finite) contrary to the situation when I is compact and ff is regulated on I (cf. II, p. 33, exerc. 1).

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.