順序型

数学でいう順序型（じゅんじょがた、order type）とは、全順序集合同士の "形" を比較するために、その構造のみに注目することによって得られる概念である。
非公式な定義.
二つの全順序集合 ("A", <"A"), ("B", <"B") が同型のとき、("A", <"A") と ("B", <"B") は全く同じ "形" をしていると言える。そこで、全順序集合 ("A", <"A") の "形" を type("A", <"A") で表すことにすれば、任意の全順序集合 ("A", <"A"), ("B", <"B") に対して
が成り立つ。type("A", <"A") を ("A", <"A") の順序型と呼ぶ。
正式な定義.
上の説明では type("A", <"A") をきちんと定義したことにはならない。なぜなら、全順序集合の "形" とは何かが定義されていないからである。(※) をみたすようにすべての全順序集合 ("A", <"A") に対して type("A", <"A") を定義する方法として、まず次のようなものが考えられる。それは、("A", <"A") と同型な順序集合全体の集合を type("A", <"A") と定義する方法である。実際、このように定義すれば (※) が成り立つことが示せるので何の問題もないように思えるかもしれない。だが、この方法には一つ大きな欠点がある。それは、"A" が空集合でない限り ("A", <"A") と同型な順序集合全体の集合というものは存在しないことが（集合論の公理から）示されるということである。つまり、そのような集まりはあまりに大きすぎるため集合になることができないのである。したがって上のような仕方で type("A", <"A") を定義することはできない。そこで、この方法を少し修正して次のように順序型を定義する：
全順序集合 ("A", <"A") と同型な順序集合で階数が最小であるものの階数を α とすれば、type("A", <"A") の要素はすべて "V"α + 1 に属するので、type("A", <"A") はきちんと集合として定義されている。このようにして定義された順序型が (※) の性質をみたしていることは次のようにして示すことができる：
特別な順序型.
Q を有理数全体の集合、R を実数全体の集合とし、<"Q" と <"R" をそれぞれ Q 上と R 上の通常の大小関係とすると、(Q, <"Q") と (R, <"R") はともに全順序集合である。通常、type(Q, <"Q") は η 、type(R, <"R") は λ で表される。
整列順序型と順序数.
整列集合の順序型を特に整列順序型と呼ぶ。α を順序数とし ∈α を α 上の所属関係とすると、(α, ∈α) は整列集合なので type(α, ∈α) は整列順序型である。逆に、任意の整列集合は必ずある順序数 α に対する (α, ∈α) と同型なので、整列順序型は必ずある順序数 α に対する type(α, ∈α) の形で表すことができる。以下では type(α, ∈α) を α で表す。
順序型の演算.
順序型には和と積の演算を定義することができる。
和.
ρ, σ を順序型とする。
全順序集合 ("A", <"A"), ("B", <"B") を type("A", <"A") = ρ, type("B", <"B") = σ, "A" ∩ "B" = ∅ をみたすように取り、"A" ∪ "B" 上の関係 <"A" ⊕ <"B" を、
によって定義すれば、("A" ∪ "B", <"A" ⊕ <"B") は全順序集合であり、その順序型は ("A", <"A"), ("B", <"B") の特定の取り方によらず一定である。そこで type("A" ∪ "B", <"A" ⊕ <"B") を ρ と σ の和といい、これを ρ + σ で表す。直観的には、ρ + σ というのは ("A", <"A") の後ろに ("B", <"B") を並べてできる全順序集合の順序型である。
積.
ρ, σ を順序型とする。
全順序集合 ("A", <"A"), ("B", <"B") を type("A", <"A") = ρ, type("B", <"B") = σ をみたすように取り、"A" × "B" 上の関係 <"A" ⊗ <"B" を、
によって定義すれば、("A" × "B", <"A" ⊗ <"B") は全順序集合であり、その順序型は ("A", <"A"), ("B", <"B") の特定の取り方によらず一定である。そこで type("A" × "B", <"A" ⊗ <"B") を ρ と σ の積といい、これを ρ · σ で表す。
順序型の和と積について次が成り立つ：