基数（濃度）：有限・無限集合の大きさ

定義と基本性質

集合が与えられたとき、その基数、または濃度は、集合を大きさによって分類する方法である。有限集合については、これは要素の個数を数える通常の自然数に帰着する。現代数学では、二つの集合の要素の間に一対一対応が存在するとき、それらは同じ濃度をもつという。この同値の考え方により、集合が無限であっても大きさを比較できる。全単射が存在するならば、それらの集合は同じ大きさとみなされる。

有限基数は予想どおりに振る舞い、要素を加えたり取り除いたりすると、基数も通常の仕方で変化する。しかし無限基数は、有限の場合の直観としばしば相容れない規則に従い、意外な結果をもたらす。

有限と無限の例

最小の無限基数は、0以上のすべての整数の集合の大きさである。ゲオルク・カントールは、無限基数を表すためにアレフ数の記法を導入した。その最初のものがアレフ・ヌル（ℵ0と表記）である。この基数は0、1、2、3、…のような列を数え、これらの整数と一対一対応を作れる集合は可算であると呼ばれる。可算集合の例には、自然数の集合と有理数の集合がある。

これより厳密に大きい無限基数も存在する。実数の集合は整数の集合とは異なる大きさをもち、その大きさはしばしば連続体の濃度と呼ばれ、通常 c で表される。cはアレフ数と比較することもできる。ある慣習では特定の無限の大きさをℵ1、ℵ2などと表し、その一部は基礎に関する問題で役割を果たす。

歴史と基礎的結果

無限基数の理論は、無限集合には異なる大きさがあることを示したゲオルク・カントールによって、19世紀後半に発展させられた。彼の対角線論法は、実数を整数と一対一に対応させることはできないことを示す。したがって連続体の濃度はℵ0より厳密に大きい。この結論や関連する結論は、ときにカントールの定理のもとで要約される。

連続体仮説と意義

カントールが提起した中心的な問いは、ℵ0と連続体の濃度の間に厳密に位置する基数が存在するかどうかである。この主張は連続体仮説として知られる。現代の集合論は、その真偽が集合論の標準的な公理系（ZFC）だけからは決定できないことを示しており、数学で最も著名な独立問題の一つとなっている。

用途、区別、例

• 実用的な数え上げと組合せ論では、有限基数を用いて可能性や結果を列挙する。
• 解析学と位相幾何学では、集合の大きさ（有限、可算、非可算）が、どの構成や定理を適用できるかを左右することが多い。
• 論理学と数学基礎論では、異なる無限基数が無限構造の階層を指標付け、独立性の結果に影響を与える。
• 注意すべき区別として、順序数は位置または順序型を測るのに対し、基数は大きさを測る。

基数を理解することは、日常的な数え上げを、無限・構造・形式的公理の限界に関する深い問題へと結び付ける。入門的な内容については、基数と集合論に関する標準的な文献・資料を参照し、歴史的背景についてはゲオルク・カントールとその業績に関する著作を参照。