科学・技術

イプシロンデルタ論法とは?極限の定義と証明の考え方を例題で解説!(わかりやすく)

当サイトでは記事内に広告を含みます

イプシロンデルタ論法とは?極限の定義と証明の考え方を例題で解説!(わかりやすく)

極限は、ある値に限りなく近づくという直感で理解できますが、証明では近づくという言葉だけでは十分ではありません。

そこで使われるのが、誤差の許容範囲を表すイプシロンと、入力値の近さを表すデルタです。

記号が多く見えるため難しく感じられますが、先に許される誤差を決め、それを実現する入力の範囲を用意する考え方だと捉えると整理できます。

この記事では極限の定義、証明の組み立て方、代表的な例題、つまずきやすい点を順に確認します。

イプシロンデルタ論法による極限の厳密な定義

それではまずイプシロンデルタ論法による極限の定義について解説していきます。

極限を保証する二つの正の数

イプシロンデルタ論法とは、関数値を目標値へ好きなだけ近づけられることを、二つの正の数で厳密に示す方法です。

関数 f x において、x が a に近づくときの値が L に近づくことを考えます。

このときイプシロンは、関数値 f x と目標値 L の間に許す誤差の大きさです。

一方でデルタは、x と a の間をどれだけ近づければ、その誤差を守れるかを示す範囲になります。

大切なのは、イプシロンを小さな値に固定しても、それに対応するデルタを選べる点です。

たとえば的の中心から上下左右に一ミリ以内という条件がイプシロンなら、投げる位置をどこまで絞るかがデルタに当たります。

的に当たることを偶然期待するのではなく、どの厳しさの条件にも対応できる範囲を示すため、極限を確かなものとして扱えます。

x が a に近づくとき f x が L に近づく条件

任意の正のイプシロンに対して、ある正のデルタが存在し、0 より大きい x と a の差がデルタ未満なら、f x と L の差はイプシロン未満になる。

イプシロンとデルタはともに正の実数であり、単位は扱う量に従います。

ここで x と a が完全に一致する場合を除くのは、極限が a そのものの関数値ではなく、その近くでの振る舞いを扱うためです。

したがって、a における関数値が未定義でも、極限が存在する場合があります。

デルタは一つに決まる数ではなく、条件を満たす範囲ならより小さく選んでも構いません。

記号の順序を読むと、先に相手がイプシロンを指定し、その後で証明する側がデルタを用意する形になっています。

この順序を意識すると、定義が単なる暗記ではなく、誤差への保証だと理解しやすくなるでしょう。

記号の順序と量化の意味

イプシロンデルタ論法では、任意のイプシロンに対して、あるデルタが存在するという順序が核心になります。

任意とは、たとえば〇・一、〇・〇〇一、さらに小さな数でもよいという意味です。

極限値との誤差をどれほど厳しく求められても、条件を満たすデルタを選べなければ、極限があるとは証明できません。

ただし、デルタは毎回同じ数である必要はありません。

イプシロンが小さくなれば、一般にはデルタも小さく選ぶ必要があります。

これは、細かな精度を求めるほど入力をより正確に調整する必要がある温度計の校正に似ています。

反対に、デルタを先に一つ決めてから、どんなイプシロンにも対応できると考えると、定義の意味が変わってしまいます。

証明で確認する順序は、イプシロンを任意に取る、デルタをイプシロンに応じて定める、条件から誤差を導く、という流れです。

イプシロンより先にデルタを固定するのではなく、必要な精度に合わせてデルタを設計します。

イプシロンは結果側の許容誤差であり、デルタはその誤差を守るための入力側の条件です。

また、デルタがイプシロンの式で表されても問題ありません。

むしろ多くの初等的な証明では、デルタをイプシロンの定数倍や平方根を用いて定めます。

途中でデルタの候補を見つけた後は、その候補が正であることも確認しましょう。

数学では小さいという感覚的な言葉を、不等式と数の存在によって誰でも検証できる形に置き換えます。

この置き換えこそが、イプシロンデルタ論法の役割です。

極限値と関数値の区別

極限を理解するときは、x が a に近いときの値と、x が実際に a のときの値を分けて考える必要があります。

たとえば分数式では、分母が〇になる点で関数が定義されないことがあります。

それでも、その点の左右で関数値が同じ値へ近づくなら、極限値は定められます。

具体例として、x の二乗から一を x から一で割る式を考えます。

x が一以外なら、この式は x と一の和に変形できます。

そのため x が一に近づくと、式全体は二に近づきますが、元の式は x が一で定義されていません。

f x は x の二乗から一を x から一で割った式とする。

x が一以外では、f x は x と一の和になる。

x が一に近づくときの極限は二だが、元の f 一は定義されない。

この例では、穴の空いた一点を見ているのではなく、その周囲の値の並びを見ています。

極限の証明で必要なのは、中心点そのものの値ではなく、中心点を除く十分近い範囲での不等式です。

一方、関数が連続であることを示す場合には、極限値とその点での関数値が一致することも追加で確かめます。

極限と連続を同じ意味として扱うと、問題で求められている条件を取り違えやすくなります。

まずは近づく先を扱う極限、その後に一点での値も含める連続という順に区別するとよいでしょう。

この区別を押さえると、なぜ定義に〇より大きいという条件が入るのかも自然に理解できます。

証明を書くための基本的な手順

続いては証明を書くための基本的な手順を確認していきます。

逆向きの計算によるデルタ設計

証明では最初からデルタを思いつこうとせず、示したい不等式を逆向きにたどるのが実用的です。

まず、関数値と極限値の差の絶対値を計算します。

次に、その差がイプシロン未満になるために、x と a の差をどれほど小さくすればよいかを調べます。

この段階はデルタの候補を探す作業であり、最終的な論証の順序とは逆です。

候補が決まったら、実際の証明ではイプシロンを任意に取り、デルタをその候補として定めます。

最後に、x の条件から関数値の誤差を評価して、イプシロン未満まで到達させます。

例として f x が三 x に近づく場合を考える。

f x と三 a の差の絶対値は、三倍した x と a の差になる。

この差をイプシロン未満にするには、x と a の差をイプシロンの三分の一未満にすればよい。

逆向きの計算はデルタを発見するための下書きであり、完成した証明は定義どおりの順方向で書きます。

この違いを意識しないと、結論を仮定しているように見える文章になりがちです。

線形の式では定数倍を割り戻すだけでデルタが決まるため、最初の練習に向いています。

係数が負の場合でも絶対値を取れば、その大きさだけを考えられます。

単位を持つ量を扱うなら、関数値の誤差と入力値の差で単位が異なる場合にも注意が必要です。

たとえば速度を時刻の関数として扱うとき、イプシロンは速度の単位、デルタは時間の単位を持ちます。

計算の見通しと定義の順序を分ける習慣が、証明を安定して書く近道になります。

絶対値の評価と補助条件

二次式や分数式では、関数値の差を因数分解すると、x と a の差以外の因子が残ることがあります。

この残った因子を一定の大きさ以下に抑えるために、補助条件を置きます。

たとえば x が二に近づくとき、x の二乗と四の差は、x と二の差と x と二の和の積になります。

x と二の和を評価するには、まず x と二の差を一未満と仮定します。

すると x は一より大きく三より小さい範囲に入り、x と二の和は五未満と評価できます。

ここで得た五は最も小さい上限である必要はなく、証明に使える分かりやすい上限なら十分です。

補助条件としてデルタを一以下にも制限すると、x の範囲が定まり、x を含む因子を定数で押さえられます。

その後で、残りの条件からイプシロンに届くようにデルタをさらに小さく選びます。

デルタを複数の候補のうち小さい方に定めると、必要な補助条件と誤差条件を同時に満たせます。

たとえば一とイプシロンの五分の一のうち小さい方を選べば、差が一未満であることと、五倍した差がイプシロン未満であることを両立できます。

絶対値を外すときに符号を勝手に決めないことも重要です。

絶対値は距離を表すため、左右どちらから近づく場合でも同じ形式で扱える利点があります。

補助条件を置く理由を一文添えると、読者にも採点者にも論理のつながりが伝わりやすくなります。

見慣れない式でも、因数分解、残る因子の評価、デルタの最小値という三段階に分ければ整理できます。

一次関数を使った極限証明の例題

続いては一次関数を使った極限証明の例題を確認していきます。

三 x が六に近づく証明

ここでは、x が二に近づくとき三 x が六に近づくことを証明します。

一次関数の例は、イプシロンデルタ論法の骨格を最も簡潔に確認できる題材です。

関数値の差を計算すると、三 x と六の差の絶対値は三倍した x と二の差になります。

したがって、x と二の差をイプシロンの三分の一未満にできれば、目的の誤差が得られます。

任意の正のイプシロンを取る。

デルタをイプシロンの三分の一と定める。

0 より大きい x と二の差がデルタ未満なら、三 x と六の差の絶対値は三倍した x と二の差より小さく、イプシロン未満となる。

以上により、x が二に近づくとき三 x の極限は六です。

一次関数では、傾きの絶対値でイプシロンを割ると、デルタの自然な候補になります。

傾きが三だから三分の一を使うのであり、二に近づくという中心の値はデルタの係数には影響しません。

たとえば三 x の代わりにマイナス三 x を考えても、絶対値を取れば同じ三分の一が使えます。

定数項が加わった場合も、極限値との差を取ると定数項は打ち消されます。

この性質は、直線のグラフが入力のずれを一定倍率で出力のずれへ変えることを表しています。

証明の途中でデルタをイプシロンそのものと置くと、イプシロンが一より大きい場合には誤差が三倍になり、条件を満たせません。

係数を見落とさず、絶対値を含めて割り戻すことが実例での注意点です。

係数と定数項の役割

一般に、f x が m x と b の形の一次関数なら、x が a に近づくときの極限は m a と b の和になります。

このとき関数値と極限値の差は、m 倍した x と a の差の絶対値です。

定数項 b が差から消えるのは、グラフ全体を上下へ平行移動しても、近づき方の細かさは変わらないためです。

一方、係数 m はグラフの傾きを変え、入力の小さな差を何倍にするかを決めます。

m が〇なら関数値は常に一定であり、どんな正のデルタを選んでも誤差は〇です。

m が大きいほど、同じ精度を守るためにはデルタを小さく取る必要があります。

一次関数の要素 極限証明での役割 デルタへの影響
係数 m 入力のずれを出力のずれへ拡大または縮小する m が〇以外ならイプシロンを m の絶対値で割る
定数項 b グラフを上下へ移動する 差を取ると消えるため直接の影響はない
近づく値 a 入力側の中心を決める 一次関数では係数の選び方に直接は影響しない

一次関数の証明では、出力の誤差が入力の誤差の一定倍になることが最も重要な見通しです。

表の関係を使えば、四 x と七が十五に近づく例でも、デルタはイプシロンの四分の一とすぐに定められます。

ただし、極限値十五は二を代入して計算した結果であり、証明ではその値との差を改めて不等式で確認します。

値を代入して答えを予想する段階と、定義に基づいて保証する段階は区別しましょう。

この基本形を確実に書けるようになると、より複雑な式の評価にも進みやすくなります。

二次関数を使った極限証明の例題

続いては二次関数を使った極限証明の例題を確認していきます。

x の二乗が四に近づく証明

x が二に近づくとき、x の二乗が四に近づくことを証明してみます。

差の絶対値を因数分解すると、x の二乗と四の差の絶対値は、x と二の差の絶対値と x と二の差の絶対値の積になります。

前者はデルタによって小さくできますが、後者には x が含まれるため、そのままではイプシロンだけで抑えられません。

そこで最初に、x と二の差が一未満になるようデルタを一以下に制限します。

この条件なら x は一から三の間にあり、x と二の差の絶対値は五未満です。

よって全体の差は、五倍した x と二の差の絶対値より小さくなります。

任意の正のイプシロンを取る。

デルタを、一とイプシロンの五分の一のうち小さい方と定める。

0 より大きい x と二の差がデルタ未満なら、x と二の差の絶対値は五未満であり、x の二乗と四の差の絶対値は五デルタ未満、したがってイプシロン未満となる。

二次関数では因数分解の後に残る因子を、補助条件で定数として評価することがポイントです。

五ではなく六など、五より大きい数を上限として使っても証明は成立します。

ただし上限を必要以上に大きくするとデルタが小さくなり、計算の見通しが少し悪くなります。

一方で、最適な上限を探すことより、正しく簡潔に評価することを優先して構いません。

この例では二に近づく範囲を先に限定したことで、変動する x を扱いやすい定数へ置き換えられました。

不等式の証明では、対象を狭い範囲へ閉じ込めてから評価する発想が何度も登場します。

補助条件を選ぶ考え方

補助条件に一を選ぶ理由は、中心の値の近くを簡単な範囲として扱えるからです。

二に一だけ近い範囲なら、x は一から三の間という分かりやすい評価ができます。

しかし補助条件は必ず一でなければならないわけではありません。

たとえば二分の一以下とすれば、x は二分の三から二分の五の間になり、x と二の和はより小さく評価できます。

逆に二以下としても評価はできますが、x の取り得る範囲が広がるため、残る因子の上限は大きくなります。

選び方の基準は、正の定数であり、後の式を無理なく評価できることです。

補助条件 x の範囲 x と二の差の絶対値の上限
x と二の差が一未満 一より大きく三より小さい 五未満
x と二の差が二分の一未満 二分の三より大きく二分の五より小さい 二分の九未満
x と二の差が二未満 〇より大きく四より小さい 六未満

補助条件は最良の数を当てるためではなく、x を含む部分を確実に定数で評価するために置きます。

表から分かるように、条件を厳しくすれば上限は小さくなりますが、証明全体として必要以上に複雑にする必要はありません。

分数式の場合には、分母が〇から離れるように補助条件を選ぶこともあります。

その場合は、分母の絶対値がある正の数以上になることを示し、逆数が大きくなりすぎないようにします。

何を評価したいのかを先に確認してから補助条件を決めると、機械的な暗記ではなくなります。

因数分解した式を眺め、x を含むどの因子を抑えるべきか探すことから始めましょう。

極限証明でのつまずきやすい点

続いては極限証明でのつまずきやすい点を確認していきます。

不等式と論理の取り違え

イプシロンデルタ論法で多い誤りは、デルタの候補を求める逆向きの計算と、証明の論理を混同することです。

下書きで、誤差がイプシロン未満なら入力の差はこの範囲でよいと考えることは有効です。

しかし完成文では、イプシロンを任意に取ってからデルタを定め、入力の差に関する仮定から出力の誤差を導きます。

また、デルタ未満ならイプシロン未満という片方向の条件を、両方向の同値として扱わないよう注意が必要です。

評価の途中では、扱いやすくするために粗い上界を使うことがあるため、逆向きには成り立たない場合があります。

たとえば x と二の差が一未満という条件から x と二の差の絶対値が五未満と導けても、その逆は成り立ちません。

証明の確認では、各行について前の条件から次の不等式が導けるかを順に見ます。

最後のイプシロン未満から前へ戻ろうとして、途中の評価を同値とみなさないことが大切です。

証明の正しさは計算結果だけでなく、仮定から結論まで不等式が正しい向きにつながっているかで決まります。

もう一つの誤りは、デルタを〇と定めてしまうことです。

デルタは正の数でなければならず、〇では近傍の幅を与えられません。

最小値を使う場合にも、それぞれの候補が正であれば最小値も正であると確認できます。

書き終えたら、任意のイプシロン、デルタの定義、x の条件、誤差の評価という四点が順番にあるか見直しましょう。

この確認だけでも、形式上の抜けをかなり防げます。

例題ごとの見通しと練習方法

極限証明の練習では、式の種類ごとに使う道具を対応させて覚えると効率的です。

一次関数なら定数倍を処理し、二次式なら因数分解と補助条件を使います。

平方根を含む式では有理化が役立ち、分数式では分母を〇から遠ざける評価が必要になることがあります。

どの問題でも最初に、関数値と極限値の差の絶対値を書くことから始めると迷いにくくなります。

式の特徴 最初に試す変形 主な注意点
一次関数 定数倍を絶対値の外へ出す 係数の絶対値でデルタを調整する
二次式 差の平方を因数分解する x を含む因子に補助条件を使う
分数式 通分して差を整理する 分母が〇に近づかない範囲を決める
平方根を含む式 共役な式を掛けて有理化する 分母や平方根の範囲を確認する

例題では、答えとなるデルタを覚えるより、誤差の式をどの形まで変形すれば評価できるかを考えることが重要です。

練習用の問題では、まず計算用紙に逆向きでデルタ候補を書き、その後に文章を順向きで清書するとよいでしょう。

同じ問題を、デルタの候補を変えて証明してみるのも有効です。

たとえば必要以上に小さいデルタでも条件を満たせるため、唯一の正解を探す問題ではないと分かります。

一方で、候補を小さくしすぎて計算が読みにくくなるなら、より自然な上限を選び直す余地があります。

図を描き、横軸のデルタの範囲と縦軸のイプシロンの帯を対応させて見ると、記号の役割を視覚的にもつかめます。

イプシロンデルタ論法と極限証明のまとめ

イプシロンデルタ論法は、関数値を目標の値へ任意の精度で近づけられることを、イプシロンとデルタで保証する極限の厳密な定義です。

イプシロンは出力側で許される誤差、デルタはその誤差を守るために必要な入力側の近さを表します。

証明では、まず誤差の絶対値を整理し、逆向きの計算でデルタの候補を見つけます。

完成した文章では、任意のイプシロンを取り、デルタを定め、入力の条件から誤差がイプシロン未満になることを順に示します。

一次関数では定数倍、二次関数では因数分解と補助条件が基本の道具です。

極限値と一点での関数値を区別し、不等式の向きやデルタの正しさも確認しましょう。

記号を暗記するより、求められた精度を実現する入力の範囲を設計する考え方として捉えると、証明の流れが見えやすくなります。

まずは一次関数の短い例題から、自分の言葉で一行ずつ証明を書いてみてください。