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.

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

I'm a little confused about the definition of limit supremum; what does it mean that the following limit is finite?

$$\limsup _{h\rightarrow \infty}\;\sup_{x\in \mathbb R}\; A(x,h)$$ where $A(x,h)$ is a function of $x$, and $h$.

share|cite|improve this question
Does it mean anything? Looks to me like you're binding $h$ twice. Did you mean something like $\displaystyle \limsup_{h \to \infty}\ \sup_{x \in \mathbb R}\ A(x,h)$? – Ilmari Karonen Aug 28 '11 at 0:38
Exactly, but I have no idea how to make it like this! – Joan Aug 28 '11 at 0:41
You can right-click the expression in my comment and select "Show Source" to see how I did it. – Ilmari Karonen Aug 28 '11 at 0:44
There are many different ways of defining the limit superior; one of them is the following: the limit superior is the supremum of the set of limit points. – Arturo Magidin Aug 28 '11 at 3:13
This question seems to be related:… – Martin Sleziak Aug 28 '11 at 10:05

It means that there exists some finite $H$ and $C$ such that for every $h\ge H$ and every $x$ in $\mathbb R$, $A(x,h)\le C$.


If $H$ and $C$ as above exist, then $\limsup\limits_{h\to+\infty}\,\sup\limits_{x\in\mathbb R}A(x,h)\le C$ hence it is finite.

To prove the other direction, first recall that, for any function $B$ and any finite $c$, $\limsup\limits_{h\to+\infty}\,B(h)\le c$ means that, for every $c'>c$, there exists a finite $h_0$ such that $B(h)\le c'$ for every $h\ge h_0$.

Hence $\limsup\limits_{h\to+\infty}\,B(h)$ is finite if and only if there exists some finite $C$ and $H$ such that $B(h)\le C$ for every $h\ge H$.

Apply this to $B(h)=\sup\limits_{x\in\mathbb R}A(x,h)$, hence $B(h)\le C$ for every $h\ge H$. Now, $A(x,h)\le B(h)$ for every $x$ in $\mathbb R$ and $B(h)\le C$ for every $h\ge H$, hence $A(x,h)\le C$ for every $h\ge H$ and $x$ in $\mathbb R$.


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.