Proving a sequence is convergent.

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
5 replies · 2K views
porroadventum
Messages
34
Reaction score
0
1. The problem is if an is convergent then prove or disprove by giving a counter example that an2 is also convergent.
2. Since an is convergent then for all ε>0 there exists n0[itex]\in[/itex] [itex]N[/itex] such that lan-Ll<ε for all n>=n0

So I then tried squaring (an-L) which gives an2 -2anL +L22
How do I manipulate this to show that an2 has a limit L too?

Or should I be looking for a counter example? I can't think of any!
 
Physics news on Phys.org
porroadventum said:
1. The problem is if an is convergent then prove or disprove by giving a counter example that an2 is also convergent.



2. Since an is convergent then for all ε>0 there exists n0[itex]\in[/itex] [itex]N[/itex] such that lan-Ll<ε for all n>=n0

So I then tried squaring (an-L) which gives an2 -2anL +L22
How do I manipulate this to show that an2 has a limit L too?

Or should I be looking for a counter example? I can't think of any!

If the sequence {an2} converges, then for any ε > 0, there is a number n1 such that |an2 - L2 | < ε when n >= n1. Given that the sequence {an} converges, can you use this to show that {an2} also converges?
 
You can also start from:
[tex]|a^2_n-L^2|=|a_n+L|\cdot|a_n-L|[/tex]
 
Mark44 said:
If the sequence {an2} converges, then for any ε > 0, there is a number n1 such that |an2 - L2 | < ε when n >= n1. Given that the sequence {an} converges, can you use this to show that {an2} also converges?
I'm quite sure Mark means, |an2 - L2 | < ε ...
 
SammyS said:
I'm quite sure Mark means, |an2 - L2 | < ε ...
No, I meant L2, to distinguish it from L. It might turn out that L2 = L2, but I didn't want to make that assumption.
 
[tex] \forall \epsilon>0\ \exists N_1: n >N_1\ |a_n -L|< \epsilon[/tex]

but also

[tex] \forall \epsilon>0\ \exists N_2: n >N_2\ |a_n -L|< \epsilon_1 = \frac{\epsilon}{M+L}[/tex]

Remember that every convergent sequence is bounded from above, say in this case by M.

Now we get:

[tex]|a_n^2 -L^2| = |a_n-L||a_n+L| <\epsilon_1 (M+L)<\epsilon[/tex] if [tex]n>max(N_1,N_2)[/tex]