Example 2
Tag 0BES, permanent. Cite it as [Bourbaki, Tag 0BES].
General Topology, chapter II, § 3. Complete spaces
Let be an infinite set, and consider the uniformity of finite partitions on ( 2, no. 2, Remark 1). Every ultrafilter on is a
Cauchy filter with respect to this uniformity. For if is a finite partition of and
the corresponding entourage, then at least one of the belongs to (Chapter I, § 6, no. 4, Corollary to Proposition 5), and is V-small. On the other hand, is an infinite discrete space, hence is not compact, and consequently there are ultrafilters on which do not converge.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.