順序数のソースを表示

{{Otheruses|数学的な観点からの順序数|言語学的な観点での順序数|序数詞}}
[[数学]]の特に[[集合論]]において、'''順序数'''（じゅんじょすう、{{lang-en-short|''ordinal number''}}）とは、[[整列集合]]同士の“長さ”を比較するために、[[自然数]]<ref>本項目では、各自然数が自分自身より小さな自然数全体の集合と等しくなるような仕方で自然数が定義されているものとする。例えば、{{math|0 {{=}} &empty; , 1 {{=}} {{mset| 0 }} , 2 {{=}} {{mset| 0, 1 }}}} である。</ref>を拡張させた概念である。

== 定義 ==
[[整列集合]] {{math|(''A'', &lt;)}} に対して、{{mvar|A}} を定義域とする[[写像]] {{math|''G''{{sub|''A'', &lt;}}}} を[[超限帰納法]]によって
:<math>G_{A, <}(a) = \{ G_{A, <}(x) \mid x < a \} </math>

と定義したとき、{{math|''G''{{sub|A, &lt;}}}} の[[値域]] {{math|ran(''G''{{sub|''A'', &lt;}})}} を (''A'', &lt;) の'''順序数'''といい、これを {{math|ord(''A'', &lt;)}} で表す。ある整列集合の順序数であるような[[集合]]を'''順序数'''と呼ぶ<ref>順序数は本来、上で述べた定義とは異なる仕方で定義されていた。その定義とは、順序集合全体の集まりを「同型である」という “同値関係” によって類別したとき、順序集合 {{math|(''A'', &lt;)}} の “同値類” を {{math|(''A'', &lt;)}} の'''順序型''' {{lang|en|(order type)}} と呼び、特に整列集合の順序型を順序数と呼ぶというものである。ところが現代の標準的な集合論においては、{{mvar|A}} が空集合でない限り {{math|(''A'', &lt;)}} と同型な順序集合全体の集合といったものは存在しないことが示される。したがって、このような順序数の定義の仕方は正当な方法であるとは認められない。これを克服するために考えられたのが上で述べた定義であり、現在は上の定義（あるいはそれと同値な定義）が広く用いられている。だが、順序型というアイデア自体が排除されたわけではない。順序数を上で述べたような仕方で定義した後、それを用いることによって順序型を正当な方法で定義できるということが知られている。ただし、整列集合の順序型と順序数は別のものになる。詳細は「[[順序型]]」を参照。</ref>。

=== 例 ===
{{math|&lt;<sub>''&omega;''</sub>}} は自然数の通常の大小関係（を各集合に制限したもの）を表すものとすると、
:<math>\begin{align}
\operatorname{ord}(\varnothing, <_{\omega}) &= \varnothing = 0 \\
\operatorname{ord}( \{ 2 \}, <_{\omega}) &= \{ \varnothing \} = 1 \\
\operatorname{ord}( \{ 2, 3 \}, <_{\omega}) &= \bigl\{ \varnothing, \{ \varnothing \} \bigr\} = \{ 0, 1 \} = 2 \\
\operatorname{ord}( \{ 2, 3, 5 \}, <_{\omega}) &= \Bigl\{ \varnothing, \{ \varnothing \}, \bigl\{ \varnothing, \{ \varnothing \} \bigr\} \Bigr\} = \{ 0, 1, 2 \} = 3
\end{align}</math>

この例から推測されるように、一般に有限の整列集合 {{math|(''A'', &lt;)}} に対して {{math|ord(''A'', &lt;)}} は {{mvar|A}} の要素の個数に等しい。特に、任意の自然数 {{mvar|n}} に対して {{math|ord(''n'', &lt;<sub>''&omega;''</sub>) {{=}} ''n''}} が成り立つので、自然数はすべて順序数である。

順序数に関して次が成り立つ：
# 整列集合 {{math|(''A'', &lt;<sub>''A''</sub>)}} と整列集合 {{math|(''B'', &lt;<sub>''B''</sub>)}} が[[同型]]のとき、またそのときに限り {{math|ord(''A'', &lt;<sub>''A''</sub>) {{=}} ord(''B'', &lt;<sub>''B''</sub>)}}。
# {{math|(''A'', &lt;)}} が有限整列集合のとき、{{math|ord(''A'', &lt;)}} は {{mvar|A}} の要素の個数に等しい。
# 整列集合 {{math|(''A'', &lt;)}} の順序数を {{mvar|&alpha;}} とし、{{math|&isin;<sub>''&alpha;''</sub>}} を {{mvar|&alpha;}} 上の所属関係とすると、{{math|(''&alpha;'', &isin;<sub>''&alpha;''</sub>)}} は {{math|(''A'', &lt;)}} と同型な整列集合である。
# {{mvar|&alpha;}} が順序数であることと、{{mvar|&alpha;}} が {{math|&isin;}} によって整列された[[推移的集合]]であることは同値である。
# {{mvar|&alpha;}} が順序数のとき、{{mvar|&alpha;}} の要素もすべて順序数である。

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


== 順序数の大小関係 ==
任意の順序数 {{math|''&alpha;'', ''&beta;'', ''&gamma;''}} に対して次が成り立つことが示される：
: {{math|''&alpha;'' &notin; ''&alpha;''}}
: {{math|''&alpha;'' &isin; ''&beta;''}} かつ {{math|''&beta;'' &isin; ''&gamma;'' &rArr; ''&alpha;'' &isin; ''&gamma;''}}
: {{math|''&alpha;'' &isin; ''&beta;''}} または {{math|''&alpha;'' {{=}} ''&beta;''}} または {{math|''&beta;'' &isin; ''&alpha;''}}
そこで、{{math|''&alpha;'' &isin; ''&beta;''}} のとき {{mvar|&beta;}} は {{mvar|&alpha;}} より大きいといい、{{math|''&alpha;'' &lt; ''&beta;''}} と書く。この定義と順序数の要素はまた順序数であるという性質から、すべての順序数は自分自身より小さな順序数全体の集合と等しいと言うことができる。{{mvar|&omega;}} より小さな順序数（すなわち自然数）を'''有限順序数'''と呼び、{{mvar|&omega;}} 以上の（すなわち {{mvar|&omega;}} と等しいか {{mvar|&omega;}} より大きい）順序数を'''超限順序数'''と呼ぶ。順序数の大小関係に関して次が成り立つ：
# 整列集合 {{math|(''A'', &lt;<sub>''A''</sub>)}} が整列集合 {{math|(''B'', &lt;<sub>''B''</sub>)}} のある始切片と同型のとき、またそのときに限り {{math|ord(''A'', &lt;<sub>''A''</sub>) &lt; ord(''B'', &lt;<sub>B</sub>)}}。
# 有限順序数の範囲では、上で定義された大小関係は通常の大小関係と一致する。
# {{mvar|&alpha;}} が順序数のとき、{{math|''S''(''&alpha;'') ≔ ''&alpha;'' &cup; {{mset| ''&alpha;'' }}}} は {{mvar|&alpha;}} より大きな順序数のうちで最小のものである。{{math|''S''(''&alpha;'')}} を {{mvar|&alpha;}} の'''後続者''' {{lang|en|(successor of {{mvar|&alpha;}})}}と呼ぶ。
# {{mvar|O}} が順序数からなる集合のとき、<math display="inline">\bigcup_{\alpha \in O} \alpha</math> もまた順序数であり、{{mvar|O}} の[[最小上界]]となっている。そこで、<math display="inline">\bigcup_{\alpha \in O} \alpha</math> を {{math|sup(''O'')}} とも書く。 
# 順序数からなる空でない集合には必ず最小元が存在する。

順序数の並び方を次のように図示することができる：
: {{math2|0, 1, 2, 3, ............, ''&omega;'', ''S''(''&omega;''), ''S''(''S''(''&omega;'')), ''S''(''S''(''S''(''&omega;''))), ............, ''&omega;'' + ''&omega;'', ''S''(''&omega;'' + ''&omega;''), ''S''(''S''(''&omega;'' + ''&omega;'')), ''S''(''S''(''S''(''&omega;'' + ''&omega;''))), ..............................}}
 
まず、{{math|0}} が最小の順序数である。その後に {{math|''S''(0) {{=}} 1, ''S''(''S''(0)) {{=}} 2, ''S''(''S''(''S''(0))) {{=}} 3, ...}} と有限順序数（自然数）が通常の順序で並んでいる。そして、すべての自然数が並び終えると、次に来るのが最小の超限順序数 {{mvar|&omega;}} である。{{mvar|&omega;}} の後にはまたその後続者たちが {{math|''S''(''&omega;''), ''S''(''S''(''&omega;'')), ''S''(''S''(''S''(''&omega;''))), ...}} と無限に続いていく。その後、それらの最小上界（後に {{math|''&omega;'' + ''&omega;''}} と呼ばれる）が並び、その後続者たちが無限に続く。だがそれで終わりではない。無限に続いた後には、必ずそれまでに並んだすべての順序数たちの最小上界が存在し、その後続者、そのまた後続者、... のように順序数の列は“永遠に”続いていくのである。

== 順序数の特徴付け ==
集合 {{mvar|x}} について以下は[[公理的集合論#ツェルメロ＝フレンケル集合論（ZF公理系）|ZF]]で同値である。
* {{mvar|x}} は順序数である。
* {{mvar|x}} は[[推移的集合]]であり帰属関係 {{math|&isin;}} に関する[[整列集合]]である。 （[[ジョン・フォン・ノイマン]]の定義）{{sfnp|von Neumann|1923}}<ref>{{harvp|Levy|2002|page=52}}. 著者はこの案をツェルメロの1916年の未公刊の仕事とノイマンの1920年代の数編の論文に帰している。</ref>
* {{mvar|x}} は推移的集合であり {{math|''y'', ''z'' &isin; ''x''}} ならば {{math|''y'' &isin; ''z'', ''y'' {{=}} ''z'', ''y'' &ni; ''z''}} のいずれか1つだけが成り立つ。
* {{mvar|x}} は推移的集合であり包含関係 {{math|&sub;}} に関する[[全順序集合]]である。
* {{mvar|x}} は推移的集合であり {{mvar|x}} の要素もまた推移的集合である。
ただし[[正則性公理]]を仮定しない場合は必ずしも同値にならないので注意が必要である。

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

== 後続順序数と極限順序数 ==
{{see also|後続順序数|極限順序数}}
ある順序数 {{mvar|&beta;}} が存在して {{math|''&alpha;'' {{=}} ''S''(''&beta;'')}} となる順序数 {{mvar|&alpha;}} を'''後続順序数''' {{lang|en|(successor ordinal)}} と呼ぶ。{{math|0}} でも後続順序数でもない順序数を'''極限順序数''' {{lang|en|(limit ordinal)}} と呼ぶ。定義より、すべての順序数 {{mvar|&alpha;}} に対して、
* {{math|''&alpha;'' {{=}} 0}}
* {{mvar|&alpha;}} は後続順序数である
* {{mvar|&alpha;}} は極限順序数である
のいずれか一つだけが成り立つ。{{mvar|&omega;}} は最小の極限順序数である。また、任意の順序数 {{mvar|&alpha;}} に対して、{{mvar|&alpha;}} より大きな極限順序数が存在することが示される。

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

=== 和 ===
{{mvar|&alpha;}}, {{mvar|''&beta;''}} を順序数とする。
整列集合 {{math|(''A'', &lt;<sub>''A''</sub>)}}, {{math|(''B'', &lt;<sub>''B''</sub>)}} を {{math|ord(''A'', &lt;<sub>''A''</sub>) {{=}} ''&alpha;''}}, {{math|ord(''B'', &lt;<sub>''B''</sub>) {{=}} ''&beta;''}}, {{math|''A'' &cap; ''B'' {{=}} &empty;}} をみたすように取り、{{math|''A'' &cup; ''B''}} 上の関係  {{math|&lt;<sub>''A''</sub> &oplus; &lt;<sub>''B''</sub>}} を、

: {{math|''x'' (&lt;<sub>''A''</sub> &oplus; &lt;<sub>''B''</sub>) ''y''}} 　&hArr;　 {{math|''x'' &lt;<sub>''A''</sub> ''y''}} または {{math|''x'' &lt;<sub>''B''</sub> ''y''}} または {{math|⟨''x'', ''y''⟩  &isin; ''A'' × ''B''}}
 
によって定義すれば、{{math|(''A'' &cup; ''B'', &lt;<sub>''A''</sub> &oplus; &lt;<sub>''B''</sub>)}} は整列集合であり、その順序数は {{math|(''A'', &lt;<sub>''A''</sub>)}}, {{math|(''B'', &lt;<sub>''B''</sub>)}} の特定の取り方によらず一定である。そこで {{math|ord(''A'' &cup; ''B'', &lt;<sub>''A''</sub> &oplus; &lt;<sub>''B''</sub>)}} を {{mvar|&alpha;}} と {{mvar|&beta;}} の'''和'''といい、これを {{math|''&alpha;'' + ''&beta;''}} で表す。直観的には、{{math|''&alpha;'' + ''&beta;''}} というのは {{mvar|&alpha;}} の後ろに {{mvar|&beta;}} を並べてできる整列集合の順序数である。

順序数の和について次が成り立つ：
# {{math|''&alpha;'', ''&beta;''}} が有限順序数ならば、和 {{math|''&alpha;'' + ''&beta;''}} は自然数の間の通常の和と一致する。
# {{math|(''&alpha;'' + ''&beta;'') + ''&gamma;'' {{=}} ''&alpha;'' + (''&beta;'' + ''&gamma;'')}} 。
# {{math|''&alpha;'' + 0 {{=}} 0 + ''&alpha;'' {{=}} ''&alpha;''}} 。
# {{math|''&alpha;'' + ''S''(''&beta;'') {{=}} ''S''(''&alpha;'' + ''&beta;'')}} 。
# {{mvar|&gamma;}} が極限順序数のとき、{{math|''&alpha;'' + ''&gamma;'' {{=}} sup({{mset| ''&alpha;'' + ''&beta;'' | ''&beta;'' &lt; ''&gamma;'' }})}} 。
# {{math|''&beta;'' &lt; ''&gamma;'' &hArr; ''&alpha;'' + ''&beta;'' &lt; ''&alpha;'' + ''&gamma;''}} 。
# {{math|''&beta;'' &le; ''&gamma;'' &rArr; ''&beta;'' + ''&alpha;'' &le; ''&gamma;'' + ''&alpha;''}} 。
# 順序数の和は一般には'''可換でない'''。例えば、{{math|1 + ''&omega;'' {{=}} ''&omega;'' ≠ ''&omega;'' + 1}} である。
# {{math|''&alpha;'' &le; ''&beta;''}} ならば {{math|''&alpha;'' + ''&gamma;'' {{=}} ''&beta;''}} をみたす {{mvar|&gamma;}} がただ一つ存在する。

=== 積 ===
{{mvar|&alpha;}}, {{mvar|&beta;}} を順序数とする。
整列集合 {{math|(''A'', &lt;<sub>''A''</sub>)}}, {{math|(''B'', &lt;<sub>''B''</sub>)}} を {{math|ord(''A'', &lt;<sub>''A''</sub>) {{=}} ''&alpha;''}}, {{math|ord(''B'', &lt;<sub>''B''</sub>) {{=}} ''&beta;''}} をみたすように取り、{{math|''A'' × ''B''}} 上の関係  {{math|&lt;<sub>''A''</sub> &otimes; &lt;<sub>''B''</sub>}} を、

: {{math|⟨''x''<sub>1</sub>, ''y''<sub>1</sub>⟩ (&lt;<sub>''A''</sub> &otimes; &lt;<sub>''B''</sub>) ⟨''x''<sub>2</sub>, ''y''<sub>2</sub>⟩}}　&hArr;　 {{math|''y''<sub>1</sub> &lt;<sub>''B''</sub> ''y''<sub>2</sub>}} または （{{math|''y''<sub>1</sub> {{=}} ''y''<sub>2</sub>}} かつ {{math|''x''<sub>1</sub> &lt;<sub>''A''</sub> ''x''<sub>2</sub>}}）

によって定義すれば、{{math|(''A'' × ''B'', &lt;<sub>''A''</sub> &otimes; &lt;<sub>''B''</sub>)}} は整列集合であり、その順序数は {{math|(''A'', &lt;<sub>''A''</sub>)}}, {{math|(''B'', &lt;<sub>''B''</sub>)}} の特定の取り方によらず一定である。そこで {{math|ord(''A'' × ''B'', &lt;<sub>''A''</sub> &otimes; &lt;<sub>''B''</sub>)}} を {{mvar|&alpha;}} と {{mvar|&beta;}} の'''積'''といい、これを {{math|''&alpha;'' &middot; ''&beta;''}} で表す。直観的には、{{math|''&alpha;'' &middot; ''&beta;''}} というのは {{mvar|&alpha;}} を {{mvar|&beta;}} 個並べてできる整列集合の順序数である。

順序数の積について次が成り立つ：
# {{math|''&alpha;'', ''&beta;''}} が有限順序数ならば、積 {{math|''&alpha;'' &middot; ''&beta;''}} は自然数の通常の積に一致する。
# {{math|(''&alpha;'' &middot; ''&beta;'') &middot; ''&gamma;'' {{=}} ''&alpha;'' &middot; (''&beta;'' &middot; ''&gamma;'')}} 。
# {{math|''&alpha;'' &middot; 0 {{=}} 0 &middot; ''&alpha;'' {{=}} 0}} 。
# {{math|''&alpha;'' &middot; ''S''(''&beta;'') {{=}} (''&alpha;'' &middot; ''&beta;'') + ''&alpha;''}} 。
# {{mvar|&gamma;}} が極限順序数のとき、{{math|''&alpha;'' &middot; ''&gamma;'' {{=}} sup({{mset| ''&alpha;'' &middot; ''&beta;'' | ''&beta;'' &lt; ''&gamma;'' }})}} 。
# {{math|''&alpha;'' &middot; 1 {{=}} 1 &middot; ''&alpha;'' {{=}} ''&alpha;''}} 。
# {{math|0 &lt; ''&alpha;''}} のとき、{{math|''&beta;'' &lt; ''&gamma;'' &hArr; ''&alpha;'' &middot; ''&beta;'' &lt; ''&alpha;'' &middot; ''&gamma;''}} 。
# {{math|''&beta;'' &le; ''&gamma;'' &rArr; ''&beta;'' &middot; ''&alpha;'' &le; ''&gamma;'' &middot; ''&alpha;''}} 。
# 順序数の積は一般には'''可換でない'''。例えば、{{math|2 &middot; ''&omega;'' {{=}} ''&omega;'' ≠ ''&omega;'' &middot; 2}} である。
# {{math|''&alpha;'' &middot; (''&beta;'' + ''&gamma;'') {{=}} (''&alpha;'' &middot; ''&beta;'') + (''&alpha;'' &middot; ''&gamma;'')}} 。
# {{math|(''&beta;'' + ''&gamma;'') &middot; ''&alpha;'' {{=}} (''&beta;'' &middot; ''&alpha;'') + (''&gamma;'' &middot; ''&alpha;'')}} は一般には成り立たない。
# 任意の順序数 {{mvar|&alpha;}} と {{math|0}} でない順序数 {{mvar|&delta;}} に対して、{{math|''&alpha;'' {{=}} (''&delta;'' &middot; ''&beta;'') + ''&gamma;''}} かつ {{math|''&gamma;'' &lt; ''&delta;''}} をみたす順序数の組 {{math|''&beta;'', ''&gamma;''}} がただ一組存在する。 

=== 冪 ===
{{mvar|&alpha;}}, {{mvar|&beta;}} を順序数とする。
整列集合 {{math|(''A'', &lt;<sub>''A''</sub>)}}, {{math|(''B'', &lt;<sub>''B''</sub>)}} を {{math|ord(''A'', &lt;<sub>''A''</sub>) {{=}} ''&alpha;''}}, {{math|ord(''B'', &lt;<sub>''B''</sub>) {{=}} ''&beta;''}} をみたすように取り、{{math2|''F''(''A'', ''B'') {{=}} {{(}} ''f'' &isin; <sup>''B''</sup>''A'' {{!}} {{mset| ''b'' &isin; ''B'' | ''f''(''b'') ≠ min(''A'') }}}} は有限集合 {{math|{{)}}}} 上の関係  {{math|&lt;<sub>''A''</sub> △ &lt;<sub>''B''</sub>}} を、

: {{math|''f'' (&lt;<sub>''A''</sub> △ &lt;<sub>''B''</sub>) ''g''}} 　&hArr;　 {{math|''f'' ≠ ''g''}} かつ、 {{math|''f''(''b'') ≠ ''g''(''b'')}} をみたす最大の {{math|''b'' &isin; ''B''}} に対して {{math|''f''(''b'') &lt;<sub>''A''</sub> ''g''(''b'')}}

によって定義すれば、{{math|(''F''(''A'', ''B''), &lt;<sub>''A''</sub> △ &lt;<sub>''B''</sub>)}} は整列集合であり、その順序数は {{math|(''A'', &lt;<sub>''A''</sub>)}}, {{math|(''B'', &lt;<sub>''B''</sub>)}} の特定の取り方によらず一定である。そこで {{math|ord(''F''(''A'', ''B''), &lt;<sub>''A''</sub> △ &lt;<sub>''B''</sub>)}} を '''{{mvar|&alpha;}} の {{mvar|&beta;}} 乗'''といい、これを {{mvar|&alpha;<sup>&beta;</sup>}} で表す。

順序数の冪について次が成り立つ：
# {{math|''&alpha;'', ''&beta;''}} が有限順序数ならば、冪 {{mvar|&alpha;<sup>&beta;</sup>}} は自然数の通常の冪に一致する。
# {{math|0<sup>0</sup> {{=}} 1}} 。
# {{math|0 &lt; ''&beta;''}} のとき、{{math|0<sup>&beta;</sup> {{=}} 0}} 。
# {{math|''&alpha;''<sup>0</sup> {{=}} 1}} 。
# {{math|''&alpha;''<sup>''S''(''&beta;'')</sup> {{=}} (''&alpha;<sup>&beta;</sup>'') &middot; ''&alpha;''}} 。
# {{math|0 &lt; ''&alpha;''}} で、{{mvar|&gamma;}} が極限順序数のとき、{{math|''&alpha;<sup>&gamma;</sup>'' {{=}} sup({{mset| ''&alpha;<sup>&beta;</sup>'' | ''&beta;'' &lt; ''&gamma;'' }})}} 。
# {{math|1 &lt; ''&alpha;''}} のとき、{{math|''&beta;'' &lt; ''&gamma;'' &hArr; ''&alpha;<sup>&beta;</sup>'' &lt; ''&alpha;<sup>&gamma;</sup>''}} 。
# {{math|''&beta;'' &le; ''&gamma;'' &rArr; ''&beta;<sup>&alpha;</sup>'' &le; ''&gamma;<sup>&alpha;</sup>''}} 。
# {{math|''&alpha;''<sup>''&beta;'' + ''&gamma;''</sup> {{=}} (''&alpha;<sup>&beta;</sup>'') &middot; (''&alpha;<sup>&gamma;</sup>'')}} 。
# {{math|(''&alpha;<sup>&beta;</sup>'')<sup>''&gamma;''</sup> {{=}} ''&alpha;''<sup>''&beta;'' &middot; ''&gamma;''</sup>}} 。
# {{math|(''&beta;'' &middot; ''&gamma;'')<sup>''&alpha;''</sup> {{=}} (''&beta;<sup>&alpha;</sup>'') &middot; (''&gamma;<sup>&alpha;</sup>'')}} は一般には成り立たない。

== 集合の濃度と基数 ==
{{main|濃度 (数学)}}

集合 {{mvar|A}} から集合 {{mvar|B}} への[[全単射]]が存在するとき、{{mvar|A}} と {{mvar|B}} は'''同数''' {{lang|en|(equinumerous)}} であるといい、{{math|''A'' ≈ ''B''}} で表す。
[[選択公理]]を仮定すれば、[[順序集合|整列定理]]により任意の集合 {{mvar|A}} に対して {{mvar|A}} と同数であるような順序数が存在することが言える。そこで、集合 {{mvar|A}} と同数であるような順序数の中で最小のものを {{mvar|A}} の'''濃度''' {{lang|en|(cardinality of {{mvar|A}})}} といい、これを {{math|{{abs|''A''}}}} あるいは {{math|card(''A'')}} で表す。ある集合 {{mvar|A}} に対して {{math|''&alpha;'' {{=}} {{abs|''A''}}}} である順序数 {{mvar|&alpha;}} を'''基数''' {{lang|en|(cardinal number)}} と呼ぶ。集合の濃度に関して次が成り立つ：
# {{math|{{abs|''A''}} {{=}} {{abs|''B''}} 　&hArr;　 ''A'' ≈ ''B''}}
# {{mvar|A}} が有限集合のとき、{{math|{{abs|''A''}}}} は {{mvar|A}} の要素の個数に等しい。

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

== 脚注 ==
{{Reflist}}

== 参考文献 ==
{{refbegin}}
*{{Citation | last1=Levy | first1=Azriel | title=Basic Set Theory | publisher=[[Dover Publications]] |origyear=1979 |year=2002 |isbn=978-0-486-42079-0}}.
* {{Citation|last=von Neumann|first=Johann|author-link=John von Neumann|year=1923|title=Zur Einführung der transfiniten Zahlen|journal=Acta Litterarum AC Scientiarum Ragiae Universitatis Hungaricae Francisco-Josephinae, Sectio Scientiarum Mathematicarum|pages=199–208|volume=1|url=http://pub.acta.hu/acta/showCustomerArticle.action?id=4981&dataObjectType=article|archive-url=https://web.archive.org/web/20141218090535/http://acta.fyx.hu/acta/showCustomerArticle.action?id=4981&dataObjectType=article&returnAction=showCustomerVolume&sessionDataSetId=39716d660ae98d02&style=|archive-date=2014-12-18|url-status=dead}}
** {{Citation|last=von Neumann|first=John|author-link=John von Neumann|editor=Jean van Heijenoort|origyear=1923|date=January 2002|title=From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931|chapter=On the introduction of transfinite numbers|edition=3rd|publisher=Harvard University Press|pages=346–354|isbn=978-0-674-32449-7|chapter-url={{google books|v4tBTBlU05sC|page=PA346|plainurl=yes}}}} – 注釈：{{Harvnb|von Neumann|1923}}の英訳。
{{refend}}

== 関連項目 ==
{{Div col}}
* [[始順序数]]
* [[ヴェブレン階層]]
* [[共終数]]
* [[構成可能集合]]
* [[公理的集合論]]
* [[整礎的集合]]
* [[濃度 (数学)|濃度]]
* [[急成長階層]]
{{Div col end}}

== 外部リンク ==
*{{Kotobank|順序数}}

{{集合論}}
{{Number systems}}
{{Normdaten}}
{{DEFAULTSORT:しゆんしよすう}}
[[Category:基数|*]]
[[Category:順序構造]]
[[Category:順序数|*]]
[[Category:数学に関する記事]]