Proposition 2
Tag 0CDA, permanent. Cite it as [Bourbaki, Tag 0CDA].
General Topology, chapter X, § 3. Special function spaces
Let be a set and a metric space. The set of bounded mappings is both open and closed in the space .
If is bounded, then every mapping such that for all , we have is bounded, because
hence is open. On the other hand, if lies in the closure of in , there is a mapping such that for all ; hence is bounded.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.