Proposition 1
Tag 0963, permanent. Cite it as [Bourbaki, Tag 0963].
Integration, chapter V, § 7. Integration with respect to an induced measure
— For every numerical function defined on X,
(cf. §5, No. 3, Example, for the notation ).
Taking into account the preceding remarks and (2), the relation (3) follows from Th. 1 of §4.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
- Lemma 2, § 1
- Proposition 2, § 1
- Proposition 3, § 1
- Remark, § 7
- Scholium, § 7
- Proposition 3, § 7
- Proposition 8, § 2