Bourbaki

Corollary 1

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

General Topology, chapter X, § 2. Equicontinuous sets

Let XX be a topological (resp. uniform) space, YY a uniform space and HH a subset of F(X;Y)\mathscr{F}(X; Y). For each x∈Xx \in X, let x~\tilde{x} denote the mapping h→h(x)h \to h(x) of HH into YY. Then HH is equicontinuous at x0x_0 (resp. uniformly equicontinuous) if and only if the mapping x→x~x \to \tilde{x} of XX into the uniform space Fu(H;Y)\mathscr{F}_u(H; Y) is continuous at x0x_0 (resp. uniformly continuous).

In particular, if XX is compact, every continuous mapping of XX into Fu(H;Y)\mathscr{F}_u(H; Y) is uniformly continuous (Chapter II, § 4, no. 1, Theorem 2). Therefore:

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

Cited by

Cites

Transcribed from the printed volume. Not translated.