PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] finite changes in convergent series (Theorem)

The following theorem means that at the beginning of a convergent series, one can remove or attach a finite amount of terms without influencing on the convergence of the series - the convergence is determined alone by the infinitely long ``tail'' of the series. Consequently, one can also freely change the order of a finite amount of terms.

Theorem. Let $k$ be a natural number. A series $\displaystyle\sum_{n=1}^\infty a_n$ converges iff the series $\displaystyle\sum_{n=k+1}^\infty\!a_n$ converges. Then the sums of both series are connected with

$\displaystyle \sum_{n=k+1}^\infty\!a_n \;=\; \sum_{n=1}^\infty a_n-\sum_{n=1}^k a_n.$ (1)

Proof. Denote the $k$ th partial sum of $\sum_{n=1}^\infty a_n$ by $S_k$ and the $n$ th partial sum of $\sum_{n=k+1}^\infty a_n$ by $S_n'$ . Then we have

$\displaystyle S_n' \;=\; \sum_{n=k+1}^{k+n}\!a_n \;=\; S_{k+n}\!-\!S_k.$ (2)

$1^\circ$ . If $\sum_{n=1}^\infty a_n$ converges, i.e. $\lim_{n\to\infty}S_n := S$ exists as a finite number, then (2) implies $$\lim_{n\to\infty}S_n' \;=\; \lim_{n\to\infty}S_{k+n}-\lim_{n\to\infty}S_k \;=\; S\!-\!S_k.$$ Thus $\sum_{n=k+1}^\infty a_n$ converges and (1) is true.

$2^\circ$ . If we suppose $\sum_{n=k+1}^\infty a_n$ to be convergent, i.e. $\lim_{n\to\infty}S_n' := S'$ exists as finite, then (2) implies that $$\lim_{n\to\infty}S_n \;=\; \lim_{n\to\infty}S_{k+n} \;=\; \lim_{n\to\infty}(S_k+S_n') \;=\; S_k\!+\!S'.$$ This means that $\sum_{n=1}^\infty a_n$ is convergent and $S = S_k\!+\!S'$ , which is (1), is in force.




"finite changes in convergent series" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: sum of series depends on order, Riemann series theorem


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: convergent, implies, number, partial sum, proof, sums, iff, converges, natural number, series, finite, convergent series, theorem
There is 1 reference to this entry.

This is version 6 of finite changes in convergent series, born on 2009-10-02, modified 2009-10-04.
Object id is 11931, canonical name is FiniteChangesInConvergentSeries.
Accessed 249 times total.

Classification:
AMS MSC40A05 (Sequences, series, summability :: Convergence and divergence of infinite limiting processes :: Convergence and divergence of series and sequences)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)