連続体仮説と集合の基数：定義済み集合における独立性の理解

集合論において、集合の基数はその集合の要素の数を表す重要な概念です。しかし、連続体仮説（CH）を採用するかどうかによって、ある集合の基数の性質が変わることがあります。ここでは、その仕組みと具体例をわかりやすく解説します。

連続体仮説とは何か

連続体仮説は、可算無限（ℵ₀）と実数の濃度（2^ℵ₀）の間に中間の基数が存在するかどうかに関する仮説です。CHを採用すると、その間に中間的な基数は存在しないと定めます。

一方、CHを否定する場合、ZFC（集合論の標準公理）との矛盾なく、中間の基数が存在する可能性があります。この独立性は、ある集合の基数がCHの採用に依存するかを考える上で重要です。

集合Xが完全に明確な定義に基づいて与えられている場合でも、その基数が連続体仮説に依存することは理論的にありえます。つまり、ZFCだけではその基数が確定できず、CHを採用するかしないかで基数の証明が変わることがあります。

例えば、集合Xが「ℝ上の特定の定義に従う集合」とされると、その基数が可算濃度か連続体濃度か、または中間の濃度かはCHの採用によって左右される可能性があります。

集合論では、Cohenによる強制法により、CHはZFCと独立であることが証明されています。これにより、ある集合Xについて「基数が2^ℵ₀である」と「基数がℵ₁である」という命題がどちらも矛盾せず成立しうる場合があります。

このとき、CHを採用するとXの基数はℵ₁（連続体濃度）となり、CHを否定すると2^ℵ₀（実数濃度）となる、というような状況が理論上起こりえます。

ZFCの公理系では、すべての集合の基数が一意に決まるとは限りません。CHの採用は、ℵ₀と2^ℵ₀の間の基数の存在を制約するため、一部の集合の基数の証明がCHに依存します。

この現象は集合論的独立性の典型例であり、数学的な定義の明確性と公理系の選択の関係を示しています。

結論として、完全に定義された集合Xの基数が連続体仮説の採用に依存することは理論的に可能です。これはCHがZFCと独立であるためで、CHを採用するか否定するかによって、集合Xの基数に関する証明結果が異なることがあります。