实变函数（一）Countable Set && Uncountable Set

可数集（Countable Set，下称CS）与不可数集（Uncountable Set，下称US），本质上就是将无限集合按照是否可以进行“计数”进行划分的过程。

在定义CS和US之前，需要先提出对等的概念（一说等势，在离散数学中更多被用到。）。对等，本质上就是能否确切地寻找到两个集合之间的一个1-1映射，如果能够找到，就说这两个集合是对等的，数学语言表达如下
$$if\exists f:A\to B,fis1-1map,thenA\sim B$$
接下来我们就可以简单地定义可数集和不可数集，以及所谓的这些集合中所包含的元素的数量。实质上，CS就是所有与${\mathbb{Z}}^{+}$对等的集合，而US则是所有与$\mathbb{R}$对等的集合。如此听来似乎相当简单，因为实质上有了这个定义，我们总是能够较为轻松地判断一个集合，是否为CS\US，只需要判断是否存在对等关系即可了。对于方便我们寻找1-1映射的，我们自然是可以如此判断，下面，我们就将这些能够直接通过寻找双射的方式即可判断CS\US的集合纳入一个标题。

可直接寻找双射关系判断CS\US

首先我们来看CS。

1. 全体互异数组。数组一定可以写成 a r r a y = { a 1 , a 2 , a 3 , ⋯ ∣ a i ≠ a j , i f    i ≠ j } = { a i ∣ i ∈ Z + , a i ≠ a j , i f    i ≠ j } array=\{a_1, a_2, a_3,\cdots|a_i \neq a_j,if\;i\neq j\}=\{a_i|i\in \mathbb{Z}^+,a_i\neq a_j,if\;i\neq j\} array={a1​,a2​,a3​,⋯∣ai​=aj​,ifi=j}={ai​∣i∈Z+,ai​=aj​,ifi=j}，因此只需要给出映射$\varphi (a_i)=i$，显然$\varphi$为双射。

其次就是US。

1. （0,1）。实质上，只需要使用映射$\varphi (x)=\tan (x)$，此时显然有$(0,1)\to (-\infty ,+\infty )$，并且显然$\varphi (x)$是$(0,1)$上的单调函数，即为双射。

事实上，可直接寻找双射关系的判断方式并不多，笔者将会在后续学习过程中继续补充案例，下面我们将重点放在基于运算和夹逼的判断方式上，此前需要引入几个引理。

(引理1)$if{A}_{i}isCS,then{\bigcup }_{i=0}^{+\infty }{A}_{i}isCS$

(引理2)$if{A}_{i}isCS,then{\prod }_{i=0}^n{A}_{i}isCS$

(引理3)$if{A}_{i}isUS,then{\prod }_{i=0}^{+\infty }{A}_{i}isUS$

(引理4)$if\mathrm{card}(A_i)=n,then{\prod }_{i=0}^{+\infty }{A}_{i}isUS$

当我们进一步定义了量化可数集和不可数集的方式——基数（cardinal number）后，事实上我们有更简单的描述以上四个引论的方式，就是如下的四个算式：
$$a^2=a,a^n=a,c^a=c,n^a=c$$事实上，我们做了规定$,\mathrm{card}(CS)=a,,\mathrm{card}(US)=c$，如此才得出了上述的关系式。尽管只有这些定理，但是通过这种思想我们能够轻易地得出数不胜数的集合是否是CS/US。

基于引理判断CS/US

1. 有理数集：事实上，可以将有理数集表达为 Q = { p q ∣ p , q ∈ Z } \mathbb{Q}=\{\frac{p}{q}|p,q\in\mathbb{Z}\} Q={qp​∣p,q∈Z}。事实上如果我们能够证明$\mathbb{Z}isCS$，而后由于$\mathbb{Q}=\mathbb{Z}\times \mathbb{Z}=a^2=a$，这样就能够证明出$\mathbb{Q}isCS$了。下证$\mathbb{Z}isCS\iff \mathbb{Z}\sim {\mathbb{Z}}^{+}$。我们又知道， Z = Z − ∪ { 0 } ∪ Z + \mathbb{Z}=\mathbb{Z}^-\cup\{0\}\cup\mathbb{Z}^+ Z=Z−∪{0}∪Z+，显然${\mathbb{Z}}^{-}\sim {\mathbb{Z}}^{+}|f:\varphi (n)=-n$，因此${\mathbb{Z}}^{-}isCS$，因此$\mathbb{Z}=a+1+a=2a+1=a$，因此$\mathbb{Z}isCS$，这样回溯过去就能证明$\mathbb{Q}isCS$。
   证明有理数集是CS的方式有很多，这里采用了一种较为直观的方式。
2. ${\mathbb{Q}}^{\infty }$：先给出定义${\mathbb{Q}}^{\infty }=\{(r_1,r_2,\cdots ,r_n,\cdots ):r_i\in \mathbb{Q},i=1,2,\cdots \}$。这个问题很好地点出了夹逼的用法。首先我们直接写出$\mathrm{card}({\mathbb{Q}}^{\infty })=a^a$，原因很简单，因为${\mathbb{Q}}^{\infty }={\prod }_{i=1}^{+\infty }\mathbb{Q}$。那么如何判断$a^a$的值呢？显然$a>n$，而$n^a=c$，因此$a^a>c$；又$a<c$，因此$a^a<c^a=c$，这样就证明了$a^a=c$。因此${\mathbb{Q}}^{\infty }isUS$。
   
   基于引理进行判断的CS/US案例相当之多，在笔者的实变学习之路中会慢慢继续补充。