Remark
Tag 09P3, permanent. Cite it as [Bourbaki, Tag 09P3].
Integration, IX, p. 31, § 2. Operations on measures
Suppose that is injective. Let be a complex measure such that is -proper and ; then . Indeed, by separating into its real and imaginary parts, one can reduce to the case that is real. We then have , therefore (Prop. 8), and finally .
Here is an important case where condition a) of Prop. 8 is always satisfied.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.