正則基数
集合論において、正則基数(せいそくきすう、英: regular cardinal)とは、その共終数が自身と等しい基数である。 より詳細にいえば、 が正則基数であることと、どの非有界な部分集合 も基数 を持つことは同値である。 正則でない整列無限基数は特異基数と呼ばれる。有限基数に対しては普通、正則や特異といった呼び方はされない。
選択公理の存在下では、どの基数も整列できるため、基数 に対する以下の主張は同値になる。
- は正則基数である。
- すべての に対して かつ であるならば、 である。
- かつ かつすべての に対して であるならば、 である。
- 未満の濃度の集合の圏 およびそれらの間のすべての関数が、 未満の濃度の余極限のもとに閉じている。
- は正則順序数である(後述)。
簡単に言えば、正則基数は少数の小さなパーツに分割できないものである。
選択公理を仮定しない場合はより複雑になる。この場合、どの基数も整列集合の濃度であるとは限らないため、上記の同値性は整列可能な基数に対してのみ成立する。
無限順序数 が自身より小さい順序数の集合(すなわち順序型が 未満である集合)の極限にならない極限順序数であるとき、正則順序数と呼ぶ。例えば が該当する(後述の例を参照)。
正則順序数は始順序数 (en:initial ordinal) であるが、逆は必ずしも成り立つとは限らない。
例
編集未満の順序数は有限順序数である。有限順序数の有限列は最大元をもつため、 は 未満の順序数による順序型 未満の列の極限にはならない。したがって、 は正則順序数である。アレフ数 は、その始順序数である が正則であるため、正則基数である。直接に正則性を示すこともできる。有限基数の有限個の和はそれ自身有限だからである。
は より大きい次の順序数であり、極限順序数でないから特異順序数である。 は の次の極限順序数である。これは , , , ,…といった順序型 の列の極限であるため、特異順序数となる。
は の次の基数である。 未満の基数は高々可算な基数である。選択公理を仮定すると、可算集合の可算和は可算集合である。ゆえに、 は可算集合の可算和で書けないので正則である。
は列 , , , , … の次の基数である。この始順序数は であり、列 , , , ,… の極限である。この列の順序型は だから , は特異である。選択公理を仮定すると、 は最初の無限特異濃度である(最初の無限特異順序数は であり、最初の無限極限特異順序数は である)。特異基数の存在を証明するには置換公理が必要である。ツェルメロ集合論では の存在を証明できない。
非可算な正則な極限基数は弱到達不能基数として知られており、その存在はZFCの下では証明できず、その存在がZFCと矛盾するかどうかも知られていない。弱到達不能基数の存在はしばしば追加的な公理として採られることがある。到達不能基数はアレフ関数の不動点である必要があるが、その不動点が正則とは限らない。例えば、最初の不動点は の -列の極限で、これは特異基数である[1]。
性質
編集選択公理の下ではどの後続基数も正則である。したがって、ほとんどのアレフ数濃度の正則性・特異性は後続基数か極限基数かで確かめられる。濃度の中には、どのアレフ数と等しいか証明できないものもある。連続体濃度がその例で、ZFCの下では非可算な共終数をもついかなる非可算基数と等しいと考えても矛盾しない(イーストンの定理を参照)。連続体仮説は連続体濃度が正則な であるという仮説である。
選択公理を仮定しない場合、整列可能でない集合の濃度が存在しうる。さらに、濃度の和も全ての集合に定義できるわけではない。したがって、正則性・特異性が意味をもつのはアレフ数のみである。さらには、可算濃度の次の濃度が正則とも限らない。例えば、可算集合の可算和が可算とは限らず、実数全体の集合が可算集合の可算和であるという主張と同様に、 が可算順序数の可算列の極限であるという主張はZFと矛盾しない。さらには、 より大きい全てのアレフ数が特異基数であるというのもZFと矛盾しない(モティ・ギティックにより証明された)。
が極限順序数であるならば、 が正則であることと、 となるような -初等埋め込み の臨界点である の集合が においてclubであることと同値である[2]。
基数 に対して、 が推移的であってかつ であるとき、初等埋め込み は小さな埋め込みである。基数 が非可算正則であることと、どの に対しても小さな埋め込み が存在するような、ある が存在することは同値である[3]Corollary 2.2。
関連項目
編集参考文献
編集- ^ Maddy, Penelope (1988), “Believing the axioms. I”, Journal of Symbolic Logic 53 (2): 481–511, doi:10.2307/2274520, JSTOR 2274520, MR947855 , "Early hints of the Axiom of Replacement can be found in Cantor's letter to Dedekind [1899] and in Mirimanoff [1917]". Maddy は Mirimanoff の2本の論文を引用している: "Les antinomies de Russell et de Burali-Forti et le problème fundamental de la théorie des ensembles" and "Remarques sur la théorie des ensembles et les antinomies Cantorienne", both in L'Enseignement Mathématique (1917).
- ^ T. Arai, "Bounds on provability in set theories" (2012, p.2). Accessed 4 August 2022.
- ^ Holy, Lücke, Njegomir, "Small embedding characterizations for large cardinals". Annals of Pure and Applied Logic vol. 170, no. 2 (2019), pp.251--271.
- Herbert B. Enderton, Elements of Set Theory, ISBN 0-12-238440-7
- en:Kenneth Kunen, Set Theory, An Introduction to Independence Proofs, ISBN 0-444-85401-0