連続体濃度

集合論における連続体濃度とは、実数全体の成す集合 R の濃度のことである。連続体濃度を持った集合を連続体 en と呼ぶこともある。これは無限濃度のひとつであり、|R|, 2ℵ0, または などの記号で表される。

1. 概要
-----

実数の全体 Rは自然数の全体 N の冪集合の元と同じ数の元をもつ。さらに、これらの集合は N 自身よりも多くの元を含む。このことはゲオルク・カントールによって1874年に初めて示され、無限の尺度に異なる階層があることを確立した研究の嚆矢となった。後に、カントールはより簡明な対角線論法による証明も与えている。

連続体濃度を持つ集合には以下のような例がある。二つの異なる実数 //a// < //b// を取ったとき、これらの値がどんなに近い場合でも、開区間 は R と同じ濃度の実数が含まれている。また、任意次元のユークリッド空間 R//n// も R と同じ濃度を持つ。これらのことは以下の式で表される。

他の例については#連続体濃度をもつ集合節を参照のこと。

可算濃度 ℵ0 = |N| と連続体濃度との間に、これらと異なる濃度が存在するかという問題は、カントールによって連続体仮説として提起された。クルト・ゲーデルおよびポール・コーエンの研究によって、連続体仮説自体はその否定も肯定も集合論の標準的な公理系 ZFC との間に矛盾を引き起こさないことが示された。詳しくは#連続体仮説節および連続体仮説を参照のこと。

2. 性質
-----

2.1. 連続濃度の非可算性
--------------

対角線論法により、「任意の集合に対して、その冪集合のほうが濃度が真に大きい： |//A//| < 2|//A//|」というカントールの定理が示される。したがって、自然数全体の成す集合 N の冪集合 //P// は非可算である。さらに、以下のような議論により、//P// の濃度は連続体濃度に等しいことが示せる。

実数全体から有理数全体の成す集合の冪集合への写像 //f//: R → //P// を、任意の実数 //x// に対しそれよりも小さい有理数全体のなす集合 //q// ≤ //x//} を対応付けるものとして定める。これは、実数を有理数のデデキント切断として定義すると言う立場からは、本質的には、有理数の集合の冪集合への包含写像だということになる。この写像は、有理数全体の成す集合 Q が R において稠密であることから単射である。有理数全体の成す集合 Q は可算であったから、 を得る。

各項が0または2の値をとる無限列全体の成す集合 {0, 2}N を考える。この集合の濃度は明らかに 2ℵ0 である。いま、このような二値数列 //i// ∈ N に対して、単位閉区間 [0, 1] に属する実数で、その三進展開の数字の並びから作った数列が  となるようなものが一意に定まるので、これを対応させる。実数の三進展開表示において一意性がくずれるのは、ある項から先に0が続く場合か2が続く場合のどちらかであることから、この対応は単射写像を定めている。したがって を得る。

以上のふたつから、ベルンシュタインの定理により が結論できる。特に、連続濃度は可算集合の濃度よりも真に大きいことが従う。

もちろん、{0,1}N から R への全単射を直接構成することによっても、 の別証明を与えることができる。カントールの対角線論法も参照のこと。

2.2. 別の説明
---------

上の等式

は、

1/2 = 0.50000..., 1/3 = 0.33333..., π = 3.14159....などの実数の無限十進小数展開を用いても説明できる。これらの展開は、整数の集合から { 0, ..., 9 } への写像のうち特別な性質を持つものによって表されていると見なすことができる。整数全体の成す集合の濃度は ℵ0 だから、

を得る。ここで 4 ℵ0 = ℵ0 を用いた。他方、2 = {0, 1} を例えば {3, 7} に移すことにし、十進小数展開に 3 か 7 しか現れないような実数のみを考えれば、

となることがわかるから、ベルンシュタインの定理によって表式を得る。

3. 連続体濃度についての関係式
----------------

濃度の等式

は濃度の算術を用いれば

と示すことができるが、二つの二進列に対する「挿入演算」en の一種を考えれば直接的に示すこともできる。実数 //x//, //y// の二進展開を

とするとき、これらの二進展開に対する挿入

は //x//, //y// が一意的に二進展開可能であるとき矛盾無く定義される。二進展開が一意でないような実数は可算無限個しかない。

濃度算術におけるいくつかの法則を用いて、//n// が 2 以上の有限濃度のとき

が成り立つことがわかる。また

が成り立つことも示せる。ただし、

である。

4. ベート数
-------

ベート数は

として再帰的に定められる列に属する濃度の総称である。連続体濃度は二番目のベート数

となる。その次のベート数は R の冪集合の濃度

である。

5. 連続体仮説
--------

カントールによって提唱された連続体仮説とは、連続体濃度 が二番目のアレフ数 ℵ1 であることを主張するものである。これは、ℵ0 と との間に真に挟まれる濃度を持つ集合 //A// は存在しない：

と言い換えることもできる。現在ではこの言明はツェルメロ＝フレンケルの公理系に選択公理を付け加えた公理系 ZFC からは独立であることが知られている。すなわち、ZFC に連続体仮説を付け加えた体系も ZFC に連続体仮説の否定を付け加えた体系も、いずれも  無矛盾である。

実は、0 でない任意の自然数 //n// に対し、等式 は ZFC と独立である。他の多くのアレフ数に対しても同様のことが言えるが、一部のアレフ数については共終性に基づくケーニヒの定理によって除外される。特に は ℵ1 にも ℵω1 にも成り得る。従って、連続体濃度 は後続基数にも極限基数にも成り得るし、正則基数にも特異基数にも成り得る。

6. 連続体濃度をもつ集合
-------------

連続体濃度を持つ集合は数学の様々な分野で表れる。以下によく知られた例を挙げる。

R: 実数全体の成す集合。
R における任意の非退化な閉区間あるいは開区間。たとえば単位区間 [0,1] など。
無理数全体の成す集合。
超越数全体の成す集合。
カントール集合。
R//n//: //n//-次元ユークリッド空間。
C: 複素数全体の成す集合。
Q//p//: p進数全体の成す集合。
//P//: 自然数全体の成す集合 N の冪集合。
ZN: 整数列全体の成す集合。
RN: 実数列全体の成す集合。
//C//0: R から R への連続函数全体の成す集合。
: R//n// 上のユークリッド位相。
: R 上のボレル集合族すなわち、R のボレル集合全体の成す集合。

7. 連続体濃度よりも大きな濃度
----------------

連続体濃度よりも大きな濃度を持つ集合の例を挙げる。

//P//: R の部分集合全体からなる集合。
RR: 実変数実数値の函数 R → R の全体の成す集合
: R 上のルベーグ集合族、すなわちR のルベーグ可測集合全体の成す集合。
N, Q, R： それぞれのストーン＝チェック・コンパクト化。
Aut：複素数体Cの自己同型群。以上は全て の濃度を持つ。

8. 参考文献
-------

first=Paul 
----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------