Math 2.0

statement theorem

Riemann rearrangement theorem

Statement

Let ∑an\sum a_n be a real series that converges conditionally. Let MM be a real number. Then there is a rearrangement ∑aσ(n)\sum a_{\sigma(n)} that converges to MM. There is also a rearrangement that diverges to +∞+\infty, and one that diverges to −∞-\infty.

Remarks

The positive terms and the negative terms each give a divergent series, and an→0a_n \to 0. Take positive terms until the partial sum exceeds MM, then negative terms until it falls below MM, 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 32ln⁡2\frac{3}{2} \ln 2.

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.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Sequence definition
  2. Real sequence definition
  3. Limit of a sequence definition
  4. Series definition
  5. Convergent sequence definition
  6. Partial sum definition
  7. Rearrangement of a series definition
  8. Convergent series definition
  9. Absolute convergence definition
  10. Conditional convergence definition
  11. Riemann rearrangement theorem statement

Sources

  1. Web https://en.wikipedia.org/wiki/Riemann_series_theorem, Statement of the theorem