O-Notation: Understanding Limsup Definition

304 Views Asked by At

I think I understand the definition of the big-Oh notation as well that of the small-Oh notation. But I wonder about the limits.

I understand that

$ f = o(g):\quad\lim_{x \rightarrow a} \,\left|\frac{f}{g}\right| = 0 $

because f becomes insignificant in relation to g as x aproaches infinity. I do not understand

$f = O(g):\quad\limsup_{x \rightarrow a}\, \left|\frac{f}{g}\right| < \infty$

though...

I get that it only makes sense to look at the upper limit as $\frac{f}{g}$ might osculate. As I see it the biggest $\frac{f}{g}$ can get if it was not for c is 1 because of $f \leq c*g$ in the definition of big-Oh

So does this mean that for a big c we can get arbitrarily close to infinity? This is the part where I can't see clearly.

Any help?

1

There are 1 best solutions below

2
On

As pointed out to me by @Crostul

$f(n) \in O(g(n)):\ \limsup\limits_{n \to \infty}|\frac{f(n)}{g(n)}| < \infty$

is correct because

$O(g(n))\ =\ \{f(n):\ \ \exists c,\ n_0\ \forall n \geq n_0\ :\ 0\ \leq\ f(n)\ \leq\ c*g(n)\}$

with a fixed and finite c. This means:

$\limsup\limits_{n \to \infty}|\frac{f(n)}{c*g(n)}| = 0$

and thus

$\limsup\limits_{n \to \infty}|\frac{f(n)}{g(n)}| = c < \infty$

At least I hope this is correct.