FANDOM


順序数 (Ordinal number) とは、ゲオルク・カントールによる自然数を拡張した概念であり、整列集合順序型である[1]

すべての有限な全順序集合整列集合であることは、簡単にわかる。要素の数が自然数 k 個である2つの全順序集合は順序同型であり、同じ順序型を持つ。そして、k がこの集合の順序数である。すなわち、自然数は有限順序数である。

有限でない順序数を超限順序数 (transfinite ordinal) と言う。最初の超限順序数は、\omega と表記され、自然数全体の集合 \mathbb{N}= \{0,1,2,3,\ldots\} の順序型である。これは、カントールが定義した超限数 (transfinite number) の中で最小である。

順序数は整列集合である。順序数を小さい方から大きい方に順番に並べると、0, 1, 2, \ldots, \omega, \omega+1, \omega+2, \ldots, \omega+\omega, \omega+\omega+1, \ldots となる。ここで、順序数の加算では交換法則が成立せず、1+\omega=\omega, \omega+1>\omega となる。

フォン・ノイマンによる定義 編集

(A,\leq) が順序数 \alpha の整列集合であるとき、\alpha よりも小さいすべての順序数の集合は、A と順序同型である。このことから、順序数を自分自身よりも小さいすべての順序数の集合として定義することができる。ジョン・フォン・ノイマンは、順序数をそのように定義した。これは標準的な順序数の表記法であり、その表記法によれば、次のようになる。

記号 要素 説明
0 {} 空集合
1 {0} 要素が1つの集合
2 {0, 1} 要素が2つの集合
3 {0, 1, 2} 要素が3つの集合
:
\omega {0, 1, 2, ...} すべての有限な順序数の集合
\omega + 1 {0, 1, 2, ..., ω}
:
\omega_1 すべての可算な順序数の集合

すべての順序数からなる集合は存在しない 編集

任意の順序数 \alpha に対して、\alpha\{\alpha\} の和集合は、\alpha よりも大きい順序数 \alpha + 1 となるため、最大の順序数は存在しない。そして、すべての順序数からなる集合は存在しない。これは、集合ではなくてクラス(真のクラス)である。

後続順序数と極限順序数 編集

順序数 \alpha後続順序数 (successor ordinal) であるとは、\alpha = \beta + 1 となるような順序数 \beta が存在することを意味する。0 でも後続順序数でもない順序数を極限順序数 (limit ordinal) と呼ぶ。\omegaは最小の極限順序数である。

順序数の演算 編集

整列集合の演算を参照。

r を有限順序数とすると、 r \times \omega\omega と等しく、 \omega \times r\underbrace{\omega + \ldots + \omega}_{r} と等しい。\omega^2\omega \times r と書けるいかなる順序数よりも大きく、\omega^3\omega^2 よりも大きい。

カントール標準形 編集

すべての順序数 \alpha は、このように一意に書くことができる。 \alpha = \omega^{\beta_1} c_1 + \omega^{\beta_2}c_2 + \cdots + \omega^{\beta_k}c_k ここで、k は自然数、c_1, c_2, \ldots, c_k は正の整数、\beta_1 > \beta_2 > \ldots > \beta_k \geq 0 は順序数である。これを、順序数 \alphaカントール標準形と呼ぶ。\beta_1\alpha の degree と呼ばれ、\beta_1\le\alpha が成り立つ。等号が成立するとき、すなわち \beta_1=\alpha が成立する時は、\alpha=\omega^\alpha が成立するときのみである。

カントール標準形によって、自然数と \omega から、加算、乗算、べき乗を有限回繰り返して得られる順序数 \alpha を、一意に表記し、大小関係を調べることができる。すなわち、カントール標準形で \beta_1 < \alpha の時、\beta をカントール標準形で書くことができる。すべての指数部分をカントール標準形で書くことを再帰的に繰り返すことにより、たとえば、

\omega^{(\omega^{\omega^5 \cdot 3 + \omega \cdot 2 + 1} \cdot 2 + \omega^5 + 21)} \cdot 4 + \omega^\omega \cdot 3 + 123

のように順序数を一意に表記することができる。

順序数 \epsilon\epsilon = \omega^\epsilon をみたすとき、\epsilonエプシロン数と呼ぶ。最小のエプシロン数は \epsilon_0 であり、これは \omega と自然数から、有限回数の加算、乗算、べき乗によって表記することができない最小の順序数である。

基本列 編集

順序数の基本列を参照。

出典 編集

  1. Ordinal Number - MathWorld

広告ブロッカーが検出されました。


広告収入で運営されている無料サイトWikiaでは、このたび広告ブロッカーをご利用の方向けの変更が加わりました。

広告ブロッカーが改変されている場合、Wikiaにアクセスしていただくことができなくなっています。カスタム広告ブロッカーを解除してご利用ください。

FANDOMでも見てみる

おまかせWiki