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 for a sequence . Its partial sums collapse: . Thus the series converges if and only if converges, and then its sum is .
Remarks
For example, , so .
The finite form 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
- no evidence level
- Sequence definition
- Real sequence definition
- Series definition
- Partial sum definition
- Telescoping series concept
Where this leads
2 pages build on this one.
Further reading
About this page
| Tag | 0GXKM1R7E4 |
|---|---|
| URI | m2://0GXKM1R7E4 |
| Kind | concept |
| Writing | W1 stated |
| MSC | 40A05 |
| Specializes | Series |
| Uses | Series, 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.