Math 2.0

Sequences, series, summability Proposition

Subsequences of a convergent sequence converge to the same limit

Builds on SubsequenceLimit of a sequenceEpsilon-N definition of the limit of a sequence

Statement

Let (an)(a_n) be a real sequence that converges to a real number LL. Let (ank)k∈ℕ(a_{n_k})_{k \in \mathbb{N}} be a subsequence of (an)(a_n). Then ank→La_{n_k} \to L as k→∞k \to \infty.

Remarks

For the proof, let ε>0\varepsilon > 0 and take NN with ∣an−L∣<ε|a_n - L| < \varepsilon for n≥Nn \ge N. Since nk≥kn_k \ge k, we get ∣ank−L∣<ε|a_{n_k} - L| < \varepsilon for all k≥Nk \ge N. It gives a test for divergence. If two subsequences have different limits, the sequence diverges. For (−1)n(-1)^n the even terms tend to 11 and the odd terms tend to −1-1.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Sequence definition
  2. Real sequence definition
  3. Subsequence definition
  4. Limit of a sequence definition
  5. Epsilon-N definition of the limit of a sequence statement
  6. Subsequences of a convergent sequence converge to the same limit statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Limit_of_a_sequence, Properties
  2. Web https://en.wikipedia.org/wiki/Subsequence, lead section
About this page
Tag0VHAVXW08V
URIm2://0VHAVXW08V
Kindstatement, proposition
WritingW0 stub
MSC40A05
StatusThis copy of the site has no build data. Run m2 status 0VHAVXW08V.
UsesSubsequence, Limit of a sequence, Epsilon-N definition of the limit of a sequence

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.