Bourbaki

Corollary 2

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

General Topology, chapter X, § 3. Special function spaces

Let X be a topological space and Y a metric space. Then the space of all bounded continuous mappings of X into Y is both open and closed in Cu(X;Y)C_u(X; Y); it is complete if Y is complete.

The space in question is B(X;Y)∩Cu(X;Y)\mathscr{B}(X; Y) \cap C_u(X; Y); the first assertion follows from Proposition 2; the second follows from the first (§1§ 1, no. 6, Theorem 2, Corollary 1).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.