集合的元素個數：無窮集合（二） The cardinality of a set: Infinite sets II
集合的元素個數：無窮集合（二） The cardinality of a set: Infinite sets II
臺北市立和平高中教師黃俊瑋
前文〈集合的元素個數：無窮集合（一）〉之中，我們討論了自然數、整數與有理數的個數，這些集合皆為可數集。而可數無限為基數最小的無限，我們一般將此基數命作 \({\aleph _0}\)（aleph與下標零，此符號可讀作阿列夫零）。
數學家康托爾提出了，構造出基數更大集合的方法：以一集合所有子集合為元素的新集合，其基數比原集合大。譬如說吧！令 \(S = \{ 1,2,3\}\)，則所構造出的新集合為：\(\{ \{ 1,2,3\} ,\{ 1,2,3\} ,\{ 1,2\} ,\{ 1,3\} ,\{ 2,3\} ,\{ 1\} ,\{ 2\} ,\{ 3\} ,\emptyset\}\)，它共包含了 \(8\) 個元素，而 \(8\)恰為 \(2^3\)。不難看出，原集合的元素個數為 \(n\)，則新集合的元素個數為 \(2^n\)。因此，我們可構造出一個基數為 \(2^{\aleph _0}\) 的新集合，如此可不斷地構造出更大的集合。
而我們把 \({\aleph _0}\)、\(2^{\aleph _0}\) 等涉及無窮集合的基數稱為超限基數（transfinite cardinal number）。
那實數呢？問題似乎變難了，不像整數或有理數易於排序，我們很難有系統地將實數重新排序，使其與自然數一一對應，換言之，實數的個數問題，顯得更難以掌握。所以，我們不禁懷疑，實數的個數與自然數一樣多嗎？