Reeks (wiskunde)

De term 'reeks' in de bovengenoemde betekenis is specifiek voor de analyse en toepassingen daarvan. In het dagelijkse spraakgebruik en in andere disciplines is 'reeks' synoniem met 'rij', evenals in oudere wiskundeliteratuur.[2][3][4]

Voor iedere rij ${\displaystyle (a_{n})_{n=1}^{\infty }}$ in een verzameling waarin een optelling is gedefinieerd, is de daarmee geassocieerde reeks gedefinieerd als de formele som

${\displaystyle \sum _{n=1}^{\infty }a_{n}=a_{1}+a_{2}+a_{3}+\ldots }$.[5]

De elementen van de rij zijn de termen van de reeks.

De som ${\displaystyle s_{n}}$ van de eerste ${\displaystyle n}$ termen van de rij ${\displaystyle (a_{i})_{i=1}^{\infty }}$ wordt partiële som of ook wel partieelsom genoemd:

${\displaystyle s_{n}=a_{1}+a_{2}+a_{3}+\ldots +a_{n}=\sum _{i=1}^{n}a_{i}}$

Als de rij van partiële sommen convergeert, schrijft men voor de limiet:

${\displaystyle S=a_{1}+a_{2}+a_{3}+\ldots =\sum _{n=1}^{\infty }a_{n}}$

Voor reeksen met termen in een gegeven metrische ruimte (met optelling), is het zinvol het bestaan van de som te onderzoeken.

Een reeks heet convergent als de rij der partiële sommen convergeert naar een eindige limiet ${\displaystyle S}$. In dat geval noemt men ${\displaystyle S}$ de som van de reeks:

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

Als de rij der partiële sommen convergeert, moet de rij der afzonderlijke termen ${\displaystyle a_{n}}$ convergeren naar 0. Het omgekeerde geldt echter niet: een reeks waarvan de termen convergeren naar 0, kan nog steeds divergent (niet convergent ) zijn; zie bijvoorbeeld de harmonische reeks hieronder.

We beperken ons nu tot reeksen waarvan de termen reële getallen zijn.

Een reeks heet absoluut convergent als de absolute waarden van de termen ${\displaystyle a_{i}}$ op hun beurt de bouwstenen zijn van een convergente reeks.

In formulevorm: de reeks ${\displaystyle \sum _{i=1}^{\infty }a_{i}}$ heet absoluut convergent als de reeks ${\displaystyle \sum _{i=1}^{\infty }|a_{i}|}$ een convergente reeks is.

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. Bij een convergente reeks die niet absoluut convergent is (een voorwaardelijk convergente reeks), geldt dit helemaal niet. Men kan dan door een goed gekozen herschikking van de termen zelfs eender welke limiet bereiken.

De reeks voortgebracht door de machten van een getal ${\displaystyle a}$ met absolute waarde kleiner dan 1 is absoluut convergent:

${\displaystyle 1+a+a^{2}+a^{3}+...={\frac {1}{1-a}}}$

Dit is als volgt te bewijzen:

${\displaystyle s_{n}=1+a+a^{2}+a^{3}+\dots +a^{n},|a|<1}$

${\displaystyle as_{n}=a+a^{2}+a^{3}+a^{4}+\dots +a^{n+1}}$

${\displaystyle s_{n}-as_{n}=1-a^{n+1}}$

${\displaystyle s_{n}(1-a)=1-a^{n+1}}$

${\displaystyle s_{n}={\frac {1-a^{n+1}}{1-a}}}$

${\displaystyle S=\lim _{n\to \infty }s_{n}=\lim _{n\to \infty }{\frac {1-a^{n+1}}{1-a}}={\frac {1}{1-a}}}$ .

Zie ook, meer algemeen, meetkundige reeks.

De harmonische rij is in de wiskunde de rij ${\displaystyle 1,{\tfrac {1}{2}},{\tfrac {1}{3}},{\tfrac {1}{4}},{\tfrac {1}{5}},\cdots }$, dus met algemene term: ${\displaystyle a_{n}={\tfrac {1}{n}}}$

Het is een van de eenvoudigste rijen met de eigenschap ${\displaystyle a_{n}=O(1/n)}$ (zie grote-O-notatie), dus de eigenschap dat ${\displaystyle na_{n}}$ begrensd is.

De bijbehorende harmonische reeks

${\displaystyle \sum {\frac {1}{n}}}$

is divergent.

${\displaystyle \sum _{k=1}^{n}{\frac {1}{k}}}$ is voor grote n bij benadering gelijk aan ${\displaystyle \ln(n)}$: beide gaan naar oneindig, maar het verschil heeft als limiet de constante van Euler-Mascheroni.

Bij een alternerende reeks wisselen de termen elke keer van teken. Een alternerende reeks, waarvan de absolute waarde van de algemene term convergeert naar nul en elke term in absolute waarde niet groter is dan zijn voorganger, is convergent.

De reeks ${\displaystyle \sum {\tfrac {(-1)^{n+1}}{n}}}$ is convergent, maar niet absoluut convergent:

${\displaystyle 1-{\tfrac {1}{2}}+{\tfrac {1}{3}}-{\tfrac {1}{4}}+...=\ln(2)}$

Deze reeks heet alternerende harmonische reeks.

Andere typen reeksen zijn onder andere:

• Binomiaalreeks
• Machtreeks
• Taylorreeks
• Kansgenererende functie
• Z-transformatie

Voorbeelden van reeksen die een relatie hebben met het getal π.

Van Leonhard Euler zijn de reeksen:

${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {1}{1}}+{\frac {1}{4}}+{\frac {1}{9}}+\ldots ={\frac {\pi ^{2}}{6}}}$

en

${\displaystyle \sum _{n=0}^{\infty }{\frac {1}{\left(2n+1\right)^{2}}}={\frac {1}{1^{2}}}+{\frac {1}{3^{2}}}+{\frac {1}{5^{2}}}+\dots ={\frac {\pi ^{2}}{8}}}$

Van Gottfried Wilhelm von Leibniz zijn de reeksen:

${\displaystyle \sum _{n=0}^{\infty }{\frac {(-1)^{n}}{2n+1}}={\frac {1}{1}}-{\frac {1}{3}}+{\frac {1}{5}}-{\frac {1}{7}}+\dots ={\frac {\pi }{4}}}$

en

${\displaystyle \sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n^{2}}}={\frac {1}{1^{2}}}-{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}-{\frac {1}{4^{2}}}+\dots =\sum _{n=0}^{\infty }\left({\frac {1}{\left(2n+1\right)^{2}}}-{\frac {1}{\left(2n+2\right)^{2}}}\right)={\frac {\pi ^{2}}{12}}}$

• Constante van Euler
• Reeksontwikkeling

Zie de categorie Series (mathematics) van Wikimedia Commons voor mediabestanden over dit onderwerp.