Bourbaki

Definition 2

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

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

A topological space XX is said to be a Souslin space if it is metrizable and if there exists a Polish space PP and a continuous mapping of PP onto XX. A subset AA of a topological space XX is called a Souslin set if the subspace AA is a Souslin space.

Clearly every Polish space is Souslin, and the image of a Souslin space XX under a continuous mapping of XX into a metrizable space YY is a Souslin space.

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

Cited by

Cites

Nothing.

Transcribed from the printed volume. Not translated.