Bourbaki

Example

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

General Topology, chapter I, § 8. Hausdorff spaces and regular spaces

Any discrete space is Hausdorff. The rational line QQ is Hausdorff, for if x,yx, y are two rational numbers such that x<yx < y then there is a rational number zz such that x<z<yx < z < y, and the neighbourhoods ]←,z[\leftarrow, z[ of xx and ]z,→[z, \rightarrow[ of yy do not intersect.

A set XX having at least two points and carrying the coarsest topology (§ 2, no. 2) is not a Hausdorff space.

Let f:X→Yf : X \to Y be a mapping of a set XX into a Hausdorff space YY; then it follows immediately from Proposition 1 that ff can have at most one limit with respect to a filter F\mathfrak{F} on XX, and that if ff has yy as a limit with respect to F\mathfrak{F}, then yy is the only cluster point of ff with respect to F\mathfrak{F}.

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.