Chapter 04
極限とε-δ:「限りなく近づく」を定義する
極限は、目標の点に到達しなくてもその状態を予測する数学的な道具です。動く物体の瞬間速度を測ったり、AIが答えに向かって少しずつ進む「学習」の過程は、すべてこの極限の概念の上に成り立っています。
チャプター別 数学図
チャプターを選ぶと、下の図がそのチャプターの内容に切り替わります。基礎数学の流れを一覧で確認できます。
下のグラフで極限と ε-δ を確認しましょう。
まとめ: 誤差 ε(緑)を決めると、それに合う距離 δ(青)があって、 が青の範囲にあれば はいつも緑の範囲に入ります。これが ε-δ の意味です。
見る順序
- オレンジの点 = 曲線上の (x, f(x)) が (2, 4) に近づく
- 緑の帯 = L±ε(f(x) の許容誤差)
- 青の帯 = a±δ(x がここなら f(x) は緑に入る)
極限とは何か
極限は、 がある値 に 限りなく近づくとき、関数 がどこに向かうかを表します。記号では と書きます。ここで大事なのは は決して にならない という点です。 のすぐ近くでの 傾向(トレンド) を見るのが極限です。
直感的な例:カーナビで目的地までの距離が 、、、 と減っていく様子を想像してください。車が目的地に「ぴたり」と止まらなくても、どこへ向かっているかはわかります。数学では、 が に近づくほど と の距離が 0 に収束する と表現します。極限が存在しない場合もあります。例えば で のとき、左極限()と右極限()が異なるため極限値は定まりません。 のとき のように一方向だけの極限はよく定義されます。
イプシロン()-デルタ()論法は、極限を数学的に厳密に定義した 「約束」 です。「賭け」 だと思うとわかりやすいです。
(1) 相手が「誤差を (0.1 でも 0.0001 でも)以内にできるか?」と挑発する。
(2) 自分が「 を の近く の範囲にだけおけば、必ずその誤差 の中に結果が入る!」と証明する。つまり 「どんなに小さい誤差()を要求されても、それに合う の範囲()をいつでも見つけられる」 というのがイプシロン-デルタの核心です。
瞬間の変化率(微分) を定義する 唯一の方法 だからです。「瞬間」とは時間の幅が 0 の状態ですが、0 で割ることはできません。代わりに幅を 0 に限りなく近づける(極限) ことで、止まった写真からでも速度を計算できるようになります。
連続性と微分可能性を保証します。AI のグラフが途中で切れていたりとがっていたりすると学習できません。極限が存在して関数値と一致して初めて「連続」になり、そのとき微分で誤差を減らす方向を見つけられます。つまり極限は、AI が道に迷わないための 地図 のようなものです。
勾配降下法の理論的な土台です。AI が学習するときパラメータを「ごく少し」変えるといいますが、その「ごく少し」の数学的根拠が極限です。学習率を調整しながら最適な値を探す過程は、極限の考え方を計算で実装したようなものです。数値微分で を のようにとても小さくして微分値を近似するときも、極限の原理が使われています。
極限を見るときは がどこに向かうか(例:、)と、それに応じて がどの値に近づくかをまず考えましょう。グラフを描くと「 の近くで が の周りに集まる」ことが目で確認できます。
イプシロン-デルタの証明は「 を先に決めて、それに合う を探す」順番で進めます。実務では「十分近づけば誤差が望むだけ小さくなる」という論理だけ理解していれば、次の章(微分、連続性)を読むのに十分です。
例題と解答を表にまとめました。
- 問題例 1.
- 解答解答: を代入して 。答え 5。
- 問題例 2.
- 解答解答: が大きくなると は 0 に近づく。答え 0。
- 問題例 3.
- 解答解答: を代入して 。答え 5。
| 問題 | 解答 |
|---|---|
| 例 1. | 解答: を代入して 。答え 5。 |
| 例 2. | 解答: が大きくなると は 0 に近づく。答え 0。 |
| 例 3. | 解答: を代入して 。答え 5。 |
問題タイプ別の解法
- タイプ多項式の極限
- 説明、 は多項式
- 答えの求め方多項式は連続なので を代入。極限値=関数値。
- タイプ定数
- 説明
- 答えの求め方定数は に無関係に常に 。答え 。
- タイプ一次式
- 説明
- 答えの求め方 を代入 → 。
- タイプx→∞
- 説明
- 答えの求め方 が大きくなると が何に近づくか。、 は 0。最高次だけ見る。
- タイプε-δ の概念
- 説明定義で問われる番号
- 答えの求め方1=距離、2=誤差など問題に合う番号を入力。
| タイプ | 説明 | 答えの求め方 |
|---|---|---|
| 多項式の極限 | 、 は多項式 | 多項式は連続なので を代入。極限値=関数値。 |
| 定数 | 定数は に無関係に常に 。答え 。 | |
| 一次式 | を代入 → 。 | |
| x→∞ | が大きくなると が何に近づくか。、 は 0。最高次だけ見る。 | |
| ε-δ の概念 | 定義で問われる番号 | 1=距離、2=誤差など問題に合う番号を入力。 |
例(多項式の極限)
を求めなさい。
解答
多項式は連続なので を代入。。→ 答 5
例(一次式)
を求めなさい。
解答
を代入 → 。→ 答 5
例(定数)
を求めなさい。
解答
定数関数は に無関係に 7。→ 答 7
例(x→∞)
を求めなさい。
解答
が大きくなると は 0 に近づく。→ 答 0