順序数

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

1. 定義
-----

整列集合 }} に対して、A}} を定義域とする写像 //G//sub を超限帰納法によって

と定義したとき、//G//sub の値域 ran の順序数といい、これを ord}} で表す。ある整列集合の順序数であるような集合を順序数と呼ぶ。

1.1. 例
------

<//ω//}} は自然数の通常の大小関係を表すものとすると、

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

順序数に関して次が成り立つ：

整列集合 }} と整列集合 }} が同型のとき、またそのときに限り ord =}} ord}}。
}} が有限整列集合のとき、ord}} は A}} の要素の個数に等しい。
整列集合 }} の順序数を α}} とし、∈//α//}} を α}} 上の所属関係とすると、}} は }} と同型な整列集合である。
α}} が順序数であることと、α}} が ∈}} によって整列された推移的集合であることは同値である。
α}} が順序数のとき、α}} の要素もすべて順序数である。自然数全体の集合 ω}} は ∈}} によって整列された推移的な集合であるから、上の事実 4. より ω}} は順序数である。

2. 順序数の大小関係
-----------

任意の順序数 //α//, //β//, //γ//}} に対して次が成り立つことが示される：

//α// ∈ //β//}} かつ //α// ∈ //β//}} または //α// =}} //β//}} または そこで、//α// ∈ //β//}} のとき β}} は α}} より大きいといい、//α// < //β//}} と書く。この定義と順序数の要素はまた順序数であるという性質から、すべての順序数は自分自身より小さな順序数全体の集合と等しいと言うことができる。ω}} より小さな順序数を有限順序数と呼び、ω}} 以上の順序数を超限順序数と呼ぶ。順序数の大小関係に関して次が成り立つ：

整列集合 }} が整列集合 }} のある始切片と同型のとき、またそのときに限り ord < ord}}。
有限順序数の範囲では、上で定義された大小関係は通常の大小関係と一致する。
α}} が順序数のとき、//S// ≔ //α// ∪ mset は α}} より大きな順序数のうちで最小のものである。//S//}} を α}} の後続者 enと呼ぶ。
O}} が順序数からなる集合のとき、 もまた順序数であり、O}} の最小上界となっている。そこで、 を sup}} とも書く。
順序数からなる空でない集合には必ず最小元が存在する。順序数の並び方を次のように図示することができる：

まず、0}} が最小の順序数である。その後に //S// =}} 1, //S//) =}} 2, //S//)) =}} 3, ...}} と有限順序数が通常の順序で並んでいる。そして、すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω}} である。ω}} の後にはまたその後続者たちが //S//, //S//), //S//)), ...}} と無限に続いていく。その後、それらの最小上界が並び、その後続者たちが無限に続く。だがそれで終わりではない。無限に続いた後には、必ずそれまでに並んだすべての順序数たちの最小上界が存在し、その後続者、そのまた後続者、... のように順序数の列は“永遠に”続いていくのである。

3. 順序数の特徴付け
-----------

集合 x}} について以下はZFで同値である。

x}} は順序数である。
x}} は推移的集合であり帰属関係 ∈}} に関する整列集合である。 von Neumann
x}} は推移的集合であり //y//, //z// ∈ //x//}} ならば //y// ∈ //z//, //y// =}} //z//, //y// ∋ //z//}} のいずれか1つだけが成り立つ。
x}} は推移的集合であり包含関係 ⊂}} に関する全順序集合である。
x}} は推移的集合であり x}} の要素もまた推移的集合である。ただし正則性公理を仮定しない場合は必ずしも同値にならないので注意が必要である。

4. ブラリ＝フォルティの定理
---------------

ブラリ＝フォルティの定理とは、「すべての順序数からなる集合は存在しない」という定理である。これは次のようにして示すことができる：

すべての順序数からなる集合 //ON//}} が存在すると仮定する。すると、順序数の要素はまた順序数であるという性質から //ON//}} は推移的な集合である。さらに、//ON//}} の空でない部分集合には必ず ∈}} に関する最小元が存在するので、//ON//}} は ∈}} によって整列されている。したがって //ON//}} は順序数であるので //ON// ∈ //ON//}} であるが、これは任意の順序数 α}} に対して //α// ∉ //α//}} であるという事実と矛盾する。よって順序数全体の集合は存在しない。かつて、集合論が公理化される以前には、「集合全体の集合」や「順序数全体の集合」といったものも無制限に考えられていたため、上のように順序数全体の集合を考えたときに起こる矛盾はブラリ＝フォルティのパラドックスと呼ばれていた。

5. 後続順序数と極限順序数
--------------

ある順序数 β}} が存在して //α// =}} //S//}} となる順序数 α}} を後続順序数 en と呼ぶ。0}} でも後続順序数でもない順序数を極限順序数 en と呼ぶ。定義より、すべての順序数 α}} に対して、

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

6. 順序数の演算
---------

順序数の間には自然数の場合と同じく和、積、冪が定義できる。特に有限順序数の間の演算は通常のそれと一致する。

6.1. 和
------

α}}, //β//}} を順序数とする。 整列集合 }}, }} を ord =}} //α//}}, ord =}} //β//}}, //A// ∩ //B// =}} ∅}} をみたすように取り、//A// ∪ //B//}} 上の関係 <//A// ⊕ <//B//}} を、

//x//  //y//}} 　 ⇔ 　 //x// <//A// //y//}} または //x// <//B// //y//}} または によって定義すれば、}} は整列集合であり、その順序数は }}, }} の特定の取り方によらず一定である。そこで ord}} を α}} と β}} の和といい、これを //α// + //β//}} で表す。直観的には、//α// + //β//}} というのは α}} の後ろに β}} を並べてできる整列集合の順序数である。

順序数の和について次が成り立つ：

&//α//, //β//}} が有限順序数ならば、和 //α// + //β//}} は自然数の間の通常の和と一致する。
 + //γ// =}} //α// + }} 。
//α// + 0 =}} 0 + //α// =}} //α//}} 。
//α// + //S// =}} //S//}} 。
γ}} が極限順序数のとき、//α// + //γ// =}} sup(mset 。
//β// < //γ// ⇔ //α// + //β// < //α// + //γ//}} 。
//β// ≤ //γ// ⇒ //β// + //α// ≤ //γ// + //α//}} 。
順序数の和は一般には可換でない。例えば、1 + //ω// =}} //ω// ≠ //ω// + 1}} である。
//α// ≤ //β//}} ならば //α// + //γ// =}} //β//}} をみたす γ}} がただ一つ存在する。

6.2. 積
------

α}}, β}} を順序数とする。 整列集合 }}, }} を ord =}} //α//}}, ord =}} //β//}} をみたすように取り、//A// × //B//}} 上の関係 <//A// ⊗ <//B//}} を、

⟨//x//1, //y//1⟩  ⟨//x//2, //y//2⟩}}　 ⇔ 　 //y//1 <//B// //y//2}} または によって定義すれば、}} は整列集合であり、その順序数は }}, }} の特定の取り方によらず一定である。そこで ord}} を α}} と β}} の積といい、これを //α// · //β//}} で表す。直観的には、//α// · //β//}} というのは α}} を β}} 個並べてできる整列集合の順序数である。

順序数の積について次が成り立つ：

//α//, //β//}} が有限順序数ならば、積 //α// · //β//}} は自然数の通常の積に一致する。
 · //γ// =}} //α// · }} 。
//α// · 0 =}} 0 · //α// =}} 0}} 。
//α// · //S// =}}  + //α//}} 。
γ}} が極限順序数のとき、//α// · //γ// =}} sup(mset 。
//α// · 1 =}} 1 · //α// =}} //α//}} 。
0 < //α//}} のとき、//β// < //γ// ⇔ //α// · //β// < //α// · //γ//}} 。
//β// ≤ //γ// ⇒ //β// · //α// ≤ //γ// · //α//}} 。
順序数の積は一般には可換でない。例えば、2 · //ω// =}} //ω// ≠ //ω// · 2}} である。
//α// ·  =}}  + }} 。
 · //α// =}}  + }} は一般には成り立たない。
任意の順序数 α}} と 0}} でない順序数 δ}} に対して、//α// =}}  + //γ//}} かつ //γ// < //δ//}} をみたす順序数の組 //β//, //γ//}} がただ一組存在する。

6.3. 冪
------

α}}, β}} を順序数とする。 整列集合 }}, }} を ord =}} //α//}}, ord =}} //β//}} をみたすように取り、//F// =}} }}}} 上の関係 <//A// △ <//B//}} を、

//f//  //g//}} 　 ⇔ 　 //f// ≠ //g//}} かつ、 //f// ≠ //g//}} をみたす最大の //b// ∈ //B//}} に対して によって定義すれば、, <//A// △ <//B//)}} は整列集合であり、その順序数は }}, }} の特定の取り方によらず一定である。そこで ord, <//A// △ <//B//)}} を α}} の β}} 乗といい、これを αβ}} で表す。

順序数の冪について次が成り立つ：

//α//, //β//}} が有限順序数ならば、冪 αβ}} は自然数の通常の冪に一致する。
00 =}} 1}} 。
0 < //β//}} のとき、0β =}} 0}} 。
//α//0 =}} 1}} 。
//α////S// =}}  · //α//}} 。
0 < //α//}} で、γ}} が極限順序数のとき、//αγ// =}} sup(mset 。
1 < //α//}} のとき、//β// < //γ// ⇔ //αβ// < //αγ//}} 。
//β// ≤ //γ// ⇒ //βα// ≤ //γα//}} 。
//α////β// + //γ// =}}  · }} 。
//γ// =}} //α////β// · //γ//}} 。
//α// =}}  · }} は一般には成り立たない。

7. 集合の濃度と基数
-----------

集合 A}} から集合 B}} への全単射が存在するとき、A}} と B}} は同数 en であるといい、//A// ≈ //B//}} で表す。選択公理を仮定すれば、整列定理により任意の集合 A}} に対して A}} と同数であるような順序数が存在することが言える。そこで、集合 A}} と同数であるような順序数の中で最小のものを A}} の濃度 en といい、これを abs あるいは card}} で表す。ある集合 A}} に対して //α// =}} abs である順序数 α}} を基数 en と呼ぶ。集合の濃度に関して次が成り立つ：

A}} が有限集合のとき、abs は A}} の要素の個数に等しい。基数に対しても、上で定義した順序数の演算とは別に和、積、冪を定義することができる。

8. 脚注
-----

9. 参考文献
-------

last1=Levy .
last=von Neumann – 注釈：von Neumannの英訳。

10. 関連項目
--------

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

11. 外部リンク
---------