Definition: Let
be an infinite series. If
is any one to one function from
onto
then the infinite series
is called a rearrangement of![]()
With absolutely convergent series all rearrangements converge to the same limit:
Proof: For each
let
and![]()
converges to
Choose
then there is
such that for
since
converges absolutely.
is a one to one mapping
onto
hence there is K>=N such that
Assume
then![]()
Thus
converges to![]()
Conversely if
is an infinite series with the property that every rearrangement converges to the same limit, the series is absolutely convergent. If
converges conditionally then the sum of all the positive terms
diverges and the sum of all the negative terms
diverges.
Theorem
If
converges conditionally then given any real number r there is a rearrangement of
that converges to r.
Proof: Suppose![]()
and
are unbounded sequences and
converges to zero. Let
be the first positive integer such that
There is such an
since
is an unbounded increasing sequence. Next let
be the first positive integer such that
Let
be the least positive integer such that
Continuing in this way we obtain a rearrangement converging to
since
converges to zero.