極限順序数 α {\displaystyle \alpha } の共終数(きょうしゅうすう、cofinality)とは、 β {\displaystyle \beta } から α {\displaystyle \alpha } への写像でその値域が α {\displaystyle \alpha } の中で非有界になっているようなものが存在するような最小の β {\displaystyle \beta } のことを言う。ここで、 α {\displaystyle \alpha } の部分集合 X {\displaystyle X} が非有界であるとは、全ての γ ∈ α {\displaystyle \gamma \in \alpha } に対して、それよりも大きい X {\displaystyle X} の元が存在することをいう。[1] α {\displaystyle \alpha } の共終数はよく cf ( α ) {\displaystyle {\mbox{cf}}(\alpha )} と記される。
共終数は順序数の性質として非常に重要なものであり、その他の性質に大きく影響している。また下記の正則基数と特異基数の違いは顕著である。
正則基数詳細は「正則基数」を参照
cf ( α ) = α {\displaystyle {\mbox{cf}}(\alpha )=\alpha } となるとき、順序数 α {\displaystyle \alpha } は正則(regular)であるという。明らかに正則な順序数は基数であり、そのため通常は正則基数という言葉で呼ばれる。一般に cf ( cf ( α ) ) = cf ( α ) {\displaystyle {\mbox{cf}}({\mbox{cf}}(\alpha ))={\mbox{cf}}(\alpha )} が成り立つので共終数は常に正則である。例えば、後続基数は全て正則基数である。非可算で正則な極限基数は弱到達不可能基数と呼ばれ、その存在の整合性は標準的な集合論の公理系であるZFCから証明不可能である。 正則でない順序数のことを特異順序数(singular ordinal)と呼び、それが基数の場合には特異基数(singular cardinal)と呼ぶ。例えば、 ω {\displaystyle \omega } 番目の無限基数、 ℵ ω {\displaystyle \aleph _{\omega }} は特異基数である。特異基数の構造は公理的集合論において最も興味を持たれている対象の一つであり、シルバーの定理やシェラーのpcf理論
特異基数
脚注^ 公理的集合論の慣習から、順序数 α と α より小さい順序数の集合 { ξ 。ξ < α } を同一視している。
.mw-parser-output .asbox{position:relative;overflow:hidden}.mw-parser-output .asbox table{background:transparent}.mw-parser-output .asbox p{margin:0}.mw-parser-output .asbox p+p{margin-top:0.25em}.mw-parser-output .asbox{font-size:90%}.mw-parser-output .asbox-note{font-size:90%}.mw-parser-output .asbox .navbar{position:absolute;top:-0.90em;right:1em;display:none}
この項目は、集合論に関連した書きかけの項目です。この項目を加筆・訂正
などしてくださる協力者を求めています(プロジェクト:数学/Portal:数学)。