「順序数」の版間の差分
削除された内容 追加された内容
編集の要約なし |
編集の要約なし |
||
5行目:
整列集合 (''A'', <) に対して、''A'' を[[写像|定義域]]とする[[写像|関数]] ''G'' を超限再帰によって
: ''G''(''a'') = { ''G''(''x'') | ''x'' < ''a'' }
と定義したとき、''G'' の[[写像|値域]] ran(''G'') を''' (''A'', <) の順序数'''といい、これを
===== 例 =====
<<sub>ω</sub> は自然数の通常の大小関係（を各集合に制限したもの）を表すものとすると、
:
:
:
:
この例から推測されるように、一般に有限の整列集合 (''A'', <) に対して
順序数に関して次が成り立つ：
# 整列集合 (''A'', <<sub>''A''</sub>) と整列集合 (''B'', <<sub>B</sub>) が[[同型]]のとき、またそのときに限り
# (''A'', <) が有限整列集合のとき、
# 整列集合 (''A'', <) の順序数を α とし、∈<sub>α</sub> を α 上の所属関係とすると、(α, ∈<sub>α</sub>) は (''A'', <) と同型な整列集合である。
# α が順序数であることと、α が ∈ によって整列された[[推移的]]な集合であることは同値である。
31行目:
: α ∈ β または α = β または β ∈ α 。
そこで、α ∈ β のとき β は α より大きいといい、α < β と書く。この定義と順序数の要素はまた順序数であるという性質から、すべての順序数は自分自身より小さな順序数全体の集合と等しいと言うことができる。ω より小さな順序数（すなわち自然数）を'''有限順序数'''と呼び、ω 以上の（すなわち ω と等しいか ω より大きい）順序数を'''超限順序数'''と呼ぶ。順序数の大小関係に関して次が成り立つ：
# 整列集合 (''A'', <<sub>''A''</sub>) が整列集合 (''B'', <<sub>B</sub>) のある始切片と同型のとき、またそのときに限り
# 有限順序数の範囲では、上で定義された大小関係は通常の大小関係と一致する。
# α が順序数のとき、''S''(α) := α ∪ { α } は α より大きな順序数のうちで最小のものである。''S''(α) を '''α の後続者'''（successor of α）と呼ぶ。
# ''O'' が順序数からなる集合のとき、<math>\bigcup</math> ''O'' もまた順序数であり、''O'' の[[最小上界]]となっている。そこで、<math>\bigcup</math> ''O'' を sup(''O'') とも書く。
# 順序数からなる空でない集合には必ず最小元が存在する。
119行目:
== 集合の濃度と基数 ==
集合 ''A'' から集合 ''B'' への[[全単射]]が存在するとき、''A'' と ''B'' は'''同数'''（equinumerous）であるといい、''A'' ≈ ''B'' で表す。
[[選択公理]]を仮定すれば、[[順序集合|整列定理]]により任意の集合 ''A'' に対して ''A'' と同数であるような順序数が存在することが言える。そこで、集合 ''A'' と同数であるような順序数の中で最小のものを''' ''A'' の濃度'''
# |''A''| = |''B''| ⇔ ''A'' ≈ ''B'' 。
# ''A'' が有限集合のとき、|''A''| は ''A'' の要素の個数に等しい。
| |||