Bourbaki

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 F(X;Y)\mathscr{F}(X; Y) is said to be uniformly equicontinuous if, for each entourage V of Y, there exists an entourage U of X such that we have (f(x),f(x′))∈V(f(x), f(x')) \in V whenever (x,x′)∈U(x, x') \in U and f∈Hf \in H.

A family (fi)i∈I(f_i)_{i \in I} of mappings of X into Y is said to be equicontinuous at a point x0x_0 (resp. equicontinuous, uniformly equicontinuous) if the set of the fif_i is equicontinuous at x0x_0 (resp. equicontinuous, uniformly equicontinuous).

It is clear that if H⊂F(X;Y)H \subset \mathscr{F}(X; Y) is equicontinuous at x0x_0, then each f∈Hf \in H is continuous at x0x_0; if H is equicontinuous, then each f∈Hf \in H is continuous on X, i.e. H⊂C(X;Y)H \subset C(X; Y). Likewise, if H is uniformly equicontinuous (X being a uniform space), every f∈Hf \in H 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.

Cites

Transcribed from the printed volume. Not translated.