ある値に近づくことと、その値に到達することは同じではない
極限は、入力がある点cにどんどん近づくにつれて関数がどんどん近づいていく値は何か、を問うものであり、関数が実際にcで定義されている必要も、たとえ定義されていたとしてもそこでその極限値に等しい必要もありません。この「近づく」ことと「到達する」ことの違いこそが、極限を単純な代入から分ける中心的な考え方です:代入は「f(c)は何か」を問い、極限は「xがcに限りなく近づくにつれてf(x)は何に近づくか」を問います。この2つの問いは異なる答えを持つこともあれば、一方には答えがあってもう一方には答えがない、ということもあります。
素性の良い(連続な)関数では、近づくことと到達することは同じ答えを与えます。だからこそ、初等代数で扱われるほとんどの関数では単純な代入がうまくいくのです。極限が本当に必要になるのは、まさに関数の素性が良くない点 — 未定義、不連続、あるいはその特定の点で0/0のような不定形を生む比率から作られている点 — であり、これはちょうど代入がうまくいかなくなる一方で極限はなお存在し得る場面なのです。
片側極限と両側極限
片側極限は、関数の振る舞いを一方向のみから調べます:lim(x→c⁻) f(x)と書かれる左側極限は、xがc未満の値を通ってcに近づくときのfの値を見るものであり、lim(x→c⁺) f(x)と書かれる右側極限は、xがcより大きい値を通ってcに近づくときのfの値を見るものです。上付き記号のないlim(x→c) f(x)と書かれる両側極限は、左側極限と右側極限の両方が存在し、かつ互いに等しい場合にのみ存在します。
関数f(x) = |x| / xは、c = 0において片側極限が一致しない例を示しています:負のxではどんな値でも|x| / x = −1なので左側極限は−1です。正のxではどんな値でも|x| / x = 1なので右側極限は1です。−1 ≠ 1であるため、x = 0における両側極限は存在しません。ただし、それぞれの片側極限自体は個別には存在し、完全に明確に定義されています。
| 近づく方向 | f(x) = |x| / xの振る舞い | 極限 |
|---|---|---|
| 左側(x → 0⁻) | すべてのx < 0でf(x) = −1 | lim = −1 |
| 右側(x → 0⁺) | すべてのx > 0でf(x) = 1 | lim = 1 |
| 両側(x → 0) | 左右の極限が一致しない(−1 ≠ 1) | 存在しない |
古典的な例:sin(x)/xが代入ではなく極限を必要とする理由
sin(x)/xにx = 0を直接代入するとsin(0)/0 = 0/0となり、これはそれ自体では定まった数値を持たない不定形です — 0/0は自動的に0でも1でも「永遠に未定義」でもなく、単に直接代入では問いに答えられず、代わりに極限を評価しなければならないことを意味します。両側から0に向かって縮んでいく一連のx値でsin(x)/xを評価すると、その値は0でも他のどんな数でもなく、着実に1へと向かっていく傾向を示します。
数値的には:x = 0.1のときsin(x)/x ≈ 0.998334、x = 0.01のときsin(x)/x ≈ 0.999983、x = 0.001のときsin(x)/x ≈ 0.9999998、x = 0.0001のときsin(x)/x ≈ 0.99999998です。左側からの傾向も右側からの傾向もどちらも1に収束するため、lim(x→0) sin(x)/x = 1となります。ただし関数sin(x)/x自体はx = 0でちょうど未定義です。この結果は微積分学における標準的なものであり、通常は数値的な評価だけではなく、幾何学的なはさみうち(サンドイッチ)論法によって厳密に証明されます。
極限が存在しない場合:x = 0における1/x
すべての極限が存在するわけではありません。関数f(x) = 1/xがc = 0に近づく場合は、単純な不一致ではなく、無限に発散することによって極限が存在しなくなる例を示しています:xが右側から(小さな正の値を通って)0に近づくにつれて、1/xは正の無限大に向かって際限なく大きくなります。xが左側から(小さな負の値を通って)0に近づくにつれて、1/xは負の無限大に向かって際限なく大きくなります。この2つの片側の振る舞いが、共通の有限な数に落ち着くのではなく、それぞれ逆方向の無限大に向かって発散するため、x = 0における両側極限は存在しません。
極限は、無限大への発散ではなく振動によっても存在しなくなることがあります — 例えば、sin(1/x)は、xが0にどれだけ近づいても、xが0に近づくにつれて−1と1の間を無限に振動し続け、どちら側からも単一の値に落ち着くことはありません。無制限な増大と持続的な振動のどちらも、上で示した|x|/xのような片側極限同士の不一致とは異なる、極限が存在しなくなる標準的でよく知られた理由です。
極限が導関数と積分の両方の土台である理由
導関数の正式な定義自体が極限です — 割線を定義する2点が1点に近づいていくときの割線の傾きの極限です。そして定積分の正式な定義もまた極限であり、長方形の数が際限なく増えていくときのリーマン和の極限です。したがって、極限とは何か、そしていつ存在しいつ存在しないかを理解することは、微積分における脇道の話題ではなく、この分野の2つの中心的な演算の両方を支える仕組みそのものなのです。
これはまた、このサイトにあるような数値的な極限計算機が、上でsin(x)/xを評価したのと概念的に同じ方法で作られている理由でもあります:それぞれの側から近づく値に段々近い点で関数を評価することで左側と右側の振る舞いを推定し、それら2つの傾向が両側極限を報告できるほど十分に一致しているかどうかを確認するのです。
よくある質問
極限が存在しないとはどういう意味ですか?
xがある特定の点に近づくときの関数の振る舞いが、単一の明確な値に落ち着かないことを意味します。よくある理由として、左側と右側の近づき方が一致しない場合(x = 0における|x|/xのように)、関数が両側からそれぞれ逆方向に無限大に向かって際限なく増大する場合(x = 0における1/xのように)、あるいは関数がその点の近くで持続的に振動して落ち着かない場合が挙げられます。
片側極限と両側極限の違いは何ですか?
片側極限は、ある点に一方向のみから近づく関数の振る舞いを調べるものです — 左側極限は下からの値、右側極限は上からの値です。両側極限は、両方の片側極限が存在し、かつ互いに等しい場合にのみ存在します。両者が一致しない場合、それぞれの片側極限は個別には完全に明確に定義されていても、両側極限は存在しません。
sin(0)/0が未定義であるにもかかわらず、なぜlim(x→0) sin(x)/x = 1なのですか?
極限が問うのは関数が近づく値であり、その点自体で関数が等しい値ではないからです。直接代入すると、それ自体では定まった値を持たない不定形0/0になりますが、0に段々近づく点でsin(x)/xを両側から評価すると、その値が着実に1へと収束していく様子が分かります。これが、関数自体がx = 0でちょうど未定義であるにもかかわらず、極限の値となるのです。
極限が存在しないのはどんなときですか?
左側と右側の近づき方が一致しないとき(x = 0における|x|/xのように)、関数が両側からそれぞれ逆方向の無限大に向かって際限なく増大するとき(x = 0における1/xのように)、あるいは関数がその点の近くで単一の値に落ち着くことなく持続的に振動するとき(x = 0付近のsin(1/x)のように)に、極限は存在しなくなります。
関数はそれが定義されていない点でも極限を持つことができますか?
はい。極限は、入力がある点に近づくにつれて関数が近づく値を表すものであり、その点で関数が等しい値ではないため、この2つの問いは異なる答えを持つことができます。関数sin(x)/xはx = 0で未定義ですが、xが0に近づくときのその極限はちょうど1です。なぜなら、x = 0自体はその定義域から除外されているにもかかわらず、関数の値は両方向から1に収束するからです。
参考文献
- Stewart J. Calculus. Cengage Learning (the formal definition of a limit, one-sided limits, and the squeeze theorem).
- Spivak M. Calculus (4th ed). Publish or Perish, 2008 (rigorous treatment of limits and continuity).
- Thomas GB, Weir MD, Hass J. Thomas' Calculus. Pearson (limits, one-sided limits, and indeterminate forms).
- NIST Digital Library of Mathematical Functions (DLMF), Chapter 3: Numerical Methods. dlmf.nist.gov.