10-327/Separation Axioms

From Drorbn

T0:

Image:T0SA.png

T1:

Image:T1SA.png

T2:

Image:T2SA.png

T3:

Image:T3SA.png

T3.5:

Image:T35SA.png

T4:

Image:T4SA.png

T4.5:

Image:T45SA.png

Since I made a mistake with the pathes and these files will likely be deleted or moved, I'm including a link to the original source on my blog.

The separation axioms along with other properties form a network of implications:

It's interesting to note that paracompactness (every open cover has a subcover such that every point has a neighbourhood that intersects finitely many elements) will suffice in place of compactness.