第四章 序数
序数概念是对自然数的推广:每个自然数都是有穷序数,本章将引进无穷序数
4.1 良序集
良序集最令人感兴趣的性质:任何两个良序集都可以比较势的大小
定义:令
引理:如果
今后,如果
良序集与自然数:任何自然数都是
定义:线序集
增函数是一一的,并且是
引理:如果
推论:
(1)没有良构集同构于自己的真前段
(2)任意良序集都只有一个自同构,即等同函数
(3)如果
以下的定理具有根本的重要性,称为良序集基本定理
定理:如果
(1)
(2)
(3)
下面两个命题给出了两个良序集”相加“和”相乘“的直观
引理:令
引理:令
4.2 序数
两个同构的良序集称为具有相同的序型
定义:如果集合
定义:满足以下条件的集合
(1)
(2)
自然数集
定义:
显然第一个极限序数是

序数的一些性质
引理:如果
引理:如果
定理:令
(1)对任意非空的序数集合
(2)对任意序数的集合
(3)序数间的
定理:自然数恰好就是有穷序数
定理:每一良序集同构于唯一的一个序数(序数是“序型”的代表)
有了以上定理,可定义:
定义:假设
引理:对任意集合
全体序数构成一个真类,今后记作
4.3 超穷归纳与递归
将归纳和递归拓展到序数
超穷归纳原理:令
第二形式超穷归纳原理:令
(1)
(2)对所有后继序数
(3)对所有极限序数
则对所有的
将序列的定义推广到序数上
定义:定义域为序数
超穷递归定理:假设
(这里
带参数的超穷递归定理:假设
带参数的超穷递归定理(Altar):令
(1)
(2)
(3)对任意极限序数
令
4.4 序数算术
定义:对所有序数
(1)
(2)对任意序数
(3)对任意不为0的极限函数
如前所说,序数加法的集合论定义就是良序集的和,下面的定理证明了这一点
定理:令
引理:
(1)如果
(2)对所有的序数
(3)对所有的序数
定义序数的乘法
定义:所有序数
(1)
(2)对任意序数
(3)对任意不为0的极限序数
定理:对任意序数
定义序数的幂
定义:所有序数
(1)
(2)对任意序数
(3)对任意不为0的极限序数
序数算术的一些基本性质
引理:对任意序数
引理:对任意序数
康托正则形式:任意一个非0的序数
定理:令
4.5 古德斯坦定理
无穷序数算术在数论中的一个应用
九头蛇博弈:在第
称
称
令
定义:对任意自然数
由函数
定义:对任意自然数
引理:
(1)
(2)对任意自然数
定义:对任意自然数
$$
序列
虽然看起来很匪夷所思,但是导致这一序列最终收敛于
古德斯坦定理:对任意
4.6 选择公理
为了讨论选择公理,本节总是在
定理:以下命题等价:
(1)对任意非空集合的族
(2)对任意非空集合的族
(3)对任意非空集合的族
(4)(良序定理)每一集合上都存在一个良序
以上四个命题都可以称作选择公理(
定理:以下命题等价:
(1)
(2)(豪斯道夫极大链条件)任何偏序集都存在一个极大链
(3)(佐恩引理)如果偏序集
举一些例子说明选择公理在数学中的影响
拓扑学:吉洪诺夫定理
拓扑学的基本概念
任意集合X上的一个拓扑
是X的一个子集族,它满足: (1)
并且 (2)
中任意元素的并仍属于 (3)
中有限元素的交仍属于 拓扑空间:一个指定了拓扑的集合
称为拓扑空间,以 表示以 为拓扑的空间 开集:
的元素称为开集 闭集:开集的补集称为闭集
闭包:对任意集合
, 表示包含 的最小闭集,称为 的闭包 内部:
表示 所包含的最大开集,称为 的内部 基:拓扑空间
的开集族 如果满足:任意开集 都可表示为 中元素的并,则称 为拓扑 的基 第二可数的:一个拓扑空间称为第二可数的,如果它有一个可数的基
子基:拓扑空间
的开集族 如果满足: 中元素有穷交的集合 是 的基,就称 是 的子集 生成的拓扑:对集合
的任意子集族 ,存在一个包含 的最小的拓扑 ,称为 生成的拓扑 连续的: 对任意拓扑空间
,如果映射 满足任意开集的逆象也是开集,就称 是连续的 开的(闭的):如果
满足每个开集(闭集)的象也是开集(闭集),就称 是开的(闭的) 双连续的:一个开的连续函数称为双连续的
同胚:一个双连续的双射称为同胚
积拓扑:令
为拓扑空间的族,令 。定义 ,其中 是投射函数, 是 上的拓扑。取 ,则以 为子基,或者说,由这个 生成的拓扑 称为积拓扑 积空间:给定了这个拓扑的
称为积空间 覆盖:令
为拓扑空间,如果 为 的子集族并且 ,就称 为 的覆盖 开覆盖:如果
是覆盖并且 ,则称 是开覆盖 子覆盖:如果覆盖
也是 的覆盖,则称 是 的子覆盖 紧致的:一个拓扑空间是紧致的当且仅当
的每个开覆盖都有有穷子覆盖
引理:一个拓扑空间是紧致的当且仅当对任意
定理:以下命题等价:
(1)
(2)(吉洪诺夫定理)任意紧致拓扑空间的积空间还是紧致的
实分析:实数集存在不可测子集
长度:从所有区间的族
应满足:
(1)
(2)可数可加性:对任意可数个区间的族
(3)平移不变性:若
外测度:如下定义的函数:
\mu^{*}(X)=inf\left { \sum_{i\geq 1}l(I_i)|(I_i)_{i \geq 1}是X的一个覆盖 \right } $$ 事实上在选择公理下,同时满足上面三个条件的测度是不存在的(外测度没有可数可加性)
为改进这一点,定义:
一个集合
(测度
引理:假设选择公理成立。如果
定理:如果选择公理成立,则存在
4.7 习题
1、
(1)
(2)
(3)如果
现证明(3)
假设
也就是说,并上的这个
而
且
所以假设不成立,原命题得证
2、集合
① 集合
设传递集
那么对于任意
所以
所以
又因为
集合
设集合
由幂集定义得,
所以集合
②集合
设传递集
集合
设
又因为
所以
4、序数
先证序数
即证
假设
再证序数
假设有自然数
那么
但是自然数恰好是有穷序数,矛盾
原命题成立
5、证明任何序数都可表示为
设序数
①当
②当
③当
6、证明:
(1)
\begin{aligned}
\omega+\omega^2 &=(1+\omega)\cdot\omega&&序数乘法分配律\ &=\omega^2
\end{aligned}
$$ 由于序数乘法分配律并不显然,这里将对其进行证明:
要证:
对
进行超穷归纳,有归纳假设: 。讨论 ①当
时, 显然成立 ②当
为后继序数时, $$ \begin{aligned}
\alpha\cdot(\beta+\gamma^+)&=\alpha\cdot(\beta+\gamma)^+\ &=\alpha\cdot(\beta+\gamma)+\alpha\ &=(\alpha\cdot\beta+\alpha\cdot\gamma)+\alpha&&归纳假设\ &=\alpha\cdot\beta+(\alpha\cdot\gamma+\alpha)&&序数加法结合律\ &=\alpha\cdot\beta+\alpha\cdot\gamma^+ \end{aligned}
$$ (序数加法结合律也不显然,将在下文证明)
③当
是无穷序数时 对任意序数
,(存在 使得 ) 而
,(存在 使得 ) 所以
另一方面,对任意
,(存在 使得 ) 而
,(存在 使得 ) 所以
序数加法结合律的证明:
要证:
对
进行超穷归纳,有归纳假设: 。讨论 ①当
时, 显然成立 ②当
为后继序数时, $$ \begin{aligned}
(\alpha+\beta)+\gamma^+&=(\alpha+\beta+\gamma)^+\ &= (\alpha + (\beta + \gamma))^+\
\end{aligned}
(思路:sup {(\alpha + \beta) + \xi | \xi \in \gamma} = sup {\alpha + \xi | \xi \in \beta + \gamma} \由归纳假设:
\sup {\alpha + (\beta + \xi) | \xi \in \gamma} = sup {\alpha + \xi | \xi \in \beta + \gamma}) $$ 即证
: 对任意
,(存在 使得 ) 由
,得 ,结合 ,即得 另一方面,对任意
,(存在 使得 ) 又因为
为非零极限, ,(存在 使得 ) 由
得 , ,结合 ,即得 。
(2)如果
令
\begin{aligned}
\omega+\beta=&\omega+\omega^2+\alpha\ =&(1+\omega)\cdot\omega+\alpha\ =&\omega^2+\alpha=\beta
\end{aligned}
\begin{aligned}
(\omega\cdot2)^2 &=(\omega\cdot2)\cdot(\omega\cdot2)\ &=(\omega+\omega)\cdot(\omega+\omega)\ &=\omega\cdot2\cdot\omega\cdot2\ &=\omega\cdot(2\cdot\omega)\cdot2&&序数乘法结合律\ &=\omega\cdot\omega\cdot2\ne\omega^2\cdot2^2=\omega^2\cdot4
\end{aligned}
$$ 由于序数乘法结合律并不显然,这里将对其进行证明:
要证:
对
进行超穷归纳,有归纳假设: 。讨论 ①当
时, 显然成立 ②当
为后继序数时, $$
(思路:sup {(\alpha \cdot \beta) \cdot \xi | \xi \in \gamma} = sup {\alpha \cdot \xi | \xi \in \beta \cdot \gamma}\ sup {\alpha \cdot (\beta \cdot \xi) | \xi \in \gamma} = sup {\alpha \cdot \xi | \xi \in \beta \cdot \gamma}) $$ 对任意
,(存在 使得 ) 由
,得 ,结合 ,即得 另一方面,对任意
,(存在 使得 ) 又因为
为非零极限, ,存在 使得 由
, 由“序数传递”,
,结合 ,即得
8、证明以下命题是选择公理的等价形式 $$
\forall x\exists \alpha\in O_n\exists f(f是函数\wedge x\subset dom(f)=\alpha\wedge x\subset ran(f)) $$
对于序数
此时存在
易知
①
②函数
③函数
又因为良序集基本定理,可得函数
本命题
对集合族
定义
则存在函数
以上的构造满足了
并且满足了
附:一篇有趣的文章
http://zhblog.engic.org/20141003-015609/
这篇文章模仿GEB,同过阿基里斯与乌龟的对话来讲述序数(还有基数)