Proposition 13
Tag 09B7, permanent. Cite it as [Bourbaki, Tag 09B7].
Integration, chapter VI, § 2. Vectorial measures . "
— Let m be a complex measure, and . For m to be bounded, it is necessary and sufficient that be bounded, in which case .
We have , where is -measurable and for all . If is bounded then, for every function ,
therefore is bounded and . If is bounded, then for every we have, on taking into account Lemma 5,
therefore is bounded and . Whence the proposition.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.