可算集合
自然数全体と同じ濃度を持つ集合
(可算無限集合から転送)
可算集合︵かさんしゅうごう、英語: countable set または denumerable set︶または可付番集合とは、おおまかには、自然数全体と同じ程度多くの元を持つ集合のことである。各々の元に 1, 2, 3, … と番号を付けることのできる、すなわち元を全て数え上げることのできる無限集合と表現してもよい[1]。
有限集合も、数え上げることができる集合という意味で、可算集合の一種とみなすことがある[1]。そのため、はっきりと区別を付ける必要がある場合には、冒頭の意味での集合を可算無限集合 (countably infinite set) と呼び、可算無限集合と有限集合を合わせて高々可算 (at most countable) の集合と呼ぶ[2][3]。可算でない無限集合を非可算集合 (uncountable set) という[4]。非可算集合は可算集合よりも﹁多く﹂の元を持ち、全ての元に番号を付けることができない。そのような集合の存在は、カントールによって初めて示された。
定義
編集例と性質
編集
無限集合においては、その真部分集合と濃度が等しいことがあり得る。[3]例えば、偶数の自然数全体の集合2N は Nとの間に次の全単射が存在する。
よって、2N は可算集合である。また、整数全体の集合 Zや有理数全体の集合 Qも可算である[1][4]。しかし、実数全体の集合 Rは非可算である。この事実はカントールの対角線論法によって示される[1][4]。R の濃度は連続体濃度と呼ばれ、
または
で表される。
選択公理を認めるならば、可算濃度は無限集合の濃度のうち最小のものであることが示される。可算濃度と連続体濃度の間に他の濃度が存在するか否かは、ZFC とは独立であり、通常は存在しないと仮定する。この仮定を連続体仮説という。
可算個の可算集合の和集合や、有限個の可算集合の直積集合はまた可算である[3]。これより、代数的数全体の集合 Qは可算であることが従う。しかし、可算個の可算集合の直積集合や、可算集合の冪集合は非可算であり、その濃度は連続体濃度である[4]。
可算個の可算集合の直積集合の濃度は、濃度不等式
によって、
と等しいことが示される。