In mathematics, the Riemann series theorem (also called the Riemann rearrangement theorem), named after 19th-century German mathematician Bernhard Riemann, says that if an infinite series is conditionally convergent, then its terms can be arranged in a permutation so that the new series converges to any given value, or diverges.
Contents
Definitions
A series
converges to
A series converges conditionally if the series
A permutation is simply a bijection from the set of positive integers to itself. This means that if
Statement of the theorem
Suppose that
is a sequence of real numbers, and that
There also exists a permutation
The sum can also be rearranged to diverge to
Changing the sum
The alternating harmonic series is a classic example of a conditionally convergent series:
is convergent, while
is the ordinary harmonic series, which diverges. Although in standard presentation the alternating harmonic series converges to ln(2), its terms can be arranged to converge to any number, or even to diverge. One instance of this is as follows. Begin with the series written in the usual order,
and rearrange the terms:
where the pattern is: the first two terms are 1 and −1/2, whose sum is 1/2. The next term is −1/4. The next two terms are 1/3 and −1/6, whose sum is 1/6. The next term is −1/8. The next two terms are 1/5 and −1/10, whose sum is 1/10. In general, the sum is composed of blocks of three:
This is indeed a rearrangement of the alternating harmonic series: every odd integer occurs once positively, and the even integers occur once each, negatively (half of them as multiples of 4, the other half as twice odd integers). Since
this series can in fact be written:
which is half the usual sum.
Getting an arbitrary sum
An efficient way to recover and generalize the result of the previous section is to use the fact that
where γ is the Euler–Mascheroni constant, and where the notation o(1) denotes a quantity that depends upon the current variable (here, the variable is n) in such a way that this quantity goes to 0 when the variable tends to infinity.
It follows that the sum of q even terms satisfies
and by taking the difference, one sees that the sum of p odd terms satisfies
Suppose that two positive integers a and b are given, and that a rearrangement of the alternating harmonic series is formed by taking, in order, a positive terms from the alternating harmonic series, followed by b negative terms, and repeating this pattern at infinity (the alternating series itself corresponds to a = b = 1, the example in the preceding section corresponds to a = 1, b = 2):
Then the partial sum of order (a+b)n of this rearranged series contains p = a n positive odd terms and q = b n negative even terms, hence
It follows that the sum of this rearranged series is
Suppose now that, more generally, a rearranged series of the alternating harmonic series is organized in such a way that the ratio pn / qn between the number of positive and negative terms in the partial sum of order n tends to a positive limit r. Then, the sum of such a rearrangement will be
and this explains that any real number x can be obtained as sum of a rearranged series of the alternating harmonic series: it suffices to form a rearrangement for which the limit r is equal to e2x / 4.
Proof
For simplicity, this proof assumes first that an ≠ 0 for every n. The general case requires a simple modification, given below. Recall that a conditionally convergent series of real terms has both infinitely many negative terms and infinitely many positive terms. First, define two quantities,
That is, the series
This is possible for any M > 0 because the partial sums of
Now we add just enough negative terms
Again, one may write
with
Note that σ is injective, and that 1 belongs to the range of σ, either as image of 1 (if a1 > 0), or as image of m 1 + 1 (if a1 < 0). Now repeat the process of adding just enough positive terms to exceed M, starting with n = p + 1, and then adding just enough negative terms to be less than M, starting with n = q + 1. Extend σ in an injective manner, in order to cover all terms selected so far, and observe that a 2 must have been selected now or before, thus 2 belongs to the range of this extension. The process will have infinitely many such "changes of direction". One eventually obtains a rearrangement ∑ aσ (n). After the first change of direction, each partial sum of ∑ aσ (n) differs from M by at most the absolute value
The same method can be used to show convergence to M negative or zero.
One can now give a formal inductive definition of the rearrangement σ, that works in general. For every integer k ≥ 0, a finite set Ak of integers and a real number Sk are defined. For every k > 0, the induction defines the value σ(k), the set Ak consists of the values σ(j) for j ≤ k and Sk is the partial sum of the rearranged series. The definition is as follows:
It can be proved, using the reasonings above, that σ is a permutation of the integers and that the permuted series converges to the given real number M.
Sierpiński theorem
In Riemann's theorem, the permutation used for rearranging a conditionally convergent series to obtain a given value in
This question has also been explored using the notion of ideals: for instance, Wilczyński proved that is sufficient to rearrange only the indexes in the ideal of sets of asymptotic density zero. Filipów and Szuca proved that other ideals also have this property.
Steinitz's theorem
Given a converging series ∑ an of complex numbers, several cases can occur when considering the set of possible sums for all series ∑ aσ (n) obtained by rearranging (permuting) the terms of that series:
More generally, given a converging series of vectors in a finite-dimensional real vector space E, the set of sums of converging rearranged series is an affine subspace of E.