2.06 Hausdorffness

Below the video you will find accompanying notes and some pre-class questions.

Notes

Definition

(0.24) A topological space X is Hausdorff if, for all x,yX with xy, there exist open sets U,VX such that xU, yV and UV=. That is, any two points can be separated by open balls.

(1.12) Any metric space is Hausdorff: if xy then d:=d(x,y)>0 and the open balls Bd/2(x) and Bd/2(y) are disjoint. To see this, note that if zBd/2(x) then d(z,y)+d(x,z)d(x,y)=d (by the triangle inequality) and d/2>d(x,z), so d(z,y)>d/2 and zBd/2(y).

(3.57) We don't yet have a construction of topological spaces which will allow us to construct a non-Hausdorff spaces: we will see such examples when we meet the quotient topology later.

Properties of Hausdorff spaces

(4.36) If X is Hausdorff and xn is a sequence of points in X such that xn converges to x and xn converges to y, then x=y (so limits are unique).
(5.27) What does convergence mean for a sequence in a topological space? It means that for any open set U containing x, the points xn are in U for all sufficiently large n (this recovers the usual metric notion of convergence if you take U to be a sequence of balls of smaller and smaller radius going to zero).

(6.40) Suppose that we have a sequence xn such that xnx and let y be a point with xy. By the Hausdorff assumption, there are disjoint open sets Ux and Vy. Because xnx there exists an N such that xnU for all nN. Therefore xnV for all nN, and hence xn does not converge to y.

(8.26) A compact subset K of a Hausdorff space X is closed.
We need to show that XK is open. If XK= then it's open, so assume that it is nonempty. Pick a point yXK. For each xK there is a ball Uxx and Vxy such that UxVx= (by the Hausdorff assumption). We would like to say xKVx is an open neighbourhood of Y disjoint from K. Certainly it is disjoint from K (otherwise there is some point xVx, but VxUx= and xUx) but it might not be open because it could be an infinite intersection.

(11.11) As K is compact, there is a finite collection {xi : iI} (for a finite set I) such that {Uxi : iI} covers K. Now the intersection V=iIVxi is open (as it's a finite intersection). Moreover VK=.

(13.30) Therefore K is closed (because its complement is a union of open sets V like we just constructed, hence open).

Pre-class questions

  1. In the proof of the final lemma of the video, I did a lousy job of explaining why iIVxiK=. Think about why this is true and come up with your own explanation.

Navigation

Comments, corrections and contributions are very welcome; please drop me an email at j.d.evans at lancaster.ac.uk if you have something to share.

CC-BY-SA 4.0 Jonny Evans.