Remark
Tag 0C9J, permanent. Cite it as [Bourbaki, Tag 0C9J].
General Topology, chapter IX, § 6. Polish spaces, Souslin spaces, Borel sets
\* If is a positive measure on a locally compact metrizable space , then every Souslin subset of is -measurable. For if is any compact subset of , is a relatively compact Souslin set, hence is capacitable with respect to and consequently -integrable. Note that the complement in of a Souslin set, although not in general a Souslin set, is -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.