基数

基数是一类特殊的序数。

定义

我们说两个集合 $A,B$ 等势，当且仅当在它们之间存在一个双射(一一对应)，记为 $|A|=|B|$。

对于任意一个序数 $\alpha$ 而言，$\alpha$ 的势，记为 $|\alpha |$，是与 $\alpha$ 等势的最小序数，即

• $|\alpha |=min\{\beta \le \alpha ||\alpha |=|\beta |\}$

一个序数 $\alpha$ 是基数，当且仅当 $\alpha =|\alpha |$。

基数上的序关系

基数的序被定义为如下形式

$|X|\le |Y|$，如果存在一个单射自 $X$ 到 $Y$

我们同样可以定义严格序

$|X|<|Y|$ 表示 $|X|\le |Y|$ 且 $|X|\ne |Y|$

例：

$|A|<|\mathfrak{𝔓}(A)|=|\{\mathrm{\varnothing },\{\mathrm{\varnothing }\}{\}}^A|$

有限基数和无穷基数(超限基数)

$\mathrm{\forall }n\in \omega (n=|n|)$，这意味着所有的自然数 $n$ 都是一个基数。

从而，我们称呼一个集合 $X$ 的基数是有限的，当且仅当存在一个自然数 $n\in \mathbb{\mathbb{N}}$ 使得 $|X|=|n|=n$

此时我们称呼 $X$ 是有 $n$ 个元素的。有限基数即全体自然数。

若一个基数不是有限的，则我们称它为无穷基数(超限基数)。

极限基数和后继基数

一个基数 $k$ 是一个后继基数，当且仅当存在一个基数 $\lambda$，使得 $k$ 是最小的大于 $\lambda$ 的基数，此时也称 $k$为$\lambda$ 的基数后继。

一个基数 $k$ 是一个极限基数，当且仅当对于任意 $\lambda <k$，$\lambda$ 的基数后继也小于 $k$。

有以下定理：

1. 若一个无穷序数是基数，我们便称之为阿列夫数；
2. ${\mathrm{\aleph }}_0=\omega =|\omega |$，$\omega$是第一个无穷基数；
3. ${\mathrm{\aleph }}_1={\omega }_1=|{\omega }_1|$，${\omega }_1$是第一个不可数基数。
4. 第一个不可数的极限基数为${\mathrm{\aleph }}_{\omega }$

由此我们定义阿列夫数的递增序列

• ${\mathrm{\aleph }}_0=\omega$
• ${\mathrm{\aleph }}_{\alpha +1}={\omega }_{\alpha +1}={\mathrm{\aleph }}_{\alpha }$ 的基数后继
• ${\mathrm{\aleph }}_{\gamma }\text{(}\gamma \text{是非零极限序数)}=\bigcup \{{\omega }_{\alpha }|\alpha <\gamma \}$

我们称一个基数为 ${\mathrm{\aleph }}_0$ 的无穷集合是可数的(countable)，一个基数不为 ${\mathrm{\aleph }}_0$ 的无穷集合是不可数的(uncountable)。

基数的运算

我们依赖集合的基本运算，来定义基数的运算。

对于两个基数 $a,b$，有两个基数分别为 $a,b$ 且互不相交的集合 $A,B$，有

• $a+b=|A\cup B|$
• $a\cdot b=|A\times B|$
• $a^b=|A^B|$

其中 $A^B$ 表示全体从 $B$ 到 $A$ 的映射所构成的集合。

基数有以下的运算规律：

对于任意基数 $a,b,c$，有：

• $a+b=b+a$;
• $a\cdot b=b\cdot a$;
• $a+(b+c)=(a+b)+c$;
• $a\cdot (b\cdot c)=(a\cdot b)\cdot c$;
• $(a\cdot b{)}^c=a^c\cdot b^c$;
• $a^{b+c}=a^c\cdot a^b$;
• $(a^b{)}^c=a^{b\cdot c}$;
• 如果 $a\le b$，那么 $a^c\le b^c$;
• 如果 $0<b\le a$，那么 $c^b\le c^a$;
• $a^0=1,1^b=b$，若 c 非空，$0^c=0$.

基数有如下定理：

1. ${\mathrm{\aleph }}_{\alpha }\cdot {\mathrm{\aleph }}_{\alpha }={\mathrm{\aleph }}_{\alpha }$
2. ${\mathrm{\aleph }}_{\alpha }+{\mathrm{\aleph }}_{\beta }={\mathrm{\aleph }}_{\alpha }\cdot {\mathrm{\aleph }}_{\beta }=max\{{\mathrm{\aleph }}_{\alpha },{\mathrm{\aleph }}_{\beta }\}$

对定理1的证明：

${\mathrm{\aleph }}_{\alpha }\cdot {\mathrm{\aleph }}_{\alpha }={\mathrm{\aleph }}_{\alpha }$

证明：我们如此定义 $Ord{}^2$ 上的良序

$(a,b)<(c,d)$ 当且仅当 $max\{a,b\}<max\{c,d\}$

或 $max$ 等同 $a<c,b=d$

或 $max$ 等同 $a=c,b<d$

显然可以发现，它满足不自反，且传递，且任意可比，显然，对于任意 $Ord{}^2$ 的子类，它都有最小元。

我们让 $T(a,b)=\{(c,d):(c,d)<(a,b)\}$的序型。显然，如果 $(a,b)<(c,d)$，它们的 $t$ 值也是保序的。

注意到 $T(\omega \cdot \omega )=\omega$（取对角线计数）（$a\cdot a$显然是$(0,a)$所给的始段）

我们可以注意到这个映射是双射且保序的，且 $y(a)=T(a\cdot a)$ 是递增函数。

令 $b$ 为最小的序数使得 $a=T(a\cdot a)$ 不成立，如果 $c,d<{\omega }_b$ 使得 $T(b,c)={\omega }_b$，令 $e>c$，$d,e<{\omega }_b$ 则 $T(e\cdot e)>{\omega }_b$，所以 $e\cdot e\ge {\omega }_b$，然而 $|e|\cdot |e|$ 的基数小于 ${\omega }_b$，矛盾。所以不存在 $b$ 使得 ${\omega }_b\cdot {\omega }_b>{\omega }_b$.

共尾度

对于一个良序集合 $(W,<)$ 而言，我们称序数 $\alpha$ 为它的长度或者序型，记成 $\alpha =ot(W,<)$，当且仅当它与 $(\alpha ,<)$ 同构。

设 $\alpha$ 是一个非零极限序数，$\alpha$ 的共尾度，记为 $\mathrm{c}\mathrm{f}(\alpha )$，由以下等式定义：

• $\mathrm{c}\mathrm{f}(\alpha )=min\{ot(A,<)|A\subseteq \alpha \wedge \mathrm{\forall }\beta (\beta <\alpha \to \mathrm{\exists }\gamma (\gamma \in A\wedge \beta <\gamma ))\}$

即，$\mathrm{c}\mathrm{f}(\alpha )$ 是 $\alpha$ 的最短的无界子集的长度。

设 $\alpha \ge \gamma \ge \omega$ 为两个极限序数，那么以下三个命题等价：

1. $\gamma =\mathrm{c}\mathrm{f}(\alpha )$
2. 存在从 $\gamma$ 到 $\alpha$ 的无界单增映射，并且对于任何一个 $\eta <\gamma$，任意一个从 $\eta$ 到 $\alpha$ 上的映射一定在 $\alpha$ 中有界
3. $\gamma$ 为最小的序数$\beta$，使得存在一个严格递增的长度为 $\beta$ 的序数序列 $⟨{\alpha }_{\xi }:\xi <\beta ⟩$，$\underset{\xi \to \beta }{\lim }{\alpha }_{\xi }=\alpha$

显然，共尾度是一个极限序数且当 $\alpha$ 为极限序数时它的共尾度是正则的。

一个基数是正则的当且仅当它的共尾度为自身。一个基数是奇异的当且仅当它不是正则的。

有如下定理：

• 所有后继基数都是正则基数。
• 所有奇异基数都是极限基数。