この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。
出典検索?: "可算集合"
可算集合（かさんしゅうごう、countable set または denumerable set）もしくは可付番集合とは、おおまかには、自然数全体と同じ程度多くの元を持つ集合のことである。各々の元に 1, 2, 3, … と番号を付けることのできる、すなわち元を全て数え上げることのできる無限集合と表現してもよい。
有限集合も、数え上げることができる集合という意味で、可算集合の一種とみなすことがある。そのため、はっきりと区別を付ける必要がある場合には、冒頭の意味での集合を可算無限集合 (countably infinite set) と呼び、可算無限集合と有限集合を合わせて高々可算 (at most countable) の集合と呼ぶ。可算でない無限集合を非可算集合 (uncountable set) という。非可算集合は可算集合よりも「多く」の元を持ち、全ての元に番号を付けることができない。そのような集合の存在は、カントールによって初めて示された。 可算集合とは N と濃度が等しい集合のことである。すなわち、集合 S が可算であるとは、自然数全体の集合 N との間に全単射が存在することをいう。 また、高々可算な集合とは、N の濃度以下の濃度を持つ集合のことである。すなわち、集合 S が高々可算であるとは、S から N へ単射が存在することをいう。これは、N から S へ全射が存在することと同値である。 慣例では、可算集合の濃度を ℵ 0 {\displaystyle \aleph _{0}} （アレフゼロ、aleph-null）で表す。例えば、N の濃度が可算であることを 。 N 。 = ℵ 0 {\displaystyle |\mathbb {N} |=\aleph _{0}} などと表す。 無限集合においては、その真部分集合と濃度が等しいことがあり得る。例えば、偶数の自然数全体の集合 2N は N との間に次の全単射が存在する。 f : N ∋ n ↦ 2 n ∈ 2 N . {\displaystyle f\colon \mathbb {N} \ni n\mapsto 2n\in 2\mathbb {N} .} よって、2N は可算集合である。また、整数全体の集合 Z や有理数全体の集合 Q も可算である。しかし、実数全体の集合 R は非可算である。この事実はカントールの対角線論法によって示される。R の濃度は連続体濃度と呼ばれ、 ℵ {\displaystyle \aleph } または c {\displaystyle {\mathfrak {c}}} で表される。 選択公理を認めるならば、可算濃度は無限集合の濃度のうち最小のものであることが示される。可算濃度と連続体濃度の間に他の濃度が存在するか否かは、ZFC とは独立であり、通常は存在しないと仮定する。この仮定を連続体仮説という。 可算個の可算集合の和集合や、有限個の可算集合の直積集合はまた可算である。これより、代数的数全体の集合 Q は可算であることが従う。しかし、可算個の可算集合の直積集合や、可算集合の冪集合は非可算であり、その濃度は連続体濃度である。 可算個の可算集合の直積集合の濃度は、濃度不等式 2 ℵ 0 ≤ ℵ 0 ℵ 0 ≤ ( 2 ℵ 0 ) ℵ 0 = 2 ℵ 0 {\displaystyle 2^{\aleph _{0}}\leq \aleph _{0}^{\aleph _{0}}\leq (2^{\aleph _{0}})^{\aleph _{0}}=2^{\aleph _{0}}} によって、 ℵ {\displaystyle \aleph } と等しいことが示される。
定義
例と性質
関連項目
濃度 (数学)
連続体仮説
ヒルベルトの無限ホテルのパラドックス
歴
集合論
公理
外延性の公理
空集合の公理
分出公理（英語版）
対の公理
和集合公理
冪集合公理
置換公理（英語版）
無限公理
正則性公理
選択公理
演算
和集合
共通部分
直積集合
商集合
補集合
差集合
対称差
冪集合
概念
濃度
基数
順序数
クラス
元
1対1の対応
ベン図
集合
空集合
有限集合
可算集合
無限集合
部分集合
理論
カントールの定理
素朴集合論
公理的集合論
パラドックス
ラッセルのパラドックス
人々
ゲオルク・カントール
リヒャルト・デーデキント
バートランド・ラッセル
エルンスト・ツェルメロ
アドルフ・フレンケル
この項目は、集合論に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。
更新日時:2020年5月30日(土)09:45
取得日時:2020/11/27 11:38
