大学数学基礎解説

ε-δ論法のみかた

ε-δ論法,微分積分

206

筆者が初学時， $ε$ - $δ$ 論法をどのように噛み砕いていたか紹介する掌編です．

早速ですが，関数 $f : R \to R$ と実数 $a, α$ について
$lim_{x \to a} f (x) = α$
であるとは，次のような定義が標準的には書かれています．

任意の正数 $ε$ に対して正数 $δ$ が存在し，
$| x - a | < δ$ なる任意の実数 $x$ について $| f (x) - α | < ε$ ．

上記の定義を見たら次のように脳内補完していました．

任意の正数 $ε$ に対して正数 $δ (ε)$ が存在して，
$| x - a | <$ $δ (ε)$ なる任意の実数 $x$ について $| f (x) - α | < ε$ .

もっと言えば次のように置き換えられます．

次の条件を満たす関数 $δ : R_{> 0} \to R_{> 0}$ が存在する．
「 $| x - a | < δ (ε)$ なる任意の実数 $x$ について $| f (x) - α | < ε$ .ただし， $ε$ は任意の正数．」

そういう関数 $δ$ を $1$ つでも見つければよいのだと思えば気持ちが楽になる人もきっといるはず……! 後で関数解析的な捉え方にも通じると思います(cf. Lebesgueの収束定理).

注) 関数 $δ$ はその取り方に複数の可能性があり得ます．講義で示される解答例では上手く逆算して体裁が整えられているのでそれに戸惑うかもしれません．例えば筆者も一様収束する連続関数列の極限の連続性を示すときに突然出てくる $\frac{ε}{3}$ に面食らった記憶があります．実は， $ε$ を任意に持ってくることから始めて最終的に差を $ε$ ではなく $g (ε) (> 0)$ で抑える形に着地してしまったとしても， $g (ε) \to 0 (ε \to 0)$ なら問題ありません(活用するのは慣れてからにしましょう)．このことを示すのは読者への演習問題とします．

投稿日：2022年4月20日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

つむり

29342

図形っぽいこと？あまり専門的な話題について書くつもりはありません． interested in 位相幾何/群論

他の人のコメント

コメントはありません。

読み込み中

つむり

ε-δ論法のみかた