Functions of a complex variable Proposition
Radius of convergence of the binomial series
Builds on Binomial seriesRatio formula for the radius of convergence
Statement
Let be a real number that is not a natural number. Then the binomial series has radius of convergence .
Remarks
The coefficients are nonzero, and . Its absolute value tends to , so the ratio formula gives .
At the behavior depends on . For the series converges absolutely at both endpoints.
Mathlib states the result as binomialSeries_radius_eq_one.
Reading path
To understand this page from the ground up, read these 25 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Sequence definition
- Real sequence definition
- Bounded sequence definition
- Geometric sequence definition
- Limit of a sequence definition
- Monotone sequence definition
- Series definition
- Sum of a finite geometric series statement
- Monotone convergence theorem for sequences statement
- Convergent sequence definition
- Squeeze theorem statement
- Partial sum definition
- Power series definition
- The sequence r^n tends to zero for |r| < 1 example
- Radius of convergence definition
- Convergent series definition
- Binomial series example
- A series of nonnegative terms converges iff its partial sums are bounded statement
- Absolute convergence definition
- Sum of a series definition
- Comparison test statement
- Geometric series example
- Ratio test statement
- Ratio formula for the radius of convergence statement
- Radius of convergence of the binomial series statement
Further reading
- Web https://en.wikipedia.org/wiki/Binomial_series, Conditions for convergence
About this page
| Tag | 0KX1MXJ5MR |
|---|---|
| URI | m2://0KX1MXJ5MR |
| Kind | statement, proposition |
| Writing | W0 stub |
| MSC | 30B10 |
| Status | This copy of the site has no build data. Run m2 status 0KX1MXJ5MR. |
| Uses | Binomial series, Ratio formula for the radius of convergence |
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.