Voorwaardelijke convergentie

Een reeks $\sum _{n=1}^{\infty }a_{n}$ heet voorwaardelijk convergent als de reeks convergent is, maar niet absoluut convergent, d.w.z

\lim _{N\to \infty }\sum _{n=1}^{N}a_{n}

bestaat en

\left|\sum _{n=1}^{\infty }a_{n}\right|<\infty

,

maar

\sum _{n=1}^{\infty }|a_{n}|=\infty

De uitkomst van de (oneindige) optelling van een voorwaardelijk convergente reeks is afhankelijk van de volgorde waarin de termen bij elkaar worden geteld.

Convergentie versus absolute convergentie

Een reeks $\sum _{n=1}^{\infty }a_{n}$ heet absoluut convergent als de absolute waarden van de termen een convergente reeks vormen, dus als:

\sum _{n=1}^{\infty }|a_{n}|<\infty

Elke absoluut convergente reeks is convergent.

Bij een absoluut convergente reeks kan men de volgorde van de termen willekeurig omgooien zonder de reekssom te beïnvloeden.

Een convergente reeks die niet absoluut convergent is, is voorwaardelijk convergent. Men kan dan door een goed gekozen herschikking van de termen zelfs eender welke limiet bereiken, inclusief oneindig en min oneindig.

Bewijs

Een schets van een bewijs hiervoor:

Stel $\sum a_{n}$ is een convergente reeks en $\sum |a_{n}|$ is divergent. Dan kan dit alleen als $\sum _{n=1}^{\infty }|a_{n}|=\infty$ .
Verdeel nu de rij $(a_{n})$ in twee deelrijen, een met de positieve en de andere met de negatieve termen. Minstens een van beide heeft een oneindige som. Om toch eindig uit te kunnen komen, moet dat ook voor de andere gelden.
Maak nu (voor zekere waarde $t$ ) een nieuwe oneindige som $\sum _{n=1}^{\infty }b_{n}$ op de volgende wijze: Als de som van de eerste $n$ elementen groter is dan $t$ , nemen we het eerste nog niet gebruikte element van de negatieve deelrij, anders het eerste nog niet gebruikte element uit de positieve deelrij.
In de zo gevormde oneindige som zullen alle termen van de uitgangsrij weer voorkomen, maar in een andere volgorde en de reeks zal convergeren naar $t$ .
Om een reeks met som oneindig te krijgen: plaats steeds na een negatief element zoveel opeenvolgende elementen van de deelrij van positieve elementen dat per saldo de som van de reeks minstens 1 toeneemt.