Example
Tag 09KH, permanent. Cite it as [Bourbaki, Tag 09KH].
Integration, chapter VIII, § 4. Convolution of measures and functions
— 1) One can take , and by Prop. 3, and the Cor. of Prop. 5 of §1, No. 4. The formula (7) then means that the endomorphism of is the transpose of the endomorphism of .
2) One can take , and by Prop. 3, Prop. 8 of §3, No. 2, and the remark that the support of the continuous function intersects the support of in a compact set. The formula (7) then means that the endomorphism of is the transpose of the endomorphism of .
3) If operates properly on , one can take , and by Prop. 4, Prop. 8 of §3, No. 2, and the same remark as in Example 2.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.