Bourbaki

Remark

Tag 0C9J, permanent. Cite it as [Bourbaki, Tag 0C9J].

General Topology, chapter IX, § 6. Polish spaces, Souslin spaces, Borel sets

\* If μ\mu is a positive measure on a locally compact metrizable space XX, then every Souslin subset AA of XX is μ\mu-measurable. For if KK is any compact subset of XX, K∩AK \cap A is a relatively compact Souslin set, hence is capacitable with respect to μ∗\mu^* and consequently μ\mu-integrable. Note that the complement in XX of a Souslin set, although not in general a Souslin set, is μ\mu-measurable *.

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

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.