連続体濃度

集合論における連続体濃度︵れんぞくたいのうど、英: cardinality of the continuum︶とは、実数全体の成す集合 Rの濃度︵あるいは基数、集合の﹁大きさ﹂の尺度︶のことである。連続体濃度を持った集合を連続体 (continuum) と呼ぶこともある。これは無限濃度のひとつであり、|R|, 2^ℵ₀︵ℵはヘブライ文字のアレフ︶, $\beth _{1}$$\beth _{1}$または ${\mathfrak {c}}$${\mathfrak {c}}$︵ドイツ文字小文字の c︶などの記号で表される。

概要

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

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

$|(a,b)|=|\mathbb {R} |=|\mathbb {R} ^{n}|.$$|(a,b)|=|\mathbb {R} |=|\mathbb {R} ^{n}|.$
他の例については#連続体濃度をもつ集合節を参照のこと。

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

性質

連続濃度の非可算性

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

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

各項が0または2の値をとる無限列全体の成す集合 {0, 2}^N を考える。この集合の濃度は明らかに2^ℵ₀ である︵このような二値数列の全体と冪集合 P(N) との間の自然な全単射は指示関数を考えることで与えられる︶。いま、このような二値数列 (a_i)_i ∈ Nに対して、単位閉区間 [0, 1] に属する実数で、その三進展開の数字の並びから作った数列が (a_i) となるようなもの︵つまり、小数点以下第 i-位の数字が a_iであるような実数︶が一意に定まるので、これを対応させる。実数の三進展開表示において一意性がくずれるのは、ある項から先に0が続く場合か2が続く場合のどちらかであることから、この対応は単射写像を定めている︵この写像の像をカントール集合と呼ぶ︶。したがって $2^{\aleph _{0}}\leq {\mathfrak {c}}$$2^{\aleph _{0}}\leq {\mathfrak {c}}$を得る。

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

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

別の説明

上の等式

${\mathfrak {c}}=2^{\aleph _{0}}$${\mathfrak {c}}=2^{\aleph _{0}}$
は、

1/2 = 0.50000..., 1/3 = 0.33333..., π = 3.14159....

などの実数の無限十進小数展開︵最初の二つは循環小数の例でもある︶を用いても説明できる。これらの展開は、整数の集合から { 0, ..., 9 } への写像のうち特別な性質︵ある左無限半開区間上で恒等的に 0 となる︶を持つものによって表されていると見なすことができる。整数全体の成す集合の濃度は ℵ₀ だから、

${\mathfrak {c}}\leq 10^{\aleph _{0}}\leq {(2^{4})}^{\aleph _{0}}=2^{4\cdot \aleph _{0}}=2^{\aleph _{0}}$${\mathfrak {c}}\leq 10^{\aleph _{0}}\leq {(2^{4})}^{\aleph _{0}}=2^{4\cdot \aleph _{0}}=2^{\aleph _{0}}$
を得る。ここで4ℵ₀ = ℵ₀ を用いた。他方、2 = {0, 1} を例えば {3, 7} に移すことにし、十進小数展開に3か7しか現れないような実数のみを考えれば、

$2^{\aleph _{0}}\leq {\mathfrak {c}}$$2^{\aleph _{0}}\leq {\mathfrak {c}}$
となることがわかるから、ベルンシュタインの定理によって表式を得る。

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

濃度の等式

${\mathfrak {c}}^{2}={\mathfrak {c}}$${\mathfrak {c}}^{2}={\mathfrak {c}}$
は濃度の算術を用いれば

${\mathfrak {c}}^{2}=(2^{\aleph _{0}})^{2}=2^{2\times {\aleph _{0}}}=2^{\aleph _{0}}={\mathfrak {c}}$${\mathfrak {c}}^{2}=(2^{\aleph _{0}})^{2}=2^{2\times {\aleph _{0}}}=2^{\aleph _{0}}={\mathfrak {c}}$
と示すことができるが、二つの二進列に対する﹁挿入演算﹂(interleaving) の一種を考えれば直接的に示すこともできる。実数 x, yの二進展開を

${\begin{aligned}x&=0.a_{0}a_{1}a_{2}\ldots ,\\y&=0.b_{0}b_{1}b_{2}\ldots \end{aligned}}$${\begin{aligned}x&=0.a_{0}a_{1}a_{2}\ldots ,\\y&=0.b_{0}b_{1}b_{2}\ldots \end{aligned}}$
とするとき、これらの二進展開に対する挿入

$z=0.a_{0}b_{0}a_{1}b_{1}a_{2}b_{2}\ldots$$z=0.a_{0}b_{0}a_{1}b_{1}a_{2}b_{2}\ldots$
は x, yが一意的に二進展開可能であるとき矛盾無く定義される。二進展開が一意でないような実数は可算無限個しかない。

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

${\mathfrak {c}}^{\aleph _{0}}={\aleph _{0}}^{\aleph _{0}}=n^{\aleph _{0}}={\mathfrak {c}}^{n}=\aleph _{0}{\mathfrak {c}}=n{\mathfrak {c}}={\mathfrak {c}}$${\mathfrak {c}}^{\aleph _{0}}={\aleph _{0}}^{\aleph _{0}}=n^{\aleph _{0}}={\mathfrak {c}}^{n}=\aleph _{0}{\mathfrak {c}}=n{\mathfrak {c}}={\mathfrak {c}}$
が成り立つことがわかる。また

${\mathfrak {c}}^{\mathfrak {c}}=(2^{\aleph _{0}})^{\mathfrak {c}}=2^{{\mathfrak {c}}\times \aleph _{0}}=2^{\mathfrak {c}},$${\mathfrak {c}}^{\mathfrak {c}}=(2^{\aleph _{0}})^{\mathfrak {c}}=2^{{\mathfrak {c}}\times \aleph _{0}}=2^{\mathfrak {c}},$
が成り立つことも示せる。ただし、

$2^{\mathfrak {c}}=|{\mathfrak {P}}(\mathbb {R} )|,\quad 2^{\mathfrak {c}}>{\mathfrak {c}}$$2^{\mathfrak {c}}=|{\mathfrak {P}}(\mathbb {R} )|,\quad 2^{\mathfrak {c}}>{\mathfrak {c}}$
である。

ベート数

詳細は「ベート数」を参照

ベート数は

$\beth _{0}=\aleph _{0},\quad \beth _{k+1}=2^{\beth _{k}}$$\beth _{0}=\aleph _{0},\quad \beth _{k+1}=2^{\beth _{k}}$
として再帰的に定められる列に属する濃度の総称である。連続体濃度は二番目のベート数

$\beth _{1}={\mathfrak {c}}$$\beth _{1}={\mathfrak {c}}$
となる。その次のベート数は Rの冪集合︵すなわち、実数直線の部分集合全体の成す集合︶の濃度

$\beth _{2}=2^{\mathfrak {c}}$$\beth _{2}=2^{\mathfrak {c}}$
である。

連続体仮説

詳細は「連続体仮説」を参照

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

$\nexists A:\aleph _{0}<|A|<{\mathfrak {c}}$$\nexists A:\aleph _{0}<|A|<{\mathfrak {c}}$
と言い換えることもできる。現在ではこの言明はツェルメロ＝フレンケルの公理系に選択公理を付け加えた公理系 ZFC からは独立であることが知られている。すなわち、ZFC に連続体仮説を付け加えた体系も ZFC に連続体仮説の否定を付け加えた体系も、いずれも (ZFC が無矛盾ならば) 無矛盾である。

実は、0 でない任意の自然数 nに対し、等式 ${\mathfrak {c}}=\aleph _{n}$${\mathfrak {c}}=\aleph _{n}$は ZFC と独立である︵n = 1 の場合が連続体仮説︶。他の多くのアレフ数に対しても同様のことが言えるが、一部のアレフ数については共終性に基づくケーニヒの定理によって除外される︵例えば ${\mathfrak {c}}\neq \aleph _{\omega }$${\mathfrak {c}}\neq \aleph _{\omega }$が成り立つ︶。特に ${\mathfrak {c}}$${\mathfrak {c}}$は ℵ₁ にも ℵ_ω1 にも成り得る︵ω₁ は最小の非可算順序数︶。従って、連続体濃度 ${\mathfrak {c}}$${\mathfrak {c}}$は後続基数にも極限基数にも成り得るし、正則基数にも特異基数にも成り得る。

連続体濃度をもつ集合

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

●R: 実数全体の成す集合。

●R における任意の非退化な閉区間あるいは開区間。たとえば単位区間 [0,1] など。

●無理数全体の成す集合。

●超越数全体の成す集合。

●カントール集合。

●Rⁿ: n-次元ユークリッド空間。

●C: 複素数全体の成す集合。

●Q_p: p進数全体の成す集合。

●P(N): 自然数全体の成す集合 Nの冪集合。

●Z^N: 整数列︵すなわち Nから Zへの写像︶全体の成す集合。

●R^N: 実数列全体の成す集合。

●C⁰(R): Rから Rへの連続函数全体の成す集合。

●${\mathcal {O}}(\mathbb {R} ^{n})$${\mathcal {O}}(\mathbb {R} ^{n})$: Rⁿ上のユークリッド位相︵開集合系︶。

●${\mathfrak {B}}_{\mathbb {R} }$${\mathfrak {B}}_{\mathbb {R} }$: R上のボレル集合族すなわち、R のボレル集合全体の成す集合。

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

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

●P(R): Rの部分集合全体からなる集合︵冪集合︶。

●R^R: 実変数実数値の函数 R→ Rの全体の成す集合

●${\mathfrak {M}}_{\mathbb {R} }$${\mathfrak {M}}_{\mathbb {R} }$: R上のルベーグ集合族、すなわちR のルベーグ可測集合全体の成す集合。

●N, Q, R‥ それぞれのストーン＝チェック・コンパクト化。

●Aut($\mathbb {C}$$\mathbb {C}$)‥複素数体Cの自己同型群。

以上は全て $2^{\mathfrak {c}}=\beth _{2}$$2^{\mathfrak {c}}=\beth _{2}$の濃度を持つ。

参考文献

• Halmos, Paul (1974) [1960]. Naive set theory. New York: Springer-Verlag. ISBN 0-387-90092-6  (originally from D. Van Nostrand Company Princeton, NJ)
• Jech, Thomas (2003). Set Theory: The Third Millennium Edition, Revised and Expanded. Springer. ISBN 3-540-44085-2 
• Kunen, Kenneth (1980). Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9 

---

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目cardinality of the continuumの本文を含む