正則基数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

集合論において、正則基数(regular cardinal)とは、その共終数がそれ自身である基数のこと。 簡単に言えば、正則基数は小さいパーツの少ない集まりに分割できないものである。

(この状況は選択公理を仮定しない文脈ではもっと複雑である。 そのような場合、全ての濃度が整列集合の濃度とは限らなく、 上記の定義は整列集合の濃度のみに対してなされる。) 選択公理を仮定するときは、いかなる濃度も基数になり、無限基数 \kappa が 正則であることは \kappa 未満の基数の \kappa 未満個の和では 表せないことと同値になる。

また、無限基数 \alpha が正則なのは、それが極限順序数で より小さい順序数の順序型\alpha 未満の集合の極限にならないことと同値である。

正則な順序数はen:initial ordinalである。しかし、initial ordinalだからといって 正則であるとは限らない。

正則でない整列無限集合の濃度は特異基数と呼ばれる。 有限順序数に対しては普通、正則や特異と言った呼び方はしない。

[編集]

\omega 未満の順序数は有限順序数である。有限順序数の有限列は最大元をもつ。 だから \omega\omega 未満の順序数による 順序型 \omega 未満の列の極限にはならない。 なので、 \omega は正則順序数である。 \aleph_0 は正則濃度である。 そのinitial ordinalである \omega が正則だからである。 直接に正則性を示すこともできる。有限基数の有限個の和はそれ自身有限だからである。

\omega+1\omegaの次の順序数で極限順序数でないから特異順序数である。 \omega+\omega\omega の次の極限順序数である。 これは \omega, \omega+1, \omega+2, \omega+3,…といった順序型 \omega の列の極限であり、特異順序数となる。

\aleph_1\aleph_0の次の濃度である。 \aleph_1 未満の基数は高々可算な基数である。選択公理を仮定すると、 可算集合の可算和は可算集合である。 ゆえに、\aleph_1 は可算集合の可算和で書けないので正則である。

\aleph_\omega\aleph_0,\aleph_1,\aleph_2, \aleph_3, … の列の次にくる濃度である。これのinitial ordinalは \omega_\omega で 列 \omega,\omega_1, \omega_2, \omega_3,… の極限である。この列の順序型は \omega だから \omega_\omega,\aleph_\omega は特異である。

選択公理を仮定すると、 \aleph_\omega は最初の無限特異濃度である (最初の無限特異順序数は \omega+1 であった)。 特異基数の存在を証明するには置換公理が必要である。 ツェルメロの集合論では \aleph_\omega の存在性は証明できない。

性質[編集]

非可算な正則な極限基数は弱到達不能基数として知られていて、 この存在性はZFCの下では証明できないし、その存在性がZFCと矛盾するかどうかも知られていない。 弱到達不能基数の存在性はしばしば追加的な公理として採られることがある。 到達不能基数はアレフ関数不動点である必要がある。 しかし、その不動点は正則とは限らない。 例えば、最初の不動点は \aleph_0, \aleph_{\aleph_0}, \aleph_{\aleph_{\aleph_0}}, ...\omega-列の極限で、これは特異基数である。

選択公理の下では、後続型基数は正則である。 なので、ほとんどのアレフ数濃度の正則性,特異性は後続型基数か極限基数かで確かめられる。 濃度の中には、どのアレフ数と等しいか証明できないものもある。 連続体濃度がその例で、ZFCの下では非可算な共終数をもついかなる非可算基数と等しいと考えても 矛盾に至らない(イーストンの定理を参照)。 連続体仮説は連続体濃度が正則な \aleph_1 であるという仮説である。

選択公理を仮定しないとき、整列可能でない集合の濃度が存在しうる。 さらに、濃度の和も全ての集合に定義できるわけではない。 だから、正則,特異性が意味をもつのはアレフ数のみである。 さらには、可算濃度の次の濃度が正則とも限らない。 例えば、可算集合の可算和が可算とは限らなく、 実数全体の集合が可算集合の可算和であるという主張と同様に \omega_1 が 可算順序数の可算列の極限であるというのはZFと矛盾しない。 さらには、\aleph_0 より大きい全てのアレフ数が特異基数であるというのも ZFと矛盾しない(ギティック(en:Moti Gitik)により証明された)。

関連項目[編集]

参照[編集]