Hausdorff and separable spaces

Arun Ram
Department of Mathematics and Statistics
University of Melbourne
Parkville, VIC 3010 Australia
aram@unimelb.edu.au

Last updates: 4 March 2014

Hausdorff spaces

Let X be a set. The diagonal map is

Δ: XX×X given by Δ(x) =(x,x) .
The image of the diagonal map Δ(X) is the graph of the identify function idX: XX.
A Hausdorff space is a topolgical space such that Δ(X) is closed in X×X, where X×X has the product topology.

Let X be a topological space. The following are equivalent.

(H) If x,yX and xy then there exist U𝒩(x) and V𝒩(y) such that UV=.
(HI) If xX then N𝒩(x)N={x}.
(HII) If Δ:XX×X is the diagonal map then Δ(X) is closed in X×X.
(HIII) If I is a set and Δ:XkIXk, where Xk=X for kI, is the diagonal map then Δ(X) is closed in kIXk.
(HIV) If 𝒢 is a filter on X then 𝒢 has at most one limit point.
(HV) If 𝒥 is a filter on X and x is a limit point of 𝒥 then x is the only cluster point of 𝒥.

Proof.

HW: Show that metric spaces are Hausdorff.

Separable spaces

Remove separability, this must have to do with normed linear spaces. See [Bou, Top, Ch. 1 Sec 1 Ex 7].

Separability appears in [BR] Chapter 2 Exercises 22 and 23, and in [Ru] Chapter 4 Exercises 2, 3, 4 and 18. A uniform space is almost a metric space: By [Bou??] the separable Hausdorff uniform spaces are exactly the separable metric spaces.

A topological space X is separable if it has a countable base, or?? if it has a countable dense set.

Hausdorff separable spaces are separable uniform spaces and metric spaces???

HW: Give an example of a metric space that is not separable. See [Ru] Chapter 4 Exercises 3 and 18. The key examples are p is separable if p and is not separable.

HW: Show that a Hilbert space is separable if and only if it contains a maximal orthonormal system which is at most countable. (See [Ru, Ch. 4 Ex. 4]).

HW: Give an example of a uniform space that is not separable.

HW: Show that k is separable.

Notes and References

These notes follow Bourbaki [Bou, Ch.I §8 no.1]. The condition that Δ is closed is the condition used in algebraic geometry for a separated scheme (see [Hartshorne, Ch. II Sec 4] and Macdonald (1.11) in [Carter-Segal-Macdonald, LMS Lecture Notes]).

By Theorem 1.1e, Hausdorff spaces are spaces such that limits are unique, when they exist.

For the filters and topology pages: Define base of a topology and base of a filter? Or just go by topology generated by and filter generated by? Then put other stuff in exercises.

The treatment of metric spaces and completion follows [BR] Chapter 2 Exercise ??.

References

[Bou] N. Bourbaki, General Topology, Springer-Verlag, 1989. MR1726779.

[BR] W. Rudin, Principles of mathematical analysis, Third edition, International Series in Pure and Applied Mathematics, McGraw-Hill 1976. MR0385023.

[Ru] W. Rudin, Real and complex analysis, Third edition, McGraw-Hill, 1987. MR0924157.

page history