Is this proof for a sequence convergence problem correct?

  • Thread starter Thread starter jgens
  • Start date Start date
  • Tags Tags
    Proof Sequences
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
3 replies · 1K views
jgens
Gold Member
Messages
1,575
Reaction score
50

Homework Statement



[tex]\lim_{n\to\infty}a_n=l \rightarrow \lim_{n\to\infty}\frac{a_1+\dots+a_n}{n}=l[/tex]

Homework Equations



N/A

The Attempt at a Solution



Could someone verify that this proof works? I would really appreciate it.

Proof: Since the sequence [itex]\{a_n\}[/itex] converges to [itex]l[/itex], for any given [itex]\varepsilon>0[/itex] it's possible to find a number [itex]N>0[/itex] such that if [itex]n>N[/itex], then [itex]|a_n-l|<\varepsilon/2[/itex]. Now, because there are only finitely many numbers [itex]|a_1-l|,\dots,|a_N-l|[/itex], we can choose the greatest such number. Denote this number by [itex]M[/itex].

Suppose that [itex]n>\max{(N,\frac{2MN}{\varepsilon})}[/itex], in which case, it clearly follows that [itex]\frac{\varepsilon}{2}>\frac{MN}{n}[/itex]. Therefore,

[tex]\left| \frac{a_1+\dots+a_N}{n}-\frac{Nl}{n}\right|\leq\frac{|a_1-l|}{n}+\dots+\frac{|a_N-l|}{n}\leq\frac{MN}{n}<\frac{\varepsilon}{2}[/tex]

Moreover, since [itex]n>N[/itex], we also have that

[tex]\left| \frac{a_{N+1}+\dots+a_n}{n}-\frac{(n-N)l}{n}\right|\leq\frac{|a_{N+1}-l|}{n}+\dots+\frac{|a_n-l|}{n}<\frac{(n-N)\varepsilon}{2n}<\frac{\varepsilon}{2}[/tex]

Combining these two results, we see that

[tex]\left| \frac{a_1+\dots+a_n}{n}-l\right|\leq\left| \frac{a_1+\dots+a_N}{n}-\frac{Nl}{n}\right|+\left| \frac{a_{N+1}+\dots+a_n}{n}-\frac{(n-N)l}{n}\right|<\frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon[/tex]

Completing the proof.
 
Physics news on Phys.org


Looks good to me.
 


Thanks!