Bourbaki

Proposition 3

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

General Topology, chapter X, § 2. Equicontinuous sets

Let XX be a topological (resp. uniform) space, let (Yi)i∈I(Y_i)_{i \in I} be a family of uniform spaces, let YY be a set, and for each i∈Ii \in I, let fif_i be a mapping of YY into YiY_i. Let YY be endowed with the coarsest uniformity for which all the fif_i are uniformly continuous. For a subset HH of F(X;Y)\mathscr{F}(X; Y) to be equicontinuous (resp. uniformly equicontinuous) it is necessary and sufficient that, for each i∈Ii \in I, the image of HH under the mapping u→fi∘uu \to f_i \circ u be an equicontinuous (resp. uniformly equicontinuous) subset of F(X;Yi)\mathscr{F}(X; Y_i).

This is an immediate consequence of Definitions 1 and 2 and the definition of the entourages of YY.

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

Cited by

Cites

Nothing.

Transcribed from the printed volume. Not translated.