後続順序数とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 後続順序数の意味・解説 

後続順序数

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/26 10:12 UTC 版)

集合論および順序論における順序数後者 (successor) あるいは後続順序数(こうぞくじゅんじょすう、: successor ordinal)とは、与えられた順序数 α に対し、α より大きい最小の順序数を言う。

性質

0 を除く任意の順序数は後続順序数か極限順序数の何れかである[1]

フォンノイマンのモデル

集合論における標準的なモデルとしてフォンノイマンの順序数モデルは、順序数 α の後者 S(α) を等式

によって与える[1]

順序数の順序付けにおいて α < β となるための必要十分条件は、αβ となることであったから、ここから直ちに二つの順序数 α, S(α) の間にはほかの順序数はなく、かつ明らかに α < S(α) が成り立つ。すなわち、この S(α)α の後者としての条件を満足していることが確かめられる。

順序数の和

後者演算は(厳密には超限帰納法を通じて)順序数の和を定義するのに用いられる:[2]

および、極限順序数 λ に対しては

特に、S(α) = α + 1 が成り立つ。乗法や冪も同様に定義される。

位相

後続順序数および 0順序位相英語版に関して順序数全体の成す孤立点である[3]

関連項目

参考文献

  1. ^ a b Cameron 1999, p. 46.
  2. ^ Weisstein, Eric W. "Ordinal Addition". MathWorld (英語).
  3. ^ Devlin 1993, p. 100, Exercise 3C.

外部リンク




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「後続順序数」の関連用語

後続順序数のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



後続順序数のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの後続順序数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS