極限を直感的に理解する（微積分の根底にある考え方）
極限を直感的に理解する（微積分の根底にある考え方）
どの微積分の教科書も最初の章は極限の話ですが、そこを読み終えてすっきりとした気持ちになる学生はほとんどいません。記法は密で、例題はしばしば最も奇妙なケースから始まり、そして形式的な定義はギリシャ文字を使ったもので、説明だけで一回の講義が終わってしまいます。教科書が極限が真価を発揮する場所（導関数、積分、それ以降の微積分のすべて）にたどり着く頃には、ほとんどの読者はもう手順を丸暗記して何とか乗り切ろうと決めてしまっています。
この記事は形式的な定義のための記事ではありません。極限とは実際には何なのか、そもそもなぜこの概念が必要なのか、そしてそれが微積分のあらゆる後続のアイデアをどのようにひそかに支えているのか、その全体像を描くためのものです。これを一度読めば、章の残りも筋が通って見えてくるはずです。
なぜ極限は実際よりも怖く聞こえるのか
数学を学んでいる人に「極限とは何か」と尋ねると、たいてい次の二つのうちどちらかの答えが返ってきます: 「関数が近づいていく値」あるいは「正直よく分からない」。どちらも本音です。前者は正しいけれど漠然としています。後者は、直感が定着する前に形式的な定義を渡された人の声です。
平易な日本語で言えば、極限とはたったひとつの問いに対する答えです: この関数はどこに向かっているのか。実際にそこにたどり着く必要はありません。どこへ向かっているのかを見るだけでよいのです。
これがこの概念のすべてです。残りはすべて、答えが不明瞭だったり意外だったりするケースを処理するための事務作業です。「どこへ向かっているのか」を心に留めながら章の残りを読めば、形式的な仕組みは、すでに理解している何かを丁寧に固定するための道具のように見えてきます。
単純なバージョン: 関数はどこへ向かっているのか？
f(x) = x + 1という関数を考えてみましょう。x = 3のとき値はいくつになるでしょうか？ 簡単です: 4。だからxが3に近づくときのf(x)の極限も4です。なぜなら、xを左右どちらからでも3に近づけていくと、f(x)も4にどんどん近づいていくからです。極限と実際の値はたまたま一致します。
これが最初の意外な点です: 行儀のよいほとんどの関数では、極限はそのまま関数の値です。xが3に近づくときのx + 1の極限は、文字どおり3を代入して4を読み取るだけで計算できます。ドラマもなければ、特別なテクニックも要りません。それなら、なぜ誰かがわざわざ極限を発明したのでしょうか？
それは、すべての関数があらゆる点で行儀よく振る舞うわけではないからです。穴があったり、ジャンプがあったり、無限大に飛び出していったりする関数もあります。そして微積分で最も重要な関数たちは、分母が0になる分数を含んでいて、これは値としては数学的に違法ですが、極限としては完全に明確に定義されているのです。代入では機能しないケースのために、この概念は存在します。
f(x) = (x² - 1) / (x - 1)を取り上げてみましょう。x = 1では分母が0になるので、関数は定義されていません。でもx = 0.99では？ x = 0.999では？ x = 1.0001では？ 代入してみると、1.99、1.999、2.0001といった値が得られます。関数は2に向かって進んでいるのです。私たちが気にしている点では実際には2に到達していないにもかかわらず。極限は2です。
「関数がどこへ向かっているか」と「関数がその点で何に等しいか」のあいだのこのギャップこそが、極限が存在する理由のすべてです。極限のおかげで、ある点それ自体が定義されていなくても、その近くの振る舞いについて語ることができるのです。
片側極限: 左から、あるいは右から近づく
xをある目標値に向かってスライドさせるとき、下から（より小さな数字から）近づくこともできれば、上から（より大きな数字から）近づくこともできます。多くの場合、どちらからの近づき方でも同じ答えが得られます。しかし、そうではないこともあります。両者が一致しないとき、数学者はそれらを別々に扱います。
左極限とは、xが下から目標へと登っていくときに関数が近づいていく値です。右極限とは、xが上から目標へと下っていくときに関数が近づいていく値です。両側が一致すれば、関数はその点で通常の極限を持ち、その値は両者の言うとおりです。両側が食い違えば、その点での極限は存在しません。
きれいな例は、絶対値をxで割った関数です。x = 0では関数は定義されていません。右側からは1になります。なぜなら正の数は絶対値を取っても正のままで、自分自身で割れば1になるからです。左側からは-1になります。なぜなら負の数は絶対値で符号が反転するので、負を負(の絶対値で正にしたもの)で割って-1になるからです。両側で異なる答えが出ます。0での単一の極限は存在しません。
これは概念の欠陥ではありません。むしろ機能のひとつです。それぞれの片側極限は、関数の振る舞いについて具体的なことを教えてくれており、無理に一致させてしまうと有用な情報が隠れてしまいます。教科書がグラフ上に白丸を描き、そこから関数が別の白丸へジャンプしているとき、それは二つの片側極限が食い違う場所なのです。
極限が存在するときと存在しないとき
ある点で起こり得ることは三つあります。
関数は行儀がよい。 両側の極限が一致し、その点での関数の値とも一致します。代入すれば終わりです。微積分の問題のほとんど、見た目が怖そうなものでさえ、ここに住んでいます。
関数に穴やジャンプがある。 両側の極限はどちらも有限な数として存在しますが、関数の値と一致するとは限らず、互いに一致するとも限りません。両者が一致すれば極限は存在します（値とは一致しないかもしれませんが、それでかまいません）。両者が食い違えば、極限は存在しません。
関数は無限大に発散する。 xが目標に近づくにつれ、関数は際限なく、正または負の方向に伸びていきます。数学者は「極限は無限大」と書くこともありますが、これは「極限は存在しない、そしてその失敗の方向はこれだ」という略記です。無限大は到達できる数ではありません。
ある点で関数がこの三つのうちどの振る舞いをしているか分かれば、極限を分類できたことになります。微積分の極限の章のほとんどは、自分が今どのケースにいるのかを見分ける訓練をしているだけなのです。
そもそもなぜ極限が必要なのか
ここで、極限を単なる物好きの対象から微積分の土台へと変える問いを紹介します: 今この瞬間、何かはどれくらいの速さで変化しているのか？
1時間で60マイル走れば、平均速度は時速60マイルです。これは単純な割り算です。しかしスピードメーターは、1時間にわたる平均ではなく、まさにこの瞬間の速さを表示できます。どうやって知るのでしょうか？ 0秒のあいだには何の距離も進んでおらず、0で割ることはできないので、自然な計算は破綻します。
修正の仕方は、時間の窓をどんどん小さくしていくことです。直前の1分間でいくらかの距離を進んだので、その1分間の平均速度は距離を1分で割ったものです。直前の1秒間ではもっと小さな距離を進んでいて、その1秒間の平均はその固有の数になります。窓が0に向かって縮んでいくにつれて、平均速度は特定の値に近づいていき、その値が瞬間の速度です。極限のおかげで、文字どおり0で割らなくても「ある瞬間の変化率」について語れるのです。
このまったく同じ手品、すなわち「ある一点で破綻する量を取り、それがどこに向かっているのかを尋ねる」というやり方こそ、導関数、積分、無限級数、連続性のすべてが定義される方法です。極限がなければ微積分は存在しません。極限があれば、この分野全体が、すでに知っている普通の算術のきれいな拡張になります。
ゼロ割るゼロ問題
極限の章で最もよく出会うパズルは、代入するとゼロ割るゼロになる分数です。それを見て生徒たちは「関数が壊れている」と思い込みます。壊れてはいません。先に少し代数を行うように促されているのです。
(x² - 4) / (x - 2)を、xが2に近づくときについて考えてみます。2を代入すると、上も下もゼロ。役に立ちません。でも分子を因数分解しましょう: x² - 4 = (x - 2)(x + 2)です。すると分数は((x - 2)を打ち消して)x + 2に簡約され、2を代入すると4になります。元の関数はx = 2に取り除き可能な穴を持っていて、極限は、もし穴がなかったらそこにあったはずの値で穴を埋めてくれるのです。
この打ち消しは魔法のトリックではありません。分数の直感に関する記事で扱ったように、分数は実行待ちの割り算であり、中学校で学んだ代数の操作はそのまま使えるという、ただの再確認です。ゼロ割るゼロは、「ここには複数の数が当てはまり得る、どれかを見つけるために代数をしなさい」という意味でしかありません。
このパターン（不定形を見つけて、簡約して、代入する）は、典型的な授業で出会う極限問題のかなりの部分をカバーします。トリッキーなケースは三角関数や指数関数を含みますが、考え方は同じです: 関数は目標で壊れているように見えるけれど、実際にはどこか具体的な場所に向かっていて、代数がその行き先を明らかにしてくれるのです。
極限から導関数へ
極限が分かれば、導関数は一行のアイデアです。ある点における関数の導関数とは、その点での関数の傾きです。そして「ある点での傾き」とは、まさに普通の算術では計算できない種類のものです。なぜなら傾きには2点が必要で、点が1つだけでは測る場所がないからです。
修正の仕方は、瞬間の速度を与えてくれたのと同じ修正です。注目している点から微小な距離hだけ離れたところに2つ目の点を取り、その2点を結ぶ直線の傾きを計算し、そしてhが0に向かうときの極限を取ります。2つ目の点が1つ目に近づいていくにつれて、その直線の傾きは元の点における曲線の傾きに近づいていきます。その極限が導関数です。
これが、導関数の形式的な定義がhを含む分数のような形になっている理由です: それは2点間の傾きであり、hがいまにも限りなく小さくなろうとしているのです。ゼロから理解する導関数の記事ではこれを詳しく解きほぐしました。そこでは、極限の仕組みが「曲線がまっすぐに見えるまでズームインする」という仕事を担っています。
極限が抽象的に感じるなら、ここがその真価を発揮するときです。冪乗則、連鎖律、積の法則など、覚えることになるすべての導関数の規則は、特定の種類の関数に適用されたこのたったひとつの極限の帰結です。極限を理解していれば、規則を導けます。規則しか知らなければ、規則のなすがままです。
無限大での極限と漸近線
最初のものと並んでよく登場する、もうひとつの種類の極限があります。xが有限の数に近づくとき何が起きるかを尋ねる代わりに、xが無限大に向かうとき何が起きるかを尋ねることもできるのです。関数はある値で水平になることもあり、その場合は水平漸近線を持ちます。成長し続けることもあり、その場合は有限の極限はありません。あるいは決して落ち着かずに永遠に振動することもあり、その場合も極限は存在しません。
f(x) = 1 / xを取り上げましょう。xがどんどん大きくなるにつれて、分数はどんどん小さくなっていきます。xが無限大に近づくときの1/xの極限は0です。関数は実際には0に到達することはありませんが、好きなだけしつこく0に向かって進んでいきます。直線y = 0が漸近線です。
「負の無限大に近づく」場合も、xを左側へずらしていくことで同じ考え方で扱えます。そして同じ考え方を逆向きに使うと、垂直漸近線を定義できます: xがaに近づくときの極限が±無限大であれば、関数はx = aに垂直漸近線を持つ、というわけです。漸近線は別個の概念ではありません。衣装を着替えただけの極限なのです。
これは現実の場面でも重要です。多くの自然量は、ある極限に到達することなく、それに近づいていくからです。終端速度は、空気抵抗が重力と釣り合う際に落下物が近づいていく速度ですが、有限の時間では到達することがありません。連続複利のもとでの複利は、複利期間が0に縮むにつれて元本の特定の倍数に近づいていきます。人口モデルは、厳密には到達することなく環境収容力に近づいていきます。「近づくが到達することはない」を表す数学の言語、それが極限です。
なぜ極限はうまく教えられないことが多いのか
極限がこれほど役に立つのなら、なぜしばしば壁のように感じられるのでしょうか？ 三つの率直な理由があります。
第一に、形式的なイプシロン-デルタの定義は、たいてい直感が定着する前に導入されます。イプシロン-デルタは、「どれだけ近くまで来てほしいと言われても、入力側で十分近づければそのくらい近くにとどまっていられる」と精密に述べる方法です。考え方は単純です。記法は容赦ありません。ほとんどの学生は記法を学び、いくつかの証明で合格点を取り、その後は二度と使いません。
第二に、例題は不定形（ゼロ割るゼロのケース）に偏っています。なぜならそれが、そもそも極限を必要とするほど面白い唯一のケースだからです。これがこの話題を、まるでひっかけ問題のパレードのように感じさせます。実際には、現実の極限のほとんどは代入で明らかであり、難しいケースは見分けて対処できるようになる小さな部分集合にすぎないのです。
第三に、微積分の残りとのつながりがしばしば後回しにされます。学生は導関数や積分の章で「lim」をあちこちで目にしますが、その仕組み全体が、ある特定の使われ方をしているだけで、2週間かけて学んだ極限そのものなのだと、必ずしも教えられるわけではありません。このつながりが見えると、微積分の教科書は5つのバラバラな話題ではなく、ひとつの連続した物語に見えてきます。
燃え尽きずに極限を練習する
一度読んだだけでこの話題を自動化することはできません。よい知らせは、極限は短く、種類を混ぜた練習セッションによく反応する、ということです。これは分数や対数にも有効なのと同じ戦略です。
まずは必ず代入する。 ほとんどの極限は行儀よく振る舞います。直接代入を試すのは2秒で済み、何か凝ったことをする必要があるかどうかが分かります。数値が出てきたら、それで終わりです。
不定形を見分ける。 ゼロ割るゼロ、無限大割る無限大、無限大引く無限大、ゼロ掛ける無限大、その他いくつかは「焦らないで、代数をしなさい」という意味です。それぞれの形には標準的な手筋（因数分解、展開、共役を取る、上下を最高次の冪で割る、など）があります。手筋を覚えること自体は短いリストです。
詰まったら関数を描く。 代数がどこにも行かないなら、グラフを描いてみましょう。極限は視覚的なアイデアであり、目標値の近くで関数のラフスケッチを描けば、純粋な記号操作では見えてこない答えが、しばしば一目で見えてきます。
問題の種類を混ぜる。 ゼロ割るゼロの問題を20問続けて解いてはいけません。代入問題、無限大の極限、片側極限を混ぜて解きましょう。間隔反復に関する記事で扱ったように、脳が問題を分類できるようになるのは、選ばなければならないときだけであり、それは混ぜた練習のあいだにしか起こらないのです。
Math Zenはどこで役に立つか
Math Zenの極限のためのバケツ式進行システムは、簡単な代入のケースから始まります。これは、まずは最も単純なことを試す習慣を身につけるためです。中盤のバケツでは片側極限と標準的な不定形を扱い、混ざった問題セットによって、テクニックに手を伸ばす前に「自分が今どのケースにいるか」を判別することを強制されます。後半のバケツでは無限大での極限と導関数とのつながりに焦点が当たり、そこでは話題が極限そのものから、後続のすべてを動かすエンジンへと変わっていきます。
練習セッションは短く、問題が自然に混ざるので、単一の話題を教科書で詰め込み演習する場合の燃え尽きを伴うことなく、パターン認識が育っていきます。極限で「行き詰まっている」と感じる学生のほとんどは、概念で行き詰まっているのではありません。不定形のケースの代数で行き詰まっているのであり、数週間の混ぜた練習でたいてい解消されます。
結論
極限とは「この関数はどこへ向かっているのか」への答えです。行儀のよい関数では、答えはその点での値そのものです。穴やジャンプ、漸近線を持つ関数では、極限はその点付近の振る舞いを、値だけでは捉えられない仕方で捉えます。極限が存在するのは、ある瞬間における変化率や傾き、連続的な振る舞い、つまり普通の算術では届かないものについて語れるようにするためです。
極限の問題が手に負えないと感じたら、形式的な定義から始めないでください。平易な日本語の問いを発しましょう: xが目標に近づくにつれて、この関数はどこへ向かっているのか。代入を試してください。それで失敗したら、成功するように代数を行いましょう。概念は聞こえているのとちょうど同じくらい単純なのだと信じれば、章のほとんどはほどけていきます。