εδ論法

大きな区分

現在地と前後の項目（サブメニュー）

数列,関数の極限
合成関数
逆関数
逆三角関数
双曲線関数
関数の連続性
εδ論法
フーリエ係数,自然数の累乗の逆数の和

無限級数
収束半径，テイラー展開，マクローリン展開
テイラーの定理，マクローリンの定理
マクローリン展開
逆三角関数の微分法
偏微分
2変数関数の極値,ラグランジュの未定乗数法
ラプラス変換の基本
連分数
ガンマ関数,ベータ関数
ベクトル解析の公式

→ 携帯版は別頁

==ε−δ論法==

　ギリシャ時代以来，数学において「無限」「限りなく近づく」などについては厳密に定義せずに扱われてきた．
　ニュートンやライプ二ッツによって始められた微分積分を厳密に組み立てて行く上で，19世紀になってからコーシーやワイエルシュトラスらによって確立された精密な証明方法がε−δ論法である．

1.　はじめに

　以下の議論は，「後出しジャンケンでは，相手の手を見てから自分の出す手を決めることができる」という状況を思い浮かべると，よく分かる．

【例1.1】
$M,\hspace{3}N$ は自然数（正の整数）とする．

「どんな自然数 $M$ が与えられても，ある自然数 $N$ をうまく決めれば， $M\lt N$ が成り立つようにできる」

記号で書けば，
$\forall M\exists N\left[M\lt N\right]$

（解説）

この例は，「自然数の最大値 $M$ は存在しない」ということを述べている．

　重要なのは， $M$ の値を見てから，それに応じて $N$ の値を指定してよい（子供の言い方をすれば「後出しジャンケンでズルく立ち回る」）ということで，
$N=M+ 1$
とすれば
$M\lt N$
が成り立つから，最大値 $M$ というものは存在しないことになる．
（※もちろん， $N=M+ 2,\hspace{2}N=2M$ などでもよいが，１つあれば十分）

　「どんな」「どの」「任意の」「すべての」「for all」ということを表すために，全称記号 $\forall$ を用いる．
　「存在する」「ある」「適当に選べば」「exists」ということを表すために，存在記号 $\exists$ を用いる．

$\forall M\hspace{2}\exists N(...)$ と書かれていれば，先に書いてあるMの値が決め，その後でNの値が決める．

　細かな書き方は，書物によって著者によってバリエ－ションがある．
　 $\forall M,\exists N\left[M\lt N\right]$ のように，全称記号と存在記号の間にカンマを入れる書き方もある．
　 $\forall M\exists N\hspace{2}:\hspace{5}M\lt N$ のように，式の部分をコロンで区切る書き方もある．

　後出しジャンケンは，手を出す順序が重要で
$\exists N\hspace{2}\forall M\left[M\underline{\le}N\right]$
は成り立たないことに注意．
　すなわち，「ある $N$ を先に決めれば，どんな $M$ に対しても， $M\underline{\le}N$ が成り立つ」という主張は，自然数には最大値 $N$ があるという主張になり，これは間違っている．（ $M$ を後から決められるから， $M=N+ 1$ とすれば， $M$ の方が大きくなる）

　これに対して
$\exists N\hspace{2}\forall M\left[N\underline{\le}M\right]$
すなわち，「ある $N$ を先に決めれば，どんな $M$ に対しても， $N\underline{\le}M$ が成り立つ」という主張は，自然数には最小値 $N$ があるという主張になり，これは正しい．（ $N=1$ とすれば成り立つ）

$\forall M\hspace{2}\exists N\left[N\underline{\le}M\right]$
すなわち，「どんな $M$ に対しても，ある $N$ をうまく決めれば， $N\underline{\le}M$ が成り立つ」という主張も成り立つ．（ $N=1$ とすればつねに成り立つが，それ以外に，各々の $M$ に応じて $N=M$ とすることもできる）

【例1.2】
$x,\hspace{3}y$ は正の数とする．

「どんな正の数 $x$ が与えられても，ある正の数 $y$ をうまく決めれば， $y\lt x$ が成り立つようにできる」

記号で書けば，
$\forall x(\gt 0)\exists y(\gt 0)\left[y\lt x\right]$

この例は，「正の数の最小値 $x$ は存在しない」ということを述べている．

（証明）
どんな正の数 $x(\gt 0)$ が与えられても
$y=\frac{x}{2}$
とおけば
$0\lt y\lt x$
が成り立つ

$0\lt y\lt x$ となる実例を１つ示せばよく， $y=\frac{x}{2}$ に限らず， $y=\frac{x}{3},\hspace{2}\frac{3}{4}x$ などでもよいが，なるべく単純な例を１つ示せば証明になる．

　練習として，「ある正の数 $y$ が存在して，どんな正の数 $x$ に対しても， $y\lt x$ が成り立つようにできる」
$\exists y(\gt 0)\forall x(\gt 0)\left[y\lt x\right]$
は間違いだということを理解してください．

$x$ を後に決める場合， $x=\frac{y}{2}$ などとすれば成り立たないから

【例1.3】
$\exists e(\gt 0)\forall x(\gt 0)\left[ex=x]$ …(1)
$\forall x(\gt 0)\exists y(\gt 0)\left[xy=e]$ …(2)

(1)は積の演算について，すべての $x$ に共通な「単位元」が存在するということを述べており，(2)は各々の $x$ に対して「逆元」が存在するということを述べている．

（解説）
(1)
　先に $e=1$ と決めると，後からどんな $x$ を持ってきても， $1x=x$ が成り立つ．
（これは真の命題となっている）
(2)
　どんな $x(\gt 0)$ に対しても，各々 $y=\frac{1}{x}$ と決めると， $xy=1$ が成り立つ．
（これは真の命題となっている．ただし，逆元はすべての正の数に共通な１つの数ではなく， $2$ に対しては $\frac{1}{2}$ ， $3$ に対しては $\frac{1}{3}$ ，...というようにそれぞれの元に対して逆元が決まる．）

2.　ε−N論法

　数列の極限は，次の形のε-N論法で定義される．

どんな正の値εに対しても，各々自然数Nを選ぶことができて，N<nとなるすべてのnに対して| $a_n-\alpha$ |<ε
が成り立つとき，数列 $a_n$ の極限は $\alpha$ であるといい
$\lim_{n\rightarrow\infty}a_n=\alpha$
と書く．

$\lim_{n\rightarrow\infty}a_n=\alpha$
とは，記号で書けば
$\forall\epsilon(\gt 0)\exists N\left[N\lt n\Rightarrow\mid\hspace{2}a_n-\alpha\hspace{2}\mid\lt\epsilon\right]$
が成り立つことをいう．

（解説）
　正の数でどんなに小さな（０に近い）値εが与えられても，それに応じて十分大きな値Nを選べば， $\mid\hspace{2}a_n-\alpha\hspace{2}\mid\lt\epsilon$ となるようにできるとき，数列の極限は $\alpha$ になる．
　この場合，εの値に応じて（そのεの値を使って）「後出しジャンケン風に」Nを決めるとよい.

【例2.1】
　数列 $a_n=\frac{1}{n}$ の極限が0になることをε−N論法を使って証明してください．

（解説）
与えられたεの値に対して
$\mid\hspace{2}\frac{1}{n}\hspace{2}\mid\lt\epsilon$
$\frac{1}{n}\lt\epsilon$
$n\gt\frac{1}{\epsilon}$
となればよいから，
Nとして $\frac{1}{\epsilon}$ 以上の１つの整数を選べば，n>Nのとき
$\frac{1}{n}\lt\frac{1}{N}\underline{\le}\epsilon$
$\mid\hspace{2}\frac{1}{n}\hspace{2}\mid\lt\epsilon$
となるから，数列の極限は0である．

【例2.2】
　数列 $a_n=\frac{n^2-n+ 1}{n^2+ n+ 1}$ の極限値が1になることをε−N論法を使って証明してください．

（解説）
与えられたεの値に対して
$\mid\hspace{2}\frac{n^2-n+ 1}{n^2+ n+ 1}-1\hspace{2}\mid\lt\epsilon$
となるnの範囲をεで表せばよい
$\mid\hspace{2}\frac{n^2-n+ 1}{n^2+ n+ 1}-1\hspace{2}\mid=\mid\hspace{2}\frac{2n}{n^2+ n+ 1}\hspace{2}\mid\lt\epsilon$

$\frac{2n}{n^2+ n+ 1}=\epsilon$
すなわち
$\epsilon n^2+(\epsilon-2)n+\epsilon=0$
のような方程式を無理に解かなくてもよい．
もっと鯖を読んで，楽に解ける遠い防波堤（１つの十分条件）を探せばよい

正の整数nに対して，分母を小さくすれば分数は大きくなるから
$\frac{2n}{n^2+ n+ 1}\lt\frac{2n}{n^2}\lt\epsilon$
$n\gt\frac{2}{\epsilon}$
したがって
「任意に与えられた $\epsilon$ に対して， $\frac{2}{\epsilon}$ 以上の1つの整数を $N$ とおくと
$N\lt n$ のとき
$\mid\hspace{2}\frac{n^2-n+ 1}{n^2+ n+ 1}-1\hspace{2}\mid=\mid\hspace{2}\frac{2n}{n^2+ n+ 1}\hspace{2}\mid\lt\epsilon$
となるから，この数列の極限値は1である」

高校数学では，次のような数列の性質が成り立つことは「直感的に明らか」として，結果を利用するが，これらの性質が成り立つことは証明できない．この証明はε−N論法で行う．

$\lim_{n\rightarrow\infty}a_n=\alpha,\hspace{3}\lim_{n\rightarrow\infty}b_n=\beta$ のとき
(1) $\lim_{n\rightarrow\infty}ka_n=k\alpha$ （ただし， $k$ は定数）
(2) $\lim_{n\rightarrow\infty}(a_n+ b_n)=\alpha+\beta$
(3) $\lim_{n\rightarrow\infty}(a_n-b_n)=\alpha-\beta$
(4) $\lim_{n\rightarrow\infty}(a_nb_n)=\alpha\beta$
(5) $\lim_{n\rightarrow\infty}\frac{a_n}{b_n}=\frac{\alpha}{\beta}$ （ただし， $\beta\ne 0$ ）

例えば，(2)の証明は次の通り
仮定により， $\lim_{n\rightarrow\infty}a_n=\alpha$ だから

どんな $\frac{\epsilon}{2}(\gt 0)$ に対しても，ある $N_1$ が存在して， $N_1\lt n\Rightarrow\mid\hspace{2}a_n-\alpha\hspace{2}\mid\lt\frac{\epsilon}{2}$ が成り立つ．

また，仮定により $\lim_{n\rightarrow\infty}b_n=\beta$ だから

どんな $\frac{\epsilon}{2}(\gt 0)$ に対しても，ある $N_2$ が存在して， $N_2\lt n\Rightarrow\mid\hspace{2}b_n-\beta\hspace{2}\mid\lt\frac{\epsilon}{2}$ が成り立つ．

ここで $N_1,\hspace{3}N_2$ の大きい方を $N$ とおくと，上記の関係は両方とも成り立つから

どんな $\epsilon(\gt 0)$ に対しても，ある $N$ が存在して， $N\lt n\Rightarrow\mid\hspace{2}a_n-\alpha\hspace{2}\mid\lt\frac{\epsilon}{2}$
$\mid\hspace{2}b_n-\beta\hspace{2}\mid\lt\frac{\epsilon}{2}$
$\mid\hspace{2}a_n+ b_n-(\alpha+\beta)\hspace{2}\mid\underline{\le}\mid\hspace{2}a_n-\alpha\hspace{2}\mid+\mid\hspace{2}b_n-\beta\hspace{2}\mid\lt\frac{\epsilon}{2}+\frac{\epsilon}{2}$
$\lt\epsilon$

したがって
$\lim_{n\rightarrow\infty}(a_n+ b_n)=\alpha+\beta$
が成り立つ．

数列の発散は，次の形のε−N論法で定義される．

　任意の値 $\epsilon$ に対しても，各々自然数Nを選ぶことができて，N<nとなるすべてのnに対して $a_n\gt\epsilon$ が成り立つとき，数列 $a_n$ は正の無限大に発散するといい
$\lim_{n\rightarrow\infty}a_n=\infty$
と書く．

$\lim_{n\rightarrow\infty}a_n=\infty$
とは，記号で書けば
$\forall\epsilon\exists N\left[N\lt n\Rightarrow a_n\gt\epsilon\right]$
が成り立つことをいう．

　任意の値εに対しても，各々自然数Nを選ぶことができて，N<nとなるすべてのnに対して $a_n\lt\epsilon$ が成り立つとき，数列 $a_n$ は負の無限大に発散するといい
$\lim_{n\rightarrow\infty}a_n=-\infty$
と書く．

$\lim_{n\rightarrow\infty}a_n=-\infty$
とは，記号で書けば
$\forall\epsilon\exists N\left[N\lt n\Rightarrow a_n\lt\epsilon\right]$
が成り立つことをいう．

【例2.3】
　 $\lim_{n\rightarrow\infty}(n^2-n)=\infty$ となることをε−δ論法を使って証明してください．

（解答）
任意の値 $\epsilon$ に対して
$n^2-n\gt \epsilon$
となるnの範囲を求める
２次方程式
$n^2-n-\epsilon=0\hspace{3}(n\gt 0)$
の解から
$n\gt\frac{1+\sqrt{1+ 4\epsilon}}{2}$
「任意の値 $\epsilon(\gt 0)$ に対して， $\frac{1+\sqrt{1+ 4\epsilon}}{2}$ 以上の１つの整数をNとおくと，N<nとなるすべてのnに対して $a_n\gt\epsilon$ が成り立つから
$\lim_{n\rightarrow\infty}(n^2-n)=\infty$
となる」

※【例2.3】では，２次方程式の解の公式を使って，「ちょうどよい数」を求めることができたが，いつでもそのようにうまく求められるわけではない．次の例のような３次方程式になると難しくなる．
　証明としては「十分条件」を１つ示せばよく，境目から遠く離れた箇所に防波堤を設置してもよい．

【例2.4】
　 $\lim_{n\rightarrow\infty}(n^3-n^2)=\infty$ となることをε−δ論法を使って証明してください．

（解答）
$n^3-n^2\gt\epsilon$
この３次不等式を解くのは難しいが，もっと鯖を読んで遠く離れた防波堤を設置してみると
$n\gt 1$ のとき $n^3-n^2=n^2(n-1)\gt(n-1)^3$ だから
$n^3-n^2\gt(n-1)^3\gt\epsilon$
を解くと
$n\gt 1+\sqrt[3]{\epsilon}$
「任意の値 $\epsilon(\gt 0)$ に対して， $1+\sqrt[3]{\epsilon}$ 以上の１つの整数をNとおくと，N<nとなるすべてのnに対して $n^3-n^2\gt\epsilon$ が成り立つから
$\lim_{n\rightarrow\infty}(n^3-n^2)=\infty$
となる」

（もっと遥かに離れた防波堤の例）
$n$ が十分大きな整数のとき
$n\gt n-1\gt n-2\gt\cdots\gt 2\gt 1$
だから
$n^3-n^2=n\cdot n\cdot(n-1)\gt n\cdot 2\cdot 1\gt \epsilon$
よって
$n\gt\frac{\epsilon}{2}$ となる整数nをとれば， $n^3-n^2\gt 2n\gt\epsilon$ とできる．

3.　ε−δ論法

　関数の極限は，通常，次の形のε−δ論法で定義される．

通常，この形の証明には，ギリシャ小文字のε（イプシロン）とδ（デルタ）が用いられる

　任意に与えられた正の値εに対して，正の値δを選ぶことができて
$0\lt\mid\hspace{2}x-a\hspace{2}\mid\lt\delta\hspace{5}\Rightarrow\hspace{5}\mid\hspace{2}f(x)-b\hspace{2}\mid\lt\epsilon$
とすることができるとき，
「 $x$ が $a$ と異なる値をとりながら限りなく $a$ に近づくとき， $f(x)$ の極限は $b$ である」といい
$x\rightarrow a$ のとき $f(x)\rightarrow b$
または
$\lim_{x\rightarrow a}f(x)=b$
と書く．

記号で書けば
$\lim_{x\rightarrow a}f(x)=b$
とは
$\forall\epsilon(\gt 0)\exists\delta(\gt 0)\left[0\lt\mid\hspace{2}x-a\hspace{2}\mid\lt\delta\hspace{5}\Rightarrow\hspace{5}\mid\hspace{2}f(x)-b\hspace{2}\mid\lt\epsilon\right]$
が成り立つことをいう．

【例3.1】
　 $\lim_{x\rightarrow 1}(2x+ 1)=3$ をε−δ論法を使って証明してください．

（解説）
$\mid\hspace{2}(2x+ 1)-3\hspace{2}\mid\lt\epsilon$
となるには
$\mid\hspace{2}2x-2\hspace{2}\mid\lt\epsilon$
$\mid\hspace{2}x-1\hspace{2}\mid\lt\frac{\epsilon}{2}$
すなわち
$\delta=\frac{\epsilon}{2}$
とすればよいから，
「任意に与えられた正の値εに対して
$\delta=\frac{\epsilon}{2}$
とおけば，
$0\lt\mid\hspace{2}x-1\hspace{2}\mid\lt\delta\Rightarrow\mid\hspace{2}(2x+ 1)-3\hspace{2}\mid\lt\epsilon$
となるから
$\lim_{x\rightarrow 1}(2x+ 1)$ の極限は3である」

【例3.2】
　 $\lim_{x\rightarrow 0}\sqrt{x+ 1}=1$ をε−δ論法を使って証明してください．

（解説）
$\mid\hspace{2}\sqrt{x+ 1}-1\hspace{2}\mid\lt\epsilon$
$-\epsilon\lt\sqrt{x+ 1}-1\lt\epsilon$
$1-\epsilon\lt\sqrt{x+ 1}\lt\epsilon+ 1$
$\epsilon\gt 0$ が十分小さな正の値のとき
$0\lt 1-\epsilon\lt\epsilon+ 1$
だから
$(1-\epsilon)^2\lt x+ 1\lt(\epsilon+ 1)^2$
$-\epsilon^2-2\epsilon\lt\epsilon^2-2\epsilon\lt x\lt\epsilon^2+ 2\epsilon$
$\mid\hspace{2}x\hspace{2}\mid\lt\epsilon^2+ 2\epsilon$
だから
「任意に与えられた正の値εに対して
$\delta=\epsilon^2+ 2\epsilon$
とおけば，
$0\lt\mid\hspace{2}x\hspace{2}\mid\lt\delta\Rightarrow\mid\hspace{2}\sqrt{x+ 1}-1\hspace{2}\mid\lt\epsilon$
となるから
$\lim_{x\rightarrow 0}\sqrt{x+ 1}=1$
が成り立つ

　 $x$ が限りなく大きくなる（無限大に発散する）ときの関数の極限は，次の形で定義される．

　任意に与えられた正の値εに対して，正の値δを選ぶことができて
$x\gt\delta\hspace{5}\Rightarrow\hspace{5}\mid\hspace{2}f(x)-b\hspace{2}\mid\lt\epsilon$
とすることができるとき，
「 $x$ が限りなく大きくなるとき， $f(x)$ の極限は $b$ である」といい
$x\rightarrow\infty$ のとき $f(x)\rightarrow b$
または
$\lim_{x\rightarrow\infty}f(x)=b$
と書く．

記号で書けば
$\lim_{x\rightarrow\infty}f(x)=b$
とは
$\forall\epsilon(\gt 0)\exists\delta(\gt 0)\left[x\gt\delta\hspace{5}\Rightarrow\hspace{5}\mid\hspace{2}f(x)-b\hspace{2}\mid\lt\epsilon\right]$
が成り立つことをいう．

【例4.1】
　 $\lim_{x\rightarrow\infty}\frac{3x+ 4}{2x+ 1}=\frac{3}{2}$ となることをε−δ論法を使って証明してください．

（解説）
　任意に与えられた $\epsilon\gt 0$ に対して
$\mid\hspace{2}\frac{3x+ 4}{2x+ 1}-\frac{3}{2}\hspace{2}\mid\lt\epsilon$
となる $x$ の範囲を求める
$\frac{3x+ 4}{2x+ 1}-\frac{3}{2}=\frac{6x+ 8-6x-3}{2(2x+ 1)}=\frac{5}{2(2x+ 1)}\lt\epsilon$
$5\lt 4x\epsilon+ 2\epsilon$
$4x\epsilon\gt 5-2\epsilon$
$x\gt\frac{5}{4\epsilon}-\frac{1}{2}$
「任意に与えられた $\epsilon\gt 0$ に対して
$\delta=\frac{5}{4\epsilon}-\frac{1}{2}$
とおくと
$x\gt\delta\Rightarrow\mid\hspace{2}\frac{3x+ 4}{2x+ 1}-\frac{3}{2}\hspace{2}\mid\lt\epsilon$
が成り立つ」から，
$\lim_{x\rightarrow\infty}\frac{3x+ 4}{2x+ 1}=\frac{3}{2}$
が言える．

【関数の連続の定義】
$\lim_{x\rightarrow a}f(x)=f(a)$ …(1)
が成り立つとき，関数 $f(x)$ は $x=a$ において連続であるという．

(1)をε−δ論法を使って書くと
「任意に与えられた正の値εに対して，正の値δが存在して
$\mid\hspace{2}x-a\hspace{2}\mid\lt\delta\hspace{5}\Rightarrow\hspace{5}\mid\hspace{2}f(x)-f(a)\hspace{2}\mid\lt\epsilon$ …(2)
とすることができるとき，
関数 $f(x)$ は $x=a$ において連続であるという．」

(2)を記号で書けば
$\forall\epsilon(\gt 0)\exists\delta(\gt 0)\left[\mid\hspace{2}x-a\hspace{2}\mid\lt\delta\hspace{5}\Rightarrow\hspace{5}\mid\hspace{2}f(x)-f(a)\hspace{2}\mid\lt\epsilon\right]$ …(3)

【例5.1】
　関数 $f(x)=x^2$ は $x=1$ において連続となることをε−δ論法を使って証明してください．

（解答）
$x^2-1^2\lt \epsilon$
となるには
$x^2\lt \epsilon+ 1$
$(0\lt)x\lt\sqrt{\epsilon+ 1}$
$\mid\hspace{2}x-1\hspace{2}\mid\lt\sqrt{\epsilon+ 1}-1$
となればよいから
「任意に与えられた正の値 $\epsilon(\gt 0)$ に対して
$\delta=\sqrt{\epsilon+ 1}-1(\gt 0)$
とおくと
$\mid\hspace{2}x-1\hspace{2}\mid\lt\delta\hspace{5}\Rightarrow\hspace{5}\mid\hspace{2}f(x)-f(1)\hspace{2}\mid\lt\epsilon$
が成り立つから，関数 $f(x)=x^2$ は $x=1$ において連続である」

【例5.2】
　 $x$ を越えない最大の整数を $[x]$ で表すとき， $f(x)=[x]$ は $x=1$ において不連続となることをε−δ論法を使って証明してください．

（解答）

$f(1)=[1]=1$
$0\lt x\lt 1$ のとき $f(x)=[x]=0$
　このとき
$\mid\hspace{2}f(x)-f(1)\hspace{2}\mid=1$
となるから，任意に与えられた正の値 $\epsilon(\gt 0)$ に対して， $\mid\hspace{2}f(x)-f(1)\hspace{2}\mid\lt\epsilon$
とすることはできない．

○===メニューに戻る　

..高卒～大学数学のメニューに戻る

■このサイト内のGoogle検索■

△このページの先頭に戻る△【アンケート送信】
… このアンケートは教材改善の参考にさせていただきます

■この頁について，良い所，悪い所，間違いの指摘，その他の感想があれば送信してください．

○文章の形をしている感想は全部読ませてもらっています．
○感想の内で，どの問題がどうであったかを正確な文章で伝えていただいた改善要望に対しては，可能な限り対応するようにしています．（※なお，攻撃的な文章になっている場合は，それを公開すると筆者だけでなく読者も読むことになりますので，採用しません．）

質問に対する回答の中学版はこの頁，高校版はこの頁にあります