4

Give an example of a sequence $(x_n)$ of real numbers, where $\displaystyle\lim_{n\to+\infty}|x_n-x_{n+1}|=0$, but $(x_n)$ is not a Cauchy sequence

3 Answers3

12

I would like to add that one can construct a bounded sequence $\{x_n\}$ satisfying $| x_n - x_{n+1}|\rightarrow 0$ that is not Cauchy. E.g., take: $$ 0, {1\over2}, 1, {2\over3}, {1\over3}, 0 ,{1\over4}, {2\over4}, {3\over4}, 1, {4\over5}, {3\over5}, {2\over5}, {1\over 5}, 0,{1\over6}, \ldots $$

gebruiker
  • 6,154
David Mitra
  • 74,748
11

Posting my comment as an answer.

You can take $x_n$ to be the $n^{th}$ partial sum of any divergent series $\sum_{k} a_k$ such that $a_k \to 0$ as $k \to \infty$. In fact, we can even produce such an example with the additional restriction that the sequence $(a_k)$ is positive and monontonically decreasing. The canonical example of such a series is the harmonic series $\sum_k \frac{1}{k}$.

Actually, the above description is complete in the sense that if $x_n$ is any sequence satisfying the OP's requirements, then the series $\sum_k a_k$ defined by $a_n = x_n - x_{n-1}$ is such that $a_k \to 0$ as $k \to \infty$ and yet the series is divergent.

Srivatsan
  • 26,311
  • One problem with your solution - it is very possible that "divergent series" is a concept not familiar to someone asking a homework question about Cacuhy sequences... – Gadi A Oct 25 '11 at 20:45
  • @Gadi Thanks for pointing it out. Yes, I too find the solution unsatisfactory, and that's one reason for posting it as CW. But I just felt that the connection is interesting and deserves to be stated somewhere (for other readers, if not for the OP). Also I find the description in terms of series is more intuitive than the condition $x_n - x_{n-1} \to 0$ as $n \to \infty$ (even though these two say the same thing). – Srivatsan Oct 25 '11 at 20:50
7

Take $x_n=\sqrt n$. Since $|x_{n+1}-x_n|=\left|\sqrt{n+1}-\sqrt n\right|=\left|\frac {n+1-1}{\sqrt{n+1}+\sqrt n}\right|\leq \frac 1{\sqrt n}$, we have $\displaystyle\lim_{n\to+\infty}x_{n+1}-x_n=0$. But we have $|x_{2n}-x_n|=\sqrt 2\sqrt n-\sqrt n=(\sqrt 2-1)\sqrt n$, hence $(x_n)_n$ cannot be a Cauchy sequence.

Davide Giraudo
  • 172,925