Corollary
Tag 0BSG, permanent. Cite it as [Bourbaki, Tag 0BSG].
General Topology, chapter IV, § 6. Continuous and semi-continuous real-valued functions
If a real-valued function defined on a non-empty quasi-compact space is continuous and finite on , then it is bounded in .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.