实变函数论——集合的势（基数）

知识点

满射

如果对$\forall y\in Y,\exists x\in X$，使$y=f(x)$，则称$f$为满（映）射

单射

如果$f(x_1)=f(x_2)$必有$x_1=x_2$，则称$f$为单射

双摄（一一映射）

若$f$既是满射又是单射，则称$f$为双摄（一一映射）

势

若存在一个从集合$A$到$B$上的一一映射$\varphi :A\to B$，则称集合$A$与$B$是 对等的。记作$A\sim B$。如果$A\sim B$则称$A$与$B$的“数目”（势或基数）是相同的。

证明集合$A$与$B$对等：
(1)直接方法：构造一一映射：$f:A\to B$
(2)间接方法：应用Cantor-Bernstein定理：若$X\sim Y\subset Y_1$，$Y\sim X_1\subset X$，则$X\sim Y$.

可数集

可数（列）集：与自然数集$N$对等的集合。$N$的势记为${\aleph }_0$，

至多可数集：有限集与可数集，否则称为不可数集

连续势（连续基数）：与$(0,1]$对等的集合的势（基数）