Convergent Sequence is Cauchy Sequence

Theorem
Every convergent sequence in $$\mathbb{R}$$ is a Cauchy sequence.

Conversely, every Cauchy sequence in $$\mathbb{R}$$ is convergent.

Proof

 * First we show that every convergent sequence in $$\mathbb{R}$$ is a Cauchy sequence.

Let $$\left \langle {x_n} \right \rangle$$ be a sequence in $\mathbb{R}$.

Let $$\left \langle {x_n} \right \rangle$$ converge to the limit $$l$$.

Let $$\epsilon > 0$$.

Then $$\frac \epsilon 2 > 0$$.

Because $$\left \langle {x_n} \right \rangle$$ converges to $$l$$, $$\exists N: \forall n > N: \left|{x_n - l}\right| < \frac \epsilon 2$$.

In the same way, $$\forall m > N: \left|{x_m - l}\right| < \frac \epsilon 2$$

So if $$m > N$$ and $$n > N$$:

$$ $$ $$ $$

Thus $$\left \langle {x_n} \right \rangle$$ is a Cauchy sequence.


 * Next we show that every Cauchy sequence in $$\mathbb{R}$$ is convergent.

Let $$\left \langle {x_n} \right \rangle$$ be a Cauchy sequence in $$\mathbb{R}$$.

As Every Cauchy Sequence is Bounded‎, $$\left \langle {x_n} \right \rangle$$ is bounded.

Hence, by the Bolzano-Weierstrass Theorem, it has a convergent subsequence, which we will call $$\left \langle {x_{n_r}} \right \rangle$$.

Suppose $$x_{n_r} \to l$$ as $$r \to \infty$$.

We need to show that $$x_n \to l$$ as $$r \to \infty$$.

So, let $$\epsilon > 0 \Longrightarrow \frac \epsilon 2 > 0$$.

Hence $$\exists R: \forall r > R: \left|{x_{n_r} - l}\right| < \frac \epsilon 2$$.

Since $$\left \langle {x_n} \right \rangle$$ is a Cauchy sequence, $$\exists N: m, n > N: \left|{x_m - x_n}\right| < \frac \epsilon 2$$.

Now let $$n > N$$.

Let $$r$$ be chosen such that $$n_r > N$$ and $$r > R$$.

Then $$\left|{x_{n_r} - l}\right| < \frac \epsilon 2$$.

Also, putting $$m = n_r$$, we have $$\left|{x_m - x_n}\right| < \frac \epsilon 2$$.

So, for any $$n > N$$:

$$ $$ $$ $$

So we have shown that, given any $$\epsilon > 0$$, $$\exists N: \forall n > N: \left|{x_n - l}\right| < \epsilon$$.

So $$\left \langle {x_n} \right \rangle$$ is sequence in $\mathbb{R}$.