非可算集合：実数・カントールの対角線論法と無限の濃度

基本的な例

典型的な非可算集合は、しばしばRで表される実数全体の集合である。[0, 1]のような、退化していない任意の閉区間も非可算である。これらの例は、非可算性が個々の数の大きさに関するものではなく、集合の構造と密度に関わることを示している。すなわち、異なる任意の二つの実数の間には、無限個の別の実数が存在する。

主な特徴

• 列挙不可能性：すべての要素を漏れなく並べる列は存在しない。
• 自然数より真に大きい濃度：非可算集合は、どの可算集合よりも大きな大きさの尺度をもつ。
• 多くの演算に対する安定性：連続した区間、無限二進列全体の集合、自然数全体の集合のべき集合はいずれも非可算である。

歴史的には、ゲオルク・カントールが19世紀後半に非可算集合の存在を示した。一般にカントールの対角線論法と呼ばれる彼の方法は、完全であると主張されるどのリストにも現れない要素を構成できることを示し、そのリストが不完全であることを証明する。この論法は簡明でありながら強力で、集合論と論理学における後の多くの発展の基礎となった。

非可算性は数学の広い領域に影響をもつ。これは無限の異なる大きさ、すなわち濃度の区別を支え、解析学や位相幾何学の概念を動機づける。また測度論では、非可算無限集合であっても測度がゼロであったり、全測度をもったりしうることに関わる。整数と実数の間にどれだけ多くの濃度があるかという問いは、無限集合の可能な大きさを扱う現代集合論の中心的問題である連続体仮説へとつながった。

無限集合、可算性の判定、歴史的な証明などの関連事項については、集合論および解析学の入門書、または関連資料を参照できる。集合論の概要、無限集合、ならびに実数と可算と非可算の比較に関する専門的な解説がある。