陶哲轩实分析：数学家对于R和Q集可数性的探究

本文意淫了康托尔是如何证明了R是不可数集的，还意淫了某位不知名数学家是如何证明Q是可数集的。本文较细致的分析了Q和R可数性证明过程。
于是我便在1873年完成了轰动世界的证明！没错，就是我证明了R是不可数的！我叫康托尔！
本文编写于14日精读掌握《陶哲轩:实分析》,day8

【数学家思考：R是不可数集的证明探究】
○ 首先，我作为一名数学家，我天天用各种N的子集去映射到R上，看看R的反应。然后我就突然想到如果R是不可数的，那么2^N很可能是不可数的。
○ 于是我就想去证明2^N 是不可数的，我还顺便发现了X^N和X有不同的 基数（这就是著名的康托尔定理了）。。这里的证明很简单，灵感最重要
○ 我在已经知道了2^N是不可数的后，证明R是不可数的就很简单了。我构造出一个单射函数映射到R上就行了。
○ 于是我便在1873年完成了轰动世界的证明！没错，就是我证明了R是不可数的！我叫康托尔！

• 【R是不可数集的证明细致分析】
○ 已知集合A不可数（A是2^N)，其实已知了A以后，下面的证明思路都是很显然的。我们自然会想办法去把集合A映射到R上。
○ 核心目的：构造单射函数A->R,使得f(A)
§ 构造出f靠的是天才直觉，证明f是单射靠的是屁股
○ f(A)是R的子集，因此f(A)不可数，因此R不可数
○ 将目的集合R构造为子集，或将目的集合构造为子集的逆象

• 【数学家思考：Q是可数集的证明】
○ 这里的证明可比康托尔证明R是不可数简单多了，所以这里是由某位不知名数学家完成的工作
○ 我想证明Q是可数的，于是我轻易的建立了（Z×Z）和Q的双射关系（粗略描述），我便很清楚的知道剩下的工作仅仅是证明N×N是可数的
○ 我构造了一个单射函数f把N×N映射到N的子集上（f的寻找也是一件显然的事情），这就非常简单的证明完成了。。一切都是那么顺利
和R不可数的证明类似，本次证明任务都依托于"子集和母集的可数性关系“+“象集和拟象的可数性关系“