查看“︁基本列”︁的源代码

如果序数<math>\alpha</math>是一个极限序数，则它的基本列<math>\langle \alpha[n] \rangle </math>是一个递增的序数列，并且满足其上确界为<math>\alpha</math>。即<math>\alpha={\rm sup}\{\alpha[n]|n\in \mathbb{N}\}={\rm sup}\{\alpha[0],\alpha[1],\alpha[2],...\}</math>。

==== 定义 ====
注意到一个极限序数具有多种基本列。因此为了方便运用和理解，我们需要一套标准基本列系统来给极限序数一个唯一的基本列。

很遗憾的是，不存在一个通用的基本列系统来为所有序数指定标准基本列。因此，我们只能借助[[序数记号]]来为它极限之下的极限序数指定标准基本列。
[[分类:入门]]