極限のε-δ定義
“極限とは「好きな誤差を言ってみろ、それに応えてみせる」という約束です。”
数式
lim(x→a) f(x) = L ⟺ ∀ε>0, ∃δ>0 : 0 < |x−a| < δ ⟹ |f(x)−L| < ε読み方: どれほど小さな誤差εを求められても、f(x)をLからε以内に保つ入力の範囲δが存在する
- ε
- — 出力に許される目標誤差——「ここまで近づけ」という要求
- δ
- — その要求を満たすxの入力範囲
- |x−a|
- — 入力xとaの距離
- |f(x)−L|
- — 出力f(x)と目標Lの誤差
きっかけ
数学は「限りなく近づく」という曖昧な言葉を、挑戦と応答のゲームとして厳密に定義しました。
やさしく言うと
相手がどれほど小さな誤差εを指定しても、入力の範囲δを狭めることでf(x)をLからε以内に保てるなら、その極限はLです。
直感
ゲームだと思ってください。相手：「出力をLから0.01以内（これがε）に収めろ」。あなた：「いいよ、入力をaからδ以内に保てばいい」。どんなに小さいεにもδで答えられるなら、あなたの勝ちで、それが「極限はL」ということです。近さが感覚ではなく、ルールになります。
どう作られるか
2つの要素があります。εは出力への要求（どれだけ近いか）、δは入力での応答（どれだけ狭いか）です。順序が重要で、εが先に与えられ、それに合わせてδを選びます。通常δはεに依存します。
例
lim(x→1)(2x+1)=3を示します。ε=0.1が与えられたとき、|2x+1−3|=2|x−1|<0.1、つまり|x−1|<0.05が必要なので、δ=0.05でうまくいきます。一般にδ=ε/2でどんなεにも答えられるので、極限は3です。
よくある誤解
先にδを選んでからεを求めるのではありません。εは常に挑戦として先に与えられ、δはそれに対する応答として決まります。順序を入れ替えると定義が崩れます。
どこで使うか
この定義はすべての微積分の土台です。連続性、微分、積分、収束はすべてこの言葉で厳密に定義されます。曖昧さを取り除いたことで、数学は無限を安全に扱えるようになりました。
どこから来たか
コーシーが1800年代に種をまき、ワイエルシュトラスがεとδの記号で完成させました。かつて「無限小」で誤魔化されていた極限が、不等式の有限のゲームになったのです。
前提概念
確認問題
lim(x→1)(2x+1)=3について、ε=0.2が与えられています。|f(x)−3|<0.2を保証するδはどれですか？
- δ=0.1✓
- δ=0.2
- δ=0.4
- δ=2
練習
f(x)=3xについて、lim(x→2)=6です。誤差をε=0.3未満に保証する最大のδを求めなさい。
答え: 0.1
- |3x−6|=3|x−2|<0.3 が必要
- → |x−2|<0.1 なので δ=0.1
ポイント: δは通常εに比例します。ここではδ=ε/3です。
f(x)=4xについて、lim(x→0)=0です。誤差をε=0.8未満に保証する最大のδは何ですか？
答え: 0.2
- 4|x|<0.8 が必要
- → |x|<0.2 なので δ=0.2
ポイント: 傾きが急なほど、同じεに対してδは狭くなります。
f(x)=5xについて、lim(x→3)=15です。ルールδ=ε/5を使うと、ε=1を満たすδは何ですか？
答え: 0.2
- δ=ε/5 = 1/5
- = 0.2
ポイント: 直線の場合、δ=ε/(傾き)で常に答えられます。
「どんなεに対してもδが存在する」が、なぜ「限りなく近づく」を正確に捉えているのか、ノートに説明しなさい。
答え: undefined
- 「限りなく近づく」とは「どれほど小さくても目標誤差に到達できる」ということ
- すべてのεにδがあるということは、あらゆる要求に応えられるということ
- つまりどんな誤差も届かないものはない = 本当に近づいている
ポイント: 「すべてのε」が「限りなく」を、「δが存在する」が「到達可能」を捉えています。