continuum hypothesis

ウィキペディア

連続体仮説

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2026/01/08 13:57 UTC 版)

連続体仮説（れんぞくたいかせつ、英: continuum hypothesis、CH）とは、可算無限濃度と連続体濃度の間に他の濃度が存在しないとする仮説。19世紀にゲオルク・カントールによって提唱された。ZFC公理系（現在の数学で用いられる標準的な枠組み）はCHの真偽を定めない（ZFCとCHは矛盾しないし、ZFCと¬CHも矛盾しない）ということが証明されている。

発想

1個よりも多い最小の個数は2個である。2個よりも大きい最小の個数は3個である。このように、有限の個数に対しては1を足すことでそれ自身よりも大きい最小の個数を得ることができる。では無限の個数に対してはどうであろうか。自然数や実数は無限個存在する。これらの個数は異なるはずであるが、個数という呼び方をする限りいずれも「無限」である。これに対して、有限集合の場合の要素数の概念を無限集合にまで拡張した「集合の濃度」（二つの集合間に一対一対応が存在するとき二つの集合の濃度は等しいとする）を考えることにより2つの無限は区別される（詳細は濃度を参照）。無限集合の濃度（無限の個数）で最も小さいものは可算濃度（自然数全体の集合の濃度）である。しかし、可算濃度の無限集合に要素を1つ追加した集合もやはり可算濃度であり、有限集合の場合のように新しい濃度にはならない。可算濃度の無限集合同士の合併集合も可算濃度である。しかし、実数全体の集合は可算濃度ではないことが示された。そこで次に、可算濃度よりも大きい最小の濃度は連続体濃度（実数の集合の濃度）であろうと考えられた、これが連続体仮説である。

連続体仮説の表現

自然数より真に大きく、実数より真に小さいサイズの集合がない、ということを連続体仮説は述べている。もう少し正確には連続体仮説は「自然数を含むような任意の実数の部分集合は、実数との間に全単射が存在するか、自然数との間に全単射が存在するかのいずれかである」とも言い表せる。

自然数の全体を N と書き、そこにふくまれる自然数の個数（濃度）を可算濃度 $\aleph _{0}$ カテゴリ