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 2.1**

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? Fortunately for whomsoever first thought up
this definition, the answer is yes

. This is the main point of
this web page.

**Theorem 2.1**** (Absolute Convergence)**

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

$$\forall \epsilon 0\exists N\in \mathbb{N}\forall n,k\ge N\left|{s}_{n}-{s}_{k}\right|\epsilon $$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

$$\left|{s}_{n}-{s}_{k}\right|=\left|{a}_{k+1}+{a}_{k+2}+\dots +{a}_{n}\right|$$
**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\le k<n$ we have $\left|{t}_{n}-{t}_{k}\right|<\epsilon $.

**Subproof**

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

$$\left|{s}_{n}-{s}_{k}\right|=\left|{a}_{k+1}+{a}_{k+2}+\dots +{a}_{n}\right|\le \left|\left|{a}_{k+1}\right|+\left|{a}_{k+2}\right|+\dots +\left|{a}_{n}\right|\right|\le \left|{a}_{k+1}\right|+\left|{a}_{k+2}\right|+\dots +\left|{a}_{n}\right|$$by the triangle inequality, hence $\left|{s}_{n}-{s}_{k}\right|\le \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.

This web page is available in xhtml, html and pdf. It is copyright and is one of Richard Kaye's Sequences and Series Web Pages. It may be copied under the terms of the Gnu Free Documentation Licence (http://www.gnu.org/copyleft/fdl.html). There is no warranty. Web page design and creation are by GLOSS.