prove the limit theorem: a_n < b_n -> A-B


by shoescreen
Tags: limit, prove, theorem
shoescreen
shoescreen is offline
#1
Sep30-09, 12:29 PM
P: 15
1. The problem statement, all variables and given/known data
Given the sequence {a_n} converges to A and {b_n} converges to B, and a_n <_ b_n for all n>_ n*, prove A <_ B


2. Relevant equations

x+ epsilon < y for every positive real epsilon, implies x <_ y
A - B = (A - a_n) + (b_n - B) + (a_n - b_n)

3. The attempt at a solution

I want to show A - B is not positive, I know a_n - b_n is not positive by hypothesis, and A - a_n and b_n - B are bounded by (-e/2, e/2) where e is any postive number, hence their sum is bounded by (-e,e). But since their sum is not bounded by zero, I can't figure out how to apply (x + e) - y negative implies (x - y) non positive.
Phys.Org News Partner Science news on Phys.org
Cougars' diverse diet helped them survive the Pleistocene mass extinction
Cyber risks can cause disruption on scale of 2008 crisis, study says
Mantis shrimp stronger than airplanes
LCKurtz
LCKurtz is offline
#2
Sep30-09, 01:00 PM
HW Helper
Thanks
PF Gold
LCKurtz's Avatar
P: 7,221
If you suppose A > B and take epsilon (1/3)(A-B) can you find a contradiction?
shoescreen
shoescreen is offline
#3
Sep30-09, 01:03 PM
P: 15
Quote Quote by LCKurtz View Post
If you suppose A > B and take epsilon (1/3)(A-B) can you find a contradiction?
i should have mentioned earlier, the problem statement explicitly states do not prove by contradiction.

LCKurtz
LCKurtz is offline
#4
Sep30-09, 01:21 PM
HW Helper
Thanks
PF Gold
LCKurtz's Avatar
P: 7,221

prove the limit theorem: a_n < b_n -> A-B


If you see how to do the indirect argument I am hinting at, you can easily modify it to be a direct argument. (Shhh... I won't tell anybody if you look at the indirect argument first).
shoescreen
shoescreen is offline
#5
Sep30-09, 01:33 PM
P: 15
Quote Quote by LCKurtz View Post
If you see how to do the indirect argument I am hinting at, you can easily modify it to be a direct argument. (Shhh... I won't tell anybody if you look at the indirect argument first).
Well I was asked to prove the this by contradiction before and i was able to do it with (a-b)/2 and i still dont see how to do it directly :(

EDIT:
hah i think i got it!
EDIT:
just kidding...
LCKurtz
LCKurtz is offline
#6
Sep30-09, 02:16 PM
HW Helper
Thanks
PF Gold
LCKurtz's Avatar
P: 7,221
Would a proof that showed for any ε > 0 that A ≤ B + ε be considered a direct proof?
shoescreen
shoescreen is offline
#7
Sep30-09, 02:22 PM
P: 15
so if I use
|a_n - A| < f(A,B)
|b_n - A| < g(A,B)

I can split up each inequality and ultimately end up with something like
a_n > -f(A,B) + A
b_n < G(A,B) + B

so a_n - b_n > -f(A,B) - g(A,B) + A - B

so if i want to show a_n - b_n > A - B, the function -f + -g must be positive. But this is impossible since both of these functions must be strictly positive, hence negative f plus negative g is also negative.
So i'm still stuck
fmam3
fmam3 is offline
#8
Oct1-09, 03:15 AM
P: 84
If you know liminf, limsup, then this is easy.

Since [tex]a_n \leq b_n[/tex], or [tex]0 \leq b_n - a_n[/tex]. Then it follows that [tex]0 \leq \liminf (b_n - a_n) \leq \limsup (b_n - a_n)[/tex]. But since [tex]\lim a_n = A[/tex] and [tex]\lim b_n = B[/tex], it follows that [tex]\lim (b_n - a_n) = B - A[/tex], which implies the limit inferior and limit superior must equal. That is, [tex]\limsup (b_n - a_n) = \liminf (b_n - a_n) = B - A[/tex]. Thus, we have that [tex]0 \leq B - A[/tex], rearrange then you're done.
Landau
Landau is offline
#9
Oct1-09, 06:51 PM
Sci Advisor
P: 905
For every e>0 there is N such that n>N implies |a_n-A|<e and |b_n-B|<e.
In other words: A-e<a_n<A+e and B-e<b_n<B+e. Try to put these two together.

\\edit: as LCKurtz remarked, I gave away too much, so I removed the last part.
LCKurtz
LCKurtz is offline
#10
Oct1-09, 06:55 PM
HW Helper
Thanks
PF Gold
LCKurtz's Avatar
P: 7,221
And here I've been under the impression that we aren't supposed to actually work homework problems for them.


Register to reply

Related Discussions
limit prove Calculus & Beyond Homework 1
Prove the Limit Calculus & Beyond Homework 5
Prove a limit by the limit theory Calculus & Beyond Homework 2
prove a limit General Math 7
How to prove there is no limit of cos1/x using theorm of limit Calculus 9