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.