A sequence in a Hausdorff space and in a space that is not Hausdorff. 
Let $X$ be a topological space and $\{x_n\}_{n=1}^{\infty}$ a sequence in $X$.
Show that if $X$ is Hausdorff, $x_n \rightarrow x \:$, $x_n \rightarrow y \:$  implies $x=y$.
Give an example that shows that if $X$ is not Hausdorff then this is not necessarily true.

A sequence is convergent, $x_n \rightarrow x \:$, if there is an element $x \in X$ such that for every open neighborhood $U$ of $x$ there exists a $n_0$ such that $n > n_0$ implies $x_n \in U$.
If $X$ is Hausdorff and $x$ and $y$ are different there exists open disjoint sets $x \in U$ and $y \in V$.
Because all but a finite number of $x_n$ lies in $U$ according to the definition of that $x_n \rightarrow x \:$ then only a finite number of $x_n$ can be in $V$, which is a contradiction to that $x_n \rightarrow y \:$.
But i have a hard time to come up with an example that shows that this not necessarily is true when $X$ isnt Hausdorff.
Can anyone give me a hint?
Thanks.

I'll present a fairly general way of coming up with examples of sequences which converge to more than one point. Recall that a space $X$ is called T1 (or Fréchet) if given any two distinct points $x,y \in X$ there is an open set which contains $x$ but not $y$.
Suppose that $X$ is not T1.  (Examples of such spaces can be found in π-Base with this search.)  Then there are distinct points $x,y \in X$ such that every open neighborhood of $x$ contains $y$. Consider the constant sequence $( x_n )_n$ where $x_n = y$ for each $n$. Note that clearly this sequence converges to $y$, but by the assumption on the chosen points we also have that the sequence converges to $x$.
One can also show that if a space has the property that all sequences converge to at most one point, then the space must be T1.

As a final aside of sorts, note that there are non-Hausdorff spaces in which every sequence converges to at most one point. An example would be an uncountable set given the co-countable topology, wherein the only convergent sequences are the eventually constant sequences, which converge only to their eventually constant value.
