Show that $(a_{n})_{n=m}^{\infty}$ converges to $c$ iff $(a_{n})_{n=m'}^{\infty}$ converges to $c$.

68 Views Asked by At

Let $(a_{n})_{n=m}^{\infty}$ be a sequence of real numbers, let $c$ be a real number, and let $m \geq m'$ be an integer. Show that $(a_{n})_{n=m}^{\infty}$ converges to $c$ iff $(a_{n})_{n=m'}^{\infty}$ converges to $c$.

MY ATTEMPT (EDIT)

WLOG, let us assume that $m' > m$ and $(a_{n})_{n=m}^{\infty}$ converges. According to the definition of limit, for every $\varepsilon > 0$, there exists a natural number $N_{1}\geq m$ such that \begin{align*} n\geq N_{1} \Longrightarrow |a_{n} - c| < \varepsilon \end{align*}

If we take $N = \max\{N_{1},m'\}$, we conclude that, for every $\varepsilon > 0$, there exists a natural number $N\geq m'$ such that \begin{align*} n\geq N \Longrightarrow |a_{n} - c|\leq\varepsilon \end{align*} and hence $(a_{n})_{n=m'}^{\infty}$ converges to $c$.

Conversely, on the same assumption that $m' > m$, if $(a_{n})_{n=m'}^{\infty}$ converges, for every $\varepsilon > 0$, there is a natural number $N\geq m' > m$ such that \begin{align*} n\geq N \Longrightarrow |a_{n}-c|\leq\varepsilon \end{align*} from whence we conclude that $(a_{n})_{n=m}^{\infty}$ converges to $c$ as well.

Could someone please double-check my reasoning?

1

There are 1 best solutions below

0
On BEST ANSWER

Your thinking is correct. What I feel is that the reasoning is your answer may be modified a little bit. Mine goes as follows: If $(a_n)_{n=m}^{\infty} \rightarrow c$ then for any $\epsilon >0 \exists N \geq m$ such that $ n \geq N \Rightarrow |a_n-c|<\epsilon$. Then automatically $N \geq ′$.

For the converse part you need to choose $N_1= max \{N,m\}$ and your argument follows similarly replacing $N$ by $N_1$ above.

The main idea is that convergence of a sequence depends only on it’s tail. So, if one tail converges it holds for the whole sequence as well and the limit is also the same.