ランダウの記号の使い方

質問

ランダウの記号の、大文字のОの使い方で質問があります。

関数f(x),g(x)に対して
lim[x→a]|f(x)/g(x)|=b<∞
が成り立つとき、f(x)=О(g(x)) (x→a)
と表記するそうですが、
では、f(x)=0のときは、g(x)≠0に対しては、
|f(x)/g(x)|=0なので、f(x)=О(g(x)) (x→a)
と表わせるのでしょうか？

回答No.2

arrysthmia · ベストアンサー

表せる。
f(x) = О(g(x)) (x→a) を、「f は g と同じオーダー」と読もうとするから
奇妙な気がするだけで、「f は高々 g のオーダー」と読めば違和感はない。
О( ) の定義は、そうなっているのだから。

ただし、
＞ lim[x→a] |f(x)/g(x)| = b < ∞
＞ が成り立つとき、f(x) = О(g(x)) (x→a)
＞ と表記する
は微妙な書き方で、ウソではないが、
lim[x→a] |f(x)/g(x)| < ∞ でなくても、
f(x) = О(g(x)) (x→a) と書くことはある。

f(x) = О(g(x)) (x→a) の正確な定義は、
limsup[x→a] |f(x)/g(x)| < ∞ であり、
lim[x→a] |f(x)/g(x)| が収束しなくても構わない。

お礼

回答ありがとうございました。

回答No.1

stomachman

そりゃまあ、そう書いても構いませんけど、素直に
f(x)=0
と書いたのでは困る場合というのが思いつきません。どういう状況なんでしょうか。

お礼

回答ありがとうございました。

補足

いや、まあ、その…
例えばО(x)と書いたときにf(x)=0も含めることは
できないかなと思ったので。