Proving a sequence is convergent.

Click For Summary

Homework Help Overview

The problem involves proving or disproving whether the convergence of a sequence \( a_n \) implies the convergence of the sequence \( a_n^2 \). Participants are exploring the implications of convergence and the manipulation of limits in the context of sequences.

Discussion Character

  • Exploratory, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants discuss the definition of convergence and attempt to manipulate the expression \( |a_n^2 - L^2| \) to establish a relationship between the convergence of \( a_n \) and \( a_n^2 \). There are questions about whether to look for a counterexample and how to apply the convergence criteria effectively.

Discussion Status

The discussion is ongoing, with participants sharing various approaches to the problem. Some have suggested specific manipulations and relationships that could lead to a proof, while others are considering the implications of their assumptions. There is no explicit consensus yet on the path forward.

Contextual Notes

Participants are working under the assumption that the sequence \( a_n \) is convergent and are exploring the implications of this on the sequence \( a_n^2 \). There are references to bounds and the need for careful handling of limits in their reasoning.

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]
 

Similar threads

Replies
15
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 14 ·
Replies
14
Views
5K