1 基本概念
非可算集合は、自然数と同じように一つずつ番号を付けて並べることができない集合である。集合論では、要素の個数を単なる有限・無限の別ではなく、濃度として比較する。非可算性は、無限集合の中でも「数え上げ不能」という性質を持つ点で重要である。
1.1 集合の濃度
集合の濃度とは、集合の要素数を抽象的に表す概念である。有限集合では通常の個数と一致するが、無限集合では対応関係によって比較する。二つの集合の間に全単射があるとき、それらは同じ濃度をもつとみなされる。
1.2 可算集合との違い
可算集合は、自然数全体の集合と同じ濃度をもつ集合、またはその部分集合として列挙できる集合を指す。これに対して非可算集合は、自然数に対応づけて順番に並べることができない。したがって、可算性は「数え上げ可能さ」、非可算性は「数え上げに失敗する性質」と言い換えられる。
1.3 非可算集合の定義
非可算集合とは、自然数全体と全単射をもたない集合である。別の言い方をすれば、要素を自然数で番号づけする方法が存在しない集合である。この性質は、無限集合の構造を区別する基本的な基準となる。
1.3.1 全単射による定式化
集合 \(A\) が非可算であるとは、自然数集合 \(\mathbb{N}\) から \(A\) への全単射が存在しないことを意味する。全単射があれば、各自然数に対してただ一つずつ要素を対応させられるが、非可算集合ではその対応が成立しない。濃度の比較は、この定式化によって厳密に行われる。
1.3.2 列挙不可能性
列挙不可能性は、非可算性を直感的に表す性質である。たとえば、集合の要素を \(a_1, a_2, a_3, \dots\) の形で並べようとしても、必ず並びに含まれない要素が残る。有限の手順や自然数による索引付けでは尽くせない点に、本質がある。
1.4 代表的な例
非可算集合の代表例は、実数全体の集合である。加えて、ある区間に含まれる数の集合や、ある集合の冪集合も非可算となる。これらは、無限集合の中でも特に大きな濃度を示す例として扱われる。
1.4.1 実数集合
実数全体の集合 \(\mathbb{R}\) は非可算である。整数や有理数とは異なり、実数は連続的に広がっており、自然数で一列に並べることができない。解析学では、この性質が連続量の基盤を与えている。
1.4.2 区間集合
実数のある区間、たとえば \((0,1)\) や \([0,1]\) も非可算である。区間は実数全体の一部であるが、部分集合であっても可算とは限らない。むしろ、有限な長さの区間であっても、要素は自然数では数え尽くせないほど多い。
1.4.3 冪集合
集合 \(X\) の冪集合は、\(X\) のすべての部分集合からなる集合である。カントールの定理により、冪集合は元の集合より常に大きな濃度をもつ。特に、基底集合が可算でも、その冪集合は非可算になる。
2 非可算性の証明方法
非可算性は、単に「数えられない」と述べるだけでなく、厳密な証明が必要である。代表的な方法には対角線論法、カントールの定理、背理法がある。これらは集合論における標準的な道具として広く用いられる。
2.1 対角線論法
対角線論法は、候補を一列に並べたとしても、その一覧に含まれない対象を構成する方法である。列挙の各段階を少しずつずらして作ることで、どの項とも異なる新しい要素を得る。実数の非可算性の証明で特に有名である。
2.1.1 実数の非可算性
実数の非可算性は、カントールによる対角線論法で示される。区間 \((0,1)\) の実数を小数展開で並べたと仮定し、それぞれの対角成分を変更すると、元の一覧のどの数とも異なる新しい実数が得られる。これにより、完全な列挙は不可能だと結論される。
2.1.2 対角線構成の手順
手順の要点は、各行の対角位置の数字を見て、それと異なる数字を選ぶことである。こうして作った数は、少なくとも一つの桁で各候補と食い違うため、一覧のいずれにも一致しない。構成は単純だが、非可算性を示す力は非常に強い。
2.2 カントールの定理
カントールの定理は、任意の集合 \(X\) に対して、その冪集合の濃度が \(X\) 自身より大きいことを述べる。これは、集合の大きさに無限の階層があることを示す基本定理である。非可算集合の存在は、この定理から直接に導かれる。
2.2.1 冪集合の濃度
冪集合は、元の集合の部分集合をすべて集めたものであるため、元の集合より少なくとも同程度、実際にはそれ以上の要素を持つ。カントールの定理は、この「それ以上」を厳密に保証する。したがって、集合を拡張すると濃度が増す場合があることが分かる。
2.2.2 可算集合との比較
可算集合の冪集合は非可算である。たとえば、自然数の冪集合は実数と同程度の大きさを持ち、可算無限よりはるかに大きい。ここから、可算性と非可算性の間には明確な断絶があることが理解できる。
2.3 背理法による証明
背理法では、ある集合が可算であると仮定し、矛盾を導く。非可算性の証明では、列挙可能という仮定から出発して、対角線的な構成や濃度の比較により不整合を示す。こうした手法は、集合論の証明技法として標準的である。
3 非可算集合の性質
非可算集合は、可算集合とは異なる振る舞いを示す。部分集合の扱い、濃度の階層、和集合や積集合に関する性質は、無限集合の理解に欠かせない。これらの性質は、非可算性が単なる「大きさ」以上の概念であることを示している。
3.1 部分集合と濃度
集合の部分集合が可算か非可算かは、元の集合の性質に強く依存する。非可算集合の中には可算な部分集合もあれば、依然として非可算な部分集合も存在する。部分構造を調べることで、濃度の違いがより明確になる。
3.1.1 可算部分集合
非可算集合の中にも、可算な部分集合はしばしば存在する。たとえば、実数集合の中の整数全体や有理数全体は可算である。つまり、全体が大きくても、その一部は小さな濃度を保つことがある。
3.1.2 非可算部分集合
非可算集合の中には、元の集合と同程度に大きい部分集合が含まれることがある。実数区間の任意の十分大きな部分集合は、しばしば非可算である。部分集合であっても、可算性に落ちるとは限らない点が重要である。
3.2 濃度の階層
無限集合の濃度には段階がある。もっとも基本的なのが可算無限で、その上に実数の濃度、さらにそれを超える濃度が続く。非可算集合は、この階層構造を考えるうえで中心的な役割を果たす。
3.2.1 可算無限
可算無限は、自然数全体と同じ濃度をもつ無限である。整数、有理数、有限長の文字列などがその例として知られる。非可算集合は、これよりも大きい無限として位置づけられる。
3.2.2 連続体濃度
連続体濃度は、実数全体の集合の濃度を指す。これは可算無限より厳密に大きく、解析学の多くの場面で現れる。区間や実数直線は、この濃度の典型例である。
3.3 閉包性と演算
非可算集合は、集合演算のもとで一定の閉包的性質を示すことがある。ただし、演算の結果が常に非可算になるわけではない。和集合や積集合については、構成の仕方に応じて濃度が変わる。
3.3.1 和集合
二つの集合の和集合が非可算になるかどうかは、それぞれの濃度に依存する。少なくとも一方が非可算で、もう一方が可算であっても、全体はしばしば非可算のままである。可算個の可算集合の和は可算だが、非可算成分が加わると状況は変わる。
3.3.2 積集合
積集合は、要素を組にした集合であり、濃度の計算で重要である。非可算集合どうしの積は通常非可算であり、可算集合との積でも、相手が非可算なら全体は非可算となることが多い。積による構成は、関数空間や座標空間の理解にもつながる。
4 応用と関連概念
非可算集合は、純粋な集合論にとどまらず、解析学や数学基礎論にも深く関わる。連続体の扱い、無限の階層、構成可能性の議論などにおいて、非可算性は基礎的な役割を果たす。離散的な対象との対比も、概念の理解を助ける。
4.1 数学基礎論との関係
数学基礎論では、集合の存在や大きさを公理的に扱う。非可算集合の概念は、無限の取り扱いが公理系の中でどのように確立されるかを示す代表例である。特にカントールの定理は、集合論の階層構造を明確にする。
4.2 連続体仮説
連続体仮説は、可算無限と連続体濃度の間に中間の濃度が存在するかを問う命題である。これは非可算集合の濃度の細かな構造に関する中心問題の一つである。集合論では、その独立性も含めて重要視されている。
4.3 解析学における役割
解析学では、実数の非可算性が連続性や極限過程の背景を支える。関数、位相、測度の議論でも、可算と非可算の区別はしばしば決定的である。無限級数や集合の極限を考える際、こうした差異が現れる。
4.4 離散数学における位置づけ
離散数学は、通常は可算な対象を中心に扱うが、非可算集合との対比によって範囲が明確になる。列挙、アルゴリズム、組合せ論の議論では、どこまでが数え上げ可能かが重要である。非可算性は、離散的な世界の限界を示す基準として機能する。