Bourbaki

Corollary 1

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

General Topology, chapter I, § 9. Compact spaces and locally compact spaces

Let ff be a continuous mapping of a topological space XX into a Hausdorff space X′X'. Then the image under ff of any quasi-compact (resp. relatively quasi-compact) set in XX is a compact (resp. relatively compact) set in X′X'.

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.