コンテンツにスキップ

ε-δ論法とは

xxaa に限りなく近づく」という言葉だけでは、どの程度近づけば十分なのかが曖昧です。また、x=ax=a での値を調べることと、aa の近くでの振る舞いを調べることは別です。

ε-δ論法は「限りなく近い」を使わず、どんな精度を要求されても、その精度を実現できる入力範囲を用意できるという形に言い換えます。

図がなくても、aa を中心とする入力の細い区間を想像してください。その区間から aa 自身を除いた場所に xx を入れると、出力が必ず LL を中心とする指定幅の区間へ収まる、という意味です。

定義は次の順番で読みます。

  1. 相手が、任意の正の数 ε\varepsilon を先に選ぶ
  2. その ε\varepsilon を見て、こちらが正の数 δ\delta を選ぶ
  3. その後で、条件 0<xa<δ0<|x-a|<\delta を満たすどの xx を選ばれても、f(x)L<ε|f(x)-L|<\varepsilon が成立する

δ\deltaε\varepsilon に応じて変えて構いません。一方、xx が選ばれる前に δ\delta を決めるので、δ\deltaxx に依存させてはいけません。

δを見つける計算と、証明を書く順序

Section titled “δを見つける計算と、証明を書く順序”

下書きでは、目標 f(x)L<ε|f(x)-L|<\varepsilon から逆向きに計算し、必要な δ\delta を探します。完成した証明では、最初に「ε>0\varepsilon>0 を任意に取る。δ=ε/2\delta=\varepsilon/2 と置く」と宣言し、その選択が働くことを順向きに確認します。

Q一次関数の極限★★☆

ε-δ論法を使って limx2(3x+1)=7\lim_{x\to2}(3x+1)=7 を証明してください。

HINTヒントを見る

(3x+1)7|(3x+1)-7|x2|x-2| を使って表します。出力の誤差を ε\varepsilon 未満にするには、入力の誤差をいくつ未満にすればよいでしょうか。

ANS解答を見る

ε>0\varepsilon>0 を任意に取ります。(3x+1)7=3x2|(3x+1)-7|=3|x-2| なので、δ=ε/3\delta=\varepsilon/3 と置きます。0<x2<δ0<|x-2|<\delta を満たす任意の xx について (3x+1)7=3x2<3δ=ε.|(3x+1)-7|=3|x-2|<3\delta=\varepsilon. したがって定義により limx2(3x+1)=7\lim_{x\to2}(3x+1)=7 です。