Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I need some help understanding this proof:

Prove: If a sequence converges, then every subsequence converges to the same limit.


Let $s_{n_k}$ denote a subsequence of $s_n$. Note that $n_k \geq k$ for all $k$. This easy to prove by induction: in fact, $n_1 \geq 1$ and $n_k \geq k$ implies $n_{k+1} > n_k \geq k$ and hence $n_{k+1} \geq k+1$.

Let $\lim s_n = s$ and let $\epsilon > 0$. There exists $N$ so that $n>N$ implies $|s_n - s| < \epsilon$. Now $k > N \implies n_k > N \implies |s_{n_k} - s| < \epsilon$.

Therefore: $\lim_{k \to \infty} s_{n_k} = s$.

  1. What is the intuition that each subsequence will converge to the same limit
  2. I do not understand the induction that claims $n_k \geq k$
share|cite|improve this question
up vote 13 down vote accepted
  1. A sequence converges to a limit $L$ provided that, eventually, the entire tail of the sequence is very close to $L$. If you restrict your view to a subset of that tail, it will also be very close to $L$.

  2. An example might help. Suppose your subsequence is to take every other index: $n_1 = 2$, $n_2 = 4$, etc. In general, $n_k = 2k$. Notice $n_k \geq k$, since each step forward in the sequence makes $n_k$ increase by $2$, but $k$ increases only by $1$. The same will be true for other kinds of subsequences (i.e. $n_k$ increases by at least $1$, while $k$ increases by exactly $1$).

share|cite|improve this answer

For part 1, if there were a subsequence that didn't converge to the same limit, then we could find a neighborhood around the original point such that infinitely-many subsequence terms were outside the neighborhood. Then infinitely many sequence terms are outside the neighborhood, and so the sequence can't converge to the original point.

As for part 2, let me put an alternative proof forward. Suppose by way of contradiction that there is some $k$ such that $n_k<k$. We know that $n_1\geq 1$ since $1$ is the least positive integer, so we necessarily have $k>1.$ Now, $n_j<n_{j+1}$ for all $j$, so we know that the $n_j$ are all distinct, and in particular, for all $j\leq k$ we have $n_j\leq k-1$ (since $n_j\leq n_k<k$). But then $\{n_1,...,n_k\}$ is $k$-element subset of the set $\{1,...,k-1\}$, which is impossible, since a subset can't be strictly larger than a set. There's the desired contradiction.

share|cite|improve this answer

Not sure about replying to ancient threads, but nobody addressed the induction proof issue directly and there are bound to be people looking up the very same topic and stumble upon this one.

$n_1\geq 1$, because $(n_k)$ is defined to be a strictly increasing sequence of indices.
Assume $n_k\geq k$ for some $k\in\mathbb{N}$, what follows by definition is that $n_{k+1} > n_k\geq k$.

Apply a property of natural numbers that states: Let $m,n\in\mathbb{N}$ such that $m>n$, then $m\geq n+1$.

We now conclude that $n_{k+1}\geq n_k +1\geq k+1$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.