Example
Tag 08SI, permanent. Cite it as [Bourbaki, Tag 08SI].
Integration, IV, p. 40, § 4. Integrable functions and sets
For every positive measure on , every step function with compact support is -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 is a regulated function on with compact support (FRV, II, §1, No. 3), then is integrable, because it is the uniform limit of a sequence of step functions with support contained in a fixed compact set (No. 3, Prop. 3); moreover, .
If, in particular, is taken to be Lebesgue measure, one sees that for every regulated function with compact support, the integral is equal to the integral 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