Example 1
Tag 0B7T, permanent. Cite it as [Bourbaki, Tag 0B7T].
General Topology, chapter I, § 9. Compact spaces and locally compact spaces
Every finite space is quasi-compact, and more generally every space in which there is only a finite number of open sets is quasi-compact. A finite space is compact if and only if it is discrete, for a finite Hausdorff space is discrete (, no. 1, Corollary to Proposition 3). Conversely, every compact discrete space is finite, for in such a space the sets consisting of a single point are open; hence the space is finite by .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.