Accumulation points of $X_n$ proof help

real-analysissequences-and-series

Let $x_n$ be a sequence in $\mathbb{R}$. Show that x $\in \mathbb{R}$ is an accumulation point of $x_n$ iff for each m>0, there are infinitely many n $\in \mathbb{N}$ such that |$x_n$ – x| < m.

This questions wants me to prove that n is infinite but wouldn't this follow from definition?

Like since $x_n$ is convergent by definition there exists $n_m$ such that |$x_n$ – x| < m for all $n\geq n_m$ therefore proving n is infinite? I don't think I understand the question

Best Answer

Assume that $x$ is an accumulation point of $x_n$. Then every neighborhood of $x$ contains a point of $x_n$. Let $m>0$. Then $B(x,m)$, the open ball centered at $x$ with radius $m$, is a neighborhood of $x$ and hence contains a point of $x_n$. Repeat this process for $m/2, m/4, \ldots$ to obtain a subsequence of points contained within $B(x,m/2)$, $B(x,m/4)$, $\ldots$. Then $B(x,m)$ contains all of these points, of which there are infinitely many, as was to be proved.

Assume now that for each $m>0$, there are infinitely many $n$ such that $|x_n-x|<m$. Let $U$ be a neighborhood of $x$. Then there exists $\varepsilon>0$ such that $(x-\varepsilon,x+\varepsilon)\subset U$. Choose $m<\varepsilon$, then there is an $n$ such that $|x_n-x|<m<\varepsilon$ and hence $x_n\in U$. It follows that $x$ is an accumulation point of $x$.