Corollary

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

Integration, chapter IV, § 3. LP spaces

— The upper (resp. lower) envelope of a finite family of functions in $\mathscr{L}^p$ belongs to $\mathscr{L}^p$ .

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

Cited by

Nothing.