Proposition 12
Tag 08RD, permanent. Cite it as [Bourbaki, Tag 08RD].
Integration, chapter IV, § 3. LP spaces
— For a numerical function to belong to , it is necessary and sufficient that each of the functions and belong to .
The condition is sufficient since ; it is necessary, because if then (Prop. 11).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.