大基数公理とContinuum Hypothesisの独立性：高階内在モデルにおける影響

大基数公理（Large Cardinal Axiom）とContinuum Hypothesis（連続体仮説）の関係は、集合論の基礎的な問題の一つです。この問いに対する理解を深めるため、特に高階内在モデルにおける振る舞いや、決定性公理（DC）が集合論の構造に与える影響を探ります。

大基数公理とContinuum Hypothesisの独立性

大基数公理は集合論における強力な仮定であり、これを仮定すると、数学的な構造や証明に大きな影響を与えることが知られています。Continuum Hypothesis（CH）は、実数の濃度と整数の濃度の間に中間の濃度がないという仮説ですが、この仮説の独立性は、集合論における重要な課題です。

CHは、Zermelo-Fraenkel集合論において決定できないことが示されており、大基数公理を仮定すると、その独立性が高階内在モデルでも保持されるのか、または決定性公理を導入することで集合論の構造が本質的に変わるのか、という問題が浮かび上がります。

高階内在モデルにおけるCHの独立性

高階内在モデル（Inner Model）において、Continuum Hypothesisの独立性は維持されるかどうかについては、重要な理論的考察が必要です。高階内在モデルでは、特定のモデル内での集合の存在を定義することが可能ですが、CHの独立性に関しては、モデルによる違いがあることが知られています。

例えば、L（GödelのLモデル）は、CHが成立するモデルの一つであり、このモデルではCHが真であることが示されています。しかし、ZFC（Zermelo-Fraenkel集合論）においては、CHが決定できないことが確認されています。このように、CHの独立性はモデルによって異なり、高階内在モデルでもその挙動が異なる場合があります。

決定性公理（DC）の影響

決定性公理（DC）は、集合論における重要な仮定であり、集合の構造を決定するために強い制約を課します。DCを導入すると、集合論の宇宙が本質的に変化する可能性があります。特に、DCが導入された場合、CHの独立性に対する影響が考慮されます。

DCを仮定すると、CHのような仮説が決定的に解決される可能性が高くなります。これにより、CHの独立性が維持されるか、あるいは新たな結論が得られる可能性があることを意味します。つまり、DCの導入は、集合論の構造において重要な役割を果たすことになります。

まとめ

大基数公理を仮定した場合、Continuum Hypothesisの独立性が高階内在モデルにおいて保持されるかどうかは、決定性公理の導入に大きく依存します。DCを仮定することで、集合論の宇宙の構造が本質的に変化する可能性があり、CHの問題に対する新たな理解が得られるかもしれません。集合論の深い研究が今後も進む中で、これらの問題に対する解答がさらに明確になっていくことが期待されます。