Corollary 1

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

Integration, chapter IV, § 5. Measurable functions and sets

The upper envelope and the lower envelope of a finite number of measurable numerical functions (finite or not) are measurable. For, $\sup(u, v)$ and $\inf(u, v)$ are continuous on $\overline{\mathbf{R}} \times \overline{\mathbf{R}}$ .

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

Cited by

Corollary 2, § 5
Corollary 1, § 5

Cites

Nothing.