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.

This is the big O-Notation as given today in one of our exercise classes (it is sloppy but just as it was on the blackboard):

$$\begin{align*} &f = O(g):\quad\limsup_{x \rightarrow a}\, \left|\frac{f}{g}\right| < \infty\\\\ &f = o(g):\quad\lim_{x \rightarrow a} \,\left|\frac{f}{g}\right| = 0 \end{align*}$$

I asked the Teaching assistant why in the first case the limit superior is used and in the second only the limit, but he didn't know. A fellow student said that it is maybe because if we have convergence to zero, it follows that lim sup = lim inf. Is this correct? And if so, why?

share|improve this question
    
Are those $a$s suppose to be $\infty$? –  user7530 Feb 19 '13 at 15:51
    
No, he said not necessarily. He said "usually "a" is zero or +/- infinity" –  user62487 Feb 19 '13 at 15:52
add comment

2 Answers

up vote 1 down vote accepted

To say that $f$ is $O(g)$ is to say that there is a positive constant $c$ such that $|f(x)|\le c|g(x)|$ for all $x$ sufficiently close to $a$. This just imposes a kind of upper bound on $|f(x)|$ near $a$; it doesn’t say anything about how small $|f(x)|$ can be. Thus, it only limits $\sup|f(x)|$ as $x\to a$; $|f(x)|$ can oscillate wildly as long as it never gets bigger than $c|g(x)|$ in some neighborhood of $a$.

When you say that $f$ is $o(g)$, on the other hand, you’re saying that for every $c>0$ there is a neighborhood of $a$ in which $|f(x)|\le c|g(x)|$, which is precisely equivalent to saying that you can make $\left|\frac{f(x)}{g(x)}\right|$ as small as you like by taking $x$ close enough to $a$. But this is exactly what it means to say that $\lim_{x\to a}\left|\frac{f(x)}{g(x)}\right|=0$.

If this is your first exposure to big-O and little-o notation, you may find it useful to see the more common definitions here.

share|improve this answer
    
Matches my intuition, thanks a lot, also for the link. –  user62487 Feb 19 '13 at 16:08
    
@user62487: You’re welcome. –  Brian M. Scott Feb 19 '13 at 16:13
add comment

Well, just because $f = o(g)$ means that $f$ is so small compared to $g$, $limsup$ and $liminf$ would have the same value. Thus, $f = o(g)$ means all limits ($lim$, $liminf$ and $limsup$) will converge to same value.

When you are talking about big-O, all we can say is that $\left|\frac{f}{g}\right|$ will not exceed some number $M$. But hey, this ratio can have different $sup$ and $inf$ values, so we are talking only about biggest value of them.

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.