Example 2
Tag 0B83, permanent. Cite it as [Bourbaki, Tag 0B83].
General Topology, chapter I, § 9. Compact spaces and locally compact spaces
In a topological space , let be an infinite sequence of points which converges to a point ; then the set consisting of the points () and is quasi-compact. For if is a covering of by open sets of , then for some index . is a neighbourhood of and therefore there is only a finite number of indices such that . For each index let be an index such that ; then and the form a finite open covering of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.