Bourbaki

Proposition 7

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

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

If AA is a relatively quasi-compact subset of a topological space XX, then every filter base on AA has a cluster point in XX.

For if A⊂KA \subset K, where KK is a quasi-compact subset of XX, then every filter base on AA has a cluster point in KK.

The converse of this proposition is not valid without restriction on XX (Exercise 22).

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.