単調増加関数で極限が0のとき全てのxで負になるかの考察

数学では、関数の単調性や極限値からその関数の性質を推測することがよくあります。ここでは、単調増加関数が無限大で0に近づく場合、その関数が全てのxで負であるかを考えてみましょう。

単調増加関数とは

関数 f(x) が単調増加とは、x₁ < x₂ のとき f(x₁) ≤ f(x₂) となる関数を指します。つまり、x が増えると f(x) は減らず、一定か増加する性質を持っています。

極限と関数の値の関係

仮に lim_{x→∞} f(x) = 0 とします。このとき、x が大きくなるほど f(x) は 0 に近づきます。単調増加であることから、f(x) は徐々に大きくなるか、あるいは横ばいで0に近づきます。

全てのxで f(x) < 0 か？

単調増加で極限が0でも、全てのxで f(x) < 0 とは限りません。例えば、f(x) = −1/x は単調増加で lim_{x→∞} f(x) = 0 ですが、x > 0 の全てで f(x) < 0 です。一方で f(x) = −1 + 1/(x+1) の場合、x→∞で0に近づきますが、初期値 f(0) = 0 で0以上になることがあります。つまり、単調増加と極限が0だけでは全てのxで負とは示せません。

まとめ

・単調増加関数と x→∞ の極限が0であることは重要な情報ですが、全てのxで負であることを保証するには、関数の初期値や定義域全体の値も確認する必要があります。
・一般に、全てのxで f(x) < 0 を示すには、追加条件（例えば x₀ で f(x₀) < 0 など）が必要です。
・極限だけで全域の符号を決定することはできません。