Bourbaki

Corollary

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

General Topology, chapter X, § 1. The uniformity of $\mathscr{G}$-convergence

Let XX be a set, let (Yi)i∈I(Y_i)_{i \in I} be a family of uniform spaces and let S\mathscr{S} be a set of subsets of XX. If we endow ∏i∈IYi\prod_{i \in I} Y_i with the product uniformity, the canonical bijection of the uniform space FS(X,∏i∈IYi)\mathscr{F}_\mathscr{S}(X, \prod_{i \in I} Y_i) onto the product uniform space ∏i∈IFS(X;Yi)\prod_{i \in I} \mathscr{F}_\mathscr{S}(X; Y_i) (Set Theory, R, § 4, no. 13) is an isomorphism.

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.