Bourbaki

Proposition 11

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

Integration, IX, p. 65, § 5. Measures on completely regular spaces

Let T be a completely regular space, and let H be a subset of Mb(T)\mathscr{M}^b(T) that satisfies Prokhorov’s condition; then its closure H‾\overline{H} in Mb(T)\mathscr{M}^b(T) satisfies Prokhorov’s condition.

For, the functions μ↦∣μ∣∗(1)\mu \mapsto |\mu|^*(1), μ↦∣μ∣∗(T−Kε)\mu \mapsto |\mu|^*(T - K_\varepsilon) are lower semi-continuous on Mb(T)\mathscr{M}^b(T) by Prop. 6 of No. 3.

The interest of Prokhorov’s condition comes from the following theorem, whose converse will be studied later on (Th. 2).

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.