Bourbaki

Example

Tag 08SI, permanent. Cite it as [Bourbaki, Tag 08SI].

Integration, IV, p. 40, § 4. Integrable functions and sets

For every positive measure μ\mu on R\mathbf{R}, every step function with compact support is μ\mu-integrable; for, the characteristic function of an open (resp. closed) interval is lower (resp. upper) semi-continuous, and every step function is a linear combination of such characteristic functions. It follows that if f\mathbf{f} is a regulated function on R\mathbf{R} with compact support (FRV, II, §1, No. 3), then f\mathbf{f} is integrable, because it is the uniform limit of a sequence of step functions gn\mathbf{g}_n with support contained in a fixed compact set (No. 3, Prop. 3); moreover, ∫f dμ=lim⁡n→∞∫gn dμ\int \mathbf{f}\, d\mu = \lim_{n \to \infty} \int \mathbf{g}_n\, d\mu.

If, in particular, μ\mu is taken to be Lebesgue measure, one sees that for every regulated function f\mathbf{f} with compact support, the integral ∫f dμ\int \mathbf{f}\, d\mu is equal to the integral ∫−∞+∞f(x) dx\int_{-\infty}^{+\infty} \mathbf{f}(x)\, dx defined in FRV, II, §2, No. 1.

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

Cited by

Nothing.

Cites

  • FRV, II, §1, No. 3 not yet on this site: FVR II
  • FRV, II, §2, No. 1 not yet on this site: FVR II
  • No. 3, Prop. 3
Transcribed from the printed volume. Not translated.