連続体濃度のソースを表示

[[集合論]]における'''連続体濃度'''（れんぞくたいのうど、{{lang-en-short|''cardinality of the continuum''}}）とは、[[実数]]全体の成す[[集合]] '''R''' の[[濃度 (数学)|濃度]]（あるいは[[基数]]、集合の「大きさ」の尺度）のことである。連続体濃度を持った集合を[[連続体 (集合論)|連続体]] {{lang|en|(continuum)}} と呼ぶこともある。これは[[濃度 (数学)|無限濃度]]のひとつであり、|'''R'''|, 2<sup>&alefsym;<sub>0</sub></sup>（&alefsym;は[[ヘブライ文字]]のアレフ）, <math>\beth_1</math> または <math>\mathfrak c</math>（[[フラクトゥール|ドイツ文字]]小文字の ''c''）などの記号で表される。

== 概要 ==

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

連続体濃度を持つ集合には以下のような例がある。二つの異なる実数 ''a'' &lt; ''b'' を取ったとき、これらの値がどんなに近い場合でも、[[開区間]] (''a'',''b'')は '''R''' と同じ濃度の実数が含まれている。また、任意次元の[[ユークリッド空間]] '''R'''<sup>''n''</sup> も '''R''' と同じ濃度を持つ（濃度の演算）。これらのことは以下の式で表される。
: <math>|(a,b)| = |\mathbb{R}| = |\mathbb{R}^n|.</math>
他の例については[[#連続体濃度をもつ集合]]節を参照のこと。

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

== 性質 ==

=== 連続濃度の非可算性 ===

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

実数全体から[[有理数]]全体の成す集合の冪集合への写像 ''f'': '''R''' &rarr; ''P''('''Q''') を、任意の実数 ''x'' に対しそれよりも小さい有理数全体のなす集合 {''q'' &isin; '''Q''' | ''q'' &le; ''x''} を対応付けるものとして定める。これは、実数を有理数の[[デデキント切断]]として定義すると言う立場からは、本質的には<!-- 有理数を表す切断については2種類の切断を同一視すると言う立場もあるので -->、有理数の集合の冪集合への包含写像だということになる。この写像は、有理数全体の成す集合 '''Q''' が '''R''' において[[稠密集合|稠密]]であることから[[単射]]である。有理数全体の成す集合 '''Q''' は可算であったから、<math>\mathfrak{c} \le 2^{\aleph_0}</math> を得る。

各項が0または2の値をとる無限列全体の成す集合 {0, 2}<sup>'''N'''</sup> を考える。この集合の濃度は明らかに 2<sup>&alefsym;<sub>0</sub></sup> である（このような二値数列の全体と冪集合 ''P''('''N''') との間の自然な[[全単射]]は[[指示関数]]を考えることで与えられる）。いま、このような二値数列 (''a''<sub>''i''</sub>)<sub>''i'' &isin; '''N'''</sub> に対して、[[単位区間|単位閉区間]] [0, 1] に属する実数で、その[[位取り記数法|三進展開]]の数字の並びから作った数列が (''a''<sub>''i''</sub>) となるようなもの（つまり、小数点以下第 ''i''-位の数字が ''a''<sub>''i''</sub> であるような実数）が一意に定まるので、これを対応させる。実数の三進展開表示において一意性がくずれるのは、ある項から先に0が続く場合か2が続く場合のどちらかであることから、この対応は単射写像を定めている（この写像の像を[[カントール集合]]と呼ぶ）。したがって <math>2^{\aleph_0} \le \mathfrak{c}</math> を得る。

以上のふたつから、[[ベルンシュタインの定理]]により <math>\mathfrak{c} = |\mathfrak{P}(\mathbb{N})| = 2^{\aleph_0}</math> が結論できる。特に、連続濃度は可算集合の濃度よりも真に大きいことが従う。

もちろん、{0,1}<sup>'''N'''</sup> から '''R''' への全単射を直接構成することによっても、<math>\mathfrak{c} = 2^{\aleph_0}</math> の別証明を与えることができる。[[カントールの対角線論法]]も参照のこと。

=== 別の説明 ===

上の等式
: <math>\mathfrak{c} = 2^{\aleph_0}</math>
は、
:1/2 = 0.50000..., 1/3 = 0.33333..., &pi; = 3.14159....
などの実数の無限[[十進法|十進小数展開]]（最初の二つは循環小数の例でもある）を用いても説明できる。これらの展開は、整数の集合から { 0, ..., 9 } への写像のうち特別な性質（ある左無限半開区間上で恒等的に 0 となる）を持つものによって表されていると見なすことができる。整数全体の成す集合の濃度は &alefsym;<sub>0</sub> だから、
:<math>{\mathfrak c} \leq 10^{\aleph_0} \leq {(2^4)}^{\aleph_0} = 2^{4 \cdot \aleph_0} = 2^{\aleph_0} </math>
を得る。ここで 4 &alefsym;<sub>0</sub> = &alefsym;<sub>0</sub> を用いた。他方、2 = {0, 1} を例えば {3, 7} に移すことにし、十進小数展開に 3 か 7 しか現れないような実数のみを考えれば、
:<math>2^{\aleph_0} \leq {\mathfrak c}</math>
となることがわかるから、ベルンシュタインの定理によって表式を得る。

== 連続体濃度についての関係式 ==

濃度の等式
: <math>\mathfrak{c}^2 = \mathfrak{c}</math>
は[[濃度 (数学)#様々な集合の濃度|濃度の算術]]を用いれば
:<math>\mathfrak{c}^2 = (2^{\aleph_0})^2 = 2^{2\times{\aleph_0}} = 2^{\aleph_0} = \mathfrak{c}</math>
と示すことができるが、二つの二進列に対する「挿入演算」{{lang|en|(interleaving)}} の一種を考えれば直接的に示すこともできる。実数 ''x'', ''y'' の二進展開を
: <math>\begin{align}
  x &= 0.a_0 a_1 a_2\ldots,\\
  y &= 0.b_0 b_1 b_2\ldots
\end{align}</math>
とするとき、これらの二進展開に対する挿入
: <math>z = 0.a_0b_0 a_1b_1 a_2b_2\ldots</math>
は ''x'', ''y'' が一意的に二進展開可能であるとき[[well-defined|矛盾無く定義される]]。二進展開が一意でないような実数は可算無限個しかない。

濃度算術におけるいくつかの法則を用いて、''n'' が 2 以上の有限濃度のとき
:<math>\mathfrak c^{\aleph_0} = {\aleph_0}^{\aleph_0} = n^{\aleph_0} = \mathfrak c^n = \aleph_0 \mathfrak c = n \mathfrak c = \mathfrak c</math>
が成り立つことがわかる。また
:<math> \mathfrak{c}^\mathfrak{c} = (2^{\aleph_0})^\mathfrak{c} = 2^{\mathfrak{c}\times\aleph_0} = 2^\mathfrak{c},</math>
が成り立つことも示せる。ただし、
: <math>2^\mathfrak{c} = |\mathfrak{P}(\mathbb{R})|,\quad 2^\mathfrak{c} > \mathfrak{c}</math>
である。

== ベート数 ==
{{main|ベート数}}
'''ベート数'''は
: <math>\beth_0 = \aleph_0,\quad \beth_{k+1} = 2^{\beth_k}</math>
として再帰的に定められる列に属する濃度の総称である。連続体濃度は二番目のベート数
:<math>\beth_1=\mathfrak{c}</math>
となる。その次のベート数は '''R''' の冪集合（すなわち、[[実数直線]]の部分集合全体の成す集合）の濃度
:<math>\beth_2 = 2^{\mathfrak{c}}</math>
である。

== 連続体仮説 ==
{{main|連続体仮説}}

カントールによって提唱された連続体仮説とは、連続体濃度 <math>\mathfrak{c}</math> が二番目の[[アレフ数]] &alefsym;<sub>1</sub> であることを主張するものである。これは、&alefsym;<sub>0</sub> と <math>\mathfrak{c}</math>との間に真に挟まれる濃度を持つ集合 ''A'' は存在しない：
:<math>\nexists A: \aleph_0 < |A| < \mathfrak{c}</math>
と言い換えることもできる。現在ではこの言明は[[公理的集合論|ツェルメロ＝フレンケルの公理系]]に[[選択公理]]を付け加えた公理系 ZFC からは独立であることが知られている。すなわち、ZFC に連続体仮説を付け加えた体系も ZFC に連続体仮説の否定を付け加えた体系も、いずれも (ZFC が無矛盾ならば) 無矛盾である。

実は、0 でない任意の[[自然数]] ''n'' に対し、等式 <math>\mathfrak{c} = \aleph_n</math> は ZFC と独立である（''n'' = 1 の場合が連続体仮説）。他の多くのアレフ数に対しても同様のことが言えるが、一部のアレフ数については[[共終数|共終性]]に基づく[[ケーニヒの定理 (集合論)|ケーニヒの定理]]によって除外される（例えば <math>\mathfrak{c} \neq \aleph_\omega</math> が成り立つ）。特に <math>\mathfrak{c}</math> は &alefsym;<sub>1</sub> にも &alefsym;<sub>&omega;<sub>1</sub></sub> にも成り得る（&omega;<sub>1</sub> は[[最小の非可算順序数]]）。従って、連続体濃度 <math>\mathfrak{c}</math> は[[後続基数]]にも{{Ill2|極限基数|en|Limit cardinal}}にも成り得るし、[[正則基数]]にも特異基数にも成り得る。

== 連続体濃度をもつ集合 ==

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

* '''R''': [[実数]]全体の成す集合。
* '''R''' における任意の[[退化 (数学)|非退化]]な[[閉区間]]あるいは[[開区間]]。たとえば[[単位区間]] [0,1] など。
* [[無理数]]全体の成す集合。
* [[超越数]]全体の成す集合。
* [[カントール集合]]。
* '''R'''<sup>''n''</sup>: ''n''-次元[[ユークリッド空間]]。
* '''C''': [[複素数]]全体の成す集合。
* '''Q'''<sub>''p''</sub>: [[p進数]]全体の成す集合。
* ''P''('''N'''): [[自然数]]全体の成す集合 '''N''' の冪集合。
* '''Z'''<sup>'''N'''</sup>: 整数列（すなわち '''N''' から '''Z''' への写像）全体の成す集合。
* '''R'''<sup>'''N'''</sup>: 実数列全体の成す集合。
* ''C''<sup>0</sup>('''R'''): '''R''' から '''R''' への[[連続函数]]全体の成す集合。
* <math>\mathcal{O}(\mathbb{R}^n)</math>: '''R'''<sup>''n''</sup> 上の[[ユークリッド空間|ユークリッド位相]]（開集合系）。
* <math>\mathfrak{B}_\mathbb{R}</math>: '''R''' 上の[[ボレル集合族]]すなわち、'''R''' の[[ボレル集合]]全体の成す集合。

== 連続体濃度よりも大きな濃度 ==

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

* ''P''('''R'''): '''R''' の部分集合全体からなる集合（[[冪集合]]）。
* '''R'''<sup>'''R'''</sup>: 実変数実数値の函数 '''R''' &rarr; '''R''' の全体の成す集合
* <math>\mathfrak{M}_\mathbb{R}</math>: '''R''' 上の[[完全加法族|ルベーグ集合族]]、すなわち'''R''' の[[ルベーグ可測]]集合全体の成す集合。
* '''N''', '''Q''', '''R'''： それぞれの[[コンパクト化#ストーン・チェックのコンパクト化|ストーン＝チェック・コンパクト化]]。
* Aut(<math>\mathbb{C}</math>)：[[複素数体]]'''C'''の[[自己同型群]]。
以上は全て <math>2^\mathfrak{c} = \beth_2</math> の濃度を持つ。

== 参考文献 ==
* {{cite book|first=Paul|last=Halmos|title=Naive set theory|location= New York|publisher= Springer-Verlag|origyear= 1960|year=1974|isbn= 0-387-90092-6}} (originally from  D. Van Nostrand Company Princeton, NJ)
* {{cite book|first=Thomas|last= Jech|year=2003|title=Set Theory: The Third Millennium Edition, Revised and Expanded|publisher=Springer|isbn= 3-540-44085-2}}
* {{cite book|first=Kenneth|last= Kunen|year= 1980|title= Set Theory: An Introduction to Independence Proofs|publisher= Elsevier|isbn= 0-444-86839-9}}

----
{{PlanetMath attribution|id=35708|title=cardinality of the continuum}}

{{DEFAULTSORT:れんそくたいのうと}}
[[Category:無限濃度]]
[[Category:集合論]]
[[Category:数学に関する記事]]