Proposition 1
Tag 090I, permanent. Cite it as [Bourbaki, Tag 090I].
Integration, chapter V, § 2. Summable families of positive measures
— Let f be a positive numerical function defined on X. Then
This follows at once from Remark 1, Prop. 11 of §1, No. 3 and Prop. 3 of §1, No. 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
- Proposition 3, § 2
- Proposition 11, § 3
- Proposition 2, § 3
- Proposition 3, § 3
- Theorem 1, § 4
- Proposition 7, § 8
- Proposition 8, § 8