Proposition 3
Tag 0CCD, permanent. Cite it as [Bourbaki, Tag 0CCD].
General Topology, chapter X, § 2. Equicontinuous sets
Let be a topological (resp. uniform) space, let be a family of uniform spaces, let be a set, and for each , let be a mapping of into . Let be endowed with the coarsest uniformity for which all the are uniformly continuous. For a subset of to be equicontinuous (resp. uniformly equicontinuous) it is necessary and sufficient that, for each , the image of under the mapping be an equicontinuous (resp. uniformly equicontinuous) subset of .
This is an immediate consequence of Definitions 1 and 2 and the definition of the entourages of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.