Proposition 8

Tag 09JJ, permanent. Cite it as [Bourbaki, Tag 09JJ].

Integration, chapter VIII, § 3. Convolution of measures on groups

— Let $\mu$ be a measure on $G$ , $\nu$ a measure on $X$ . (i) If $\mu$ has compact support, then $\mu$ and $\nu$ are convolvable. (ii) If $\nu$ has compact support, and if $G$ operates properly in $X$ , then $\mu$ and $\nu$ are convolvable. This follows from Prop. 4 of §1, No. 4.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Proposition 2, § 3
Proposition 9, § 3
Example, § 4
Proposition 3, § 4
Proposition 4, § 4

Cites

Prop. 4 of §1, No. 4