Processing math: 100%
スポンサーリンク

コーシー列と実数の連続性との関係は？

実数の連続性
2022.03.19

本記事の内容

本記事は前回(【解析学の基礎シリーズ】実数の連続性編 その18)で証明した「ある数列が収束することとコーシー列であることは同値」という命題からワイエルシュトラスの上限公理を証明する記事です。

本記事はコーシー列とワイエルシュトラスの上限公理を知っている必要になるため、以下の記事も合わせて御覧ください。

↓コーシー列の記事

コーシー列とは？コーシー列の例
...
for-spring.com
2022.03.17

↓ワイエルシュトラスの上限公理の記事

デデキントの定理⇒上限公理
...
for-spring.com
2022.03.07

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

前回(【解析学の基礎シリーズ】実数の連続性編 その18)の記事で「数列が収束列であることとコーシー列であることは同値」ということが分かったので、コーシー列は収束列です。
つまり、コーシー列というのは

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

という直感に対応するので、実数の連続性と関係があります。

直感的でない言い方をすれば

「数列が収束列であることとコーシー列であることは同値」+「アルキメデスの原理⇒ワイエルシュトラスの上限公理

が成り立つので、実数の連続性関係がある、ともいえます。
ここでは、「数列が収束列であることとコーシー列であることは同値」という真なる命題を「コーシーの収束条件」と呼ぶことにします。
では、定理を明示しましょう。

定理6. コーシーの収束条件+アルキメデスの原理⇒ワイエルシュトラスの上限公理

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

  • (ステップ1) 任意のb∈Bと任意のc∈Cとの関係式を導出。
  • (ステップ2) 先程の関係式を使って、単調増加数列と単調減少数列を作る。
  • (ステップ3) 作った2つの数列が共にコーシー列であることを示す。
    ここでアルキメデスの原理を使う。
  • (ステップ4) 作った2つの数列が同じ値に収束することを示す。
    コーシー列は収束するのだから、それぞれの収束先が一致することを示す。
  • (ステップ5) その収束先がAの上限であることを示す。

定理6.の証明

何を示したいのかと言うと、ワイエルシュトラスの上限公理を示したいわけです。
ワイエルシュトラスの上限公理は何だったか、というと以下でした。

ワイエルシュトラスの上限公理(上限公理、有界性公理) A⊂R、A≠∅、Aは上に有界であるとする。このときAの上限supAが存在する。 つまり、上に有界かつ空でないRの任意の部分集合は上限を持つ。

つまり、コーシーの収束条件とアルキメデスの原理を仮定したとき、A⊂Rが上に有界かつ空でないならば、supAが存在する、ということを証明したいわけです。

では証明に入ります。
(ステップ1)
A⊂Rが上に有界かつ空でないとします。
このとき、supAが存在することを示します。
Aの上界の集合をBとし、C=Bc=R∖Bとします。
(※デデキントの定理⇒ワイエルシュトラスの上限公理を証明するときに似ている！)
Aは上に有界なのだから、ある実数Mが存在して、任意のa∈Aに対してa≤Mです。
このときMはAの上界なのだから、M∈Bです。
従って、B≠∅です。
C=R∖Bであるので、RからAの上界を取り除いた集合だから、CはAの上界でない実数の集合です。

このとき、任意のb∈Bと任意のc∈Cに対して、あるa∈Aが存在して、c<a≤bが成り立ちます。
なぜならば、cはAの上界でないのだから、
(∀c∈C)(∃a0∈A s.t. a>c)
(※これはcがAの上界であることの否定！上界については【解析学の基礎シリーズ】実数の連続性編 その3を御覧ください)が成り立ちます。
すなわち、上記を満たすようなa0∈Aを見つけてくることができます。
一方、BはAの上界の集合だったので、任意のb∈BはAの上界なのだから、任意のb∈bと任意のα∈Aに対してα≤bが成り立ちます。
これは任意のα∈Aで成り立つので、α=a0だったとしても成り立ちます。
従って、aとしてa0を採用することで、任意のb∈Bと任意のc∈Cに対して、あるa∈Aが存在してc<a≤bが成り立ちます。

(ステップ2)
次に数列を作ります。
b0∈Bとc0∈Cを1つずつとり、以下のように帰納的に(順番に)数列{bn}n∈Nと{cn}n∈Nを作ります。

  • b0+c02∈Bのとき、b1=b0+c02、c1=c0とします。
  • b0+c02∈Cのとき、b1=b0、c1=b0+c02とします。

同様にして、

  • b1+c12∈Bのとき、b2=b1+c12、c2=c1、
  • b1+c12∈cのとき、b2=b1、c2=b1+c12

とします。
新たな記号を使って書けば、dn=bn+cn2としたとき、

  • dn∈Bのとき、bn+1=dn、cn+1=cnとします。
  • dn∈Cのとき、bn+1=bn、cn+1=dnとします。

このようにして、数列{bn}n∈Nと{cn}n∈Nを作ります。

このとき、数列{bn}n∈Nは単調減少数列であり、数列{cn}n∈Nは単調増加数列す。
実際、
bn+1={bnbn+cn2
なので、
bn+1−bn={bn−bn=0≤0bn+cn2−bn=cn−bn2
です。

ここで、任意のb∈Bと任意のc∈Cに対して、あるa∈Aが存在して、c<a≤bが成り立ちます。
また、任意のn∈Nでcn∈Cかつbn∈Bであるので、任意のn∈Nに対してcn<bnとなるからcn−bn<0となります。
ゆえに数列{bn}n∈Nは単調減少数列です。

同様に
cn+1={cnbn+cn2
なのだから、
cn+1−cn={cn−cn=0≥0bn+cn2−cn=bn−cn2
です。
ここで、任意のb∈Bと任意のc∈Cに対して、あるa∈Aが存在して、c<a≤bが成り立ちます。
また、任意のn∈Nでcn∈Cかつbn∈Bであるので、任意のn∈Nに対してcn0となります。
ゆえに数列{cn}n∈Nは単調増加数列です。

(ステップ3)
このとき、数列{bn}n∈Nおよび数列{cn}n∈Nはコーシー列です。
これを示すためにアルキメデスの原理を使います。
さて、数列{bn}n∈Nおよび数列{cn}n∈Nがコーシー列であることを示したいので、
(∀ϵ1>0)(∃N1∈N s.t. ∀m,n∈N m,n≥N1⇒|bm−bn|<ϵ1)
かつ
(∀ϵ2>0)(∃N2∈N s.t. ∀m,n∈N m,n≥N2⇒|cm−cn|<ϵ2)
であることを示したいわけです。
まずは
数列{bn}n∈Nについて示します。
アルキメデスの原理を使います。
これは何だったかというと、

アルキメデスの原理 (∀a∈R>0)(∀b∈R>0)(∃N0∈N) s.t. b<N0a ただし、R>0={x∈R∣x>0}、すなわち正の実数の集合である。

でした。
この事実の証明は【解析学の基礎シリーズ】実数の連続性編 その12を参照してください。

アルキメデスの原理において、aおよびbは任意の正の実数なのだから、a=ϵ1と書き直して、b=b0−c0としても成り立ちます。
従って、
(∀ϵ1>0)(∃N∈N s.t. b0−c0<Nϵ)
が成り立ちます。
つまりb0−c0N<ϵ1を満たすような自然数Nを見つけてくることができます。
このとき、N1としてNを採用します。
k,l∈Nがk,l≥N1のとき、数列{bn}n∈Nは単調減少数列であるので、bN1≥bkです。
従って、
|bk−bl|≤|bN1−bl|
です。
また、任意のn∈Nでbn≤cnなのだから、
|bN1−bl|≤|bN1−cN1|
です。
さらに、任意のn∈Nで2n>n(【解析学の基礎シリーズ】実数の連続性編 その12の補題7.の証明を参照してください)であり、{bn}n∈Nは単調減少数列、{cn}n∈Nは単調増加数列であることから、
|bN1−cN1|=b0−c02N1≤b0−c0N1<ϵ1
が成り立ちます。
これをまとめて、k,l∈Nがk,l≥N1のとき、
|bk−bl|<ϵ1
が成り立ちます。
従って、数列{bn}n∈Nはコーシー列です。

同様にして、アルキメデスの原理において、aおよびbは任意の正の実数なのだから、a=ϵ2と書き直して、b=b0−c0としても成り立ちます。
従って、
(∀ϵ2>0)(∃N∈N s.t. b0−c0<Nϵ)
が成り立ちます。
つまりb0−c0N<ϵ2を満たすような自然数Nを見つけてくることができます。
このとき、N2としてNを採用します。
k,l∈Nがk,l≥N2のとき、数列{cn}n∈Nは単調増加数列であるので、cN1≤clです。
従って、
|ck−cl|≤|ck−cN2|
です。
また、任意のn∈Nでbn≤cnなのだから、
|ck−cN2|≤|bN2−cN2|
です。
さらに、任意のn∈Nで2n>n(【解析学の基礎シリーズ】実数の連続性編 その12の補題7.の証明を参照してください)であり、{bn}n∈Nは単調減少数列、{cn}n∈Nは単調増加数列であることから、
|bN2−cN2|=b0−c02N2≤b0−c0N2<ϵ2
が成り立ちます。
これをまとめて、k,l∈Nがk,l≥N2のとき、
|ck−cl|<ϵ2
が成り立ちます。
従って、数列{cn}n∈Nはコーシー列です。

(ステップ4)
さて、「数列が収束列であることとコーシー列であることは同値」なのだから、{bn}n∈Nも{cn}n∈Nも収束します。
従って、
(∃b∈R s.t. limn→∞bn=b)かつ(∃c∈R s.t. limn→∞cn=c)
が成り立ちます。
つまり、{bn}n∈Nはb∈Nに、{cn}n∈Nはc∈Rに収束するとする、というわけです。
このとき、limn→∞(bn−cn)を考えてみます。
もしこの極限が0であれば、b=cが成り立ちます。
実際、この極限は0です。
というのも、
limn→∞(bn−cn)=limn→∞b0−c02n=0
だからである(【解析学の基礎シリーズ】実数の連続性編 その12の補題7.を参照してください)。
従って、b=cです。
このとき、supA=b=cであれば、証明は終わりです。

(ステップ5)
では最後にsupA=b=cを証明します。
b=cであるから、supA=bを示せば良いです(勿論、supA=cを証明しても良い)。
supA=b、すなわち、bがAの上限であることを示したいので、次が示されれば良いです。

  1. (∀a∈A)a≤b,
  2. (∀ϵ>0)(∃a∈A) s.t. a>b−ϵ

まずは1.、すなわちbがAの上界である事を示します。
BはAの上界の集合なのだから、任意のn∈Nおよび任意のa∈Aに対して、a≤bnです。
従って、limn→∞a≤limn→∞bnが成り立ちます。
故にa≤bである(補題5.と【解析学の基礎シリーズ】実数の連続性編 その11の補題4.を参照してください)。
従って、任意のa∈Aに対して、a≤bなのだから、1.が示されました。

次に2.を示します。
今、limn→∞cn=bであるから、
(∀ϵ>0)(∃N∈N s.t. ∀n∈N n≥N⇒|cn−b|<ϵ)
が成り立っています。
すなわち、n≥Nなる自然数nに対して|cn−b|<ϵを満たすような番号Nを見つけてくることができます。
従って、n≥Nなるn∈Nに対して−ϵ<cn−b<ϵ であるので、n≥Nなるn∈Nに対してb−ϵ<cnです。
ここで、任意のn∈Nに対して、cn∈C=R∖Bであるので、cn∉Bなのだから、cnはAの上界ではありません。
従って、任意のn∈Nに対して、あるa∈Aが存在して、cn≤aです(cnがAの上界であることの否定！)。
これは任意のn∈Nで成り立っているのだから、先程見つけたN以上の自然数でも、つまりn≥Nであっても成り立ちます。
従って、n≥Nなるn∈Nに対して、cn≤aが成り立っています。
故にb−ϵ<cn≤aが成り立ちます。
以上のことから(∀ϵ>0)(∃a∈A) s.t. a>b−ϵが成り立つので、bはAの上限です。

定理6.の証明終わり

余談(読み飛ばしてOK。筆者の勘所)

上記の証明において、{bn}n∈Nと{cn}n∈Nコーシー列であることを示した部分がありました。
以前の記事でも少々述べたことだが、これはある番号を見つけてくるという証明です。
つまり、「〇〇が存在する。」ことの証明なのです。
証明ではサラッと「アルキメデスの原理を使います」なんて言っているのですが、筆者が最初に学んだときは「どうしてその発想に至ったのか」サッパリわかりませんでした。
「そりゃ確かにうまくいくけどさ。今までの証明の流れからしてアルキメデスの原理を使いそうだな、なんて思わなかったけど。」となりました。
そこで気がついたことを書いてみようかなと思います。
要は「どうやって見つけんだよ！」ということの一例を挙げるわけです。

証明の道中では
(∀ϵ1>0)(∃N1∈N s.t. ∀m,n∈N m,n≥N1⇒|bm−bn|<ϵ1)
を示したかったわけです。
つまり、上記を満たすような番号N1を見つけたいわけです。
ここで一旦詰まるわけです。
そこで考え方をちょっと変えてみます。
「もし、そんな(上記を満たすような)N1があったら…」 と考えるのです。
もし、そのようなN1があったならば、{bn}n∈Nは単調減少数列なので、k,l≥N1なる自然数k,lではbk≤bN1かつbl≤bN1です。
また、任意のb∈Bおよび任意のc∈Cに対してc<bです。
これを使えば、
|bk−bl|≤|bN1−bl|≤|bN1−cN1|
を得ます。
|bN1−cN1|は区間[cN1,bN1]の長さなので、|bN1−cN1|=b0−c02N1です。
ここで、「これは前に0に収束することを示したな！」と思い至るわけです。
思い至らなくても、「b0−a02N1は0に収束するんじゃね？」と思えれば十分です。

すると、自然数nに対して、2n>nなのだから、b0−c02N1<b0−c0N1です。
ということは、もし、任意のϵ>0に対して、b0−c0N1<ϵというN1が見つけてこれれば、全て辻褄が合います。
ここでアルキメデスの原理が使える！と思い至るのです。
従って、
(∀ϵ1>0)(∃N1∈N s.t. b0−c0<N1ϵ)
というN1を取ればいいんだ！となるわけです。
その後に、ようやく証明を文字に起こすのです。

この話のミソとしては、

「〇〇が存在する。」という形式の証明は、「もしそういう〇〇があったら…」という考え方をして、「どうやったら辻褄が合うかな…」ということを条件を鑑みて探索する。

ということです。
数学をやってると、「論理的でなければならない！」という発想に至るかもしれません。
実は、筆者はそうでした。
つまり「もしそういう〇〇があったら…なんてやってしまったら勝手に仮定を追加する事になってしまって、主張としては別物になってしまうのではないか？」と抵抗がありました。
しかしながら、これは間違いだと今は思っています。
「もし〇〇があったら、どういうような展開になるのかな。」とまずは考えて探索し、その後本当に辻褄が合うのかを再度検討するのです。
このように考えるようになって、証明を考えるときに以前よりも時間がかからなくなり、理解しやすくなったと感じます。

結

今回は「ある数列が収束することとコーシー列であることは同値」という命題からワイエルシュトラスの上限公理を導出しました。

これにより、

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

が同値であることをを間接的ではあるが、証明したことになります。

次回は論理と集合シリーズの新シーズンということで「写像」について説明します。

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

スポンサーリンク

コメントをする

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