Bourbaki

Lemma 3

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

Integration, chapter VI, § 3. Disintegration of measures

— Let T and X be two locally compact spaces with countable bases, μ\mu a positive measure on T, and t↦λtt \mapsto \lambda_t (t∈Tt \in T) a family of positive measures on X. If the mapping t↦λtt \mapsto \lambda_t is scalarly μ\mu-integrable (for the topology σ(M(X),K(X))\sigma(\mathscr{M}(X), \mathscr{K}(X))), then the family t↦λtt \mapsto \lambda_t is μ\mu-adequate (§1§ 1, No. 1, Example).

For, Lemma 1, applied to K(X)\mathscr{K}(X), shows that the mapping t↦λtt \mapsto \lambda_t is vaguely μ\mu-measurable (§1§ 1, No. 5, Prop. 13).

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

Cited by

Cites

Transcribed from the printed volume. Not translated.