アレフ
順序数 が, それより小さい任意の順序数との間に全単射をもたないとき, を基数(cardinal number)と呼びます.
集合 が整列順序のとき, その間に全単射が存在する順序数が存在します.
そこで, 整列順序 の濃度 を, 全単射が存在する最小の順序数(=基数), と定義します(ここで, 順序数の集合が整列順序であることが効いています).
選択公理を仮定すれば全ての集合は整列順序づけられるので, 全ての集合に対してその濃度である基数を割り当てることができるのです.
任意の無限基数は極限順序数です.
実際, 後続基数であるならば, その一つ前の順序数との間に全単射をつくることができます.
無限基数はしばしば記号 (アレフ)を使って表されます.
補題
任意の順序数 に対して, それより大きい基数が存在する.
証明
選択公理を用いると簡単です.
任意の集合 について, への単射が存在する一方で全単射が存在しないことから
(これはあくまでも, 単射は存在するが全射が存在しないことの意).
それぞれの濃度を , とすれば
です.
選択公理を使わなくても証明できます.
そのために, 各集合 に対し, その hartogs number というものを次で定義します.
: の任意の部分集合との間に全単射が存在しない最小の順序数.
すると, 任意の順序数 について, なので, 上と同じ.
というわけで, が確かに存在し, 順序数であることを証明すればよろし.
まず, 整列順序づけられる全ての関係 について, その順序型(全単射が存在する順序数)全てを集めた集合 を考えます.
(置換の公理により, その存在が保証されます.)
この が, の任意の整列順序づけられる部分集合の順序型をその要素としてもつことをみます.
を から へのある単射とします.
つまり, から への全単射です.
, とおけば, は と同型な整列順序です.
また, 任意の と任意の について なので, は推移的かつ による整列順序なので順序数なのであります.
この補題によって存在が示された より大きい最小の基数を で表します.
任意の基数について, その次に大きい基数が存在することが分かりますね.
補題
基数の集合 について, は基数.
証明
とおき, ある について, から への全単射 が存在すると仮定します.
このとき, で なるものを任意に取ります.
すると, が単射であることにより
.
つまり, となって, であることと矛盾しますよ.
これらの補題を用いると, の増加列を作ることができます.
番目の基数を とかき, 順序数であることを強調したい場合には とかきます.
( が極限順序数のとき)
を後続基数と呼び, そうでないものを極限基数と呼びます.
無限基数は全て極限順序数ですが, その中にも後続と極限があるのです.