Remark
Tag 09K8, permanent. Cite it as [Bourbaki, Tag 09K8].
Integration, VIII, p. 28, § 4. Convolution of measures and functions
The hypothesis (iii) of Prop. 2 is satisfied notably when is bounded. For, for every , there then exists a compact subset of such that
(Ch. IV, §4, No. 7), and is carried by the union of the . More generally, let be a lower semi-continuous finite function on such that ; if , the hypothesis (iii) is satisfied; for, is bounded, and is carried by the same subsets as since, on every compact subset of , is bounded below by a constant .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.