「順序数」の版間の差分

 
== 定義 ==
整列集合 (''A'', <) に対して、''A'' を[[写像|定義域]]とする[[写像|関数]] ''G'' を[[超限再帰]]によって
: ''G''(''a'') = { ''G''(''x'') | ''x'' < ''a'' }
と定義したとき、''G'' の[[写像|値域]] ran(''G'') を''' (''A'', &lt;) の順序数'''といい、これを ord(''A'', &lt;) で表す。ある整列集合の順序数であるような[[集合]]を'''順序数'''と呼ぶ<ref>順序数は本来、上で述べた定義とは異なる仕方で定義されていた。その定義とは、順序集合全体の集まりを「同型である」という "同値関係" によって類別したとき、順序集合 (''A'', &lt;) の "同値類" を (''A'', &lt;) の'''順序型'''(order type)と呼び、特に整列集合の順序型を順序数と呼ぶというものである。ところが現代の標準的な集合論においては、''A'' が空集合でない限り (''A'', &lt;) と同型な順序集合全体の集合といったものは存在しないことが示される。したがって、このような順序数の定義の仕方は正当な方法であるとは認められない。これを克服するために考えられたのが上で述べた定義であり、現在は上の定義(あるいはそれと同値な定義)が広く用いられている。だが、順序型というアイデア自体が排除されたわけではない。順序数を上で述べたような仕方で定義した後、それを用いることによって順序型を正当な方法で定義できるということが知られている。ただし、整列集合の順序型と順序数は別のものになる。詳細は「[[順序型]]」を参照。</ref>。
 
自然数全体の集合 &omega; は &isin; によって整列された推移的な集合であるから、上の事実 4. より &omega; は順序数である。
 
== 順序数の大小関係 ==
任意の順序数 &alpha;, &beta;, &gamma; に対して次が成り立つことが示される: