Uit Wikipedia, de vrije encyclopedie
In de wiskunde is sommeerbaarheid een eigenschap van bepaalde oneindige rijen getallen die wordt uitgedrukt als "de rij
(
a
n
)
{\displaystyle (a_{n})}
is sommeerbaar ". Sommeerbaarheid van een rij wordt vastgelegd door het al of niet bestaan van een limiet van de rij van partiële sommen van zo'n rij. Een rij die niet sommeerbaar is, heet daarom dan ook niet sommeerbaar .
Een gegeven rij getallen:
(
a
k
)
k
=
1
∞
=
(
a
1
,
a
2
,
…
,
a
n
,
…
)
{\displaystyle (a_{k})_{k=1}^{\infty }=(a_{1},a_{2},\ldots ,a_{n},\ldots )}
heet sommeerbaar als de limiet van de
n
{\displaystyle n}
-de partiële som bestaat (en eindig is), als
n
{\displaystyle n}
naar oneindig gaat. Dus als met:
s
N
=
∑
k
=
1
N
a
k
=
a
1
+
a
2
+
…
+
a
N
{\displaystyle s_{N}=\sum _{k=1}^{N}a_{k}=a_{1}+a_{2}+\ldots +a_{N}}
ook het getal
S
{\displaystyle S}
bestaat waarvoor:
lim
N
→
∞
s
N
=
S
{\displaystyle \lim _{N\to \infty }s_{N}=S}
In plaats van sommeerbaar wordt soms, en niet correct, het woord convergent gebruikt.[1]
Gegeven is de oneindige rij:
(
t
k
)
k
=
1
∞
=
(
t
1
,
t
2
,
…
,
t
n
,
…
)
{\displaystyle (t_{k})_{k=1}^{\infty }=(t_{1},t_{2},\ldots ,t_{n},\ldots )}
waarbij:
t
1
=
a
,
t
n
+
1
=
t
n
⋅
r
,
n
≥
1
,
|
r
|
<
1
{\displaystyle t_{1}=a,\quad t_{n+1}=t_{n}\cdot r,\quad n\geq 1,\quad |r|<1}
Dan is:
s
N
=
a
+
a
r
+
a
r
2
+
…
+
a
r
N
−
1
{\displaystyle s_{N}=a+ar+ar^{2}+\ldots +ar^{N-1}}
en:
r
⋅
s
N
=
a
r
+
a
r
2
+
…
+
a
r
N
−
1
+
a
r
N
{\displaystyle r\cdot s_{N}=ar+ar^{2}+\ldots +ar^{N-1}+ar^{N}}
Aftrekking geeft:
(
1
−
r
)
s
N
=
a
(
1
−
r
N
)
{\displaystyle (1-r)s_{N}=a(1-r^{N})\quad }
of
s
N
=
a
⋅
1
−
r
N
1
−
r
{\displaystyle \quad s_{N}=a\cdot {\frac {1-r^{N}}{1-r}}}
Hierbij is
lim
N
→
∞
r
N
=
0
{\displaystyle \lim _{N\to \infty }r^{N}=0}
, zodat:
S
=
lim
N
→
∞
s
N
=
a
1
−
r
{\displaystyle S=\lim _{N\to \infty }s_{N}={\frac {a}{1-r}}}
En daarmee is de rij
(
t
k
)
{\displaystyle (t_{k})}
een sommeerbare rij.
Voor de rij
(
t
k
)
k
=
1
∞
{\displaystyle (t_{k})_{k=1}^{\infty }}
waarbij
t
k
=
1
√
k
{\displaystyle t_{k}={\tfrac {1}{\surd k}}}
is, geldt:
s
N
=
1
+
1
√
2
+
…
+
1
√
N
{\displaystyle s_{N}=1+{\tfrac {1}{\surd 2}}+\ldots +{\tfrac {1}{\surd N}}}
Hierbij is direct duidelijk dat met
N
=
2
,
3
,
…
{\displaystyle N=2,3,\ldots }
:
s
N
>
N
⋅
1
√
N
=
√
N
{\displaystyle s_{N}>N\cdot {\tfrac {1}{\surd N}}=\surd N}
Daaruit volgt dat
lim
N
→
∞
s
N
{\displaystyle \lim _{N\to \infty }s_{N}}
niet bestaat. De rij is daarmee niet sommeerbaar.
De rij
(
t
k
)
k
=
1
∞
{\displaystyle (t_{k})_{k=1}^{\infty }}
met
t
k
=
1
k
(
k
+
1
)
{\displaystyle t_{k}={\tfrac {1}{k(k+1)}}}
is sommeerbaar. Immers:
s
N
=
1
1
⋅
2
+
1
2
⋅
3
+
…
+
1
N
(
N
+
1
)
{\displaystyle s_{N}={\tfrac {1}{1\cdot 2}}+{\tfrac {1}{2\cdot 3}}+\ldots +{\tfrac {1}{N(N+1)}}}
Of ook (zie Telescoopsom ):
s
N
=
(
1
−
1
2
)
+
(
1
2
−
1
3
)
+
…
+
(
1
N
−
1
N
+
1
)
=
1
−
1
N
+
1
{\displaystyle s_{N}=(1-{\tfrac {1}{2}})+({\tfrac {1}{2}}-{\tfrac {1}{3}})+\ldots +({\tfrac {1}{N}}-{\tfrac {1}{N+1}})=1-{\tfrac {1}{N+1}}}
Zodat
lim
N
→
∞
s
N
=
1
{\displaystyle \lim _{N\to \infty }s_{N}=1}
.
Bronnen, literatuur
L. Kuipers (1960) : Leerboek der analyse , deel I. Groningen: P. Noordhoff N.V.; p. 121-129.
E.T. Whittaker, G.N. Watson (1920) : A course of modern analysis . Cambridge University Press, third edition (2020, reprint by Dover Publications); p. 150-157.
Noten
↑ Kort gezegd: een oneindige rij
(
t
n
)
{\displaystyle (t_{n})}
heet convergent als
lim
n
→
∞
t
n
{\displaystyle \lim _{n\to \infty }t_{n}}
bestaat (en eindig is).