序数

序数是自然数的推广。

定义

一个序数$\alpha$被定义为所有比它“更小”的序数的集合，即$\alpha =\{\beta |\beta <\alpha \}$。

$0=\varnothing =\{\}$

$1=\{0\}$

$2=\{0,1\}$

$3=\{0,1,2\}$

$1048576=\{0,1,2,3,...,1048575\}$

序数的后继

序数$\alpha$的后继被定义为$\alpha +1=\alpha \cup \{\alpha \}$。它也是所有序数运算的基础。

如$2+1=2\cup \{2\}=\{0,1\}\cup \{2\}=\{0,1,2\}=3$，$n+1=n\cup \{n\}=\{0,1,2,3,...,n\}$。

有限序数与超限序数

所有自然数都是有限序数。

大于有限序数的序数称作超限序数(或无限序数)

极限序数

不是 $0$且不是任何序数的后继的序数被称为极限序数。（$0$有时也被视为极限序数）

即序数$\lambda$是极限序数要满足“不存在某个序数$\alpha$使得$\lambda =\alpha +1$”。

如果$\lambda$是极限序数，那么$\lambda =\mathrm{s}\mathrm{u}\mathrm{p}\mathrm{\{}\mathrm{\alpha }\mathrm{|}\mathrm{\alpha }<\mathrm{\lambda }\mathrm{\}}$。("$\mathrm{s}\mathrm{u}\mathrm{p}$"为"上确界"，一般可以省略不写)

$\omega$被定义为全体自然数的集合，$\omega =\mathbb{\mathbb{N}}=\{0,1,2,3,...\}$既是第一个超限序数，也是第一个极限序数。

序数的运算

1.序数加法

$\alpha +0=\alpha$

$\alpha +(\beta +1)=(\alpha +\beta )+1$

$\alpha +\beta =\bigcup _{\gamma <\beta }(\alpha +\gamma )$，如果$\beta$是极限序数。

序数加法不具有交换律，但具有结合律。即

$\alpha +\beta \ne \beta +\alpha ,(\alpha +\beta )+\gamma =\alpha +(\beta +\gamma )$

例：$1+\omega =\bigcup _{\gamma <\omega }(1+\gamma )=\{1+0,1+1,1+2,...\}=\mathrm{s}\mathrm{u}\mathrm{p}\{1,2,3,...\}=\omega \ne \omega +1$

2.序数乘法

$\alpha \times 0=0$

$\alpha \times (\beta +1)=(\alpha \times \beta )+\alpha$

$\alpha \times \beta =\bigcup _{\gamma <\beta }(\alpha \times \gamma )$，如果$\beta$是极限序数。

序数乘法不具有交换律和右分配律，但具有结合律和左分配律。即

$1.\alpha \times \beta \ne \beta \times \alpha ,(\alpha \times \beta )\times \gamma =\alpha \times (\beta \times \gamma )$

$2.(\alpha +\beta )\times \gamma \ne (\alpha \times \gamma )+(\beta \times \gamma ),\alpha \times (\beta +\gamma )=(\alpha \times \beta )+(\alpha \times \gamma )$

例：

$\begin{array}{rl}(\omega +1)\times \omega & =\bigcup _{\gamma <\omega }((\omega +1)\times \gamma )\\ & =\{(\omega +1)\times 0,(\omega +1)\times 1,(\omega +1)\times 2,...\}\\ & =\{0,\omega +1,\omega +(1+\omega )+1,\omega +(1+\omega )+(1+\omega )+1,...\}\\ & =\mathrm{s}\mathrm{u}\mathrm{p}\{0,\omega +1,\omega \times 2+1,\omega \times 3+1,...\}={\omega }^2\\ & \ne \omega \times (\omega +1)={\omega }^2+\omega \end{array}$

Q:为什么不是${\omega }^2+1$？

A: 我们知道${\omega }^2+1={\omega }^2\cup \{{\omega }^2\}=\{0,1,2,...,\omega ,\omega +1,...,\omega \times 2,...,\omega \times 3,...,{\omega }^2\}$

而$\bigcup _{\gamma <\omega }(\omega \times \gamma +1)$中显然没有任何一个元素能够达到或是超过${\omega }^2$,因此它们的上确界也不会超过${\omega }^2$。

其实也可以换一个方向思考：既然$\mathrm{s}\mathrm{u}\mathrm{p}\{\omega ,\omega \times 2,\omega \times 3,...\}={\omega }^2$

而$\mathrm{s}\mathrm{u}\mathrm{p}\{0,\omega +1,\omega \times 2+1,\omega \times 3+1,...\}$中从小到大排列的每一项都比前者小，因此也不会超过${\omega }^2$。