デデキント切断（Dedekind cut）について解説しているサイトは数多くあります。しかし、その多くは「デデキント切断の定義」を説明するところで終わってしまい、なぜそれによって実数を定義できるのかという本質的な部分まで踏み込んでいません。
なかには「有理数の間にある隙間を表すもの」とだけ説明されていることもあります。しかし、それだけではデデキント切断の本当の価値は見えてきません。
デデキント切断が数学史の中で重要な役割を果たした理由は、有理数を出発点として実数を厳密に構成できることにあります。
もしデデキント切断が単に「有理数の間を切るための概念」に過ぎなかったなら、ここまで有名になることはなかったでしょう。
デデキント切断の本当の意義は、「数とは何か」を集合論的に定義できる点にあります。本記事では、定義だけでなく、その先にある実数構成の考え方についても解説します。
デデキント切断とは
まずはデデキント切断の定義を確認しましょう。
全順序集合 K を、一方の集合のすべての元が他方の集合のすべての元より小さくなるような二つの部分集合に分割する。
K = A ∪ B,
A ≠ ∅, B ≠ ∅,
a ∈ A, b ∈ B ⇒ a < bこのような組 (A,B) をデデキント切断という。
Wikipedia
定義そのものについては、多くの解説記事で詳しく説明されていますので、本記事では「なぜこの定義が重要なのか」という視点を中心に見ていきます。
デデキント切断は有理数集合 \(\mathbb{Q}\) に対して適用することで実数を構成できます。しかし、それだけではありません。
- 整数 \(\mathbb{Z}\) をデデキント切断したら何が得られるのか。
- 実数 \(\mathbb{R}\) をデデキント切断したらさらに大きな数体系が得られるのか。
このような問いも自然に生まれます。
ただし、デデキント切断の定義を与えただけでは実数は構成できません。実数として扱うためには、その切断同士に対して加法・減法・乗法・除法や大小比較を定義し、それらが通常の数と同じ性質を満たすことを示す必要があります。
デデキント切断の4つの型
デデキント切断を理解するうえで重要なのが、「切断された二つの集合がどのような境界を持つか」という点です。
集合 \(A\) に最大元があるか、集合 \(B\) に最小元があるかによって、デデキント切断は次の4種類に分類できます。
- 型1：\(A\) に最大元があり、\(B\) に最小元もある。
- 型2：\(A\) に最大元はあるが、\(B\) に最小元はない。
- 型3：\(A\) に最大元はないが、\(B\) に最小元がある。
- 型4：\(A\) に最大元もなく、\(B\) に最小元もない。
この分類は後で整数・有理数・実数を比較するときに非常に重要になります。
特に、有理数と実数の決定的な違いは「型4の切断が存在するかどうか」に現れます。
よくある誤解
「デデキント切断は二つの集合の間にある隙間を表している」という説明は、イメージとしては便利ですが厳密には正しくありません。
デデキント切断はあくまでも二つの集合の組 \((A,B)\) です。
定義では \(K=A\cup B\) となっていますから、二つの集合を合わせれば元の集合全体になります。したがって、集合論的には「隙間そのもの」が存在しているわけではありません。
もちろん直感的な理解として「境界の位置に注目する」のは有効です。しかし、デデキント切断そのものは境界点ではなく、二つの集合の組であることを忘れないようにしましょう。
整数をデデキント切断する
まずは整数全体の集合 \(\mathbb{Z}\) をデデキント切断してみましょう。
整数集合 \(\mathbb{Z}\) は通常の大小関係によって全順序集合になっています。そのため、デデキント切断の対象として扱うことができます。
例えば次のような二つの集合を考えます。
A=\{\cdots,-2,-1,0,1\}
\\
B=\{2,3,4,5,\cdots\}
このとき、任意の \(a\in A\) と \(b\in B\) に対して \(a<b\) が成り立ちますので、\((A,B)\) は \(\mathbb{Z}\) のデデキント切断です。
さらにこの例では、
- \(A\) の最大元は \(1\)
- \(B\) の最小元は \(2\)
ですから、前節で紹介した分類では型1のデデキント切断になります。
実は整数のデデキント切断は、この例に限らずすべて型1になります。
その理由は、整数が持つ離散性にあります。
整数を二つの集合に分けると、必ず境界部分に隣接する整数が現れます。そのため、片方には最大元が、もう片方には最小元が必ず存在します。
厳密な証明には整数の順序構造や最大元・最小元の定義を用いる必要がありますが、直感的には理解しやすい性質でしょう。
ここで一つ疑問が生じます。
例えば上の切断を利用して、1と2の間にある有理数 \(1.5\) を表すことはできないのでしょうか。
結論から言うと、整数のデデキント切断だけでは有理数を定義することはできません。
なぜなら、そもそも整数自身をどのような切断として表現するのかという問題が発生するからです。
例えば整数 \(1\) を一つの切断で表し、有理数 \(3/2\) を別の切断で表そうとすると、切断同士の対応関係や演算を新たに定義しなければなりません。
つまり、整数のデデキント切断だけでは有理数体系を自然に構成することができないのです。
このため、デデキント切断を用いて新しい数体系を構築するときは、通常は整数ではなく有理数集合 \(\mathbb{Q}\) を出発点として考えます。
超現実数との違い
デデキント切断に似た構成として、コンウェイが考案した超現実数（Surreal Numbers）があります。
超現実数も二つの集合の組によって数を表現します。しかし、その考え方や構成方法はデデキント切断とは本質的に異なります。
有理数をデデキント切断する
ここからがデデキント切断の本番です。
有理数全体の集合 \(\mathbb{Q}\) は全順序集合ですので、デデキント切断を考えることができます。
\((A,B)\) を有理数のデデキント切断としましょう。
整数の場合と大きく異なるのは、有理数には整数のような離散性がないことです。
実際、有理数のデデキント切断について調べると次の事実が分かります。
- 型1の切断は存在しない。
- 型2の切断は存在する。
- 型3の切断は存在する。
- 型4の切断も存在する。
特に重要なのは、整数では現れなかった型4が存在することです。
型1が存在しない理由は、有理数の稠密性によります。
そのため、切断の境界で「左側に最大元があり、右側に最小元もある」という状況は起こりません。
もしそのような元が存在したなら、その二つの間に新たな有理数が存在してしまうからです。
一方で、型2・型3・型4は実際に存在します。
特に型4は、有理数だけでは表現できない数の存在を示唆しています。
後で見る \(\sqrt{2}\) の切断は、まさに型4の代表例です。
実数をデデキント切断する
次に、実数全体の集合 \(\mathbb{R}\) をデデキント切断してみましょう。
\(\mathbb{R}\) も全順序集合ですので、デデキント切断を考えることができます。
\((A,B)\) を実数のデデキント切断とします。
このとき実数のデデキント切断には次の特徴があります。
- 型2は存在する。
- 型3は存在する。
- 型1は存在しない。
- 型4も存在しない。
型1が存在しないのは、有理数の場合と同様に実数も稠密だからです。
しかし、本当に重要なのは型4が存在しないことです。
有理数では型4が存在しましたが、実数では消えてしまいます。
これは実数の連続性あるいは完備性と呼ばれる重要な性質です。
デデキント切断を用いて実数を構成する本質は、まさにこの型4の切断を「新しい数」として取り込むことにあります。
補足（デデキント切断と超現実数）
デデキント切断と超現実数は何が違うのか
デデキント切断と超現実数は、どちらも「二つの集合の組」を使って数を表現するため、一見するとよく似ています。
実際、初めて超現実数を学んだ人の多くは「これはデデキント切断の仲間なのでは？」と思います。しかし、その目的はまったく異なります。
デデキント切断の目的は、有理数の世界に存在する「足りない数」を補って、実数という完成された数体系を作ることです。
一方、超現実数の目的は、新しい数を際限なく生み出していくことにあります。
少し極端な言い方をすると、デデキント切断は「穴を塞ぐ作業」であり、超現実数は「新しい数を増殖させる作業」です。
デデキント切断は穴を塞ぐ
有理数だけを考えると、\(\sqrt{2}\) や \(\pi\) のような数は存在しません。
そこでデデキントは、有理数集合を二つに切り分ける方法そのものを新しい数とみなしました。
例えば \(\sqrt{2}\) の場合には、
- \(x^2<2\) となる有理数の集まり
- \(x^2>2\) となる有理数の集まり
という二つの集合に分けることができます。
すると、その切断は有理数では表現できない一つの境界を表しているように見えます。この境界そのものを「\(\sqrt{2}\)」と定義してしまおう、というのがデデキントの発想です。
つまりデデキント切断は、有理数の世界に見つかった穴を一つずつ埋めていく仕組みなのです。
そして驚くべきことに、その穴を全部埋め終えると実数になります。
実数まで到達すると、もはや同じ方法で埋めるべき穴は残っていません。実数のデデキント切断には型4が存在しないからです。
その意味で、デデキント切断は「一度だけ起こる進化」のようなものだと考えることができます。
超現実数は新しい数を作り続ける
一方、コンウェイの超現実数は考え方がまったく異なります。
超現実数では、すでに作られた数を利用して新しい数を生成します。
最初の日（Day 0）には数が何もありません。
そこで
\{\,|\,\}
という空集合の組から最初の数 \(0\) を作ります。
次の日には、その \(0\) を使って
\{0|\}=1,
\qquad
\{|0\}=-1
を作ります。
さらにその次の日には
\{0|1\}=\frac12
のような新しい数が生まれます。
この作業は終わることがありません。
数が増えれば増えるほど、その数を材料としてさらに新しい数が作れるからです。
やがて有理数だけでなく実数も現れますし、それどころか無限大や無限小まで現れます。
超現実数は「完成された体系を作る」というより、「数を無限に増殖させる宇宙」を作る理論なのです。
イメージで比較すると
両者とも「二つの集合の組」を使いますが、デデキント切断は実数を完成させる理論、超現実数は新しい数を生み続ける理論です。この違いを意識すると、見た目の類似性に惑わされずに両者を理解しやすくなります。
コメント
[…] デデキント切断のポイントをわかりやすく説明する […]