Remark 4
Tag 09FF, permanent. Cite it as [Bourbaki, Tag 09FF].
Integration, VII, p. 36, § 2. Quotient of a space by a group; homogeneous spaces
Let be a vectorial measure on with values in , and let be a lower semi-continuous semi-norm on . For to be -majorizable (Ch. VI, §2, No. 3, Def. 3), it is necessary and sufficient that be so, in which case . This follows at once from the definitions and Cor. 3 a).
On the other hand, let be a positive measure on . For to be scalarly of base , it is necessary and sufficient that be scalarly of base : this follows from Cor. 1.
Finally, if has base , with density with respect to (Ch. VI, §2, No. 4, Def. 4), then has base , with density : this follows from Prop. 6 c).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.