Bourbaki

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 ΛH\Lambda H is called the composed diffusion (or the composition) of the bounded diffusions H and Λ\Lambda.

Let X1,X2,X3,X4X_1, X_2, X_3, X_4 be four locally compact spaces, and Λ1,Λ2,Λ3\Lambda_1, \Lambda_2, \Lambda_3 three bounded diffusions, of X1X_1 in X2X_2, X2X_2 in X3X_3, X3X_3 in X4X_4, respectively. It follows at once from Prop. 13 that

(Λ1Λ2)Λ3=Λ1(Λ2Λ3). (\Lambda_1 \Lambda_2) \Lambda_3 = \Lambda_1 (\Lambda_2 \Lambda_3).

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.

Cites

Transcribed from the printed volume. Not translated.