本記事の内容
本記事は
- デデキントの切断
- デデキントの定理
を説明し、デデキントの定理を証明する記事です。
本記事を読むにあたり、実数の連続性のイメージについて知っているとより理解が深まると思われますので、是非以下の記事も参照してください。
また、
この記事を理解するためには、集合および論理の初歩を理解していることが前提であるため、以下の記事も合わせて御覧ください。
※【論理と集合シリーズ】と銘打ってシリーズ化しているため、その一部のリンクを貼っています。
↓論理の初歩
↓集合の初歩
デデキントの切断について
デデキントの切断は「実数の数直線には”すき間”が無い」に対応します。
ここでは、「整数と有理数は知ってるが、実数なんて知らんヨ」という立場で書きます。
リヒャルト・デデキントは「連続性が担保される数があれば、その数は数直線を切断した面として捉えられるんじゃないか？」と思ったわけです。
整数の切断(直感的な理解)
まずは切断の直感的な理解を整数で説明します。
下図のように、整数の数直線を考えます。
このとき、11と2の間などには整数は存在していません(12は整数でない)ので、”すき間”があります。
このとき、下図のように、この数直線を好きなところで切ります。
その切り口から左側を下組、右側を上組と呼ぶことにすると、下組には必ず最大値が存在して、上組には必ず最小値が存在します。
これは図のように、切り口が”すき間”にある場合だけに言えることではなく、切り口が数のところでも同じで、下組には最大値が、上組には最小値が存在します。
というのも、例えば2のところが切り口だったとして、この2を下組(上組でも良い)に入れたとき、下組の最大値は2で、上組の最小値は3です。
2を上組に入れたとき、下組の最大値は1で、上組の最小値は2です。
有理数の切断
今度は有理数について同じようにやってみましょう。
しかしながら、有理数の切断は整数ほど直感的には理解するのが難しいです。
というのも、有理数の数直線には一見すると”すき間”が無いように見えるからです。
例えば、こんな状況です。
0と2の間にある有理数ってどんなのがある？
そりゃいっぱいありそうなもんだけれど、まず1があるよね。
そうだね。じゃあ0と1の間にある有理数ってどんなのがある？
12とかじゃない？
そうだね。じゃあ0と12の間は？
14とか。
というように、この操作はいくらでもできます(0ともう一方の数を足して2で割ればいいから)。
すなわち、どんな2つの有理数の間にもまた有理数がある、という性質がある。
これを稠密性(ちゅうみつせい)という。
論理式で書けば、次です。
稠密性というのは、直感的には「ぎっしり詰まっている」ということで、「であれば、有理数の数直線には”すき間”が無いのではないかネ？」となるかもしれません。
実は、有理数の数直線にはしっかり”すき間”があります。
これは後述する有理数の切断で説明します。
切断の数学的な理解
まずは「切断」というものを数学的に説明します。
言ってしまえば、「ある(大小関係があるような)集合に対する切断とはある特別な性質を持つ集合の組」のことです。
その性質というのは、
- 2つの集合の和集合は全体の集合と一致している。
- 2つの集合は接していない。（全体の集合はピッタリ2つに分かれている。）
- 2つの集合はそれぞれ空集合でない。（なにかしらの要素がある。）
- 片方の集合に入っている全ての要素は、もう一方の集合に入っている全ての要素よりも小さい。
ということです。
これを論理式で書くと、次です。
- K=A∪B
- A∩B=∅,
- A≠∅, B≠∅,
- a∈Aかつb∈Bならばa<b.
先の整数の数直線を切る、ということを上記の切断に当てはめてみましょう。
例1.(切り口が”すき間”にあるとき)
- K=Z,
- A={x∈Z∣x≤1},
- B={x∈Z∣x≥2} .
とします。
このとき、
- K=A∪B
「任意のk∈Kに対して、k∈Aまたはk∈B」、および「任意のxに対して、x∈A∪Bならばx∈K」を示せば良いです。
（集合が等しいとはこれを示すことだった！）
任意のk∈Kに対して、K=Zであるため、k≤1か、k≥2のいずれか一方が成り立ちます。
実際、仮にk≤1かつk≥2が成り立ったとすると(背理法！)、2≤k≤1となり、2≤1を得ますが、これは矛盾です。
従ってk∈Aまたはk∈Bですから、k∈A∪Bです。
一方、任意のx∈A∪Bに対して、x∈Aまたはx∈Bですが、x∈Aであったとしても、x∈Bであったとしても、x∈Zであるため、K=Zなのだからx∈Kです。 - A∩B=∅
仮にA∩B≠∅だったとすると(背理法！)、あるzが存在してz∈A∩Bを満たします。
このときは、すでに1.で矛盾が生じることに言及しています。 - A≠∅, B≠∅
1∈Aかつ2∈Bであるため、成り立ちます。 - a∈Aかつb∈Bならばa<b.<br>
任意のa∈Aに対して、a≤1であり、任意のb∈Bに対して、2≤bであるから、a≤1<2≤bによりa<bです。
例2.(切り口に数があるとき)
- K=Z,
- A={x∈Z∣x≤1},
- B={x∈Z∣x>1} .
とします。
このとき、
- K=A∪B
「任意のk∈Kに対して、k∈A∨k∈B」および「任意のx∈A∪Bならばx∈K」を示せば良いです。
任意のk∈Kに対して、K=Zであるため、k≤1か、k>1のいずれか一方が成り立ちます。
実際、仮にk≤1かつk>1が成り立ったとすると(背理法！)、「(x<1かつx>1)または(x=1かつx>1)」が真です。
しかし、1<x<1なる整数xは存在しないため、「x<1かつx>1」という命題は偽です。
さらに、「x=1かつx>1」という命題も1<1となり、偽です。
これは矛盾です。
従ってk∈Aまたはk∈Bです。
故にk∈A∪Bです。
一方、任意のx∈A∪Bに対して、x∈Aまたはx∈Bですが、x∈Aであったとしても、x∈Bであったとしても、x∈Zであるため、K=Zなのだからx∈Kです。 - A∩B=∅
仮にA∩B≠∅だったとすると(背理法！)、あるzが存在してz∈A∩Bを満たします。
このときは、すでに1.で矛盾が生じることに言及しています。 - A≠∅, B≠∅
1∈Aかつ2∈Bであるため、成り立ちます。 - a∈Aかつb∈Bならばa<b
任意のa∈Aに対して、a≤1であり、任意のb∈Bに対して、2<bであるから、a≤1<bによりa<bです。
有理数の切断
整数の切断のときと同じようなことをしてみましょう。
例3.
- K=Q,
- A={q∈Q∣q<12},
- B={q∈Q∣q≥12},
とすると、(A,B)は切断です。
このとき、
- K=A∪B
「任意のk∈Kに対して、k∈A∨k∈B」および「任意のxに対して、x∈A∪Bならばx∈K」を示せば良いです。
任意のk∈Kに対して、K=Qであるため、k<12か、k≥12のいずれか一方が成り立ちます。
実際、仮にk<12かつk≥12が成り立ったとすると(背理法！)、「(x<12かつx>12)または(x=12かつx>12)」が真です。
しかし、12<x<12なる有理数xは存在しないため、「x<12かつx>12」という命題は偽です。
さらに、「x=12かつx>12」という命題も12<12となり、偽です。
これは矛盾です。
従ってk∈Aまたはk∈Bであるから、k∈A∪Bです。
一方、任意のx∈A∪Bに対して、x∈Aまたはx∈Bですが、x∈Aであったとしても、x∈Bであったとしても、またx∈A∩Bだったとしても、x∈Qであるため、K=Qですからx∈Kです。 - A∩B=∅
仮にA∩B≠∅だったとすると(背理法！)、あるzが存在してz∈A∩Bとなります。
このときは、すでに1.で矛盾が生じることに言及しています。 - A≠∅, B≠∅
14∈Aかつ32∈Bであるため、成り立ちます。 - a∈A∧b∈B⇒a<b
任意のa∈Aに対して、a<12であり、任意のb∈Bに対して、12≤bであるから、a≤12<bによりa<bです。
例4.
- K=Q,
- A={q∈Q∣q≤13},
- B={q∈Q∣q>13},
とすると、(A,B)は切断です。
このとき、
- K=A∪B
- A∩B=∅
- A≠∅, B≠∅
- a∈Aかつb∈Bならばa<b
が成り立ちます。
ただし、証明は例3.と殆ど同じですので、省略します。
例5.（重要）
負の有理数の集合をQ−={q∈q∣q<0}と書くことにします。
このとき、
- K=Q,
- A={q∈Q∣q2≤2}∪Q−,
- B={q∈Q∣q2>2},
とすると、(A,B)は切断です。
- K=A∪B
「任意のk∈Kに対して、k∈Aまたはk∈B」および「任意のxに対してx∈A∪Bならばx∈Kを示せば良いです。
任意のk∈Qに対して、k=0,k>0,k<0のいずれかが成り立ちます。
k=0のとき、k∈Aです。
k<0のときはk∈Q−⊂Aですので、k∈Aです。
k>0のとき、k2>2かk2≤2のいずれかが成り立つことを示せば良いです。
仮にk2>2かつk2≤2であれば、2<k2≤2となり、2<2となるから矛盾です。
従って、k2>2とk2≤2のいずれか一方が成り立ちます。
故にk∈A∪Bが成り立ちます。
一方、任意のx∈A∪Bに対して、x∈Aまたはx∈Bですが、x∈Aであったとしても、x∈Bであったとしても、またx∈A∩Bだったとしても、x∈Qであるため、K=Qですからx∈Kです。 - A∩B=∅
仮にA∩B≠∅だったとすると(背理法！)、あるzが存在してz∈A∩Bを満たします。
このときは、すでに1.で矛盾が生じることに言及しています。 - A≠∅, B≠∅
−14∈Aかつ32∈Bですので、成り立ちます。 - a∈Aかつb∈Bならばa<b
任意のa∈Aに対して、「(a<0)または(a>0かつa2≤2)」です。
また、任意のb∈Bに対して、「(b>0)かつ(a>0かつb2>2)」です。
従って、a2≤2<b2です。
a<0ならば、b>0によりa<bです。
a>0かつa2<2であれば、a2<b2と(a+b)(a−b)<0は同値ですので−b<a<bだからa<bである。
例3,4,5を見てみると、それぞれ
- 例3:下組に最大値が無い、かつ上組に最小値がある。(切り口に対応する数有)
- 例4:下組に最大値があり、かつ上組に最小値がない。(切り口に対応する数有)
- 例5:下組に最大値が無く、かつ上組にも最小値がない。(q2=2という有理数は存在しないから。)(切り口に対応する数無)
という場合です。
※例5.の場合は(0,1]に最大値1はあるけど、最小値は存在しない、と高校で習ったと思います。
| 最大値 | 最小値 | 切り口に対応する数 | |
| 例3 | なし | 12 | 12 |
| 例4 | 13 | なし | 13 |
| 例5 | なし | なし | なし |
このとき、重要なのは
ということです。
これはすなわち、
ということです。
ちなみに、場合としては
- 下組に最大値があり、かつ上組に最小値ある
も考えうるのですが、この場合は有理数では起こり得ません。
仮にA,Bが有理数の部分集合で、Aには最大値aが、Bには最小値bがあったとします。
このとき、有理数の稠密性から、aとbの間には必ず有理数cが存在します(a<c<bを満たす有理数cが存在する)。
しかしこのcは有理数であるにも関わらず、Aの要素でもなければ、Bの要素でもありません。
したがって、切断の条件Q=A∪Bを満たしません。
故に、この場合は起こり得ないのです。
さて、例5には切り口に対応する数が存在しない、と述べたのですが、素朴に「であれば、その切り口にある数はどんな数かネ？」という疑問が生まれます。
この数こそが無理数なのです
例5.の場合、すなわち有理数の切断において、下組に最大値が無く、上組にも最小値がないような切断に対して、その切り口であるq2=2(あくまで一例)を満たす数を無理数と呼ぶというわけです。
ここで「q2=2なんていう数はあるんすか？」というツッコミが論破王から来そうなので、解説しておきます。
答えは「あります」です。
それは、1辺が1kmの正方形の土地を考えます。
この土地の対角線の長さは三平方の定理からq2=2kmを満たす数です。
つまり、q2=2kmを満たす数qを作図することができます。
すなわち、q2=2を満たす数は実在するのです。
以上により、有理数と無理数をあわせた集合において切断を考えると、必ず切り口に対応する数が存在することになります。
したがって、有理数と無理数を合わせた集合には一切”すき間”が無いということなのです。
有理数と無理数をあわせた集合の要素を実数と呼ぶことで、実数には一切すき間がない、と言えるのである。
「実数って？」という疑問に対する回答
先に「実数は有理数と無理数をあわせた集合の要素だ」と述べました。
これは、有理数と無理数をあわせた集合に切断を考えることに寄って、一切”すき間”が無いということから言えます。
つまり、有理数の切断の切り口には必ず数が対応してますよ、と言っているわけす。
従って、「有理数の切断の切り口を実数と呼ぶんですよ」と言っても良いのです。
更に言い換えれば、「有理数の切断の切り口には必ず数が対応するのだから、切断を考える、ということは1つの有理数を考えることと同じことだよね 」ということもできます。
すなわち、
言いたかったこと(デデキントの定理)
本記事で言いたかったことは、実数の集合に対して次の定理が成り立つということです。
- Aには最大値が無く、Bには最小値rがある。
- Aには最大値rがあり、Bには最小値がない。
つまり、切断で考えられる4パターンのうち、実数の切断では下組と上組のどちらか一方に最大値または最小値があるパターンに限る、ということです。
さらにいえば、実数の切断では、切り口に必ず数が存在してますよ、ということである。
結
今回は「デデキントの切断」と「デデキントの定理」を説明して、証明を与えました。
デデキントの定理は
という直感に対応する概念です。
次回は、「上に有界、上界、上限、下に有界、下界、下限」を説明します。
乞うご期待！質問、コメントなどお待ちしております！
コメントをする