Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

How can we prove that $\liminf x_n = -\limsup (-x_n)$?

share|improve this question
3  
What definition of $\liminf$ and $\limsup$ do you take? What did you try? –  1015 Mar 18 '13 at 20:35
1  
first you need to prove that Inf (-A)=-Sup (A) –  cswinson Mar 18 '13 at 20:37
    
lim Sup xn= lim (Sup {xn : n>N}) –  cswinson Mar 18 '13 at 20:41
add comment

1 Answer

I'll go with the definition you mention. Defining $\liminf x_n$ as the smallest limit of all converging subsequences in $[-\infty,+\infty)$ and $\limsup$ as the greatest etc... would make the statement slightly easier to check.

Assume you have proved that $-\sup (-A)=\inf A$ for every subset $A$ of $\mathbb{R}$. Applying this to the set $A=\{x_n\;;\;n>N\}$ yields: $$ -\sup_{n>N}(-x_n)=\inf_{n>N}x_n\qquad \forall N. $$ Taking the limit on both sides gives the formula. Even in the case where these sequences are constant equal to $-\infty$, that is $\liminf x_n=-\infty$ and $\limsup (-x_n)=+\infty$.

Now let us prove the set property. Clearly, $A$ is not bounded below if and only if $-A$ is not bounded above. In this case, we get $-(+\infty)=-\infty$ and the property holds. Now assume we are not in the latter case. Take $a\in A$. We have $$ m\leq a\qquad\iff\qquad -a\leq -m. $$ Therefore, $m$ is a lower bound for $A$ if and only if $-m$ is an upper bound for $-A$. It follows that $-\inf A$ is an upper bound for $-A$, so $\sup(-A)\leq -\inf A$. And likewise, $-\sup(-A)$ is a lower bound for $A$, so $-\sup(-A)\leq \inf A$. This proves the equality $-\sup(-A)=\inf A$.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.