MATHEMATICAL ANALYSIS — LIMIT
日本語ではわかるのに、
∀と∃で読めなくなる。
ε-δ論法の難所は計算より順番です。「どんな精度を要求されても、その後で近づけ方を選べる」という論理を読み、証明ではゴールからδを逆算します。
FOUR SYMBOLS
定義を、4つの役割に分解する。
ε
f(x)をLへどこまで近づけたいかという、出力側の許容誤差。
δ
その精度を保証するため、xをaへどこまで近づけるか。
∀と∃
どんなεにも、そのεに応じたδが存在するという順番。
含意
x側の条件を満たすすべての点で、f(x)側の条件が成立すること。
QUICK DIAGNOSIS
3問で、量化の順番を確認する。
δはxで変えてよい？
点xごとに都合のよいδを選んでも証明になる？
答えと診断
なりません。δはεに応じて先に一つ選び、その近傍に入るすべてのxで結論を保証します。
εを一つだけ確認
ε=0.01で成功すれば極限を証明したことになる？
答えと診断
なりません。どんな正のεに対してもδを選べる必要があります。
x=aを除く理由
0<|x−a|とするのはなぜ？
答えと診断
極限はaそのものの関数値ではなく、aの周辺での振る舞いを表すからです。f(a)が未定義でも極限は存在し得ます。
READ THE DEFINITION
先にεを渡され、その後でδを選ぶ。
任意の精度εを指定する
εに応じてδを一つ選ぶ
近傍内のすべてのxで誤差<ε
順番を逆にして「あるδで、どんなεにも対応できる」とすると、通常は強すぎる別の主張になります。
LINEAR EXAMPLE
一次関数では、出力誤差が入力誤差の定数倍になる。
limx→3(2x+1)=7を証明します。
2|x−3|<εにしたいので、|x−3|<ε/2ならよい。
任意のε>0に対して、δ=ε/2と選びます。
0<|x−3|<δなら、|f(x)−7|=2|x−3|<2δ=ε。
よって定義によりlimx→3(2x+1)=7です。
NONLINEAR EXAMPLE
二次関数では、動く因子を先に抑える。
limx→2x²=4では、次の積が現れます。
|x−2|<1と追加すれば1<x<3なので、|x+2|<5。
|x−2|<ε/5なら、|x−2||x+2|<(ε/5)×5=ε。
δ=min{1,ε/5}なら、|x−2|<1と|x−2|<ε/5が両方成立。
δを宣言した後、仮定から不等式を順にたどって結論へ進みます。
5は最小の上界である必要はありません。十分に安全で、εと無関係な固定値として|x+2|を抑えられれば証明できます。
DISCOVERY VS PROOF
下書きは逆向き、答案は前向きに書く。
δを見つける作業|f(x)−L|<εというゴールから、不等式を逆算して必要な|x−a|の範囲を探す。
証明として書く作業「ε>0を任意に取る。δ=…と置く」から始め、仮定を使って結論へ進む。
逆算の途中に「証明したい不等式が成り立つと仮定する」箇所があると循環論法になります。答案では、各不等号がδの選び方や三角不等式から本当に導けるかを確認します。
COMMON ERRORS
計算より、依存関係と不等号で失点しやすい。
δがxに依存する
δはεと固定されたa・関数には依存してよいですが、近傍内を動くxには依存させません。
一つのεだけを扱う
「任意のε>0」を最初に明記し、そのまま文字で扱います。
逆算をそのまま証明にする
必要条件を探した後、δ宣言から前向きに書き直します。
minの片方を忘れる
一方は動く因子の上界、もう一方は最終誤差の制御。両方の役割を書きます。
EXAM CHECKLIST
ε-δ証明は、この6点を確認する。
- 極限点aと目標値Lを正しく置いたか
- 「任意のε>0に対して」から始めたか
- δをεの式として明示したか
- δが動くxに依存していないか
- 0<|x−a|<δから結論を前向きに導いたか
- 最後に定義による極限の結論を書いたか
FROM SYMBOLS TO A COMPLETE PROOF
授業で省略された不等式も、一行ずつ戻って確認します。
多項式、分数関数、連続性、数列の極限ではδの作り方が少しずつ変わります。講義資料の定義と答案形式に合わせ、量化記号の読み方から証明の書き切りまで整理します。
ε-δ論法の資料を相談するSOURCES
内容確認に使用した一次資料
- 東京大学 2026年度 前期課程シラバス — ε-δ論法を含む解析・微積分の授業上の位置づけ。
- MIT OpenCourseWare: Calculus with Theory — 定義と証明を重視した微積分の公式教材。