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 of real numbers is conditionally convergent, then its terms can be arranged in a permutation so that the new series converges to an arbitrary real number, and rearranged such that the new series diverges. This implies that a series of real numbers is absolutely convergent if and only if it is unconditionally convergent. As an example, the series
1 − 1 + 1 2 − 1 2 + 1 3 − 1 3 + 1 4 − 1 4 + … {\displaystyle 1-1+{\frac {1}{2}}-{\frac {1}{2}}+{\frac {1}{3}}-{\frac {1}{3}}+{\frac {1}{4}}-{\frac {1}{4}}+\dots }
converges to 0 (for a sufficiently large number of terms, the partial sum gets arbitrarily near to 0); but replacing all terms with their absolute values gives
1 + 1 + 1 2 + 1 2 + 1 3 + 1 3 + … {\displaystyle 1+1+{\frac {1}{2}}+{\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{3}}+\dots }
which sums to infinity. Thus, the original series is conditionally convergent, and can be rearranged (by taking the first two positive terms followed by the first negative term, followed by the next two positive terms and then the next negative term, etc.) to give a series that converges to a different sum, such as
1 + 1 2 − 1 + 1 3 + 1 4 − 1 2 + … {\displaystyle 1+{\frac {1}{2}}-1+{\frac {1}{3}}+{\frac {1}{4}}-{\frac {1}{2}}+\dots }
which evaluates to ln 2. More generally, using this procedure with p positives followed by q negatives gives the sum ln(p/q). Other rearrangements give other finite sums or do not converge to any sum.
History It is a basic result that the sum of finitely many numbers does not depend on the order in which they are added. For example, 2 + 6 + 7 = 7 + 2 + 6. The observation that the sum of an infinite sequence of numbers can depend on the ordering of the summands is commonly attributed to Augustin-Louis Cauchy in 1833. He analyzed the alternating harmonic series, showing that certain rearrangements of its summands result in different limits. Around the same time, Peter Gustav Lejeune Dirichlet highlighted that such phenomena are ruled out in the context of absolute convergence, and gave further examples of Cauchy's phenomenon for some other series which fail to be absolutely convergent. In the course of his analysis of Fourier series and the theory of Riemann integration, Bernhard Riemann gave a full characterization of the rearrangement phenomena. He proved that in the case of a convergent series which does not converge absolutely (known as conditional convergence), rearrangements can be found so that the new series converges to any arbitrarily prescribed real number. Riemann's theorem is now considered as a basic part of the field of mathematical analysis. For any series, one may consider the set of all possible sums, corresponding to all possible rearrangements of the summands. Riemann's theorem can be formulated as saying that, for a series of real numbers, this set is either empty, a single point (in the case of absolute convergence), or the entire real number line (in the case of conditional convergence). In this formulation, Riemann's theorem was extended by Paul Lévy and Ernst Steinitz to series whose summands are complex numbers or, even more generally, elements of a finite-dimensional real vector space. They proved that the set of possible sums forms a real affine subspace. Extensions of the Lévy–Steinitz theorem to series in infinite-dimensional spaces have been considered by a number of authors.
Definitions A series ∑ n = 1 ∞ a n {\textstyle \sum _{n=1}^{\infty }a_{n}} converges if there exists a value ℓ {\displaystyle \ell } such that the sequence of the partial sums
( S 1 , S 2 , S 3 , … ) , S n = ∑ k = 1 n a k , {\displaystyle (S_{1},S_{2},S_{3},\ldots ),\quad S_{n}=\sum _{k=1}^{n}a_{k},}
converges to ℓ {\displaystyle \ell } . That is, for any ε > 0, there exists an integer N such that if n ≥ N, then
| S n − ℓ | ≤ ε . {\displaystyle \left\vert S_{n}-\ell \right\vert \leq \varepsilon .}
… excerpt ends here. Continue reading the full article.
