武蔵野個別指導塾の特徴

ε-δ論法とは何か　「限りなく近づく」を言葉で正確に言う大学の解析学｜武蔵野個別指導塾

公開 2026.10.13更新 2026.10.13武蔵野個別指導塾の特徴大学数学特集（解析・線形代数・代数・幾何・確率統計）

極限のεとδが表す誤差を、一次関数と二次関数の計算で確かめます。数列の収束、連続、一様連続を定義の順序から読み分け、自分で証明を書くための手順を身につけられます。

ε-δ論法とは何か　「限りなく近づく」を言葉で正確に言う大学の解析学

窓の向こうの光と、ノートに残る「どれくらい」

深夜のファミレスの窓際の席で、冷めかけた飲み物の横に数学のノートを開く場面を考えてください。ガラスには室内の照明が映り、外の車の光と重なっています。ノートには「xが2に限りなく近づくと、x²は4に限りなく近づく」と書いてあります。計算の意味はつかめそうです。それでも、隣に「どれくらい近づければよいのか」と書き足すと、説明の続きを考えたくなります。

xを2.01にすれば、x²は4.0401です。差は0.0401なので、4との差を0.01未満にしたいという要求には応えられません。「かなり近い」と感じるかどうかと、決められた誤差を満たすかどうかは別の問いです。さらに、その要求が0.001、0.0001へと厳しくなっても、毎回答えられるでしょうか。

大学の解析学で学ぶε-δ論法は、この問いに答えるための言葉です。εは出力側に許す誤差、δはその要求を満たすために入力側で許す幅を表します。難しさは、ギリシャ文字の形よりも、「相手が精度を指定したあとに、こちらが入力の条件を決める」という順序にあります。

数学を教える立場でここを丁寧に扱いたいのは、極限が微分や積分の土台になるからです。多くの理系学部では1〜2年で学びますが、高校で使ってきた因数分解、絶対値、不等式がそのまま力になります。答えの数値を出すところから、答えがその数値でなければならない理由を述べるところへ進む。その入口を、小さな計算からたどります。

因数分解で求めた極限に、誤差の条件を添える

数学IIIで関数の極限を学ぶと、分子と分母に同じ因子がある式に出会います。x≠1で定義された関数を考えます。

f(x) = (x² – 1)/(x – 1)

分子を因数分解すると、x≠1の範囲で次が成り立ちます。

f(x) = (x – 1)(x + 1)/(x – 1) = x + 1

したがって、xが1に近づくとf(x)は2に近づきます。ただし、最初の式にx=1を代入することはできません。約分で求めたのは1の近くでの値であり、元の関数のf(1)を新しく定めたわけではありません。極限を考えるときには、この区別が欠かせません。

具体的には、x=0.9ならf(x)=1.9、x=1.01ならf(x)=2.01です。しかし、値をいくつか並べるだけでは、まだ試していないすべてのxについて説明したことになりません。出力と2の差を計算すると、ずっと強い説明が得られます。

|f(x) – 2| = |x + 1 – 2| = |x – 1|

出力の誤差と入力の誤差が一致しています。出力の差を0.001未満にしたいなら、入力の差を0.001未満にすれば十分です。さらに、0.001を任意の正の数εに置き換えても、同じ計算が成立します。ここではδ=εと決めれば、入力の差がδ未満であるすべてのxについて、出力の差がε未満になります。

この「すべてのx」という部分が、数値の観察から証明へ進む境目です。小数点以下の桁を増やして確かめる代わりに、任意の精度に一度で対応する式を作っています。高校の因数分解は終わった計算ではなく、大学で誤差を評価するための道具として働きます。

数学Iの絶対値は、数直線上の距離として読み直すと便利です。|x – a|<δは、a – δ<x<a + δを意味します。中心aの左右に幅δの範囲を取る条件です。関数の極限では、さらにx≠aを要求するため、0<|x – a|<δと書きます。中心そのものを除くのは、そこで関数が定義されていなくても近くの振る舞いを調べられるようにするためです。

数学Bの数列にも同じ発想があります。1/nが0へ近づくことを、小さな値を並べて眺める代わりに、「どの項から先なら、指定された誤差をずっと下回るか」と尋ねます。関数では入力の幅δを選び、数列では項の番号Nを選ぶ。見かけの違いの下に、要求された精度から条件を逆算する共通の考え方があります。

εとδを置く順序が、定義の意味を決める

まず関数の極限を正確に定めます。Dを実数の部分集合、fをD上の実数値関数とします。aはDの集積点、つまりaのどんなに小さい近くにも、aとは異なるDの点があるとします。この条件は、入力を近づける場所が実際に存在することを保証します。a自身がDに属する必要はありません。

「xがaに近づくとき、f(x)がLに収束する」とは、任意のε>0に対して、あるδ>0が存在し、Dに属するすべてのxについて、0<|x – a|<δならば|f(x) – L|<εが成り立つことです。記号では次のように表します。

lim(x→a) f(x) = L

∀ε>0 ∃δ>0 ∀x∈D: 0<|x – a|<δ ⇒ |f(x) – L|<ε

εは最初に与えられます。δはεに応じて選べますし、固定されたaや関数fにも依存してかまいません。しかし、δを決めたあとで調べるxごとに、δを選び直すことはできません。決めた幅の中のすべての入力に対して、同じ約束を守る必要があります。

例えばf(x)=3x + 1について、x→2のときの極限は7です。理由は|f(x) – 7|=3|x – 2|なので、δ=ε/3とすればよいからです。任意のε>0に対してこのδは正であり、0<|x – 2|<δならば、3|x – 2|<3δ=εになります。最初から特別に小さいεを選んだわけではなく、どんな正のεに対しても使える選び方を示しています。

次に数列の収束を定めます。実数列aₙがLに収束するとは、任意のε>0に対して、ある正の整数Nが存在し、すべての正の整数nについて、n≧Nならば|aₙ – L|<εとなることです。

∀ε>0 ∃N∈{1,2,3,…} ∀n∈{1,2,3,…}: n≧N ⇒ |aₙ – L|<ε aₙ=1/nでは、N>1/εを満たす正の整数を選びます。するとn≧Nに対して、1/n≦1/N<εです。例えばε=0.01ならN=101が使えます。N=100では第100項が0.01に等しくなるため、この「未満」という要求にそのままでは合いません。境界の等号を見落とさないことも、定義を使う練習になります。

続いて連続を定めます。a∈Dとします。fがaで連続であるとは、任意のε>0に対して、あるδ>0が存在し、すべてのx∈Dについて、|x – a|<δならば|f(x) – f(a)|<εとなることです。

∀ε>0 ∃δ>0 ∀x∈D: |x – a|<δ ⇒ |f(x) – f(a)|<ε

極限との違いは、比較する値がf(a)に決まっていることです。また、x=aを除外しません。そのとき出力の差は0なので、条件を自動的に満たします。aがDの集積点でもある場合には、連続性はlim(x→a) f(x)=f(a)と言い換えられます。

先ほどの約分の例で、x≠1ではg(x)=x + 1、x=1ではg(1)=9と定めてみます。x→1での極限は2のままですが、g(1)=9なので1では連続でありません。同じ近づき方をしていても、着地点に置かれた関数値が違えば連続性は失われます。一方、g(1)=2とすれば連続になります。

最後に一様連続を定義します。fがD上で一様連続であるとは、任意のε>0に対して、あるδ>0が存在し、すべてのx,y∈Dについて、|x – y|<δならば|f(x) – f(y)|<εとなることです。

∀ε>0 ∃δ>0 ∀x,y∈D: |x – y|<δ ⇒ |f(x) – f(y)|<ε

Dの各点で連続なら、各点aで別々のδを使えます。一様連続なら、場所を選ぶより前にδを決め、領域全体で共通に使えます。任意のaに対してεとδを考える順序と、εに対して領域全体で使うδを考える順序は、見た目以上に大きく違います。

量化記号の順序を無視すると、極限の内容そのものが変わります。例えば、ある1つのδだけで、すべてのε>0の要求を満たそうとすると、その幅の中では|f(x) – L|がどんな正の数よりも小さくなければなりません。それは差が0であることを要求します。普通の極限は近くの関数値がLと完全に一致することまで求めません。εを先に、δをあとに置くことは、省いてよい形式ではないのです。

二次関数の評価から、連続関数の定理へ

f(x)=x²について、x→2のときf(x)→4を定義から証明します。一次関数と違い、因数分解すると変化する因子が残ります。

|x² – 4| = |x – 2||x + 2|

ここでδ=ε/|x + 2|と書きたくなりますが、右辺に今後動かすxが入っています。そのままでは、すべてのxに先立ってδを決めたことになりません。まずxが2に十分近いという条件を仮に課し、|x + 2|を固定した数で上から抑えます。

|x – 2|<1ならば、1<x<3なので|x + 2|<5です。そこで、任意のε>0に対して次のように決めます。

δ = min(1, ε/5)

minは2つの数のうち小さいほうです。0<|x – 2|<δなら、|x – 2|<1と|x – 2|<ε/5が両方成り立ちます。したがって、

|x² – 4| = |x – 2||x + 2| < 5|x – 2| < ε

となります。最初の条件で動く因子を抑え、次の条件で誤差を小さくする。この役割分担が証明の要です。ε=0.01ならδ=0.002が使えます。実際、x=2.001では|x – 2|=0.001<0.002で、|x² – 4|=0.004001<0.01です。ただし、証明の中心はこの数値の成功ではなく、その幅に入るすべてのxに通用する不等式です。

同じ工夫は任意の実数aでも使えます。|x – a|<1なら、三角不等式から|x + a|=|(x – a) + 2a|<1 + 2|a|です。よってδ=min(1, ε/(1 + 2|a|))と選べば、|x² – a²|<εを示せます。x²は実数全体の各点で連続です。しかし、このδにはaが入っているため、ここまでで示したのは各点での連続性です。

連続関数についての代表的な定理として、和の連続性を証明してみます。D上の実数値関数fとgがともにa∈Dで連続ならば、和f + gもaで連続です。任意のε>0を取り、fとgの連続性をそれぞれ誤差ε/2で使います。それに対応する幅をδ₁、δ₂とし、δ=min(δ₁,δ₂)と決めます。

|x – a|<δを満たすx∈Dについて、三角不等式を使うと次の評価になります。

|(f(x) + g(x)) – (f(a) + g(a))| ≦ |f(x) – f(a)| + |g(x) – g(a)| < ε/2 + ε/2 = ε

合計の誤差をε未満にするために、個々の誤差に予算を分けています。分け方は半分ずつでなくてもかまいませんが、ここでは対称にすると見通しがよくなります。必要な条件を同時に満たすためにδの小さいほうを採用する点は、二次関数の証明と共通しています。

もう1つの代表的な定理が、ハイネ・カントールの定理です。実数a≦bに対し、有界閉区間[a,b]上の実数値連続関数fは、[a,b]上で一様連続です。「各点で連続」という局所の条件から、「領域全体で共通の幅が使える」という性質が導かれます。有界閉区間という仮定を取り除いてよいわけではありません。

例えばx²を[0,3]に制限すると、x,y∈[0,3]について次が成り立ちます。

|x² – y²| = |x – y||x + y| ≦ 6|x – y|

δ=ε/6とすれば、区間のどこでも同じδが使えます。一方、実数全体ではx²は一様連続でありません。ε=1を固定し、どんなδ>0を相手が選んでも、h=δ/2、x=1/h、y=x + hと置きます。このとき、

|x – y| = h < δ

|y² – x²| = 2xh + h² = 2 + h² > 1

となり、入力は指定された幅より近いのに、出力の差が1未満になりません。例えばδ=0.2ならh=0.1、x=10、y=10.1で、出力の差は2.01です。一様連続でないことを示すには、εを1つ固定し、どんなδも失敗させる入力の組を作ればよいのです。

有界であるだけでも十分ではありません。(0,1)上のf(x)=1/xは各点で連続ですが、一様連続ではありません。nを正の整数とし、x=1/(n + 1)、y=1/(n + 2)とすると、入力の差は1/((n + 1)(n + 2))で0へ近づくのに、出力の差は常に1です。端の0が含まれないこの領域では、端へ近づくほど急激な変化を避けられません。

ハイネ・カントールの定理の背後には、有界閉区間の点列から収束する部分列を取り出せ、その極限も区間に残るという性質があります。一様連続でないと仮定すると、近さが0へ向かうのに出力が一定以上離れた点の組を選べます。その一方から収束部分列を取り出せば、もう一方も同じ点へ収束します。そこでの連続性は出力も同じ値へ収束することを要求し、一定以上離れている条件と矛盾します。領域の端から極限がこぼれ落ちないことが、証明を支えています。

無限に小さい変化を、比較できる条件へ書き直す

微分では、変化量を小さくしたときの比を扱います。積分では、細かく分けた量の和を扱います。有限の計算から極限へ移る際、どの条件の下で結果が成り立つのかを明らかにする必要があります。ε-δの定義は、そうした問いを「誤差が指定されたとき、必要な近さを与えられるか」という形に整理します。

この流れを考える手がかりに、19世紀末の「数学の算術化」を題した文献があります。「The arithmetizing of mathematics」は、数学の算術化を題目に掲げた論考です（Klein, 1896）。ここで学習上注目したいのは、図の見た目だけに頼らず、数の大小や不等式によって説明を組み立てる方向です。これは先ほど|x + 2|を5で抑えた計算にもつながる見方です。幾何的な直感を出発点にしても、最後の保証は明記した条件から導きます。

一方、「Cauchy and the infinitely small」という歴史研究は、コーシーと無限小を題材にしています（Fisher, 1978）。現代の入門授業ではε-δによる定義を学びますが、歴史を読む際には、昔の議論がどのような言葉で変化を表していたかという問いも生まれます。現在の記号に慣れることと、過去の考え方をその時代の言葉に即して読むことには、それぞれの課題があります。

少なくとも現代のε-δの証明で、εを「正の数の中で最も小さい数」と考えてはいけません。正の実数εに対してε/2はさらに小さい正の実数なので、最小の正の実数は存在しません。εは、どれほど小さくても相手が指定できる正の数です。またδも0にはしません。δ=0にしてしまえば0<|x – a|<δを満たすxがなくなり、近くの振る舞いを調べる役割が失われます。

研究の流れは歴史の整理だけではありません。さまざまな関数について、εと連続点からδを具体的に与える証明を集め、手法を分類する仕事も続いています。実数値関数の直接的なε-δ証明を系統的に整理したプレプリントでは、関数ごとの段階的な証明とδの明示式が扱われています（Soltanifar, 2025）。二次関数で使った「まず近くに限定し、変動する因子を定数で抑える」という操作は、個々の解答を読む際にも探せる着眼点です。

厳密さは、言葉を難しくするためのものではありません。例えば「近づくにつれて差が減る」という説明だけでは、差が毎回単調に小さくなる必要があるように聞こえます。しかし収束に必要なのは、任意の誤差の範囲に、あるところから先ずっと入ることです。途中で増えたり減ったりしてもかまいません。自然言語が余分な条件を付けたり、必要な条件を抜かしたりするところを、定義が整えています。

測定の誤差と計算の終了条件を設計する

ε-δの考え方は、測定値を関数に入れて別の量を求める場面で具体的な役割を持ちます。ここでは長さを決めた単位で測り、その数値xから面積の数値x²を求める計算を考えます。入力が0から3の範囲にあるなら、先ほど得た|x² – y²|≦6|x – y|が使えます。入力の測定誤差を0.001未満に抑えれば、出力の誤差は0.006未満です。要求が出力の誤差0.01未満なら、入力の誤差を0.01/6未満にするのも十分な条件になります。

この見積もりには、比較する両方の入力が[0,3]に入るという条件があります。値の範囲を伝えずに「測定誤差はいつでも6倍以下」と言うことはできません。例えば大きな入力では、同じ二乗の操作でも変化が大きくなります。計算式だけでなく、使う範囲まで含めて保証を書くことが、一様連続を学ぶ実用的な意味です。

連続性があることと、必要な精度を手元で計算できることも分けて考えます。定義は適切なδの存在を要求しますが、応用では実際に使えるδの式が欲しくなります。関数ごとにεと連続点からδを明示する証明集が扱うのは、まさにこの具体化の部分です（Soltanifar, 2025）。測定の例はここでの計算から導いた応用であり、証明集を測定装置の実験報告として読むわけではありません。

情報分野の数値計算でも、欲しい精度から作業量を決めるという同じ向きの推論をします。例えば√2を区間で挟む計算を考えます。最初は1<√2<2です。区間の中点mでm²を2と比較し、√2を含む側の半区間を残すと、1回ごとに幅は半分になります。k回操作したあとの区間幅は1/2ᵏで、その区間の中点を近似値にすれば誤差は幅の半分以下です。

区間の更新を7回行うと幅は1/128となり、中点の誤差は1/256以下です。1/256=0.00390625なので、誤差0.01未満という要求を満たします。実際に二乗を比較して更新すると、7回後の区間は[181/128,182/128]で、中点は363/256です。小数表示がしばらく変わらなかったから止めるのではなく、残った区間の幅から誤差を保証して止められます。

ここでNやkを決める発想は、数列のε-Nの定義に対応します。どこか1回だけよい近似が得られたことより、どの段階以降で要求を必ず満たすかが大切です。さらに計算機では数の表現や演算にも誤差が入り得るため、実装での保証にはそれらの評価も必要になります。この区間計算は、数学的な誤差の上限をまず設計する例として読むと見通しがよくなります。

応用を学ぶと、δが最大である必要はないことにも意味が見えてきます。多少小さめのδでも、すべての入力で要求を満たすなら正しい保証です。ただし小さくしすぎると、測定や計算に必要な精度が厳しくなります。まず確実な上限を作り、その後で無駄を減らす。この順序は、証明を初めて書くときにも、計算を設計するときにも役立ちます。

証明の逆算と清書を分けて練習する

ε-δ論法でつまずいたとき、定義を覚えていないとは限りません。どこまでが条件を探す作業で、どこからが証明の文章なのかが見えにくい場合もあります。二次関数の例では、最初は|x² – 4|<εを実現したいという目標から逆算しました。しかし完成した証明では、εを与え、δを定め、条件を満たす任意のxを取り、最後に目標の不等式へ到達します。考える順序と読者に示す順序は同じでなくてよいのです。

直接的なε-δ証明を整理した研究は、段階的な証明とδの明示式を学習者や指導者が利用する資料として位置づけています（Soltanifar, 2025）。対象は実数値関数の証明の整理であり、特定の生徒集団に対する授業効果を測った結果としては扱えません。そのうえで、証明を比べるときはδの最終式だけを見ず、「どの因子を固定した上限で抑えたか」「どの条件を同時に満たしたか」を書き出すと、次の問題へ持ち運べる手順になります。

問いを通して理由を述べる学び方にも関連する研究があります。学部段階のビジネス分野の学生を対象に、批判的思考を育てる授業モデルの開発と妥当性の検討を目的とした研究が報告されています（Boaほか, 2018）。対象と目的はε-δ論法の学習そのものではないため、その成果をこの単元に直接当てはめることはできません。ここで取り入れたいのは、解答を見てうなずくだけで終えず、「その条件はどこで使ったか」と問いを置く学習の姿勢です。

練習は、次の順序で進めると自分の判断箇所が見えます。

まず何を小さくしたいのかを書きます。関数の極限なら|f(x) – L|、連続性なら|f(x) – f(a)|です。比較する相手を取り違えないことが出発点です。
次に式を変形し、|x – a|を取り出します。残った因子がxとともに変わるなら、|x – a|<1などの仮の条件を置いて上限を探します。1である必然性はなく、扱いやすい正の幅なら使えます。
必要な条件をすべて満たすδを決めます。複数あれば最小値を取り、その式に、あとから自由に動かすxが残っていないかを確認します。
最後に順方向で清書します。「任意のε>0を取る」から始め、選んだδが正であることと、すべての対象のxに評価が通用することを確かめます。計算途中の等号と不等号も読み直します。

高校生のうちには、絶対値の不等式と因数分解を、解を出す以外の目的で使ってみてください。|x – 2|<1から|x + 2|<5を説明できるか、分母に0が近づくとどの評価が難しくなるか、といった問いがよい準備です。また数列では、最初の数項の様子と、ある番号以降のすべての項についての主張を区別しましょう。たくさん計算することに加えて、計算していない部分まで言える理由を短く添える練習ができます。

塾では、完成した証明をすぐ渡す前に、生徒がどの条件を自分で選べると考えているかを確かめます。εを勝手に小さい値へ固定していないか、δをxごとに変えていないか、必要な「すべて」を抜かしていないかを、書いた式に沿って聞きます。家庭では、お子さまの説明に対して「εが変わったら、どこを変えるの」と尋ねる程度でも、考えを言葉にする機会になります。証明の正誤を家庭だけで判定しようとせず、本人が言えなかった箇所を次の質問として残せば十分です。

ここで手が止まるなら、止まった単元まで一緒に戻ります。武蔵境の数学塾（1 対 1）／お問い合わせ

δの選び方をめぐる3つの疑問

εもδも、できるだけ小さくすればよいのでしょうか

εは証明する側が都合よく選ぶ値ではありません。任意の正のεに応じて、条件を満たす正のδを示します。一度使えるδが見つかれば、それより小さい正の値も使えますが、最初から「十分小さく取る」とだけ書いて理由を省くと、肝心の保証が残りません。なぜその幅で出力の誤差を抑えられるのかを、不等式で示します。

δの答えは1つに決まりますか

決まりません。x²のx→2の証明で使ったδ=min(1, ε/5)に対して、その半分も使えます。最大のδを求める問題でなければ、要求を満たすものを1つ示せば十分です。友人の式と違っていても、正であること、動かすxに依存しないこと、必要な評価をすべて満たすことを確認して判断します。

グラフで連続に見えれば、証明の代わりになりますか

グラフは候補を考えたり、どこが難しそうかを探したりする助けになります。しかし表示された範囲や解像度だけでは、任意の精度での主張を保証できません。実数全体のx²は滑らかに描けて各点で連続ですが、一様連続ではありませんでした。図から読み取った直感を、どの領域の、どの定義についての判断なのかに分けて式に直す必要があります。

深夜のファミレスの窓際で開いたノートに戻るなら、「限りなく近づく」の下へ、まず|x² – 4|=|x – 2||x + 2|と書けます。次に|x – 2|<1という補助条件を置き、最後にδ=min(1, ε/5)を添えます。最初は漠然としていた近さが、相手の要求に応じて決められる具体的な幅になりました。

ε-δ論法は、一度読んで記号の並びを覚えれば終わる単元ではありません。どの誤差を抑え、何を固定し、どこから先のすべてを保証するのかを、関数や数列を変えながら練習します。その積み重ねは、微分の定義でも、積分の近似でも、数値計算の停止条件でも再び使えます。「近い」と言える理由を、自分の不等式で示せるところから解析学は始まります。

あわせて読む（数学の地図・高校数学の単元解説）

参考文献

Félix Klein（1896）「The arithmetizing of mathematics」Bulletin of the American Mathematical Society. https://doi.org/10.1090/s0002-9904-1896-00340-2
Gordon Fisher（1978）「Cauchy and the infinitely small」Historia Mathematica. https://doi.org/10.1016/0315-0860(78)90117-9
M Soltanifar（2025）「An Atlas of Epsilon-Delta Continuity Proofs in Function Space F(R, R)」preprints.org. https://doi.org/10.20944/preprints202510.2359.v3
Eugenia Arazo Boa, Amornrat Wattanatorn, Kanchit Tagong（2018）「The development and validation of the Blended Socratic Method of Teaching (BSMT): An instructional model to enhance critical thinking skills of undergraduate business students」Kasetsart Journal of Social Sciences. https://doi.org/10.1016/j.kjss.2018.01.001