T1 not implies Hausdorff

Statement
A T1 space need not be a Hausdorff space.

Related facts

 * T1 not implies US
 * US not implies Hausdorff

Example of cofinite topology
Consider a countable set, say the set $$\{ 1,2,3, \dots \}$$ of natural numbers, equipped with the cofinite topology. In the cofinite topology, the nonempty open subsets are precisely the cofinite subsets -- the subsets whose complement is finite. With this topology:


 * The space is $$T_1$$: Every point is closed, because its complement is an open subset. Equivalently, if $$x,y$$ are two natural numbers, the complement of $$x$$ is an open subset containing $$y$$ but not $$x$$.
 * The space is not Hausdorff: it is not possible to separate two points with disjoint open subsets, because any two nonempty open subsets have an infinite intersection. This is because the union of their complements is a union of two finite subsets, and hence is not the whole space. (Another way of phrasing this is that the space is an irreducible space and hence, since it has more than one point, it is not a Hausdorff space).

Example of line with two origins
Consider the line with two origins. This is the real line with two copies of the point $$0$$. Alternatively, it is the quotient of two copies of the real line where we identify all the nonzero points on the first real line with the corresponding nonzero point on the second real line.

This is a $$T_1$$ space, but is not Hausdorff, because the two origins cannot be separated by disjoint open subsets.