連続体仮説
投稿日:
この記事はhydrogen Advent Calender 2024の15日目の記事です。
連続体仮説
連続体仮説とは、次のような命題である。
この命題は、実数全体の集合の濃度が可算濃度より大きい最小の濃度であるというものである。
この命題が、ZFC公理系から独立であることは広く知られた事実である。そして、実はであるからこれは冪集合の濃度がZFC公理系から導けないことを意味している。
このことは、たとえば次のように仮定しても矛盾しないということであろうか。
こんなに大きな濃度を持つと仮定しても矛盾しないということは、本当にあるのであろうか。
実は、ZFC公理系の範囲内でも冪集合の濃度に対するある程度の制約を与えることは可能である。
共終数
次のような命題が成り立つ。
この命題は、共終数がであるような濃度を用いてと仮定すると矛盾するというものである。
それゆえに、ではないということが示される。だが、とした場合はどうであろうか。
この場合、であるから、上の命題が適用できない。ゆえに、と仮定しても矛盾しない。
そう。別にの濃度が極端に大きすぎないというような制限はないのである。
そして、ZFCにおいて正則基数の冪集合の濃度に対する制約は次の2つしか存在しない。
正直、成り立っていて当然のような制約である。だが、これ以外の制約は存在しないのである。
それゆえに、だいぶ前で冪集合を取るという操作はある種超越的であると述べたのである。