manipulating convergent series

The of the series in the following theorems are supposed to be either real or complex numbers.

Theorem 1.

If the series  $a_1+a_2+\mathrm{\cdots }$  and  $b_1+b_2+\mathrm{\cdots }$  converge and have the sums $a$ and $b$, respectively, then also the series

$(a_1+b_1)+(a_2+b_2)+\mathrm{\cdots }$(1)

converges and has the sum $a+b$.

Proof.  The $n^{\mathrm{th}}$ partial sum of (1) has the limit

$$\underset{n\to \mathrm{\infty }}{lim}\sum _{j=1}^n(a_j+b_j)=\underset{n\to \mathrm{\infty }}{lim}\sum _{j=1}^n{a}_j+\underset{n\to \mathrm{\infty }}{lim}\sum _{j=1}^n{b}_j=a+b.$$

Theorem 2.

If the series  $a_1+a_2+\mathrm{\cdots }$  converges having the sum $a$ and if $c$ is any , then also the series

$c{a}_1+c{a}_2+\mathrm{\cdots }$(2)

converges and has the sum $ca$.

Proof.  The $n^{\mathrm{th}}$ partial sum of (2) has the limit

$$\underset{n\to \mathrm{\infty }}{lim}\sum _{j=1}^{n}c{a}_j=c\underset{n\to \mathrm{\infty }}{lim}\sum _{j=1}^n{a}_j=ca.$$

Theorem 3.

If the of any converging series

$a_1+a_2+a_3+\mathrm{\cdots }$(3)

are grouped arbitrarily without changing their , then the resulting series

$(a_1+\mathrm{\cdots }+a_{m_1})+(a_{m_1+1}+\mathrm{\cdots }+a_{m_2})+(a_{m_2+1}+\mathrm{\cdots }+a_{m_3})+\mathrm{\cdots }$(4)

also converges and its sum equals to the sum of (3).

Proof.  Since all the partial sums of (4) are simultaneously partial sums of (3), they have as limit the sum of the series (3).