8

ε-δ論法のお話

685
0

はじめに

この記事では, ε-δ論法についてのお話をしようと思います. 極限の議論をする時に, この考え方が頭にあるかどうかで, 考えやすさが変わってくると思います.

ただし, 高校範囲の延長としてのお話をしますので, あまり厳密なところには踏み込まないことにします.

目次

  • 定義
  • いろいろな命題
  • 練習問題
  • さいごに

定義

極限 limxaf(x)=b を, 以下で定義します.
limxaf(x)=b def ϵ>0,δ,|xa|<δ|f(x)b|<ϵ

この式の解釈の仕方は, 「どんなに小さなϵに対しても, ある十分小さなδをとってくることができて, xaに十分(δ)近ければ, f(x)bの差をϵ未満にできる. 」というような感じです.

次に, 数列の極限limnan=α を次式で定義します.
limnan=α def ϵ>0,N,n>N|anα|<ϵ

捉え方は, 同様です. これはε-N論法と呼ばれることもあるみたいです.

最後に, 発散の場合を次式で定義します.
limnan= def M>0,N,n>Nan>M
負の無限大の場合も同様です.

また, 収束も発散もしない場合, 振動すると言います.

これらの定義法は, 少し恣意的だと思われるかもしれません. 確かに感覚的には極限の概念を的確に数式で表しているように思えますが, この方法しかあり得ないかと言われると, どうなんだろうと思ってしまいますね.

まあ, こう定義されているんだから仕方ないかなと思っています.

いろいろな命題

教科書にも載っている, 数列の極限に関する以下の命題を, ε-δ論法を用いて証明していきます.

limnan=α, limnbn=β であるとき,
1. limn(an+bn)=α+β
2. limnanbn=αβ
3. α0のとき, limn1an=1α

1. limn(an+bn)=α+β

如何なるϵ>0に対しても, N(ϵ)が存在して, (Nϵに応じて選んで良いので, ϵの関数として構成すれば良いです. ) n>N(ϵ)ならば|an+bn(α+β)|<ϵ とできることを示せば良いです.

いま, an,bnが収束するという仮定より, n>N1(ϵ1)|anα|<ϵ1, n>N2(ϵ2)|bnβ|<ϵ2 なるN1,N2が存在します.

従って, N=max(N1,N2) としてみると, (maxは最大値を表します)
n>Nのとき|an+bn(α+β)|<|anα|+|bnβ|<ϵ1+ϵ2 となります. ただし一つめの不等号は三角不等式(|x+y|<|x|+|y|)によります.

これが全てのϵ1,ϵ2に対して成り立つので, ϵ1+ϵ2<ϵ のときにも当然成り立ちます.

即ち, 任意のϵ>0に対して, ϵ1+ϵ2<ϵなるϵ1,ϵ2をとり, N(ϵ)=max(N1(ϵ1),N2(ϵ2)) とすれば, n>Nのとき|an+bn(α+β)|<ϵ とすることができます. 以上より示されました.

2. limnanbn=αβ

anbnαβ=(anα)bn+α(bnβ)
=(anα)(bnβ)+β(anα)+α(bnβ) なので,

|anbnαβ|<|anα||bnβ|+|β||anα|+|α||bnβ|
ϵ1ϵ2+|β|ϵ1+|α|ϵ2 です. ϵ1,ϵ2は任意だったので,

任意のϵ>0に対して, ϵ1ϵ2+|β|ϵ1+|α|ϵ2<ϵなるϵ1,ϵ2をとり, N(ϵ)=max(N1(ϵ1),N2(ϵ2)) とすれば, n>Nのとき|anbnαβ|<ϵ とすることができます. 以上より示されました.

3. α0のとき, limn1an=1α

α>0の場合を考えれば十分です. (2.bn=1とすれば良いので. ) また, 十分大きいnを考えているので, an>0として良いです. αϵ1<an<α+ϵ1 なので,

|1an1α|=|anα||α||an|<ϵ1α(αϵ1)

ϵ1は任意だったので, 如何なるϵ>0に対しても, 0<ϵ1<ϵなるϵ1がとれます. (具体的にはϵ1<α2ϵ1+αϵとすればよいです.)

従って, 任意のϵ>0に対して, n>Nならば|1an1α|<ϵ なるNがとれるので, 示されました.

最後に, はさみうちの原理を証明しようと思います.

(命題) 全てのnancnbnが成り立っていて, limnan=limnbn=α のとき, limncn=α である.

(証明)

|anα|<ϵ1, |bnα|<ϵ2 のとき, |anbn|<ϵ1+ϵ2 です.

|cnα|<|cnan|+|anα|<|bnan|+|anα|<2ϵ1+ϵ2

ここでϵ1,ϵ2は任意だったので, |cnα|<ϵ とすることができます. 以上より示されました.

練習問題

(1) limnan=α かつ limnan=β ならば α=β であることを示してください. (極限の一意性)

(解答)

仮にα<βであるとします. すると, ϵ<βα2 なるϵをとったとき, |anα|<ϵかつ|anβ|<ϵ とは成り得ないので, 矛盾です.

従って, α=β です.

(2) limnan=α のとき, limn(an+1an)=0 を示してください.

(解答)

limnan+1=α なので, 前節の命題(1)より,
limn(an+1an)=αα=0 です.

(3) limnan=α, limnbn=β, また α>0 のとき, limnanbn=αβ を示してください.

これは, 読者の方への演習問題とします.

おわりに

ここまで読んでくださった方, 本当にありがとうございます.

この極限のお話も続きがあって, まずそもそも極限が存在する集合とはなにか, とかの難しい抽象的なお話になってくるみたいです.

そこのところはまだまだ私もお勉強中なのですが, 今回は, ε-δ論法の考え方, 定式化することの嬉しさ, が伝えられていたら幸いです.

では, 改めてありがとうございました.

投稿日:2020118
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

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

投稿者

東大理数B4です

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 目次
  3. 定義
  4. いろいろな命題
  5. 練習問題
  6. おわりに