共終数

出典: フリー百科事典『ウィキペディア（Wikipedia）』

極限順序数 $α$ の共終数（きょうしゅうすう）とは、 $β$ から $α$ への写像でその値域が $α$ の中で非有界になっているようなものが存在するような最小の $β$ のことを言う。ここで、 $α$ の部分集合 $X$ が非有界であるとは、全ての $γ < α$ に対して、それよりも大きい $X$ の元が存在することをいう。また、順序数をそれより小さい順序数全体の集合として定義する公理的集合論の慣習も採用した。 $α$ の共終数はよく $cf(α)$ と記される。

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

[編集] 正則基数

$cf(α) = α$ となるとき、順序数 $α$ は正則(regular)であるという。明らかに正則な順序数は基数であり、そのため通常は正則基数という言葉で呼ばれる。一般に $cf(cf(α)) = cf(α)$ が成り立つので共終数は常に正則である。例えば、後続基数は全て正則基数である。非可算で正則な極限基数は弱到達不可能基数と呼ばれ、その存在の整合性は標準的な集合論の公理系であるZFCから証明不可能である。

[編集] 特異基数

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