共終数のソースを表示

極限[[順序数]]<math>\alpha</math>の'''共終数'''（きょうしゅうすう、cofinality）とは、
<math>\beta</math>から<math>\alpha</math>への[[写像]]で
その値域が<math>\alpha</math>の中で非[[有界]]になっているようなものが存在するような
最小の<math>\beta</math>のことを言う。
ここで、<math>\alpha</math>の[[部分集合]]<math>X</math>が非有界であるとは、
全ての<math>\gamma\in\alpha</math>に対して、それよりも大きい
<math>X</math>の元が存在することをいう。<ref>公理的集合論の慣習から、順序数 {{Math|α}} と {{Math|α}} より小さい順序数の集合 {{Math|{{(}} ξ {{!}} ξ < α {{)}}}} を同一視している。</ref>
<math>\alpha</math>の共終数はよく<math>\mbox{cf}(\alpha)</math>
と記される。

共終数は順序数の性質として非常に重要なものであり、その他の性質に
大きく影響している。また下記の正則基数と特異基数の違いは顕著である。

==正則基数==
{{main|正則基数}}
<math>\mbox{cf}(\alpha)=\alpha</math>となるとき、順序数<math>\alpha</math>
は[[正則基数|正則]](regular)であるという。
明らかに正則な順序数は[[順序数#集合の濃度と基数|基数]]であり、そのため通常は
正則基数という言葉で呼ばれる。
一般に<math>\mbox{cf}(\mbox{cf}(\alpha))=\mbox{cf}(\alpha)</math>が成り立つので共終数は常に正則である。
例えば、[[濃度 (数学)#様々な集合の濃度|後続基数]]は全て正則基数である。
非[[可算]]で正則な極限基数は弱到達不可能基数と呼ばれ、その存在の整合性は
標準的な集合論の公理系である[[ツェルメロ＝フレンケル集合論|ZFC]]から証明不可能である。

==特異基数==
正則でない順序数のことを特異順序数(singular ordinal)と呼び、
それが基数の場合には特異基数(singular cardinal)と呼ぶ。
例えば、<math>\omega</math>番目の無限基数、<math>\aleph_\omega</math>は
特異基数である。
特異基数の構造は公理的集合論において最も興味を持たれている対象の
一つであり、シルバーの定理や[[サハロン・シェラハ|シェラー]]の[[pcf理論]]などのような
目覚ましい成果を挙げている。

== 脚注 ==
<references />
{{Settheory-stub}}
{{DEFAULTSORT:きようしゆうすう}}
[[Category:集合論]]
[[Category:基数]]
[[Category:数学に関する記事]]