# Limit superior and limit inferior

• Mar 24th 2011, 02:04 PM
Connected
Limit superior and limit inferior
I get the definition of limit superior and limit inferior, but I can't start a proof for these properties:

$\underline{\lim }{\,{x}_{n}}=-\overline{\lim }\left(-{{x}_{n}}\right)$

$\underline{\lim }{\,{x}_{n}}\le\overline{\lim }{\,{x}_{n}}$

$\underline{\lim }{\,{x}_{n}}+\underline{\lim }{\,{y}_{n}}\le\underline{\lim }\left({{x}_{n}}+{{y}_{n}}\right)\le\overline{\lim }{\,{x}_{n}}+\underline{\lim }{\,{y}_{n}}\le\overline{\lim }\left({{x}_{n}}+{{y}_{n}}\right)\le\overline{\lim }{\,{x}_{n}}+\overline{\lim }{\,{y}_{n}}.$

Hope you may enlight me. :D
• Mar 24th 2011, 02:06 PM
girdav
Did you try to use the properties of $\inf$ and $\sup$ ?
• Mar 24th 2011, 02:37 PM
Connected
Oh, not really.

How would you prove the third one? Can you show me?

Thanks!
• Mar 24th 2011, 02:46 PM
girdav
Use $\displaystyle\inf_{n\geq k}(a_n+b_n)\geq \inf_{n\geq k}a_n+\inf_{n\geq k}b_n$ for the first inequality. For the second, you have to show that $\liminf (x_n+y_n)-\limsup x_n\leq \liminf y_n$. But $\liminf (x_n+y_n)-\limsup x_n =\liminf (x_n+y_n)+\liminf (-x_n)\leq \liminf (x_n+y_n-x_n)$.
• Mar 25th 2011, 01:50 PM
Connected
So for the first one I use $\sup (-x_n)=-\inf x_n,$ by taking limits I get the result. Is it correct?

The second one follows easily from $\inf x_n\le \sup x_n,$ right?
• Mar 25th 2011, 01:53 PM
girdav
You have to tell where you take the $\sup$. The definition is $\displaystyle \limsup_n x_n = \inf_{k\in\mathbb N}\sup_{n\geq k} x_n$.
• Mar 25th 2011, 01:56 PM
Connected
Oh well, so I need to add that to what I wrote.

But by adding this, is it correct? If not, how to do it?