Bourbaki

Corollary 2

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

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

Let S1,S2\mathscr{S}_1, \mathscr{S}_2 be two sets of subsets of XX, whose union is the same and which are such that S1⊂S2\mathscr{S}_1 \subset \mathscr{S}_2, and let HH be a subset of F(X;Y)\mathscr{F}(X; Y). Then if HH is complete with respect to S1\mathscr{S}_1-convergence, it is complete with respect to S2\mathscr{S}_2-convergence.

For every Cauchy filter with respect to G2\mathscr{G}_2-convergence is also a Cauchy filter with respect to G1\mathscr{G}_1-convergence, and we may apply Corollary 1.

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.