Bourbaki

Proposition 3

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

General Topology, chapter X, § 1. The uniformity of $\mathscr{G}$-convergence

a) Let XX be a set; let S\mathscr{S} be a set of subsets of XX; let Y,Y′Y, Y' be two uniform spaces; and let f:Y→Y′f : Y \to Y' be a uniformly continuous mapping. Then the mapping u→f∘uu \to f \circ u of FS(X;Y)\mathscr{F}_\mathscr{S}(X; Y) into FS(X;Y′)\mathscr{F}_\mathscr{S}(X; Y') is uniformly continuous.

b) Let X,X′X, X' be two sets; let S\mathscr{S} (resp. S′\mathscr{S}') be a set of subsets of XX (resp. X′X'); let YY be a uniform space; and let g:X′→Xg : X' \to X be a mapping such that, for each A′∈S′A' \in \mathscr{S}', g(A′)g(A') is contained in a finite union of sets of S\mathscr{S}. Then the mapping u→u∘gu \to u \circ g of FS(X,Y)\mathscr{F}_\mathscr{S}(X, Y) into FS′(X′;Y)\mathscr{F}_{\mathscr{S}'}(X'; Y) is uniformly continuous.

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

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.