If $a_n$ is convergent and sequence $b_n = a_n - a_{n-1}$, then $\lim b_n = 0$
It's true because $\lim b_n = \lim (a_n - a_{n-1}) = \lim a_n - \lim a_{n-1} = 0$. The last limits are equal due to convergence of $a_n$. Is it correct proof?
Asked
Active
Viewed 5,454 times
4
-
3Yes. Note the converse doesn't hold. – Pedro Jul 02 '13 at 18:11
-
Just another careful note that you may split $\lim(a_n - a_{n-1})$ into the two other limits also because ${a_n}$ converges. – Raymond Cheng Jul 02 '13 at 18:13
-
Yes. Can you see why the proof is not valid when $a_n \to \infty$? – Emanuele Paolini Jul 02 '13 at 18:15
-
It's a worthwhile beginning exercise to prove using $\epsilon-N$ definition, that if $\lim_{n\to\infty} a_n$ exists and $b_n=a_{n-1}$ then $\lim_{n\to\infty} b_n$ exists and equals the other limit. – Thomas Andrews Jul 02 '13 at 18:31
-
Yes. Alternatively, one can proof the result using only that $(a_n)$ is Cauchy (i.e. without using the limit $\lim a_n$ itself), right from the definition. – Hagen von Eitzen Jul 02 '13 at 18:32
-
I believe that even $\lim n b_n = 0$ but I'm not finding a proof yet... – inkievoyd Aug 09 '18 at 13:11
3 Answers
2
Another way to see this is by contradiction. If $\lim a_n-a_{n-1}=L\ne 0$, then for large enough $N$, we have $|a_n-a_{n-1}|>|L/2|$ for all $n>N$. It follows that $a_n$ does not converge.
Jared
- 31,451
2
By definition, if $a_n$ converges to a, then
For every $\epsilon$, there exist an N, such that for all $n>N$, $|a_n-a| \leq \epsilon$.
Now, we want to prove that $\lim_{n \to \infty} a_n-a_{n-1} = 0$.
Choose an $\epsilon$, we need to show that for a $N$ great enough, if $n>N$, then $|a_n-a_{n-1}|< \epsilon$. We choose N such that for all $n>N$, $|a_{n-1}-a| <\frac{\epsilon}{2}$.
Then,
\begin{align} |a_n-a_{n-1}| &= |a_n-a+a-a_{n-1}| \\ & \leq |a_n-a| +|a-a_{n-1}| &\text{by triangle inequality}\\ & = \epsilon/2 +\epsilon/2\\ \end{align}
user86828
- 415
1
Since $\{a_n\}$ is convergent, it is Cauchy. Given $\epsilon > 0$, choose $N$ large enough so that $n,m \ge N$ implies $|a_n - a_m| < \epsilon$. For $n > N$, we have $|a_{n} - a_{n-1}| < \epsilon$.
Ink
- 5,126