Definition 4
Tag 091O, permanent. Cite it as [Bourbaki, Tag 091O].
Integration, chapter V, § 3. Integration of positive measures
The notations being those of Proposition 13, the diffusion is called the composed diffusion (or the composition) of the bounded diffusions H and .
Let be four locally compact spaces, and three bounded diffusions, of in , in , in , respectively. It follows at once from Prop. 13 that
We will therefore use these notations without parentheses for the composition of diffusions.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.