Loading [MathJax]/extensions/TeX/boldsymbol.js
スポンサーリンク

ボルツァーノ-ワイエルシュトラスの定理の証明

実数の連続性

本記事の内容

本記事は区間縮小法とアルキメデスの原理からボルツァーノ-ワイエルシュトラスの定理を証明し、実数の連続性との関係を説明する記事です。

本記事を読むにあたり「区間縮小法」と「アルキメデスの原理」を知っている必要があるため、以下の記事も合わせて御覧ください。

ボルツァーノ-ワイエルシュトラスの定理の明示とその証明

ボルツァーノ-ワイエルシュトラスの定理を一言で述べれば、

有界な数列の一部分には、必ず収束する数列がある。

ということでした。
では明示しましょう。

ボルツァーノ-ワイエルシュトラスの定理
数列{xn}nNが有界な数列ならば、その数列に対する収束する部分列が存在する。

先述の通り、この定理の証明には区間縮小法とアルキメデスの原理を使います。
これらは使うときに改めて明示します。

証明の前に証明の流れを説明します。

  • (ステップ1) 数列{xn}nNが有界である、という条件を言い換える。
  • (ステップ2) 縮小する区間とそれから得られる数列を作る。
  • (ステップ3) {xn}nNの部分列を作る。
  • (ステップ4) さっき作った部分列が収束することを示す。
    「はさみうちの原理」を使う。道中で証明する。

ボルツァーノ-ワイエルシュトラスの定理の証明

(ステップ1)
数列{xn}nNが有界であるとします。
すなわち、数列{xn}nNが上に有界であり、かつ下に有界であるとします。
このとき、次が成り立つ。

  • ある実数R1が存在して、nNに対して、xnR1を満たす。
  • ある実数R2が存在して、nNに対して、R2xnを満たす。

この2つの条件をまとめて書くことができます。
というのも、実数R|R1||R2|のうち大きい方とします。
記号で書けば、R=max{|R1|,|R2|}とします。
すると、R|R1|かつR|R2|なのだから、RR1RかつRR2Rです
従って、RR2xnR1Rです。
ゆえに上記の2条件は1行で次のように書けるわけです。
(RR) s.t. (nN) RxnR

(ステップ2)
次にこの条件で縮小する区間を作ります。
実は、これは以前証明した「区間縮小法+アルキメデスの原理デデキントの定理」の証明(【解析学の基礎シリーズ】実数の連続性編 その12)と殆ど同じです。
この証明では切断を考えるわけではないので、そこが違うだけで、作り方は殆ど一緒です。
ここで、実数Ra1、実数Rb1と書いたとする(a1=R, b1=Rとする)と、任意のnNに対してa1xnb1であるので、任意のnNに対してxn[a1,b1]となる区間[a1,b1]を作ることができます。
このとき、[a1,b1]の中間の点(a1b1の真ん中の点)をc1とします。
すなわち、c1=a1+b12とします。
このとき、次のいずれか一方、もしくは片方が必ず成り立ちます(両方とも成り立たないということはありません)。

  1. xn[a1,c1]を満たすような番号nNが無限個存在する。
  2. xn[c1,b1]を満たすような番号nNが無限個存在する。

仮に、両方成り立たないとすると、すなわち、[a1,c1]に含まれるxn[c1,b1]に含まれるxnがどちらも有限個しか無かったとすると、[a1,b1]の中にxnが有限個しか存在しないことになってしまい、矛盾です。

  • 1.が成り立つとき
    a2=a1b2=c1とおきます。
  • 2.が成り立つとき
    a2=c1b2=b1とおきます。

すると、xn[a2,b2]となる番号nNは無限個存在します。

同様にして、anおよびbnを定めれば、数列{an}nNは単調増加数列、数列{bn}nNは単調減少数列です。
次で示します。
今、任意のnNに対して

  • an=an1, bn=cn1=an1+bn12
  • an=cn1=an1+bn12, bn=bn1

のいずれか一方が成り立ちます。
前者の場合を考えます。
an=an1であるのでanan1だからanan1です。
また、bn=an1+bn12であるから、bnbn1=an1+bn12bn1=an1bn120であるため(任意のnNanbnにより。)、bnbn1です。
同様に後者の場合を考えます。
an=an1+bn12であるから、anan1=an1+bn12an1=bn1an120であるため(任意のnNanbnにより)、anan1です。
また、bn=bn1であるのでbnbn1だからbnbn1です。
従って、{an}nNは単調増加数列、{bn}nNは単調減少数列です。

このとき、区間[an,bn]の長さはbnan=2R2n1す。
また、limn(bnan)=limn2R2n1=0です。
これを示すためにアルキメデスの原理を使います。
しかし、これはすでに証明を与えています(【解析学の基礎シリーズ】実数の連続性編 その12)。
従って、今、任意のnNに対して、an<bnであり、かつlimn(bnan)=0が成り立っているので、区間縮小法の仮定を満たします。
区間縮小法は何だったかというと、

区間縮小法(区間縮小の原理) {In}nNを縮小するようなRの有界な閉区間の列とする。 すなわち、任意のnNに対して、InRの閉区間で I1I2InIn+1 を満たすとする。このとき、次が成り立つ。
  • 任意のInに含まれる実数が存在する。すなわち nNIn,
  • 特に、In=[an,bn]として、limn(bnan)=0であれば(すなわち、区間がどんどん小さくなっていけば)、共通部分は一点αのみからなる集合である。すなわち、
  • nNIn={α} である。このとき、 limnan=limnbn=α である。

でした。
区間縮小法から、
(cR) s.t. c=limnan=limnbn
が成り立ちます。

(ステップ3)
次に、{xn}nNの部分列を次のように与えます。

  • n1=1とする。(x1[R,R]=[a1,b1])
  • xn1,,xnk1まで定まったとして、
    xn[ak,bk], n>nk1
    を満たすnN(これは無限個存在します。というより、無限個になるようにどんどん区間を狭めていく方法で区間を作りました。)のうち、最小の自然数をnkとおきます。

例えば、n2はどのように決まるかというと、xn[a2,b2]かつn>n1を満たすような自然数nの中で最小の自然数をn2とおくので、n1=1だからn>1なる自然数nで、xn[a2,b2]を満たす最小の自然数がn2です。。
ここで、必ずしもx2[a2,b2]とは限らないので、n2=2とは限りません。
さらに、新たに作った数列{nkkN}は狭義単調増加数列です。
実際、nkxn[ak,bk]かつn>nk1を満たす自然数nの中で最小のものなので、xnk[ak,bk]かつnk>nk1を満たすから、狭義単調増加数列です。
従って、任意のkNに対して、xnk[ak,bk]なのだから、任意のkKに対してakxnkbkです。
この{xnk}kNが収束していれば証明は終わります。

(ステップ4)
ここで、次の事実を使います。

はさみうちの原理
{an}nN{bn}nN{cn}nNを実数の数列とする。 このとき、任意のnNに対してancnbnが成り立ち、かつある実数Aに対してlimnan=limnbn=Aが成り立つならば、limncn=Aである。

はさみうちの原理の証明

示すべきは、
(ϵ>0)(NN s.t. nN nN|cnA|<ϵ)
です。
つまり、上記を満たすようなNNを見つけてくれば良いです。
今、limnan=limnbn=Aが成り立っています、すなわち、数列{an}nNおよび{bn}nNが共にAに収束しているのだから、

  • (ϵ1>0)(N1N s.t. nN nN|anA|<ϵ1)
  • (ϵ2>0)(N2N s.t. nN nN|bnA|<ϵ2)

が成り立っています。
つまり、上記をそれぞれ満たすような自然数N1およびN2を見つけることができます。
さらに、上記は全ての正の実数ϵ1およびϵ2で成り立つのだから、ϵ=ϵ1=ϵ2としても成り立ちます。
ここで、NN1N2のうち、大きい方とします。
記号で書けば、N=max{N1,N2}とします。
すると、nNを満たす自然数nに対して、
|anA|<ϵ|bnA|<ϵ
が任意の正の実数ϵに対して成り立っています。
仮定から、任意のnNに対してancnbnであるから、anAcnAbnAです。
さらに、|anA|<ϵかつ|bnA|<ϵなのだから、
ϵ<anAcnAbnA<ϵ
です。
故にϵ<cnA<ϵであるから、
nN) nN|cnA|<ϵ
を満たします。
従って、
(ϵ>0)(NN s.t. nN nN|cnA|<ϵ)
であるから、limncn=Aです。

はさみうちの原理の証明終わり

(ステップ4)の証明に戻る。
今、limkak=limkbk=cなのだから、はさみうちの原理により、
limkxnk=c
となり、{xnk}kNは収束します。

ボルツァーノ-ワイエルシュトラスの定理の証明終わり

余談その2(読み飛ばしてOKだけど結構重要だと思うのでもしよかったら読んでください。)

「証明は読んで、なんとなく分かるし、正しいな。」と思うけれども、なにか腑に落ちないというか、「これ、本当に分かったのかな。」と不安にならなかったでしょうか。
筆者は一番最初「ふーん。そうやって証明するんだ。」と単に思っただけだったのだが、再びこの定理の証明に取り掛かったとき、「ん〜。まあ確かに正しいけれども。なんか腑に落ちないというか、分かった気になってるだけじゃね?」と少々不安になりました。
もし読者がその感覚を持っているのであればぜひ大事にしてほしい。
というのも、腑に落ちないというかモヤモヤしていることの根底には「なんでそんなの思いつくんだよ。」という、どうしてその発想に至ったのかがわからいという疑問があるからだと筆者は思います。
この「どうしてその発想に至ったのか」ということが分かって真に理解したと言えるのではないかと感じています。

今回の場合においては、「数列が収束するとは?」という条件を別の視点から言い換えてみると光が見えてくると思われます。
数列{an}nNaRに収束するというのは、
(ϵ>0)(NN s.t. nN nN|ana|<ϵ)
が成り立つということでした。
これは今まで、

ある番号N以降の数列の値a_nはaと十分に近い。

というような説明してきました。
しかし、言い方を変えてみると、

|ana|<ϵが任意の正の実数ϵで成り立たないようなanは高々有限個しか存在しない。

とも言えるのです。
「ある番号N以降は全部|ana|<ϵが成り立つ」のだから、その番号までは、すなわちN1番目までは|ana|ϵが成り立つということです。
つまり、|ana|ϵが成り立つようなanN1個しか無いのだから有限個しか存在しないのです。
より直感的に言えば、収束する数列というのは、収束先に(極限に)近づけば近づくほど点が密集している、ということなのです。
今、収束するような部分列を見つけたいのだから、結局は収束する数列を作りたいわけです。
それ故、「より点が密集しているのはどこかな?」ということを区間の長さを半分ずつにしていくことで探索し、収束する数列を見つけようとした、ということがこの部分列を作るときの初手の発想です(と思います)。
部分列は単に数列の一部分を取ってくればよいのではなくて、順番が大事です。
もし、単に数列の一部分を取ってきてしまったら、収束しなくなってしまう場合があります。
これは先に述べた「収束先に(極限に)近づけば近づくほど点が密集しているのが収束列である」ということに反してしまう可能性があるからです。
ゆえに順番が大事なのだが、その順番を正しく並べるためにxn[ak,bk]かつn>nk1が成り立つような自然数nの中で最小のものを選んで新しい番号としています。
これにより正しい順番が担保されているのです。

実数の連続性との関係は?

実数の連続性との関連は序で少々述べたとおりです。
つまり、ボルツァーノ-ワイエルシュトラスの定理は

どんな実数にもその十分近くにまた実数がある。

という直感に対応します。
というのも、結局は収束する数列が見つけてこれる、という話なのだから、直感としては上記に対応するのです。

ちょいと補足しておけば、「有界な閉区間の中のどんな数列に対しても、その一部をうまく取ることで収束列を作り上げることができる。」ということがこの定理の主張です。
つまり、「有界な閉区間さえあれば、適当に数列を作ったとしても、その数列が収束するか否かに関わらず、その閉区間の中で必ず収束する数列を新たに作れる」ということです。
そういう意味でこれは強力な定理だと言えるのではないかと感じます。

話を戻すと、実はボルツァーノ-ワイエルシュトラスの定理から「ある数列が収束することと、その数列がコーシー列であるということは同値」(これを単に「コーシー列の収束」ということもある)ということが証明されます。
さらに、この命題からワイエルシュトラスの上限公理を導き出す事ができるので、

  • デデキントの定理
  • ワイエルシュトラスの上限公理
  • 有界な単調列は収束する。
  • 区間縮小法+アルキメデスの原理
  • ボルツァーノ-ワイエルシュトラスの定理
  • コーシー列の収束

が同値であることが分ります。
これは後の記事(↓)で解説します。

今回は区間縮小法とアルキメデスの原理からボルツァーノ-ワイエルシュトラスの定理の証明をした。
実は、この定理の証明は区間縮小法の証明と作業が似ているということが特徴である。

また、余談として筆者の頭の中も少々説明した。
参考になれば嬉しい。

次回は「コーシー列って?」ということについて書く。
ネタバラシしておくと、実数の範囲ではコーシー列は必ず収束する。
逆に収束列は必ずコーシー列である。

この事実からワイエルシュトラスの上限公理を導く事ができる。
故に、

  • デデキントの定理
  • ワイエルシュトラスの上限公理
  • 有界な単調列は収束する。
  • 区間縮小法+アルキメデスの原理
  • ボルツァーノ-ワイエルシュトラスの定理
  • コーシー列の収束

が同値であることが示される。

乞うご期待!質問、コメントなどお待ちしております!

コメントをする

タイトルとURLをコピーしました