共終数
表示
極限順序数の共終数(きょうしゅうすう、cofinality)とは、 からへの写像で その値域がの中で非有界になっているようなものが存在するような 最小ののことを言う。 ここで、の部分集合が非有界であるとは、 全てのに対して、それよりも大きい の元が存在することをいう。[1] の共終数はよく と記される。
共終数は順序数の性質として非常に重要なものであり、その他の性質に 大きく影響している。また下記の正則基数と特異基数の違いは顕著である。
正則基数
[編集]詳細は「正則基数」を参照
となるとき、順序数 は正則(regular)であるという。 明らかに正則な順序数は基数であり、そのため通常は 正則基数という言葉で呼ばれる。 一般にが成り立つので共終数は常に正則である。 例えば、後続基数は全て正則基数である。 非可算で正則な極限基数は弱到達不可能基数と呼ばれ、その存在の整合性は 標準的な集合論の公理系であるZFCから証明不可能である。
特異基数
[編集]正則でない順序数のことを特異順序数(singular ordinal)と呼び、 それが基数の場合には特異基数(singular cardinal)と呼ぶ。 例えば、番目の無限基数、は 特異基数である。 特異基数の構造は公理的集合論において最も興味を持たれている対象の 一つであり、シルバーの定理やシェラーのpcf理論などのような 目覚ましい成果を挙げている。
脚注
[編集]- ^ 公理的集合論の慣習から、順序数 α と α より小さい順序数の集合 { ξ | ξ < α } を同一視している。