順序数

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

**定義**
整列集合 (A, A) と整列集合 (B, B) が同型のとき、またそのときに限り 。
# (A, α を α 上の所属関係とすると、(α, ∈α) は (A, A) が整列集合 (B, B) のある始切片と同型のとき、またそのときに限り ord(A, A) B)。
# 有限順序数の範囲では、上で定義された大小関係は通常の大小関係と一致する。
# α が順序数のとき、 は α より大きな順序数のうちで最小のものである。S(α) を α の後続者 と呼ぶ。
# O が順序数からなる集合のとき、 もまた順序数であり、O の最小上界となっている。そこで、 を sup(O) とも書く。 
# 順序数からなる空でない集合には必ず最小元が存在する。
順序数の並び方を次のように図示することができる：
 0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), ..............................

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

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

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

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

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

**和**
, β を順序数とする。
整列集合 (A, A), (B, B) を , ,  をみたすように取り、A ∪ B 上の関係  A ⊕ B を、
 x (A ⊕ B) y 　⇔　 x A y または x B y または ⟨x, y⟩  ∈ A × B

によって定義すれば、(A ∪ B, A ⊕ B) は整列集合であり、その順序数は (A, A), (B, B) の特定の取り方によらず一定である。そこで ord(A ∪ B, A ⊕ B) を α と β の和といい、これを α + β で表す。直観的には、α + β というのは α の後ろに β を並べてできる整列集合の順序数である。
順序数の和について次が成り立つ：
# α, β が有限順序数ならば、和 α + β は自然数の間の通常の和と一致する。
#  。
#  。
#  。
# γ が極限順序数のとき、 。
# β A), (B, B) を ,  をみたすように取り、A × B 上の関係  A ⊗ B を、
 ⟨x1, y1⟩ (A ⊗ B) ⟨x2, y2⟩　⇔　 y1 B y2 または （ かつ x1 A x2）
によって定義すれば、(A × B, A ⊗ B) は整列集合であり、その順序数は (A, A), (B, B) の特定の取り方によらず一定である。そこで ord(A × B, A ⊗ B) を α と β の積といい、これを α · β で表す。直観的には、α · β というのは α を β 個並べてできる整列集合の順序数である。
順序数の積について次が成り立つ：
# α, β が有限順序数ならば、積 α · β は自然数の通常の積に一致する。
#  。
#  。
#  。
# γ が極限順序数のとき、 。
#  。
# 0 A), (B, B) を ,  をみたすように取り、 は有限集合  上の関係  A △ B を、
 f (A △ B) g 　⇔　 f ≠ g かつ、 f(b) ≠ g(b) をみたす最大の b ∈ B に対して f(b) A g(b)
によって定義すれば、(F(A, B), A △ B) は整列集合であり、その順序数は (A, A), (B, B) の特定の取り方によらず一定である。そこで ord(F(A, B), A △ B) を α の β 乗といい、これを αβ で表す。
順序数の冪について次が成り立つ：
# α, β が有限順序数ならば、冪 αβ は自然数の通常の冪に一致する。
#  。
# 0 β γ 。
# β ≤ γ ⇒ βα ≤ γα 。
#  。
#  。
#  は一般には成り立たない。

**集合の濃度と基数**
集合 A から集合 B への全単射が存在するとき、A と B は同数 (equinumerous) であるといい、A ≈ B で表す。
選択公理を仮定すれば、整列定理により任意の集合 A に対して A と同数であるような順序数が存在することが言える。そこで、集合 A と同数であるような順序数の中で最小のものを A の濃度  といい、これを  あるいは card(A) で表す。ある集合 A に対して  である順序数 α を基数 (cardinal number) と呼ぶ。集合の濃度に関して次が成り立つ：
# 
# A が有限集合のとき、 は A の要素の個数に等しい。
基数に対しても、上で定義した順序数の演算とは別に和、積、冪を定義することができる。

**脚注**

**参考文献**
Citation | last1=Levy | first1=Azriel | title=Basic Set Theory | publisher=Dover Publications |origyear=1979 |year=2002 |isbn=978-0-486-42079-0.- url-status=dead
**  – 注釈：1923の英訳。

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

**外部リンク**
順序数