「どんどん近づく」は感覚だった。ε と δ はそれを守れる約束に変える。
あなたはこれまで、ある一つのフレーズを信じてチャプターを進んできた：ある量が極限値に「どんどん近づく」というフレーズだ。それが接線、微分、曲線下の面積を支え、微積分のすべての仕組みはその上に成り立っている。しかしここで立ち止まって問おう：どれほど近づくのか？誰にとって十分に近いのか？百万分の一以内であることを要求されたとき、常に応えられるか？「どんどん近づく」は感覚であり、感覚は数学が議論を始める場所だ。この最終レッスンでは、その感覚を、いかなる疑念も生き残れないほど鋭い定義に置き換える——それが ε–δ の言語だ。あなたが積み上げてきたすべての土台であり、微積分を完全に厳密にする分野、実数解析の入口でもある。この扉をくぐれば、高等数学への道が開ける。
極限と連続性のところで、limx→2 x² = 4 と書き、「x が 2 に近づくにつれ、x² は 4 に近づく」と読んだ。その直感は正しく、大切なものだ——ぜひ持ち続けてほしい。しかしよく見ると、この表現は出力がどれほど近づくかを決して言っていない。ただ向かっているとだけ言っている。二つの関数がどちらも「4 に向かっていても」、近くでの振る舞いはまったく異なることがある。数列が永遠にさまよいながら、落ち着いているように感じることもある。本物の数学をするためには、絵に頼らず誰でも確認できる検証基準が必要だ。
すべてを厳密にする枠組みはこうだ。二人のプレイヤーによるゲームとして考えよう：
挑戦者：「出力を目標値から ε 以内に収めることを要求する。」（ε は何でも好きな正の誤差でよい——小さくても、さらに小さくても。）
あなた：「では入力をこの範囲内に保てば、必ず保証できる。」
極限が真であるのは、挑戦者がどれほど小さな ε を指定しても常に答えられるときに限る。ただ一つの ε でも答えられなければ、その極限は偽となる。
「近づく」から「どんな許容誤差を指定されても応えられる」へのこの転換一つが、厳密な解析のすべてだ。ギリシャ文字 ε（イプシロン）は常に挑戦者の誤差許容量を表し、文字 δ（デルタ）または添え字 N があなたの応答となる。以下はすべてこのゲームの繰り返しだ——まず数列で、次に関数で。
まず数列から始めよう——数列の入門で出会ったような、a₁, a₂, a₃, … という順序付きのリストだ。aₙ = 1 + 1n を取ろう。項は 2, 1.5, 1.333…, 1.25, … とA = 1 に向かって押し下がっていく。an → 1 と言いたいところだが、今こそそれを正確に言おう。
aₙ → A とは：すべての ε > 0 に対して、ある添え字 N が存在し、すべての n > N について |aₙ − A| < ε が成り立つことを意味する。
言葉で言えば：どんな許容誤差 ε でも指定してよい。ある点 N を過ぎると、それ以降のすべての項が帯 (A − ε, A + ε)——極限を囲む緑の ε-チューブ——の中に入り、そこに留まり続ける。
図は A = 1 の水平線に向かって集まる茎のグラフだ。その線の周りに半幅 ε の緑の ε-チューブを置く。あなたの仕事は、それ以降どの茎もチューブからはみ出さない最初の添え字 N を見つけることだ。ε を小さくするとチューブは狭くなるので N は右に動かなければならない——しかし必ず見つかる。その「必ず」こそが極限を本物にするものだ。
aₙ = 1 + 1/n のとき |aₙ − 1| = 1/n。よって |aₙ − 1| < ε とは 1/n < ε、すなわち n > 1/ε を意味する。
ε = 0.1 を選ぶ：n > 10 が必要なので N = 10 でよい——a₁₁ 以降のすべての項が 1 から 0.1 以内に入る。厳しい ε = 0.05 を選ぶ：n > 20 が必要なので N = 20。要求が厳しいほど N は大きくなる——しかし有限の N は必ず存在する。それが極限の証明だ。
今度は関数について同じゲームをしよう。limx→a f(x) = L を求めたい。挑戦者はやはり出力の許容誤差 ε を指定し、あなたの応答は今度は入力の許容誤差 δ だ——f(x) を L から ε 以内に収めるために、x を a にどれほど近づけるべきかということだ。
limx→a f(x) = L とは：すべての ε > 0 に対して、ある δ > 0 が存在し、
0 < |x − a| < δ ⇒ |f(x) − L| < ε が成り立つことを意味する。
琥珀色の δ-帯 (a − δ, a + δ) は全体が緑の ε-チューブ (L − ε, L + ε) の中に写される。厳格な 0 < |x − a| は意図的に x = a 自体を除く。
a = 2 付近で f(x) = x²（L = 4）を考えよう。挑戦者が ε を選び、あなたは曲線をチューブ内に保つ最大の δ を見つけなければならない。端点で解くと：右の端は (2 + δ)² ≤ 4 + ε、左の端は (2 − δ)² ≥ 4 − ε が必要だ。二つの半幅の小さい方を取れば、両側で機能する δ が得られる。
量化子はε が先、次に δという順で走る：挑戦者が動き、それからあなたが答える。順序を入れ替えた「すべての ε に対して機能する δ が存在する」は別の、たいていは偽の主張になる。
また極限は 0 < |x − a| を使う——a での値は無関係だ。関数は未定義の点でも、あるいは f(a) が全く別の場所にある点でも極限を持てる。極限は近傍についてのものであり、一点についてではない。
連続性はいつも「ペンを紙から離さずにグラフを描く」イメージで捉えてきた。今や、その意味を正確に言えるようになった。それには三つの部分があり、すべてが揃わなければならない。
f が a で連続であるとは、 limx→a f(x) = f(a) が成り立つことだ。展開すると、三つのことが必要：
(1) f(a) が存在する——その点がグラフ上にある； (2) 極限 limx→a f(x) が存在する； (3) 二つが一致する。極限が値と等しいとき、ペンは紙から離れない。
この一つの等式が、起こりうる三種類の問題を分類する。曲線が跳ぶと、左極限と右極限が一致せず (2) が失敗——跳び不連続。周囲の曲線が指し示すきれいな穴があるが値がそこにない（あるいは存在しない）場合は、極限は存在するが (3) が失敗——除去可能な不連続点。三つすべてが揃ったときだけ、関数は連続となる。
g(x) = x² − 1x − 1 は x = 1 で未定義だ（ゼロ除算になる）。しかし x ≠ 1 のとき x + 1 に等しいので、x → 1 として出力は 2 に向かう。g(1) が存在しなくても極限は 2 だ——教科書に載る除去可能な穴の典型例。g(1) = 2 と定義すれば関数は連続になる。a での点は極限に無関係だった。重要なのは近傍だけだ。
ここまで連続性は局所的な約束だった——一点ずつの話だ。その本当の力は大域的にある：閉区間 [a, b] 全体にわたって連続な関数は、二つの美しい保証を強いられる。
最大値定理（EVT）。閉区間 [a, b] 上の連続な f は、区間内のどこかで最大値と最小値を実際に達成しなければならない——グラフには真の頂上と底があり、決して届かない上限だけでない。
中間値定理（IVT）。[a, b] 上の連続な f は f(a) と f(b) の間のすべての値を取る。目標値 c がその間にあれば、f(x) = c を満たす x が [a, b] 内に存在する——ペンを持ち上げなければ値を飛ばせない。
中間値定理は日常的に使う強力な道具だ：解を計算する前に解が存在しなければならない理由がここにある。連続な f が一方の端で負で他方で正なら、その間でゼロを横切らなければならない——根の存在が保証される。これがまさに方程式を解く二分法の原理だ。
両定理には閉区間 AND 連続性が必要だ——どちらか一方だけでは不十分。開区間 (0, 1) 上で f(x) = x は最大値を持たない：1 に向かって上がり続けるが決して到達しないので最大値定理は崩れる。跳び不連続があると f は目標値を飛び越えられるので中間値定理が失敗する——ペンが持ち上がった。仮説は飾りではない。一つでも外せば保証は消える。
| 概念 | 正確な主張 | 図のイメージ |
|---|---|---|
| 数列の極限 aₙ → A | ∀ ε>0 ∃ N : n>N ⇒ |aₙ−A|<ε | 茎が緑の ε-チューブに収まる |
| 関数の極限 f→L | ∀ ε>0 ∃ δ>0 : 0<|x−a|<δ ⇒ |f(x)−L|<ε | 琥珀色の δ-帯が緑の ε-チューブに写される |
| a での連続性 | limx→a f(x) = f(a)（極限・値が存在し一致） | ペンが離れない |
| 最大値定理 | 閉区間 [a,b] 上で連続 ⇒ 最大値と最小値を達成 | 真の頂上と底がある |
| 中間値定理 | [a,b] 上で連続 ⇒ f(a) と f(b) の間のすべての c を取る | 値は飛ばせない |
永遠に覚えておくべき三つのこと：ゲームはε が先、次に δ；極限は a での値を無視する；最大値定理と中間値定理には閉区間と連続性の両方が必要で、どちらか一方だけでは足りない。
aₙ = 1 + 1/n（極限 A = 1）について、ε = 0.2 に対して機能する最小の N を求めよ。
|aₙ − 1| = 1/n < 0.2 は n > 5 を意味する。よって a₆ 以降のすべての項が 1 から 0.2 以内に入り、最小の添え字は N = 5 だ（n > 5 の項が条件を満たす）。
a = 2 付近の f(x) = x²（L = 4）について、挑戦者が ε = 0.5 を選んだ。両側で機能する δ を求めよ。
右の端：(2 + δ)² ≤ 4.5 ⇒ δ ≤ √4.5 − 2 ≈ 0.121。左の端：(2 − δ)² ≥ 3.5 ⇒ δ ≤ 2 − √3.5 ≈ 0.129。小さい方を取ると：δ ≈ 0.121 で x² が (3.5, 4.5) 内に収まる。
「ある δ > 0 が存在し、すべての ε > 0 について、0 < |x − a| < δ ⇒ |f(x) − L| < ε」が間違った順序である理由と、それが何を強制するかを説明せよ。
δ を先に置くことで、任意に小さいものも含むすべての ε-チューブの中に同時に収まる一つの固定 δ-帯を要求することになる。これは f が穿孔帯全体でちょうど L に等しいことを強制する——はるかに強く、たいてい偽の主張だ。正しい順序では δ が ε に依存できる：ε を指定し、それから応える。
ある関数が limx→1 f(x) = 3 だが f(1) = 5 とする。f は 1 で連続か？不連続の種類を分類せよ。
いいえ。極限（3）と値（5）はどちらも存在するが一致しないので、テストの (3) が失敗する。これは除去可能な不連続点だ——f(1) = 3 と再定義すれば連続性が回復する。ペンは曲線から飛び離れた点まで跳ばなければならない。
中間値定理を用いて、x³ = 2 が [1, 2] 内に解を持つことを示せ。小数第一位まで位置を求めよ。
f(x) = x³ − 2 とおく。f はいたるところ連続で、f(1) = −1 < 0、f(2) = 6 > 0 だから、0 は f(1) と f(2) の間にある。中間値定理より [1, 2] 内に f(x) = 0、すなわち x³ = 2 を満たす x が存在する。数値的には交点は x = ∛2 ≈ 1.3 だ。
区間が閉でない場合に最大値定理が失敗することを示す例を挙げよ。
開区間 (0, 1) 上で f(x) = x を考える。出力は 1 に向かって上がり続けるが決して達せず、0 に向かっても決して達しない——最大値も最小値も達成されない。連続性だけでは不十分で、最大値定理には端点が含まれるよう区間が閉である必要がある。
6問で定着させよう。正しいと思う答えをタップしよう。
このレッスンは微積分全体の厳密な土台を明かす：数列の極限の ε–N 定義、関数の極限の ε–δ 定義、連続性の三部構成の定義、そして閉区間と連続性を要求する二つの大域定理（最大値定理と中間値定理）。AP 微積分の直感的な極限の正確バージョンであり、大学の実数解析講義の第一章に相当する。繰り返し現れる規律——どんな許容誤差 ε を指定されても常に応えられる——は厳密な数学的論証のモデルだ（CCSS 実践 MP3、関数の解釈 HSF-IF に対応）。ここから道は解析学、位相幾何学、実数の現代理論へと分岐する——幕が下りるのではなく、扉が開くのだ。