Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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

The definitions we are using are
$\limsup x_n = \lim\limits_{n\to\infty} \sup\{x_k; k\ge n\}$
$\liminf x_n = \lim\limits_{n\to\infty} \inf\{x_k; k\ge n\}$

share|cite|improve this question
What definition of $\liminf$ and $\limsup$ do you take? What did you try? – 1015 Mar 18 '13 at 20:35
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

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|cite|improve this answer

Your Answer


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.