ε-δを使う — 連続・数列・そして反例

ウォームアップ — 第11章の振り返り

問1 / 1

問1・現在

リセット

段差関数の $x = 1$ での左極限(赤い点)と右極限(緑の点)を、それぞれ正しい高さに合わせてください。

左極限(赤)0.00右極限(緑)0.00

前のレッスンでε-δゲームのルールを覚えました。今回はこの道具で「連続」を定義し直し、数列にも同じ考えを広げ、最後に守れない主張を暴く技術を身につけます。

連続の定義 — 極限と値が一致する

高校11章では「ペンを離さず描ける」が連続でした。ε-δの言葉では1行です:

$$\lim_{x \to a} f(x) = f(a)$$

つまり「極限が存在して、しかもその行き先が $f(a)$ 自身」。穴あき関数が不連続なのは、極限($L$)はあるのに $f(a)$ が別の場所(または存在しない)だからです。2つの概念の分離が、定義のレベルではっきり見えます。

$f(x) = x^2$ は $x = 1$ で連続。どんな橙の帯にも青の帯で応じられ、行き先は $f(1) = 1$ ちょうどです。

数列の極限 — $\delta$ の代わりに $N$

数列 $a_n \to L$ の定義は、守りの道具が「幅 $\delta$」から「番号 $N$」に変わるだけです:

$$\forall \varepsilon > 0,\ \exists N \in \mathbb{N},\ \forall n \in \mathbb{N}\ (n > N \Rightarrow |a_n - L| < \varepsilon)$$

「どんな許容誤差 $\varepsilon$ を突きつけられても、十分先の項からは全部その誤差内に入る」。第3章(級数)で部分和の収束を扱うときの土台がこれです。高校6章のクモの巣図で見た「吸い込まれていく」現象は、この定義で初めて証明できる主張になります。

守れない主張を暴く — 否定の技術

「収束しない」ことを示すには、ゲームの攻守を交代します: ある $\varepsilon$ を1つ選び、相手がどんな $\delta$ を出してきても赤(反例)を見つければ勝ちです。

$$\exists \varepsilon > 0 \ \text{s.t.}\ \forall \delta > 0,\ \exists x:\ 0<|x-a|<\delta \ \text{かつ}\ |f(x)-L| \geq \varepsilon$$

量化子($\forall/\exists$)が全部裏返っていることを確認してください。論理の否定を機械的に作る練習として、ε-δは格好の題材です。

試してみよう

• $f(x) = 1/x$ は $x \to 2$ で $1/2$ に収束します。$\varepsilon = 0.1$ に対する最大の守りは $\delta = 4\varepsilon/(1+2\varepsilon) = 1/3$。左端(分母が小さくなる側)が先に破れるのがポイント
• 段差関数(高校11章)が $x=1$ で収束しないことを、$\varepsilon = 0.5$ で暴く筋書きを言葉で組み立ててみてください

操作チャレンジ — 攻防で解く

守りの2問(攻めた $\delta$ だけが認められます)と、過大な主張を反例で暴く1問。

式で確かめる

動かして掴んだ感覚を、式と言葉で確かめます。間違えても、ヒントと解説で戻れます。

確認 1 / 3

「$f$ が $x=a$ で連続」を $\varepsilon$-$\delta$ の言葉で書くとどれですか?

$f(a)$ が定義されていればよい$\lim_{x\to a} f(x) = f(a)$(極限が存在し、値が $f(a)$ に一致)$\lim_{x\to a} f(x)$ が存在しさえすればよい$f$ が単調であること

ヒントを見る

確認 2 / 3

数列 $a_n \to L$ の定義では、$\delta$ の代わりに何を使いますか?

積分番号 $N$($N$ より先の項がすべて誤差内)幅 $\delta$微分係数

ヒントを見る

確認 3 / 3

$f(x)=1/x$、$x\to2$、$L=1/2$ のとき、$\varepsilon=0.1$ に対する最大の $\delta = 4\varepsilon/(1+2\varepsilon)$ はいくつ?

答え

±√π

確認

ヒントを見る