Absolute and Conditional Convergence — Mathematics Knowledge System

Overview

A series Σaₙ is absolutely convergent if the series of absolute values Σ|aₙ| converges; it is conditionally convergent if Σaₙ itself converges but Σ|aₙ| diverges. Absolute convergence is the stronger notion — it implies ordinary convergence, and moreover guarantees the sum is completely robust: absolutely convergent series can be rearranged, regrouped, and manipulated in ways that are otherwise unsafe. Conditional convergence, by contrast, arises purely from delicate cancellation between positive and negative terms; the Riemann rearrangement theorem shows that a conditionally convergent series of reals can be reordered to converge to ANY target value, or to diverge, making the distinction one of the most consequential subtleties in the theory of infinite series.

Intuition

Think of a series as a sequence of steps along a number line, some forward (positive terms) and some backward (negative terms). Absolute convergence means the TOTAL DISTANCE traveled (ignoring direction) is finite — you could walk the same steps in any order, or all the forward steps first and all backward steps after, and you'd still end up bounded and consistent. Conditional convergence means the total distance traveled is actually infinite (you wander arbitrarily far in both directions over the full journey), but you happen to end up settling at a specific point ONLY because forward and backward steps are interleaved in exactly the right pattern to cancel. Shuffle that interleaving and the destination can change entirely — the convergence was a fragile artifact of order, not a robust property of the terms themselves.

Formal Definition

Definition

For a series Σaₙ of real (or complex) numbers:

\sum_{n=1}^{\infty} a_n \text{ is \textbf{absolutely convergent}} \iff \sum_{n=1}^{\infty} |a_n| < \infty

Absolute convergence

\sum_{n=1}^{\infty} a_n \text{ is \textbf{conditionally convergent}} \iff \sum_{n=1}^{\infty} a_n \text{ converges but } \sum_{n=1}^{\infty} |a_n| = \infty

Conditional convergence

\text{Absolute convergence} \implies \text{convergence (but not conversely)}

One-directional implication

Notation

Notation	Meaning
$\sum_{n=1}^{\infty} \|a_n\|$	The series of absolute values, whose convergence defines absolute convergence of Σaₙ
$\text{AC}$	Common shorthand for 'absolutely convergent'
$\text{CC}$	Common shorthand for 'conditionally convergent'

Derivation

Proof sketch that absolute convergence implies convergence, using the Cauchy criterion for series.

\text{Suppose } \sum |a_n| < \infty. \text{ Let } S_n = \sum_{k=1}^n a_k, \quad T_n = \sum_{k=1}^n |a_k|.

T_n converges (given), so (T_n) is a Cauchy sequence

\text{For } m > n:\quad |S_m - S_n| = \left|\sum_{k=n+1}^m a_k\right| \le \sum_{k=n+1}^m |a_k| = T_m - T_n

Triangle inequality bounds the partial-sum gap of Σaₙ by the partial-sum gap of Σ|aₙ|

\forall \varepsilon>0\ \exists N: m,n\ge N \implies T_m - T_n < \varepsilon \text{ (Cauchy criterion applied to } T_n\text{)}

Since (T_n) converges it is Cauchy

\implies |S_m - S_n| < \varepsilon \text{ for } m,n \ge N \implies (S_n) \text{ is Cauchy} \implies (S_n) \text{ converges}

Cauchy criterion for sequences (equivalent to completeness of ℝ) concludes Σaₙ converges

Properties

Absolute convergence implies convergence

\sum |a_n| < \infty \implies \sum a_n \text{ converges}

Condition: Proved via the Cauchy criterion: partial sum differences are bounded by the corresponding differences in Σ|aₙ|'s partial sums, which form a Cauchy sequence.

Riemann rearrangement theorem

\text{If } \sum a_n \text{ is conditionally convergent, then for any } L \in \mathbb{R}\cup\{\pm\infty\}, \text{ some rearrangement of } \sum a_n \text{ converges to } L.

Condition: A striking failure of commutativity for infinite sums — only possible because the positive-term subseries and negative-term subseries both diverge to +∞ and -∞ respectively.

Rearrangement invariance (absolute case)

\text{If } \sum a_n \text{ is absolutely convergent, every rearrangement converges to the same sum.}

Condition: This is precisely why absolutely convergent series behave like finite sums under reordering.

Comparison test (a route to absolute convergence)

|a_n| \le b_n \text{ for all } n,\ \sum b_n < \infty \implies \sum a_n \text{ converges absolutely}

Alternating Series Test does not give absolute convergence

\text{If } b_n \searrow 0, \text{ then } \sum (-1)^n b_n \text{ converges, but this alone says nothing about } \sum b_n.

Condition: The Alternating Series Test is often the tool that reveals CONDITIONAL, not absolute, convergence.

Applications

Numerical summation algorithms exploit absolute convergence: reordering terms (e.g. summing largest-magnitude terms first, as in Kahan summation strategies) is only guaranteed safe for absolutely convergent series, since conditionally convergent sums can be corrupted by reordering or floating-point rounding order.

Worked Examples

Test the series of absolute values.
$\sum \left|\frac{(-1)^n}{n^2}\right| = \sum \frac{1}{n^2}$
Σ1/n² is a p-series with p=2>1, so it converges.
$p = 2 > 1 \implies \sum \frac{1}{n^2} < \infty$

Answer: Absolutely convergent (the series of absolute values, a p-series with p=2, converges)

Practice Problems

Difficulty 5/10

Is Σ(-1)ⁿ/n³ (n=1 to ∞) absolutely convergent, conditionally convergent, or divergent?

Difficulty 6/10

Which best describes the relationship between absolute and ordinary (conditional-or-better) convergence?

They are equivalent — a series converges iff it converges absolutelyAbsolute convergence implies convergence, but not converselyConvergence implies absolute convergence, but not converselyNeither implies the other

Difficulty 7/10

Determine whether Σ(-1)ⁿ n/(n²+1) converges absolutely, conditionally, or diverges, and justify.

Common Mistakes

Common Mistake

Believing that if Σaₙ converges, then Σ|aₙ| must also converge (i.e. treating convergence and absolute convergence as the same thing).

This is false — Σ(-1)ⁿ/n converges (Alternating Series Test) while Σ|(-1)ⁿ/n| = Σ1/n (the harmonic series) diverges. Convergence is strictly weaker than absolute convergence.

Common Mistake

Assuming a conditionally convergent series can be freely reordered or regrouped without changing its sum, just like a finite sum.

The Riemann rearrangement theorem shows a conditionally convergent series of reals can be rearranged to converge to ANY real number (or to diverge). Only absolutely convergent series are safe to rearrange without changing the sum.

Common Mistake

Thinking the Alternating Series Test proves absolute convergence.

The Alternating Series Test only proves that Σ(-1)ⁿbₙ converges — it says nothing about Σbₙ (the absolute series). A separate test (e.g. p-series, comparison, ratio) must be applied to Σ|aₙ| to check absolute convergence.

Quiz

Flashcards

1 / 4

Summary

Σaₙ is absolutely convergent if Σ|aₙ| converges; this is strictly stronger than ordinary convergence.
Σaₙ is conditionally convergent if it converges but Σ|aₙ| diverges — convergence depends entirely on cancellation between positive and negative terms.
Absolute convergence implies convergence (via the Cauchy criterion), but the converse fails: Σ(-1)ⁿ/n converges yet is not absolutely convergent.
Σ(-1)ⁿ/√n is a clean example of conditional convergence: the Alternating Series Test gives convergence, while the p-series test (p=1/2<1) shows the absolute series diverges.
The Riemann rearrangement theorem shows conditionally convergent series can be reordered to converge to any real number, or to diverge — a failure of commutativity that absolutely convergent series do not share.

References

WebsiteWikipedia — Absolute convergence
WebsiteWikipedia — Riemann series theorem
BookRudin, W. Principles of Mathematical Analysis, 3rd ed. Ch. 3.