Definition 2
Tag 0CC1, permanent. Cite it as [Bourbaki, Tag 0CC1].
General Topology, chapter X, § 2. Equicontinuous sets
Let X and Y be two uniform spaces. A subset H of is said to be uniformly equicontinuous if, for each entourage V of Y, there exists an entourage U of X such that we have whenever and .
A family of mappings of X into Y is said to be equicontinuous at a point (resp. equicontinuous, uniformly equicontinuous) if the set of the is equicontinuous at (resp. equicontinuous, uniformly equicontinuous).
It is clear that if is equicontinuous at , then each is continuous at ; if H is equicontinuous, then each is continuous on X, i.e. . Likewise, if H is uniformly equicontinuous (X being a uniform space), every is uniformly continuous on X. It is also clear that a uniformly equicontinuous set of mappings is equicontinuous; but a set of uniformly continuous mappings can be equicontinuous without being uniformly equicontinuous (see Exercise 1; Corollary 2 to Proposition 1; and no. 2, Proposition 4).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.