非可算集合

数学において、非可算集合（ひかさんしゅうごう）、あるいは非可算無限集合とは可算集合でない無限集合のことである。集合の非可算性は基数、濃度という概念と密接に関係している。集合は、その濃度が自然数全体の集合の濃度より大きいときに、非可算である。
特徴づけ.
集合の非可算性には多くの同値な言い換えが存在する。集合 "X" が非可算であることは以下の各条件とそれぞれ同値である：
最初の3つの条件はZFのもとで同値である。しかし、3番目と4番目の条件の同値性はなんらかの選択原理をZFに付け加えない限り証明できない。
例.
非可算集合の例として最も知られているものは実数全体の集合 R であろう。その非可算性はカントールの対角線論法により証明される。対角線論法はその他の集合（例えば、自然数からなる無限列全体の集合、自然数からなる集合全体からなる集合族）の非可算性を証明するのにも応用される。R の濃度をしばしば連続体濃度と呼び "c" や formula_3 または formula_4 (beth-one) で表す。
カントール集合 は R の非可算部分集合である。カントール集合はフラクタル構造を持ち、ハウスドルフ次元が0より大で1未満である（R は1次元である）。この集合は次の事実の例となっている： R の部分集合でハウスドルフ次元が0より真に大きいものは必ず非可算集合である。
R から R への関数全体の集合も非可算であるが、これは連続体濃度よりもさらに「非可算」である。この集合の濃度は formula_5 (beth-two) で、formula_4 よりも大きいのである。
非可算集合のさらに抽象的な例としては、可算順序数全体からなる集合 ω1 あるいは Ω がある。ω1 の濃度を formula_7 (aleph-one) で表す。選択公理を用いることによって、formula_7 が最小の非可算基数であることが証明できる。このことから、実数全体の集合の濃度 formula_4 は、formula_7 に等しいか真に大きい。ゲオルク・カントールは「等しいのか大きいのか、本当はどちらなのか」を問うた最初の研究者である。1900年、ダフィット・ヒルベルトによりこの問題はヒルベルトの23の問題の第1問題とされた。formula_11 という主張は今では連続体仮説と呼ばれ、集合論のZFCからは独立であることが証明されている。
選択公理を用いない場合.
選択公理を仮定しない場合、formula_1 と比較できない濃度が存在しうる、具体的にはデデキント有限な無限集合の濃度がそうである。これらの濃度をもつ集合は上記の非可算性の最初の3つの特徴づけを満たすが、4番目は満たさない。これらの集合は濃度の意味で自然数の集合より大きいわけではないので、それを非可算とは呼ぶことを避ける人もいる。
選択公理を仮定する場合、基数 formula_13 に関する以下の条件は全て同値である：
しかしながら、選択公理を仮定しない場合これらはすべて異なる条件となりうる。そのため、このときどれが最も適切な "非可算性" の一般化であるかは明らかでない。この場合は非可算という言葉を使うことを避け、これらのうちのどれを意味しているのかを明確にすることが最善であろう。