Bourbaki

Proposition 4

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

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

If the integral of f\mathbf{f} over II is absolutely convergent then it is convergent, and one has

∣∫If(t) dt∣≤∫I∥f(t)∥ dt.(2) \left| \int_I \mathbf{f}(t)\,dt \right| \leq \int_I \| \mathbf{f}(t) \| \,dt.\tag{2}

Indeed, for every compact interval J⊂IJ \subset I one has (II, p. 61, formula (16))

∣∫Jf(t) dt∣≤∫J∥f(t)∥ dt.(3) \left| \int_J \mathbf{f}(t)\,dt \right| \leq \int_J \| \mathbf{f}(t) \| \,dt.\tag{3}

If the integral of the positive function ∥f(x)∥\| \mathbf{f}(x) \| is convergent, then for every ε>0\varepsilon > 0 there exists a compact interval [α, β][\alpha,\ \beta] contained in II, such that, for every compact interval [λ, γ][\lambda,\ \gamma] contained in II and having no interior point in common with [α, β][\alpha,\ \beta], one has ∫λγ∥f(t) dt∥≤ε\int_{\lambda}^{\gamma} \| \mathbf{f}(t) \, dt \| \leq \varepsilon (II, p. 65, prop. 1); one deduces that ∣∫λγf(t) dt∣≤ε\left| \int_{\lambda}^{\gamma} \mathbf{f}(t)\,dt \right| \leq \varepsilon, which shows convergence of the integral over II (II, p. 16, prop. 1); on passing to the limit in (3) one deduces the inequality (2).

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

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.