Originally Posted by

**detalosi** I am trying to prove that if a sequence $\displaystyle \{x_{n}\}$ in a set $\displaystyle M\in X$ ($\displaystyle X$ is a metric space) is a Cauchy sequence and the sequence has a limit point $\displaystyle x_{0}$ then $\displaystyle x_{n} \rightarrow x_{0}$. I wish to understand the details in such a proof whence I will try to explain my thoughts.

I know that the sequence $\displaystyle \{x_{n}\}_{N\in \mathbb{N}}$ is a Cauchy sequence which means that for all $\displaystyle \epsilon >0$ I can find an $\displaystyle N \in \mathbb{N}$ beyond which the distance between any to elements $\displaystyle x_{n}$ and $\displaystyle x_{m}$ of the sequence will be smaller than $\displaystyle \epsilon$. This means that I can make the distance between any two element of the sequence arbitrarily small.

Furthermore we know that $\displaystyle x_{0}$ is a limit point which means that for every $\displaystyle \epsilon>0$ there is a point $\displaystyle m \in M$ such that $\displaystyle m \in B(x_{0},\epsilon)$.

1) I would like to argue that $\displaystyle x_{m}=m \in B(x_{0},\frac{\epsilon}{2})$ (I can freely choose $\displaystyle r=\frac{\epsilon}{2}$ since $\displaystyle x_{0}$ is a limit point).

2) Since $\displaystyle \{x_{n}\}$ is a Cauchy sequence $\displaystyle d(x_{n},x_{m})$ will be smaller than any $\displaystyle \epsilon$ I choose, so I choose $\displaystyle \frac{\epsilon}{2}$. Therefore $\displaystyle d(x_{n},x_{m})<\frac{\epsilon}{2}$.

3) Since $\displaystyle x_{m}=m \in B(x_{0},\frac{\epsilon}{2})$ then $\displaystyle d(x_{m},x_{0})<\frac{\epsilon}{2}$.

4) Using the triangle inequality we have $\displaystyle d(x_{n},x_{0}) \leq d(x_{n},x_{m}) + d(x_{m},x_{0}) \leq \frac{\epsilon}{2} + \frac{\epsilon}{2} = \epsilon

$

5) We can conclude that $\displaystyle x_{n} \rightarrow x_{0}$

Can someone please comment on the proof and the arguments presented?

How do I convince myself of the choice of epsilon (I start my choice of epsilon from the fact that $\displaystyle x_{0}$ is a limit point and from this I choose my epsilon for the distance between $\displaystyle x_{n}$ and $\displaystyle x_{m}$!!).