What are some interesting counterexamples given by finite topological spaces?
Solution 1:
The Sierpiński space is the smallest example of a topological space which is neither trivial nor discrete. It is also the smallest Kolmogorov ($T_0$) space that is not Hausdorff.