Math 2.0

Sequences, series, summability Series: basic notions Concept

Telescoping series

Builds on SeriesPartial sum

Summary

A telescoping series is a series whose terms have the form an=bn−bn+1a_n = b_n - b_{n+1} for a sequence (bn)(b_n). Its partial sums collapse: ∑n=0N(bn−bn+1)=b0−bN+1\sum_{n=0}^{N} (b_n - b_{n+1}) = b_0 - b_{N+1}. Thus the series converges if and only if (bn)(b_n) converges, and then its sum is b0−lim⁡bnb_0 - \lim b_n.

Remarks

For example, 1n(n+1)=1n−1n+1\frac{1}{n(n+1)} = \frac{1}{n} - \frac{1}{n+1}, so ∑n=1∞1n(n+1)=1\sum_{n=1}^{\infty} \frac{1}{n(n+1)} = 1. The finite form ∑k=0n−1(f(k+1)−f(k))=f(n)−f(0)\sum_{k=0}^{n-1} (f(k+1) - f(k)) = f(n) - f(0) is a discrete analogue of the fundamental theorem of calculus. Mathlib states it as Finset.sum_range_sub.

Reading path

To understand this page from the ground up, read these 5 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. Series definition
  4. Partial sum definition
  5. Telescoping series concept

Where this leads

2 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Telescoping_series, Definition
About this page
Tag0GXKM1R7E4
URIm2://0GXKM1R7E4
Kindconcept
WritingW1 stated
MSC40A05
SpecializesSeries
UsesSeries, Partial sum
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge defines in: at least one definition (0 of 1)
  • edge instance_of in: at least two examples (0 of 2)
  • edge not_instance_of in: at least one non-example (0 of 1)

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

What links here

Used by