集合论：证明集合为可数集

---

前言

数学，可是它懵逼双眼——《学 diss math》2023.6.6。

  ~  福建大夏天气太热有感
汤谷黑齿北，一木十金乌。
羿射九日洛，夸父自追逐。
感乎东极外，扶桑花正舒。
彭者望其背，万里又何如。
知我非得者，大道无长青。
少年凌云志，意气四海行。
亟欲剑阁试，弓攥矢尤腥。
归尘亦狂酒，谈笑死生情。
老大历诸事，岁岁不年轻。
心景明复灭，天光古希窥。
入世尚自哂，出世何宏图。
拳少八极力，文输诸葛庐。
冷铁多卷刃，言语总低俗。
不期堂前燕，春来同君语。
但求夜寐时，梦里无穷困。

---

对等

定义：对等、基数

$1)$若$A,B$是非空集合，且存在双射 $\phi :A\to B$，则称$\mathbf{A}$与$\mathbf{B}$对等，记为$\underline{A\sim B}$.
$2)$若$A,B$对等，则称$A,B$具有相同的基数，记为$\stackrel{=}{A}=\stackrel{=}{B}$;
\quad 若$A,B$不对等，但 $\exists B^{\ast }⊊B$，$s.t.A\sim B^{\ast }$，则称$A$比$B$有较小的基数 ($B$比$A$有较大的基数)，记为$\stackrel{=}{A}<\stackrel{=}{B}($或 $\stackrel{=}{B}>\stackrel{=}{A})$.

---

性质

定理1

任何集合$A,B,C$，均有
（1）$A\sim A$ (自反性)；
（2）若$A\sim B$，则$B\sim A$ (对称性)；
（3）若$A\sim B,B\sim C$，则$A\sim C$ (传递性).

• 证明：若 $\exists A^{\ast }\subseteq A$，$s.t.B\sim A^{\ast }$，那么 $\stackrel{=}{B}\le \stackrel{=}{A}$.
  1）当$A,B$不对等时，显然 $A^{\ast }\ne A$，于是有 $\stackrel{=}{B}<\stackrel{=}{A}$；
  2）当$A$和$B$对等时，根据传递性，有 $A^{\ast }\sim A$，显然 $\stackrel{=}{B}=\stackrel{=}{A}$，
  故，$\stackrel{=}{B}\le \stackrel{=}{A}$。

---

定理2：伯恩斯坦(Bernstein)定理

设$A$和$B$是两个非空集合。若 $\exists A^{\ast }\subseteq A,B^{\ast }\subseteq B$，$s.t.B\sim A^{\ast },A\sim B^{\ast }$，那么 $A\sim B$.

• 证明：根据假设，存在双射${\phi }_1:A\to B_1(B_1\subseteq B)$ 及 ${\phi }_2:B\to A_1(A_1\subseteq A)$。
  因为$B_1\subseteq B$，记$A_2={\phi }_2(B_1)$，显然，$A_2\subseteq A_1$，并且 ${\phi }_2$也是$B_1$到$A_2$上的双射，于是有
  $$A\stackrel{{\phi }_1}{\sim }{B}_1\stackrel{{\phi }_2}{\sim }{A}_2(A_2\subseteq A)$$

  即，存在复合映射${\phi }_2\circ {\phi }_1=\phi :A\to A_2$，使得$A\stackrel{\phi }{\sim }{A}_2$.
  记$A_3=\phi (A_1)$，同理，有$A_3\subseteq A_2$，反复进行这样的操作，可得一列子集
  $$A\supseteq A_1\supseteq A_2\supseteq \cdots \supseteq A_n\supset \cdots$$

  将集合$A,A_1$分解为互不相交的集合的并集，有
  $$\{\begin{array}{rl}A& =(A-A_1)\cup (A_1-A_2)\cup \cdots \cup (A_n-A_{n+1})\cup \cdots \cup D\\ A_1& =(A_1-A_2)\cup \cdots \cup (A_n-A_{n+1})\cup \cdots \cup D_1\end{array}$$

  其中，
  $$\{\begin{array}{rl}D& =A\cap A_1\cap A_2\cap \cdots \cap A_n\cap \cdots \\ D_1& =A_1\cap A_2\cap \cdots \cap A_n\cap \cdots \end{array}$$

  显然，$D=A\cap D_1$，因为$A\supseteq A_i(i=1,2,\cdots )$，故$D=D_1$.
  又因为，映射$\phi$是$A_{i-1}-A_i$上到$A_{i+1}-A_{i+2}$的双射$(i=1,2,\cdots )$，故
  $$A_{i-1}-A_i\sim A_{i+1}-A_{i+2}$$

  于是，有
  $$\begin{array}{rl}A& =(A-A_1)\cup (A_1-A_2)\cdots (A_{2n}-A_{2n+1})\cup (A_{2n+1}-A_{2n+2})\cdots \cup D\\ A_1& =(A_2-A_3)\cup (A_1-A_2)\cdots (A_{2n+2}-A_{2n+3})\cup (A_{2n+1}-A_{2n+2})\cdots \cup D\end{array}$$

  故，$A\sim A_1\sim B$，推得$A\sim B$.

• 反证法
  假设$A,B$不对等，且$\stackrel{=}{A}>\stackrel{=}{B}$，则
  不存在$B^{\ast }\subseteq B$，使得$B^{\ast }\sim A$，与条件矛盾，
  故，$A\sim B$.

总结

要证明集合为可数集，一般思路就是证明集合与自然数集对等。
但可数集，有时也指代有限集和无限可数集，下面是该情况的例题。

例题

设 $f:[0,1]\to R$ 满足对任意的正整数$n$，任意的 $x_1,x_2,\cdots ,x_n\in [0,1](x_i\ne x_j)$ 均有$|f(x_1)+f(x_2)+...f(x_n)|\le M$，其中$M$为常数，则证明： { x ∈ [ 0 , 1 ] ∣ f ( x ) ≠ 0 } \{x\in [0,1] \mid f(x)≠0\} {x∈[0,1]∣f(x)=0}为可数集

注：题中的“可数”指至多可数。

• 证明：根据题意，不妨记 A k = { x ∈ [ 0 , 1 ] ∣ ∣ f ( x ) ∣ > 1 k } A_k=\{x\in [0,1] \mid |f(x)|>\frac 1k \} Ak​={x∈[0,1]∣∣f(x)∣>k1​}，显然有
  { x ∈ [ 0 , 1 ] ∣ f ( x ) ≠ 0 } = ⋃ k = 1 ∞ A k \{x\in [0,1] \mid f(x)≠0\} = \bigcup_{k=1}^\infty A_k {x∈[0,1]∣f(x)=0}=k=1⋃∞​Ak​ 假设$\exists m>0,m\in \mathbb{N}$，使得集合$A_m$为不可数集，则$A_m$存在可列子集 A m ∗ = { x 1 , x 2 , ⋯   , x n , ⋯   } A_m^* = \{ x_1, x_2, \cdots, x_n, \cdots \} Am∗​={x1​,x2​,⋯,xn​,⋯}，其中必有
  $$x\in A_m^{\ast }:f(x)>\frac{1}{m}\vee f(x)<-\frac{1}{m}$$于是，
  $\stackrel{◯}{1}$若$A_m^{\ast }$中存在无限个元素$x$，使得$f(x)>\frac{1}{m}$，
  显然，对于$A_m^{\ast }$的可列子集 S = { x ∈ A m ∗ : f ( x ) > 1 m } S=\{ x\in A_m^*: f(x)>\frac1m \} S={x∈Am∗​:f(x)>m1​}，不满足$\exists M>0,\forall x_i\in S,|{\sum }_{i=0}^{n}f(x_i)|<M$；

  $\stackrel{◯}{2}$若$A_m^{\ast }$中存在有限个元素$x$，使得$f(x)>\frac{1}{m}$，
  则$A_m^{\ast }$中存在无限个元素$x$，使得$f(x)<-\frac{1}{m}$时，同理，结论不成立；

  故，$A_m^{\ast }$中存在有限个元素$x$，使得$|f(x)|>\frac{1}{m}$，即$\forall k\in {\mathbb{N}}^{+},A_k$为有限集，${\bigcup }_{k=1}^{\infty }{A}_k$是可数集。
  所以， { x ∈ [ 0 , 1 ] ∣ f ( x ) ≠ 0 } \{x\in [0,1] \mid f(x)≠0\} {x∈[0,1]∣f(x)=0}为可数集