Proposition 5
Tag 0B87, permanent. Cite it as [Bourbaki, Tag 0B87].
General Topology, chapter I, § 9. Compact spaces and locally compact spaces
The union of a finite family of quasi-compact subsets of a topological space is quasi-compact.
It is sufficient to show that if and are two quasi-compact subsets of a topological space , then is quasi-compact. Let be covering of ; then is a covering of and a covering of ; hence contains a finite covering of and a finite covering of ; is thus a finite covering of contained in .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.