Riemann series theorem

Riemann series theorem

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 series converges to any given value, or even diverges.

Definitions

A series sum_{n=1}^infty a_n converges if there exists a value ell such that the sequence of the partial sums

:left { S_1, S_2, S_3, dots ight }

converges to ell. That is, for any epsilon > 0, there exists an integer "N" such that if n ge N, then

:left | S_n - ell ight vert le epsilon.

A series converges conditionally if the series sum_{n=1}^infty a_n converges but the series sum_{n=1}^infty left | a_n ight vert diverges.

A permutation is simply a bijection from the set of positive integers to itself. This means that if sigma (n) is a permutation, then for any positive integer "b", there exists a positive integer "a" such that sigma (a) = b. Furthermore, if x e y, then sigma (x) e sigma (y).

tatement of the theorem

Suppose that

:left { a_1, a_2, a_3, dots ight }

is a sequence of real numbers, and that sum_{n=1}^infty a_n is conditionally convergent. Let M be a real number. Then there exists a permutation sigma (n) of the sequence such that

:sum_{n=1}^infty a_{sigma (n)} = M.

There also exists a permutation sigma (n) such that

:sum_{n=1}^infty a_{sigma (n)} = infty.

The sum can also be rearranged to diverge to -infty or to fail to approach any limit, finite or infinite.

Examples

The alternating harmonic series is a classic example of a conditionally convergent series:

:sum_{n=1}^infty frac{(-1)^{n+1{n}

is convergent, while

:sum_{n=1}^infty igg| frac{(-1)^{n+1{n} igg|

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,

:1 - frac{1}{2} + frac{1}{3} - frac{1}{4} + cdots

and rearrange the terms:

:1 - frac{1}{2} - frac{1}{4} + frac{1}{3} - frac{1}{6} - frac{1}{8} + frac{1}{5} - frac{1}{10} + cdots

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:

:frac{1}{2k - 1} - frac{1}{2(2k - 1)} - frac{1}{4k},quad k = 1, 2, dots.

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

:frac{1}{2k - 1} - frac{1}{2(2k - 1)} = frac{1}{2(2k - 1)},

this series can in fact be written:

:frac{1}{2} - frac{1}{4} + frac{1}{6} - frac{1}{8} + frac{1}{10} + cdots + frac{1}{2(2k - 1)} - frac{1}{2(2k)} + cdots

:= frac{1}{2}left(1 - frac{1}{2} + frac{1}{3} + cdots ight) = frac{1}{2} ln(2)which is half the usual sum.

References

*Weisstein, Eric (2005). [http://mathworld.wolfram.com/RiemannSeriesTheorem.html Riemann Series Theorem] . Retrieved May 16, 2005.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Series (mathematics) — A series is the sum of the terms of a sequence. Finite sequences and series have defined first and last terms, whereas infinite sequences and series continue indefinitely.[1] In mathematics, given an infinite sequence of numbers { an } …   Wikipedia

  • Riemann zeta function — ζ(s) in the complex plane. The color of a point s encodes the value of ζ(s): dark colors denote values close to zero and hue encodes the value s argument. The white spot at s = 1 is the pole of the zeta function; the black spots on the… …   Wikipedia

  • Bernhard Riemann — Infobox Scientist name =Bernhard Riemann box width =300px image width =225px caption =Bernhard Riemann, 1863 birth date =September 17, 1826 birth place =Breselenz, Germany death date =death date and age|1866|7|20|1826|9|17 death place =Selasca,… …   Wikipedia

  • Convergent series — redirects here. For the short story collection, see Convergent Series (short story collection). In mathematics, a series is the sum of the terms of a sequence of numbers. Given a sequence , the nth partial sum Sn is the sum of the first n terms… …   Wikipedia

  • Alternating series — In mathematics, an alternating series is an infinite series of the form:sum {n=0}^infty ( 1)^n,a n,with an ≥ 0 (or an ≤ 0) for all n . A finite sum of this kind is an alternating sum. An alternating series converges if the terms an converge to 0… …   Wikipedia

  • Riemann hypothesis — The real part (red) and imaginary part (blue) of the Riemann zeta function along the critical line Re(s) = 1/2. The first non trivial zeros can be seen at Im(s) = ±14.135, ±21.022 and ±25.011 …   Wikipedia

  • Riemann zeta function — ▪ mathematics       function useful in number theory for investigating properties of prime numbers (prime). Written as ζ(x), it was originally defined as the infinite series ζ(x) = 1 + 2−x + 3−x + 4−x + ⋯. When x = 1, this series is called the… …   Universalium

  • Séries L de Dirichlet — Série L de Dirichlet Johann Peter Gustav Lejeune Dirichlet En mathématiques, une série L de Dirichlet, est une série du plan complexe utilisée en théorie analytique des nombres. Par prolongement analytique, cette fonction peut être étendue à une… …   Wikipédia en Français

  • Atiyah–Singer index theorem — In the mathematics of manifolds and differential operators, the Atiyah–Singer index theorem states that for an elliptic differential operator on a compact manifold, the analytical index (closely related to the dimension of the space of solutions) …   Wikipedia

  • Hurwitz's automorphisms theorem — In mathematics, Hurwitz s automorphisms theorem bounds the group of automorphisms, via orientation preserving conformal mappings, of a compact Riemann surface of genus g > 1, telling us that the order of the group of such automorphisms is bounded …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”