Proving Convergence of a Sequence with a Given Upper Bound

Click For Summary

Homework Help Overview

The discussion revolves around proving that if a sequence \( (a_n) \) converges to a limit \( a \) and is bounded above by 6, then \( a \) must also be less than or equal to 6. Participants are exploring the implications of the definition of convergence in the context of real sequences.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants are attempting to use the definition of convergence to establish a relationship between the limit \( a \) and the upper bound of the sequence. Some are questioning the validity of their reasoning and exploring the consequences of assuming \( a > 6 \). Others are suggesting ways to derive contradictions from this assumption.

Discussion Status

The discussion is ongoing, with participants providing feedback on each other's reasoning. Some have offered guidance on how to structure the argument rigorously, while others are still grappling with the implications of their assumptions. There is a clear engagement with the problem, but no consensus has been reached yet.

Contextual Notes

Participants are working under the constraints of a homework assignment, which may limit the information they can use or the methods they can apply. There are also technical issues mentioned regarding formatting in the forum.

gtfitzpatrick
Messages
372
Reaction score
0

Homework Statement



Proove rigorously that if (a[tex]_{n}[/tex] is a real convergent sequence with lim[tex]_{n\rightarrow \infty}[/tex] a[tex]_{n}[/tex] = a and for each n=[tex]\in[/tex] N, a[tex]_{n}[/tex] < 6, then a [tex]\leq[/tex] 6

Homework Statement


Homework Equations


The Attempt at a Solution



Let [tex]\epsilon[/tex] > 0 we need to find n[tex]_{0}[/tex] [tex]\in[/tex] N such that

[tex]\left\|[/tex] a[tex]_{n}[/tex] - a[tex]\left\|[/tex] < [tex]\epsilon[/tex] [tex]\forall[/tex] n [tex]\geq[/tex] n [tex]_{0}[/tex], n[tex]_{0}[/tex] [tex]\in[/tex] N

but a[tex]_{n}[/tex] < 6
so

[tex]\left\|[/tex] 6 - a[tex]\left\|[/tex] < [tex]\epsilon[/tex]

then

a < 6 - [tex]\epsilon[/tex] and [tex]\epsilon[/tex] > 0

so a [tex]\leq[/tex] 6

i think I've done this right, just by using the definition of a limit. Could anyone tell me if this is looking ok?

(Also i can't seem to get the sub script working, it always makes them go up instead of down, any ideas anyone?)

Thanks a million
 
Last edited:
Physics news on Phys.org
No, you're off track. You know that the sequence converges, so no matter what [tex]\epsilon[/tex] is given you can make

[tex] |a_n - a| < \epsilon[/tex]

if n is large enough.
But this:
gtfitzpatrick said:


but a[tex]_{n}[/tex] < 6
so

[tex]\left\|[/tex] 6 - a[tex]\left\|[/tex] < [tex]\epsilon[/tex]


doesn't follow.

Try assuming [tex]a > 6[/tex] and see if you can reach some contradiction. (Hint: if [tex]a > 6[/tex] then [tex]a - 6 > 0[/tex].)
 
thanks for getting back to me.

ok let me see if i have this right now.

first since the sequence is convergent [tex]\epsilon[/tex] > 0. then set a > 6 so

Since the sequence is convergent a[tex]_{}n[/tex] - a < [tex]\epsilon[/tex] or a < a[tex]_{}n[/tex] - [tex]\epsilon[/tex] but if a > 6 then 6 - [tex]\epsilon[/tex] > a > 6 which can't be true so a muxt be < or = 6
 
Not quite . My point was that since [tex]a - 6 >0[/tex] it would be a possibility for choice as [tex]\epsilon[/tex]
 
thanks for all the help,

do you mean a - 6 > 0 and an -a < [tex]\epsilon[/tex] then an - a < a - 6 ?
 
I must be still lookin at this wrong, can't seem to figure it out
 
Think of it intuitively first.

If [tex]a_n < 6[/tex] for all n, and you want to prove that [tex]a \le 6[/tex], then assume the opposite. Assume that [tex]a > 6[/tex]. But since [tex]a_n \rightarrow a[/tex] then that means we can make [tex]a_n[/tex] as close to a as we want, provided that n is taken large enough, right?

Do you see how if a > 6 then there is no way we can possibly make [tex]a_n[/tex] as close to a as we want, no matter how large n is? Because for all n, [tex]a_n < 6[/tex] ?

Make this into a rigorous argument now.
 
thanks a mill for replying

I can see that if an < 6 and a > 6 but an [tex]\rightarrow[/tex] a so they can't converge as they are both on opposite sides of 6 so to speak, but I am just not sure how to go about prooving this rigourously
 
Assume a > 6. Since [tex]a_n < 6 < a[/tex] for all n, we have [tex]a - a_n > 0[/tex]. So [tex]|a_n - a| = a - a_n[/tex].

Now, we know that for every positive [tex]\epsilon[/tex] , [tex]a - a_n < \epsilon[/tex] provided that n is large enough. If a > 6 then a - 6 > 0, and so we can take [tex]\epsilon = a - 6[/tex]. Try that out and see what happens.
 
  • #10
JG89 said:
Assume a > 6. Since [tex]a_n < 6 < a[/tex] for all n, we have [tex]a - a_n > 0[/tex]. So [tex]|a_n - a| = a - a_n[/tex].

the first part of this is grand. the second part, I am not following are you getting it from the def of a limit [tex]\left|[/tex]an-a [tex]\left|[/tex] < [tex]\epsilon[/tex]
 
  • #11
In the part you quoted, I'm just making it clear that |a_n - a| = a - a_n.

I'd rather get rid of the absolute value bars.

The rest of my post uses the definition of a limit.
 
  • #12
JG89 said:
|a_n - a| = a - a_n.

sorryi'm not getting this, is this just because a>6>a_n
 
  • #13
Yes. You know that |a_n - a| = |a - a_n|, right? but a - a_n > 0 anyway since a > a_n, so we can just drop the absolute value bars and write a - a_n
 
  • #14
Damn this just isn't working for me- [tex]\epsilon = a- 6[/tex] but [tex]\epsilon>0[/tex] so a-6> 0 or a>6 which is what I'm trying to disprove!
 
  • #15
a-an < [tex]\epsilon[/tex] and a - 6 = [tex]\epsilon[/tex]

then a-an < a - 6

which works out to an < 6 which is true?
 
  • #16
gtfitzpatrick said:
a-an < [tex]\epsilon[/tex] and a - 6 = [tex]\epsilon[/tex]

then a-an < a - 6

which works out to an < 6 which is true?

[tex] a - a_n < a - 6[/tex]

leads to

[tex] a_n < 6[/tex]?

Check your signs again.
 
  • #17
damn it, sorry bout that. thanks a million for the help
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
14
Views
2K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K