順序型

数学でいう**順序型**（じゅんじょがた、order type）とは、全順序集合同士の "型" を比較するために、その構造のみに注目することによって得られる概念である。

## 非公式な定義
二つの全順序集合 (*A*, &lt;*A*), (*B*, &lt;*B*) が同型のとき、(*A*, &lt;*A*) と (*B*, &lt;*B*) は全く同じ "型" をしていると言える。そこで、全順序集合 (*A*, &lt;*A*) の "型" を type(*A*, &lt;*A*) で表すことにすれば、任意の全順序集合 (*A*, &lt;*A*), (*B*, &lt;*B*) に対して
: \mbox{type}(A, 　　　　・・・・・・(※)
が成り立つ。type(*A*, &lt;*A*) を **(''A'', &lt;<sub>''A''</sub>) の順序型**と呼ぶ。

## 正式な定義
上の説明では type(*A*, &lt;*A*) をきちんと定義したことにはならない。なぜなら、全順序集合の "型" とは何かが定義されていないからである。(※) をみたすようにすべての全順序集合 (*A*, &lt;*A*) に対して type(*A*, &lt;*A*) を定義する方法として、まず次のようなものが考えられる。それは、(*A*, &lt;*A*) と同型な順序集合全体の集合を type(*A*, &lt;*A*) と定義する方法である。実際、このように定義すれば (※) が成り立つことが示せるので何の問題もないように思えるかもしれない。だが、この方法には一つ大きな欠点がある。それは、*A* が空集合でない限り (*A*, &lt;*A*) と同型な順序集合全体の集合というものは存在しないことが（集合論の公理から）示されるということである。つまり、そのような集まりはあまりに大きすぎるため集合になることができないのである。したがって上のような仕方で type(*A*, &lt;*A*) を定義することはできない。そこで、この方法を少し修正して次のように順序型を定義する：
: 全順序集合 (*A*, &lt;*A*) に対して type(*A*, &lt;*A*) とは、(*A*, &lt;*A*) と同型な順序集合のうちで階数が最小のもの全体の集合である。type(*A*, &lt;*A*) を **(''A'', &lt;<sub>''A''</sub>) の順序型**と呼び、ある全順序集合の順序型であるものを単に**順序型**と呼ぶ。
全順序集合 (*A*, &lt;*A*) と同型な順序集合で階数が最小であるものの階数を &alpha; とすれば、type(*A*, &lt;*A*) の要素はすべて *V*&alpha; + 1 に属するので、type(*A*, &lt;*A*) はきちんと集合として定義されている。このようにして定義された順序型が (※) の性質をみたしていることは次のようにして示すことができる：
: (&rArr;) 　type(*A*, &lt;*A*) = type(*B*, &lt;*B*) と仮定する。定義から type(*A*, &lt;*A*) は空でないので、その要素の一つ (*C*, &lt;*C*) を取ると、仮定より (*C*, &lt;*C*) は type(*B*, &lt;*B*) にも属する。(*C*, &lt;*C*) &isin; type(*A*, &lt;*A*) より (*A*, &lt;*A*) と (*C*, &lt;*C*) は同型で、(*C*, &lt;*C*) &isin; type(*B*, &lt;*B*) より (*B*, &lt;*B*) と (*C*, &lt;*C*) は同型なので、(*A*, &lt;*A*) と (*B*, &lt;*B*) は同型である。
: (&lArr;) 　(*A*, &lt;*A*) と (*B*, &lt;*B*) が同型であると仮定する。すると任意の順序集合 (*C*, &lt;*C*) に対して、(*A*, &lt;*A*) と (*C*, &lt;*C*) が同型であることと、(*B*, &lt;*B*) と (*C*, &lt;*C*) が同型であることは同値であるから、「(*A*, &lt;*A*) と同型な順序集合のうちで階数が最小のもの全体」と「(*B*, &lt;*B*) と同型な順序集合のうちで階数が最小のもの全体」は一致する。よって type(*A*, &lt;*A*) = type(*B*, &lt;*B*) 。

## 特別な順序型
Q を有理数全体の集合、R を実数全体の集合とし、&lt;*Q* と &lt;*R* をそれぞれ Q 上と R 上の通常の大小関係とすると、(Q, &lt;*Q*) と (R, &lt;*R*) はともに全順序集合である。通常、type(Q, &lt;*Q*) は &eta; 、type(R, &lt;*R*) は &lambda; で表される。

## 整列順序型と順序数
整列集合の順序型を特に**整列順序型**と呼ぶ。&alpha; を順序数とし &isin;&alpha; を &alpha; 上の所属関係とすると、(&alpha;, &isin;&alpha;) は整列集合なので type(&alpha;, &isin;&alpha;) は整列順序型である。逆に、任意の整列集合は必ずある順序数 &alpha; に対する (&alpha;, &isin;&alpha;) と同型なので、整列順序型は必ずある順序数 &alpha; に対する type(&alpha;, &isin;&alpha;) の型で表すことができる。以下では type(&alpha;, &isin;&alpha;) を &alpha; で表す。

## 順序型の演算
順序型には和と積の演算を定義することができる。

### 和
&rho;, &sigma; を順序型とする。
全順序集合 (*A*, &lt;*A*), (*B*, &lt;*B*) を type(*A*, &lt;*A*) = &rho;, type(*B*, &lt;*B*) = &sigma;, *A* &cap; *B* = &empty; をみたすように取り、*A* &cup; *B* 上の関係  &lt;*A* &oplus; &lt;*B* を、

: *x* (&lt;*A* &oplus; &lt;*B*) *y* 　&hArr;　 *x* &lt;*A* *y* または *x* &lt;*B* *y* または  &isin; *A* × *B*  
 
によって定義すれば、(*A* &cup; *B*, &lt;*A* &oplus; &lt;*B*) は全順序集合であり、その順序型は (*A*, &lt;*A*), (*B*, &lt;*B*) の特定の取り方によらず一定である。そこで type(*A* &cup; *B*, &lt;*A* &oplus; &lt;*B*) を &rho; と &sigma; の**和**といい、これを &rho; + &sigma; で表す。直観的には、&rho; + &sigma; というのは (*A*, &lt;*A*) の後ろに (*B*, &lt;*B*) を並べてできる全順序集合の順序型である。

### 積
&rho;, &sigma; を順序型とする。
全順序集合 (*A*, &lt;*A*), (*B*, &lt;*B*) を type(*A*, &lt;*A*) = &rho;, type(*B*, &lt;*B*) = &sigma; をみたすように取り、*A* × *B* 上の関係  &lt;*A* &otimes; &lt;*B* を、

: 1, *y*1> (&lt;*A* &otimes; &lt;*B*) 2, *y*2> 　&hArr;　 *y*1 &lt;*B* *y*2 または （*y*1 = *y*2 かつ *x*1 &lt;*A* *x*2）

によって定義すれば、(*A* × *B*, &lt;*A* &otimes; &lt;*B*) は全順序集合であり、その順序型は (*A*, &lt;*A*), (*B*, &lt;*B*) の特定の取り方によらず一定である。そこで type(*A* × *B*, &lt;*A* &otimes; &lt;*B*) を &rho; と &sigma; の**積**といい、これを &rho; &middot; &sigma; で表す。

順序型の和と積について次が成り立つ：
# (&rho; + &sigma;) + &tau; = &rho; + (&sigma; + &tau;) 。
# (&rho; &middot; &sigma;) &middot; &tau; = &rho; &middot; (&sigma; &middot; &tau;) 。
# &rho; + 0 = 0 + &rho; = &rho; 。
# &rho; &middot; 1 = 1 &middot; &rho; = &rho; 。
# &rho; &middot; 0 = 0 &middot; &rho; = 0 。
# &rho; &middot; (&sigma; + &tau;) = (&rho; &middot; &sigma;) + (&rho; &middot; &tau;) 。
# 任意の順序数 &alpha; , &beta; に対して、&alpha; + &beta; = &alpha; + &beta; かつ &alpha; &middot; &beta; = &alpha; &middot; &beta; 。 したがって整列順序型同士の和、積は整列順序型である。

## 注

## 参考文献

## 関連項目
*集合
*集合論
*公理的集合論
*順序集合
*順序数
*正則基数