Bourbaki

Corollary 2

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

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

Every continuous mapping ff of a quasi-compact space XX into a Hausdorff space X′X' is closed. If also ff is bijective, then ff is a homeomorphism.

This follows immediately from Corollary 1 and Proposition 4 of no. 3.

In particular:

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.