statement theorem
Riemann rearrangement theorem
Statement
Let be a real series that converges conditionally. Let be a real number. Then there is a rearrangement that converges to . There is also a rearrangement that diverges to , and one that diverges to .
Remarks
The positive terms and the negative terms each give a divergent series, and . Take positive terms until the partial sum exceeds , then negative terms until it falls below , and repeat. So a real series converges absolutely if and only if all its rearrangements converge to the same sum. For the alternating harmonic series, take two positive terms, then one negative term, and repeat. The sum becomes .
History
Augustin-Louis Cauchy is usually credited with the first remark that a new order can change a sum. He studied the alternating harmonic series in 1833. The theorem is named after Bernhard Riemann.
Explanations
L1 human
A conditionally convergent series has positive terms with an infinite total and negative terms with an infinite total. By a careful choice of order, we can steer the partial sums to any target.
What this node needs for W2
- edge about out: the concepts that the statement is about (0 of 1)
- edge proves in: at least one proof node (0 of 1)
- edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
- explanation L2 (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
What this needs
To read this node, read these 11 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Sequence definition
- Real sequence definition
- Limit of a sequence definition
- Series definition
- Convergent sequence definition
- Partial sum definition
- Rearrangement of a series definition
- Convergent series definition
- Absolute convergence definition
- Conditional convergence definition
- Riemann rearrangement theorem statement
Sources
- Web https://en.wikipedia.org/wiki/Riemann_series_theorem, Statement of the theorem
What links here
No node links to this node yet.