We have seen earlier the wonderful news that all reasonable-looking alternating series converge. We have also seen highly worrying examples that show that some alternating series converge to different values depending on how the terms in the series are rearranged. This web page starts a short section on those nice series that converge in such a way that doesn't depend on any such rearrangement.

Definition.

A series $\sum _{n=1}^{\infty}{a}_{n}$ is said to converge absolutely if the series of absolute values $\sum _{n=1}^{\infty}\left|{a}_{n}\right|$ converges.

This definition, and its rather suggestive use of language begs an
important question: does a series that converges absolutely converge
at all? There is nothing in the definition that guarantees this, but
it wouldn't be so good if there was a series that converges absolutely
but doesn't converge. Fortunately for whomsoever first thought up the
definition, the answer is yes

. This is the main point of this
web page.

Absolute Convergence Theorem.

Suppose the series $\sum _{n=1}^{\infty}{a}_{n}$ converges absolutely. Then the series converges.

To prove this we should first recall the Cauchy Property of convergent sequences and restate it for the sequence of partial sums of a series. A sequence $\left({s}_{n}\right)$ is Cauchy if

and by the completeness of the reals, $\left({s}_{n}\right)$ is Cauchy if and only if $\left({s}_{n}\right)$ converges to some $l\in \mathbb{R}$. In particular, for the sequence ${s}_{n}=\sum _{k=1}^{n}{a}_{k}$ of partial sums, we have

**Proof.**

Suppose that $\sum _{n=1}^{\infty}{a}_{n}$ converges absolutely. Then let ${s}_{n}=\sum _{k=1}^{n}{a}_{k}$ and ${t}_{n}=\sum _{k=1}^{n}\left|{a}_{k}\right|$. Note that $\left({t}_{n}\right)$ is Cauchy: we must show that $\left({s}_{n}\right)$ is Cauchy.

**Subproof.**

Let $\epsilon >0$ be arbitrary. Then there is $N\in \mathbb{N}$ such that for all $N\u2a7dk<n$ we have $\left|{t}_{n}-{t}_{k}\right|<\epsilon $.

**Subproof.**

Now let $k,n\in \mathbb{N}$ be arbitrary such that $N\u2a7dk<n$. Then we have

by the triangle inequality, hence $\left|{s}_{n}-{s}_{k}\right|\u2a7d\left|{t}_{n}-{t}_{k}\right|<\epsilon $.

Thus $\left({s}_{n}\right)$ is Cauchy, as required.

Clearly, directly from the definition, any convergent series of positive terms converges absolutely.

Recall that our versions of the comparison or ratio
tests apply to series of *positive* terms. We now see
how to apply them to more general series
$\sum _{n=1}^{\infty}{a}_{n}$
of terms that may be either positive or negative, by first
looking at the series formed from the absolute values
of the terms, $\sum _{n=1}^{\infty}\left|{a}_{n}\right|$,
showing this is convergent and hence proving absolute convergence
of the original series. The convergence of the original series
follows by quoting the above result.

In other words, the comparison and ratio tests prove absolute convergence of series. You should show that you understand that the implication from absolute convergence to convergence is not a complete triviality by quoting it properly when needed.

For example, for any choice of ${z}_{n}\in \mathbb{Z}$ we have that $\sum _{n=1}^{\infty}\frac{{\left(-1\right)}^{{z}_{n}}}{{n}^{2}}$ is absolutely convergent, hence the series is convergent by the theorem on absolute convergence.

On the other hand, not every convergent series converges absolutely: The series $\sum _{n=1}^{\infty}\frac{{\left(-1\right)}^{n}}{n}$ gives an example of such a series: it converges by the alternating series test, but not absolutely since the harmonic series diverges.