| 欧米伽一
|
| 术语名称
|
欧米伽一
|
| 英语名称
|
omega-one
|
| 别名
|
第一个不可数序数
|
| 第一个不可数序数
|
| 对象名称
|
第一个不可数序数
|
| 对象记号
|
[math]\displaystyle{ \omega_1 }[/math]
|
| Latex
|
\omega_1
|
| 对象类别
|
序数
|
第一个不可数序数，记作 [math]\displaystyle{ \omega_1 }[/math] ，是最小不可数良序集的序型，即序数，表示所有可数序数构成的良序集的序型。
- 是第一个不可数序数，是全部可数序数的上确界。
- 是可数序数与不可数序数的分界线，一个无限序数小于 [math]\displaystyle{ \omega_1 }[/math] 当且仅当其是可数序数。
- 是不可数序数。
- 对应基数为第一个不可数基数。
