基数
表示
(後続基数から転送)
![]() |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e0/Aleph0.svg/150px-Aleph0.svg.png)
数学において基数︵きすう、cardinal number または cardinal︶とは、集合の濃度︵cardinality、大きさ、サイズ︶を測るために定義された自然数の一般化である。有限集合の濃度つまり有限集合の要素の個数は自然数で表される。無限集合の濃度が一つではないことはゲオルク・カントールによって示された。
基数は、集合論で活発に研究されている。また、組合せ論や抽象代数学、解析学を含めた数学の各分野の道具としても使われる。圏論では、基数は集合の圏の骨格 を形成する。
歴史
[編集]
濃度は、集合論の創始者であるゲオルク・カントールによって定式化された。濃度は、集合の一側面を比べるのに用いられる。例えば、{1, 2, 3} と {4, 5, 6} という集合は等しくない。しかし、︵{1→4, 2→5, 3→6}という一対一の対応の存在によって確立された︶3という同じ“濃度”を持っている。
カントールは、一対一対応という概念を無限集合に適用することで濃度を定義した。自然数全体からなる集合Nとの間に一対一対応が存在する集合を可算無限集合といい、可算無限集合は同じ基数
︵アレフ・ゼロ︶を持つ。カントールは、このような無限集合に対応する基数を超限基数 (transfinite cardinal) と呼んだ。
カントールは、直観に反するかもしれないが、Nのいかなる非有界部分集合もNと同じ濃度を持つということを証明した。また、Nの直積N×Nも可算無限であるということを証明した︵これは有理数全体からなる集合が可算無限であることを直ちに導く︶。また、後に代数的数全体からなる集合も可算無限であることも証明した。
カントールは1874年の論文[1] において、Nの濃度より実数全体の集合の濃度のほうが真に大きいということを示すことによって、高階の基数が存在することを示した。彼の証明は、区間縮小法を用いた複雑な論法であった。しかし、1891年の論文[2] では、同じことを巧妙かつ簡潔な対角線論法という方法を用いて証明した。実数全体の集合に対応する新しい基数を、連続体濃度といい、カントールは
という記号をそれに用いた。
カントールは基数の一般理論の大部分を発展させた。彼は最小の超限基数の存在を示した。また、いかなる基数についても、その次に大きい基数が存在することを示した。
彼が予想した連続体仮説は、
は
に等しい、という命題である。連続体仮説は、公理系から証明もその否定も証明できないという意味で、集合論の通常の公理系︵ツェルメロ・フレンケルの公理系︶から独立であることが示されている。
動機
[編集]
有限集合の要素の個数は自然数を使って数えることが出来る。自然数の個数を数える役割も﹁基数﹂と呼ばれる︵対照的に順番を数える役割は序数と呼ばれる。基数詞と序数詞を参照︶。通常数学では有限集合だけではなく無限集合が現れ、特に可算濃度と非可算濃度を区別することは大きな意味を持つ。このため有限集合の場合の自然数の一般化として無限集合の濃度についてもそれを表す﹁指標﹂として基数を定義したい。
集合の濃度の概念は全単射をもちいて定義される。2つの集合が等しい濃度を持つとは、その集合の間に全単射が存在することをいう。有限集合は必ずなんらかの自然数 nにたいし {0 ... n-1} との間に全単射が作れることがわかり、有限集合の濃度の指標としては自然数を採用すればいいことが分かる。無限集合の場合は、振る舞いは複雑になってくる。例えば、有限集合の真部分集合と元の集合の濃度が等しくなり得ないのに対し、無限集合の真部分集合の濃度が元の集合の濃度と等しいということが起きる︵デデキント無限も参照︶。さらにカントールが示したように、無限集合の濃度には最大が存在せず、いくらでも大きな濃度を構成することが出来る。
カントールは基数を濃度が等しい集合からなる同値類として素朴に定義した。しかし︵ZFCなどの標準的な集合論では︶この方法では基数を集合として扱うことは出来ず、また基数からなる集合やクラスを考えることは本質的に困難である。これを回避する方法はフォン・ノイマンやデイナ・スコット[3] によって提示された。
定義
[編集]基数の厳密な定義
[編集]
︵カントールによって暗に、フレーゲやプリンキピア・マテマティカにおいて明確に示されていた︶基数の最も古い定義は、集合全体からなるクラスを濃度による同値関係で割ったときの同値類としての定義である。つまり Xの濃度 | X| は Xと一対一対応であるすべての集合からなるクラスとして定義される。これは、ZFCや関連する集合論の公理系ではうまく機能しない。実際、 Xを空でない集合としたとき、集合 Sに {S}×X を対応させる写像を考えることによって、宇宙から | X| への単射が存在し、サイズの限界 (en:Limitation of size) より、| X| は真のクラスである。
フォン・ノイマンの割り当て
任意の順序数 β に対し β < α ⇒ | β | < | α | を満たす順序数 α を始順序数 (initial ordinal) という[注釈 1]。このとき整列可能な集合 Xに対して min{α∈ON :| α | = | X| } を濃度 | X| の始順序数という︵ただし ONは順序数全体からなるクラス︶。
整列可能な集合の濃度をその始順序数として定義することをフォン・ノイマンの割り当てという。
このとき、順序数αに対して濃度| α |の始順序数がα自身であるならば、αは基数であるという。また、濃度が| α |に等しい集合Xについて、Xの基数はαであると言い、| X|=αと書く。
スコットのトリック
整列可能定理を仮定しない場合、以下の方法を用いて整列可能とは限らない集合 Xに濃度として以下の集合を割り当てる︵詳しくはスコットのトリックを参照︶‥
| X| := {A : | A| = | X| かつ、任意の集合 Bにたいし﹁| B| = | X| → rank( A) ≤ rank( B)﹂}
このとき基数はある集合と濃度が等しい集合のうち階数が一番小さいもの全体からなる集合として定義される。
どのような定義を採用するにしろ2つの基数が等しいのは、それらの基数を濃度とするような集合の間に全単射が構成できるちょうどそのときである。整列可能な集合の濃度として表せる基数をアレフ数︵aleph number︶という。ここでは基数全体からなるクラスを
とかく。
は真のクラスである。
大小関係
[編集]基数の間の大小関係を
- κ ≤ λ ⇔ 「X、Y が κ = | X | , λ = | Y | を満たすなら、X から Y への単射が存在する」
と定義する
有限基数と無限基数
[編集]
有限集合の濃度となる基数を有限基数といい、自然数 nにたいし、n 点集合の濃度を nと書く。
無限集合の濃度となる基数を無限基数という。自然数全体からなる集合の濃度を
と書く︵
︶。実数全体からなる集合の基数を
などと書き︵
︶連続体濃度と呼ぶ。
基数演算
[編集]
基数に対しての基本的な演算は、有限基数について自然数上のよく知られた演算と一致するように定義される。
以下、特に言及のないときは選択公理を仮定する。X 、Y は集合、κ 、λ 、μ 、ν は基数とする。
後続
[編集]- | X |+ := |{ α∈ON : |α|≤| X | }|
を Xのハルトークス数 (Hartogs number) という︵これは濃度が | X| より大きい最小の順序数と一致する︶。κ+ を κ の後続という。
κ が有限の時は κ+ = κ+1 が成立。一方、無限基数のときは κ+ と κ+1 は異なる。
加法
[編集]- | X |+| Y | := | X ⊔ Y | (ただし X ⊔ Y は X と Y の直和 (X × {0})∪(Y × {1}) のこと)
を | X | と | Y | の和という。 基数の加法について以下が成り立つ。
- 単位元 : κ+0 = κ
- 結合律 : (κ+λ)+μ = κ+(λ+μ)
- 可換律 : κ+λ = λ+κ
- 順序の保存 : κ ≤ λ ⇒ κ+μ ≤ λ+μ
- κ と λ のどちらかが無限基数のとき κ+λ = max{κ,λ}
- 減法 : 無限基数 κ と基数 λ にたいし、κ > λ のとき λ+μ = κ ⇔ μ = κ
乗法
[編集]
| X|·| Y| := | X× Y| ︵ただし X×Y は Xと Yの直積。︶
を | X| と | Y| の積という。
●吸収元 : κ·0 = 0
●零因子の非存在 : κ ≠ 0 , λ ≠ 0 ⇒ κ·λ ≠ 0
●単位元 : κ·1 = κ
●結合律 : (κ·λ)·μ = κ·(λ·μ)
●可換律 : κ·λ = κ·λ
●順序の保存 : κ ≤ λ ⇒ κ·μ ≤ λ·μ
●分配律 : κ·(λ+·μ) = κ·λ+κ·μ、 (κ+λ)·μ = κ·μ+λ·μ
●0 でない基数 κ と λ のどちらかが無限基数のとき κ·λ = max{κ,λ}
除法
無限基数 κ と基数 λ > 0 にたいし、κ > λ のとき λ·μ = κ ⇔ μ = κ。
冪
[編集]- | X || Y | := | X Y| (ただし X Y は Y から X への写像全体。)
を | X| を底、| Y| を指数とする冪という。
●κ0 =1、κ1 = κ
●κ > 0 ⇒ 0κ = 0
●指数法則 :
κ(λ+μ) = κλ·κμ
(κ·λ)μ = κμ·λμ
(κλ)μ = κλ·μ
●順序の保存 :
κ ≤ λ ⇒ κμ ≤ λμ
κ > 0 , λ ≤ μ ⇒ κλ ≤ κμ
●
、
●無限基数 λ にたいし以下が成立。
2 ≤ κ ≤ 2λ ⇒ κλ =2λ
λ ≤ κ ⇒ κλ ≤ 2κ
|cf(κ)| ≤ λ ⇒ κ < κλ ︵ただし cf(κ) は κ の始順序数の共終数を表すとする。︶
●さらに一般連続体仮説を仮定すると無限基数 λ にたいし以下が成立。
2 ≤ κ ≤ 2λ ⇒ κλ = λ+
|cf(κ)| ≤ λ ≤ κ ⇒ κλ = κ+
λ < |cf(κ)| ⇒ κλ = κ
冪乗根
基数 λ、κ にたいし、μλ = κ を満たす μ は存在するとも一意的とも限らない。λ が有限で κ が無限なら、μλ = κ ⇔ μ = κ 。
対数
基数 λ、κ にたいし、λμ = κ を満たす μ は存在するとも一意的とも限らない。無限基数 κ にたいし log(κ) := inf{ λ : κ ≤ 2λ } を κ の対数という。このとき log(κ) ≤ κ 、κ ≤ 2log(κ)。
諸概念
[編集]アレフ数とベート数
[編集]- アレフ数
詳細は「アレフ数」を参照
順序数
にたいし、
番目のアレフ数を
と書く。より正確には
を以下のように超限再帰により定義する。
●0 :
●後続順序数 :
︵後述の後続を参照︶
●極限順序数 :
︵ただし
は極限順序数︶
特にアレフ数の列
のことをアレフ数と呼ぶこともある。アレフ数は必ずなんらかの
によって
と表せる。
の始順序数を
と書く。
- ベート数
詳細は「ベート数」を参照
順序数 にたいし、 を以下のように超限再帰により定義する。
- 0 :
- 後続順序数 : (後述の後続を参照)
- 極限順序数 : (ただし は極限順序数)
列 ないし列上の基数をベート数(beth number)と呼ぶ。
- 連続体仮説
詳細は「連続体仮説」を参照
を連続体仮説
●
を一般連続体仮説という。
この仮説はゲオルク・カントールによって予想された。ヒルベルトは彼の有名な23の問題の第一番にこの連続体仮説を取り上げている。その後、クルト・ゲーデルは構成可能集合全体のクラス Lが一般連続体仮説をみたすことを示し、﹁ZFC からは一般連続体仮説の否定は証明できない﹂ことを証明した。ポール・コーエンは強制法と呼ばれる新しい手法を用いて連続体仮説が成り立たないモデルを構成し﹁ZFC から連続体仮説を証明できない﹂ことを証明した。これらの結果から︵一般︶連続体仮説の ZFC からの独立性が示され、連続体仮説は一応の解決を見た。コーエンはこの業績によりフィールズ賞を受賞している。
後続基数と極限基数
[編集]詳細は「en:Successor cardinal」および「極限基数」を参照
無限基数 κ がなんらかの基数 λ を使って κ = λ+ と表せるとき κ を後続基数といい、κ = sup {λ ∈ CN : λ < κ } と表せるとき κ を(弱)極限基数という。後続基数でなければ極限基数である。極限基数 κ が λ < κ ⇒ 2λ < κ を満たすとき強極限基数という、これは log(κ) = κ と同値。
正則基数と特異基数
[編集]詳細は「正則基数」を参照
出典
[編集]- ^ Cantor; Cantor (1874-01-01) (ドイツ語). Ueber eine Eigenschaft des Inbegriffs aller reellen algebraischen Zahlen.. 1874. pp. 258–262. doi:10.1515/crll.1874.77.258. ISSN 1435-5345 .
- ^ Cantor, Georg (1891). “Ueber eine elementare Frage der Mannigfaltigketislehre”. Jahresbericht der Deutschen Mathematiker-Vereinigung 1: 72-78. ISSN 0012-0456 .
- ^ Klee, V. L. (1955). “The June meeting in Vancouver” (英語). Bulletin of the American Mathematical Society 61 (5): 433–444. doi:10.1090/S0002-9904-1955-09941-5. ISSN 0002-9904 .
注釈
[編集]- ^ ただし ON の最小元という意味で0を始順序数ということもある