
Real Analysis Real Analysis Math Forum 
 LinkBack  Thread Tools  Display Modes 
August 21st, 2011, 10:30 AM  #1 
Senior Member Joined: Sep 2008 Posts: 105 Thanks: 0  Limit Superior and Limit Inferior
Prove that for any positive sequence a_n of real numbers lim inf (a _(n+1) / a_n) <= lim inf (a_n)^(1/n) <= lim sup (a_n)^(1/n) <= lim sup(a_(n+1) / a_n). Give examples where equality does not hold. Is lim sup always >= lim inf? I am having trouble understanding these concept and proving things about them without specific numbers. 
August 21st, 2011, 01:10 PM  #2 
Senior Member Joined: Jan 2011 Posts: 106 Thanks: 0  Re: Limit Superior and Limit Inferior
The difficulty you are having with this concept may come from the definition you were given for limsup and liminf. There are actually several alternative (equivalent) ways to define this notion. Usually a textbook gives one as a definiton, and one or two others are given as characterisations. See p. 38 of Real Analysis by H. L. Royden. Another method may be using subsequences. Further, using the infsup definition a handy inequality is given in p 55 of the Elements of Real Analysis by Bartle, which gives you enough clue to solve this. 
August 21st, 2011, 01:43 PM  #3 
Senior Member Joined: Sep 2008 Posts: 105 Thanks: 0  Re: Limit Superior and Limit Inferior
Thanks for the answer, but I don't have access to those books. Could you tell me the definitions or inequality you are talking about?

August 22nd, 2011, 10:59 AM  #4  
Senior Member Joined: Jan 2011 Posts: 106 Thanks: 0  Re: Limit Superior and Limit Inferior Quote:
H. L. Royden has given the following definition for lim sup and lim inf: for a sequence <x_n> of real numbers lim sup xn:= inf_n (sup x_k) for k no lesser than n. Lim inf is defined in the same fashion. Now, you may prove the following: 1. a real no. L is the limsup of <xn> iff i. For e>0 there is some n with xm<L+e for all m >= n, and 2. Given both e>0 and n, there is some m, m>=n and xm>le.  +oo is the lim sup of our sequence iff it is a cluster point of it  oo is the lim sup of <xn> iff it is its limit. Now, for lim inf we have the following useful propositions: limsup (xn)= liminf xn liminf xn<= limsup xn, equality holds iff xn converges, then they both equal that limit. More importantly, lim sup and lim inf are the largest, and smallest cluster points of a sequence respectively.  
August 22nd, 2011, 11:07 AM  #5 
Senior Member Joined: Jan 2011 Posts: 106 Thanks: 0  Re: Limit Superior and Limit Inferior
Some useful inequalities are: limsup xn + lim inf yn <= limsup (xn+yn)<= limsup xn+ limsup yn limsup (xn.yn)<= limsupxn.limsup yn also check the definition of exponentiation for rationals using supremum. 

Tags 
inferior, limit, superior 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
suprior and inferior  alice 9  Real Analysis  2  November 5th, 2010 08:38 AM 
Limit 1  sn1954  Calculus  3  January 16th, 2010 06:07 AM 
Limit 3  sn1954  Calculus  0  January 16th, 2010 03:41 AM 
Limit 2  sn1954  Calculus  0  January 16th, 2010 03:21 AM 
when should we evaluate left limit and right limit?  conjecture  Calculus  1  July 24th, 2008 02:14 PM 