10-327/Separation Axioms

T0:

T1:

T2:

T3:

T3.5:

T4:

T4.5:

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.