(0.24) A topological space X is Hausdorff if, for
all x,y∈X with x≠y, there exist open sets
U,V⊂X such that x∈U, y∈V and U∩V=∅. That is, any two points can be separated by
open balls.
(1.12) Any metric space is Hausdorff: if x≠y 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 z∈Bd/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 z∉Bd/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 xn→x and let y be a point with x≠y. By the Hausdorff
assumption, there are disjoint open sets U∋x and V∋y. Because xn→x there exists an N such that xn∈U for all n≥N. Therefore xn∉V for all n≥N, 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 X∖K is open. If X∖K=∅ then it's open, so assume that it is nonempty. Pick a
point y∈X∖K. For each x∈K there is a ball
Ux∋x and Vx∋y such that Ux∩Vx=∅
(by the Hausdorff assumption). We would like to say ⋂x∈KVx is an open neighbourhood of Y disjoint from
K. Certainly it is disjoint from K (otherwise there is some
point x∈Vx, but Vx∩Ux=∅ and x∈Ux)
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:i∈I} (for a finite set I) such that {Uxi:i∈I} covers K. Now the intersection V=⋂i∈IVxi is open (as it's a finite intersection). Moreover
V∩K=∅.
(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
In the proof of the final lemma of the video, I did a lousy job of
explaining why ⋂i∈IVxi∩K=∅. Think
about why this is true and come up with your own explanation.