Bourbaki

Proposition 2

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

General Topology, chapter I, § 7. Limits

A filter F\mathfrak{F} on a topological space XX converges to a point xx if and only if every ultrafilter which is finer than F\mathfrak{F} converges to xx.

This is an immediate consequence of the preceding remarks and Proposition 7 of § 6, no. 4.

In general a filter can have several distinct limit points; we shall revert to this question in § 8, no. 1.

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.