2
$\begingroup$

I was wondering if the order between multiplication and little o can be exchanged, for example, $$x \times o\left(\frac{y}{x}\right) = o(y)?$$

I am a little confused.

In the example, I need to consider the case when $x$ goes to infinity, and don't know if eliminating $x$ will be a good idea. As far as I know, it is correct that $\lim_{x\rightarrow \infty} x \times o\left(\frac{y}{x}\right) =0$, but I can't get $\lim_{x\rightarrow \infty} o(y) =0$. So I think $$x \times o\left(\frac{y}{x}\right) = o(y)$$ is not true?

Added: My case is that given $x \times o_{t\rightarrow \infty}(t^2)$ and $t=\sqrt{y/x}$, so I get $x \times o_{y/x \rightarrow \infty}(y/x)$. Now with this meaning and my consideration when x goes to infinity, is $x \times o_{y/x \rightarrow \infty}(y/x)$ same as $o_{y \rightarrow \infty}(y)$ or as $o_{y/x \rightarrow \infty}(y)$? Is it right that $\lim_{x\rightarrow \infty} f(x,y)=0, \forall f \in x \times o(y/x)$?

Thanks!

  • 0
    @AD: by $\lim_{x\rightarrow \infty} o(y) =0$, I mean $\lim_{x\rightarrow \infty} f =0, \forall f \in o(y)$2011-05-16

1 Answers 1

7

You have every right to be confused; little-o notation itself is problematic, and this question highlights at least two of its problems.

Let's be completely precise. We say that $f(x) \in o_{x \to \infty}(g(x))$ (note the subscript) if $\lim_{x \to \infty} \frac{f(x)}{g(x)} = 0$. This is the most precise form of little-o notation: I have not used an equals sign (because $o(g(x))$ is not a function), I have specified what variable the notation refers to, and I have even specified what its limit is. (Most people who use little-o or related notations don't bother to do any of these things, and the result can be quite confusing if you aren't aware of the context.)

Thus $f(y) \in o_{y \to \infty}(y)$ if $\lim_{y \to \infty} \frac{f(y)}{y} = 0$. In this situation, we might want to interpret

$f(x, y) \in x o_{x \to \infty} \left( \frac{y}{x} \right)$

to mean that

$\frac{f(x, y)}{x} \in o_{x \to \infty} \left( \frac{y}{x} \right)$

where $y$ is possibly a function of $x$. This is equivalent, of course, to $\lim_{x \to \infty} \frac{f(x, y)}{y} = 0$, so it is equivalent to the statement that

$f(x, y) \in o_{x \to \infty}(y).$

But your question is a little confusing, because you have two variables $x$ and $y$ and you didn't specify which one of them the little-o notation refers to, and you also didn't refer to $f$. Both of these are weaknesses of little-o notation itself.

  • 0
    Thanks for the suggestion but I will not comply. One reason is that this is not the exact scope of the question here, another is that I already explained this stuff [there](http://math.stackexchange.com/questions/72412/big-and-small-o-notation-help/72421#72421). (Yes *I am right* and, frankly, I am surprised to see you refer to Wikipedia as the *arbitre des élégances* for such a matter. Even coming from somebody more into algebra than analysis (whatever that means), this is akin to discussing whether the center of a group is always a distinguished subgroup or not, and turning to WP to decide.)2011-10-23