Proposition 10
Tag 091H, permanent. Cite it as [Bourbaki, Tag 091H].
Integration, chapter V, § 3. Integration of positive measures
Let be two positive universally measurable functions on , let be a number , and let and be two positive measures on . Then:
a) , . b) If and belong to the domain of , then so do and , and one has , .
The only non-obvious point is that belongs to the domain of , which is treated by observing that every positive measure bounded above by is of the form , where , (the 'decomposition lemma', Ch. II, §1, No. 1). See also the next proposition.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.