10-327/Separation Axioms
From Drorbn
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.
