正則基数のソースを表示


[[集合論]]において、'''正則基数'''（せいそくきすう、{{Lang-en-short|regular cardinal}}）とは、その[[共終数]]が自身と等しい[[基数]]である。
より詳細にいえば、<math>\kappa</math> が正則基数であることと、どの{{仮リンク|共終|en|cofinal (mathematics)|label=非有界}}な部分集合 <math>C \subseteq \kappa</math> も基数 <math>\kappa</math> を持つことは同値である。
正則でない[[整列集合|整列]]無限基数は'''特異基数'''と呼ばれる。有限基数に対しては普通、正則や特異といった呼び方はされない。

[[選択公理]]の存在下では、どの基数も整列できるため、基数 <math>\kappa</math> に対する以下の主張は同値になる。
# <math>\kappa</math> は正則基数である。
# すべての <math>i</math> に対して <math>\kappa = \sum_{i \in I} \lambda_i</math> かつ <math>\lambda_i < \kappa</math> であるならば、<math>|I| \ge \kappa</math> である。
# <math>S = \bigcup_{i \in I} S_i</math> かつ <math>|I| < \kappa</math> かつすべての <math>i</math> に対して <math>|S_i| < \kappa</math> であるならば、<math>|S| < \kappa</math> である。
# <math>\kappa</math> 未満の濃度の集合の[[圏]] <math>\operatorname{Set}_{<\kappa}</math> およびそれらの間のすべての関数が、<math>\kappa</math> 未満の濃度の[[極限 (圏論)|余極限]]のもとに閉じている。
# <math>\kappa</math> は正則順序数である（後述）。

簡単に言えば、正則基数は少数の小さなパーツに分割できないものである。

[[選択公理]]を仮定しない場合はより複雑になる。この場合、どの基数も[[整列集合]]の濃度であるとは限らないため、上記の同値性は整列可能な基数に対してのみ成立する。

無限順序数 <math>\alpha</math> が自身より小さい順序数の集合（すなわち[[順序型]]が <math>\alpha</math> 未満である集合）の極限にならない[[極限順序数]]であるとき、'''正則順序数'''と呼ぶ。例えば <math>\omega_\omega</math> が該当する（後述の例を参照）。

正則順序数は[[始順序数]] ([[:en:initial ordinal]]) であるが、逆は必ずしも成り立つとは限らない。
== 例 ==
<math>\omega</math> 未満の順序数は有限順序数である。有限順序数の有限列は最大元をもつため、<math>\omega</math> は <math>\omega</math> 未満の順序数による順序型 <math>\omega</math> 未満の列の極限にはならない。したがって、<math>\omega</math> は正則順序数である。[[アレフ数]] <math>\aleph_0</math> は、その始順序数である <math>\omega</math> が正則であるため、正則基数である。直接に正則性を示すこともできる。有限基数の有限個の和はそれ自身有限だからである。

<math>\omega+1</math> は <math>\omega</math> より大きい[[後続順序数|次の順序数]]であり、極限順序数でないから特異順序数である。<math>\omega+\omega</math> は <math>\omega</math> の次の極限順序数である。これは <math>\omega</math>, <math>\omega+1</math>, <math>\omega+2</math>, <math>\omega+3</math>,…といった順序型 <math>\omega</math> の列の極限であるため、特異順序数となる。

<math>\aleph_1</math> は <math>\aleph_0</math> の[[後続基数|次の基数]]である。<math>\aleph_1</math> 未満の基数は高々[[可算]]な基数である。選択公理を仮定すると、可算集合の可算和は可算集合である。ゆえに、<math>\aleph_1</math> は可算集合の可算和で書けないので正則である。

<math>\aleph_\omega</math> は列 <math>\aleph_0</math>,<math>\aleph_1</math>,<math>\aleph_2</math>, <math>\aleph_3</math>, … の次の基数である。この始順序数は <math>\omega_\omega</math> であり、列 <math>\omega</math>, <math>\omega_1</math>, <math>\omega_2</math>, <math>\omega_3</math>,…
の極限である。この列の順序型は <math>\omega</math> だから <math>\omega_\omega</math>,<math>\aleph_\omega</math> は特異である。選択公理を仮定すると、 <math>\aleph_\omega</math> は最初の無限特異濃度である（最初の無限特異順序数は <math>\omega+1</math> であり、最初の無限極限特異順序数は <math>\omega+\omega</math> である）。特異基数の存在を証明するには[[置換公理]]が必要である。[[ツェルメロ集合論]]では <math>\aleph_\omega</math> の存在を証明できない。

非可算な正則な極限基数は弱[[到達不能基数]]として知られており、その存在は[[ツェルメロ＝フレンケルの公理系|ZFC]]の下では証明できず、その存在がZFCと矛盾するかどうかも知られていない。弱到達不能基数の存在はしばしば追加的な公理として採られることがある。到達不能基数は[[アレフ関数]]の[[不動点]]である必要があるが、その不動点が正則とは限らない。例えば、最初の不動点は <math>\aleph_0, \aleph_{\aleph_0}, \aleph_{\aleph_{\aleph_0}}, ...</math> の <math>\omega</math>-列の極限で、これは特異基数である<ref>{{citation|title=Believing the axioms. I|last=Maddy|first=Penelope|authorlink=Penelope Maddy|year=1988|quote=Early hints of the Axiom of Replacement can be found in Cantor's letter to Dedekind [1899] and in Mirimanoff [1917]|journal=[[Journal of Symbolic Logic]]|volume=53|issue=2|pages=481–511|doi=10.2307/2274520|jstor=2274520|mr=947855}}. 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).</ref>。

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

選択公理を仮定しない場合、整列可能でない集合の濃度が存在しうる。さらに、濃度の和も全ての集合に定義できるわけではない。したがって、正則性・特異性が意味をもつのは[[アレフ数]]のみである。さらには、可算濃度の次の濃度が正則とも限らない。例えば、可算集合の可算和が可算とは限らず、実数全体の集合が可算集合の可算和であるという主張と同様に、<math>\omega_1</math> が可算順序数の可算列の極限であるという主張はZFと矛盾しない。さらには、<math>\aleph_0</math> より大きい全てのアレフ数が特異基数であるというのもZFと矛盾しない（{{仮リンク|モティ・ギティック|en|Moti Gitik}}により証明された）。

<math>\kappa</math> が極限順序数であるならば、<math>\kappa</math> が正則であることと、<math>j(\alpha)=\kappa</math> となるような <math>\Sigma_1</math>-[[初等埋め込み]] <math>j</math> の臨界点である <math>\alpha<\kappa</math> の集合が <math>\kappa</math> において[[Club集合|club]]であることと同値である<ref>T. Arai, "Bounds on provability in set theories" (2012, p.2). Accessed 4 August 2022.</ref>。

基数 <math>\kappa<\theta</math> に対して、<math>M</math> が推移的であってかつ <math>j(\textrm{crit}(j))=\kappa</math> であるとき、初等埋め込み <math>j:M\to H(\theta)</math> は''小さな埋め込み''である。基数 <math>\kappa</math> が非可算正則であることと、どの <math>\theta>\alpha</math> に対しても小さな埋め込み <math>j:M\to H(\theta)</math> が存在するような、ある <math>\alpha>\kappa</math> が存在することは同値である<ref>Holy, Lücke, Njegomir, "[https://www.sciencedirect.com/science/article/pii/S0168007218301167 Small embedding characterizations for large cardinals]". Annals of Pure and Applied Logic vol. 170, no. 2 (2019), pp.251--271.</ref><sup>Corollary 2.2</sup>。

== 関連項目 ==
* [[到達不能基数]]

== 参考文献 ==
{{参照方法|date=2023年9月}}
{{reflist}}
* {{aut|[[:en:Herbert Enderton|Herbert B. Enderton]]}}, ''Elements of Set Theory'', ISBN 0-12-238440-7
* {{aut|[[:en:Kenneth Kunen]]}}, ''Set Theory, An Introduction to Independence Proofs'', ISBN 0-444-85401-0

{{デフォルトソート:せいそくきすう}}
[[Category:順序数]]
[[Category:基数]]
[[Category:数学に関する記事]]