順序数

数学の特に集合論において、**順序数**（じゅんじょすう、）とは、整列集合同士の“長さ”を比較するために、自然数を拡張させた概念である。

## 定義
整列集合 \left(A,\, に対して、A を定義域とする写像 G_{A,\, を超限帰納法によって
:G_{A,\,

と定義したとき、G_{A,\, の値域 \mathrm{ran}\left(G_{A,\, を \left(A,\, の**順序数**といい、これを \mathrm{ord}\left(A,\, と表記する。ある整列集合の順序数であるような集合を**順序数**と呼ぶ。

### 例

 は自然数の通常の大小関係（を各集合に制限したもの）を表すものとすると、下記のようになる。


\mathrm{ord}\left(\varnothing,\,

\mathrm{ord}\left(\left\{2\right\},\,

\mathrm{ord}\left(\left\{2,\,3\right\},\,

\mathrm{ord}\left(\left\{2,\,3,\,5\right\},\,

この例から推測されるように、一般に有限の整列集合  に対して  は  の要素の個数に等しい。特に、任意の自然数  に対して  が成り立つので、自然数はすべて順序数である。

順序数に関して次が成り立つ：
# 整列集合  と整列集合  が同型のとき、またそのときに限り 。
#  が有限整列集合のとき、 は  の要素の個数に等しい。
# 整列集合  の順序数を  とし、 を  上の所属関係とすると、 は  と同型な整列集合である。
#  が順序数であることと、 が  によって整列された推移的集合であることは同値である。
#  が順序数のとき、 の要素もすべて順序数である。

自然数全体の集合  は  によって整列された推移的な集合であるから、上の事実 4. より  は順序数である。

## 順序数の大小関係
任意の順序数  に対して次が成り立つことが示される：
: 
:  かつ 
:  または  または 
そこで、 のとき  は  より大きいといい、 と書く。この定義と順序数の要素はまた順序数であるという性質から、すべての順序数は自分自身より小さな順序数全体の集合と等しいと言うことができる。 より小さな順序数（すなわち自然数）を**有限順序数**と呼び、 以上の（すなわち  と等しいか  より大きい）順序数を**無限順序数**と呼ぶ。順序数の大小関係に関して次が成り立つ：
# 整列集合  が整列集合  のある始切片と同型のとき、またそのときに限り 。
# 有限順序数の範囲では、上で定義された大小関係は通常の大小関係と一致する。
#  が順序数のとき、 は  より大きな順序数のうちで最小のものである。 を  の**後続者** と呼ぶ。
#  が順序数からなる集合のとき、\bigcup_{\alpha \in O} \alpha もまた順序数であり、 の最小上界となっている。そこで、\bigcup_{\alpha \in O} \alpha を  とも書く。 
# 順序数からなる空でない集合には必ず最小元が存在する。

順序数の並び方を次のように図示することができる：
: 
 
まず、 が最小の順序数である。その後に  と有限順序数（自然数）が通常の順序で並んでいる。そして、すべての自然数が並び終えると、次に来るのが最小の極限順序数  である。 の後にはまたその後続者たちが  と無限に続いていく。その後、それらの最小上界（後に  と呼ばれる）が並び、その後続者たちが無限に続く。だがそれで終わりではない。無限に続いた後には、必ずそれまでに並んだすべての順序数たちの最小上界が存在し、その後続者、そのまた後続者、... のように順序数の列は“永遠に”続いていくのである。

## 順序数の特徴付け
集合  について以下はZFで同値である。
*  は順序数である。
*  は推移的集合であり帰属関係  に関する整列集合である。 （ジョン・フォン・ノイマンの定義）
*  は推移的集合であり  ならば  のいずれか1つだけが成り立つ。
*  は推移的集合であり包含関係  に関する全順序集合である。
*  は推移的集合であり  の要素もまた推移的集合である。
ただし正則性公理を仮定しない場合は必ずしも同値にならないので注意が必要である。

## ブラリ＝フォルティの定理
**ブラリ＝フォルティの定理**とは、「全ての順序数からなる集合は存在しない」という定理である。下記のように背理法で証明できる。
:全ての順序数からなる集合が存在すると仮定し、これを ON とおく。任意の順序数の任意の元も順序数であるため、ON は推移的な集合である。さらに、ON の任意の非空部分集合には、二項関係 \in に関する最小元が存在するため、ON は \in によって整列されている。したがって ON は順序数であるので ON\in ON となるが、これは任意の順序数 \alpha について \alpha\not\in\alpha となるという事実と矛盾する。
かつて、集合論が公理化される以前には、「集合全体の集合」や「順序数全体の集合」といったものも無制限に考えられていたため、上のように順序数全体の集合を考えたときに起こる矛盾はブラリ＝フォルティのパラドックスと呼ばれていた。

## 後続順序数と極限順序数

ある順序数  が存在して  となる順序数  を**後続順序数**  と呼ぶ。 でも後続順序数でもない順序数を**極限順序数**  と呼ぶ。定義より、すべての順序数  に対して、
* 
*  は後続順序数である
*  は極限順序数である
のいずれか一つだけが成り立つ。 は最小の極限順序数である。また、任意の順序数  に対して、 より大きな極限順序数が存在することが示される。

## 順序数の演算

順序数の間には、和、積、冪といった演算を定義できる。特に有限順序数の間の演算は通常のそれと一致する。

### 和

\alpha と \beta を順序数とする。整列集合 \left(A,\, と  を , ,  をみたすように取り、 上の関係   を、

:  　&hArr;　  または  または 
 
によって定義すれば、 は整列集合であり、その順序数は ,  の特定の取り方によらず一定である。そこで  を  と  の**和**といい、これを  で表す。直観的には、 というのは  の後ろに  を並べてできる整列集合の順序数である。

順序数の和について次が成り立つ：
#  が有限順序数ならば、和  は自然数の間の通常の和と一致する。
#  。
#  。
#  。
#  が極限順序数のとき、 。
#  。
#  。
# 順序数の和は一般には**可換でない**。例えば、 である。
#  ならば  をみたす  がただ一つ存在する。

### 積
,  を順序数とする。
整列集合 ,  を ,  をみたすように取り、 上の関係   を、

: 　&hArr;　  または （ かつ ）

によって定義すれば、 は整列集合であり、その順序数は ,  の特定の取り方によらず一定である。そこで  を  と  の**積**といい、これを  で表す。直観的には、 というのは  を  個並べてできる整列集合の順序数である。

順序数の積について次が成り立つ：
#  が有限順序数ならば、積  は自然数の通常の積に一致する。
#  。
#  。
#  。
#  が極限順序数のとき、 。
#  。
#  のとき、 。
#  。
# 順序数の積は一般には**可換でない**。例えば、 である。
#  。
#  は一般には成り立たない。
# 任意の順序数  と  でない順序数  に対して、 かつ  をみたす順序数の組  がただ一組存在する。 

### 冪
,  を順序数とする。
整列集合 ,  を ,  をみたすように取り、 は有限集合  上の関係   を、

:  　&hArr;　  かつ、  をみたす最大の  に対して 

によって定義すれば、 は整列集合であり、その順序数は ,  の特定の取り方によらず一定である。そこで  を ** の  乗**といい、これを  で表す。

順序数の冪について次が成り立つ：
#  が有限順序数ならば、冪  は自然数の通常の冪に一致する。
#  。
#  のとき、 。
#  。
#  。
#  で、 が極限順序数のとき、 。
#  のとき、 。
#  。
#  。
#  。
#  は一般には成り立たない。

## 集合の濃度と基数

集合  から集合  への全単射が存在するとき、 と  は**同数**  であるといい、 で表す。
選択公理を仮定すれば、整列定理により任意の集合  に対して  と同数であるような順序数が存在することが言える。そこで、集合  と同数であるような順序数の中で最小のものを  の**濃度**  といい、これを  あるいは  で表す。ある集合  に対して  である順序数  を**基数**  と呼ぶ。集合の濃度に関して次が成り立つ：
# 
#  が有限集合のとき、 は  の要素の個数に等しい。

基数に対しても、上で定義した順序数の演算とは別に和、積、冪を定義することができる。

## 主な順序数
* アッカーマン順序数（Ackermann ordinal）
* イプシロン数（Epsilon number）
* 許容順序数（Admissible ordinal）
* 最小の非可算順序数（First uncountable ordinal）
* 小ヴェブレン順序数（Small Veblen ordinal）
* 大ヴェブレン順序数（Large Veblen ordinal）
* 竹内・フェファーマン・ブーフホルツ順序数（Takeuti–Feferman–Buchholz ordinal）
* チャーチ・クリーネ順序数（Nonrecursive ordinal）
* バッハマン・ハワード順序数（Bachmann–Howard ordinal）
* フェファーマン・シュッテの順序数（Feferman–Schütte ordinal）

## 脚注

## 参考文献

*.
* 
**  – 注釈：の英訳。

## 関連項目

* 始順序数
* ヴェブレン階層
* 共終数
* 構成可能集合
* 公理的集合論
* 整礎的集合
* 濃度
* 急成長階層

## 外部リンク
*