の特徴づけ - kururu_goedel’s diary

id:w2allenさんにコメント欄で質問を受けたのをこちらに持ってきます。

今の話を身近な数の世界で考えると、アレフ０は自然数の濃度、アレフ２は実数の濃度となります。そして、アレフ１という濃度は、まさしくその間の濃度ということはわかりました。でも、この場合、具体例としてアレフ１の濃度を持つ集合というのは、どのようなものになるのでしょうか？つまり、実数の部分集合として、どのように定義すればいいのでしょうか？ご教示いただけると幸いです。

Woodinが提唱するような集合論の標準モデルで $\aleph_1$ がどのような位置づけになるかは私にはわかりません。ですが、一般的には以下のことが言えます。
かがみさんがこちらで書かれていますが、Xの基数が $\aleph_\alpha$ のときにX上の整列順序全体の集合を考えるとその基数は $\aleph_{\alpha+1}$ となります。整列順序というのは、ある集合X上の2項関係 $\leq$ で

$x\leq x$
$x\leq y$ かつ $y\leq x$ ならば $x=y$
$x\leq y$ かつ $y\leq z$ ならば $x\leq z$
全てのXの元xとyに対して、 $x\leq y$ または $y\leq x$ が成り立つ
YがXの空でない部分集合のときに、Yには最小元が存在する

という条件を満たすものです。上三つだけなら順序、四つ目まで満たすと全順序です。

というわけなので、 $\aleph_1$ は可算無限集合上の整列順序全体の集合の濃度ということになります。
(9/26 訂正: ここでも順序同型は同一視しなければいけませんでした。すみません。)

これよりほんのちょっと直感的な表現をしてみます。有理数全体の集合 $\mathbb{Q}$ を考えてみましょう。ここで、同型を同一視した上で $\mathbb{Q}$ の部分集合で部分順序として整列集合となっているもの全体の基数を考えてみます。するとこれが $\aleph_1$ になります。同型を同一視しなければ連続体濃度になってしまいますが。なぜかというと、可算無限集合上の全ての全順序は有理数体の部分順序と同型になっているからです。

…うーん、あんまり直感的じゃないかなぁ。なにか他に良い表現はあるでしょうか？