\(\huge^\star\;[0,1]\textbf{不可数的几种证明}\)

春风晚霞

        elim根本不知道什么是无穷？什么是趋向无穷？什么是无穷数？什么是超穷数？就根本不知道\(v=\displaystyle\lim_{n \to \infty}n\)、ω、\(\aleph_0\)、\(\aleph\)各自的定义以及它们与∞的区别与联系！你根本不知道单调集列极限集的定义的的自洽性(即与交并运算规律的兼容性)！你根本不知道你的“臭便”之法挂一漏万的荒谬性。你根本就不知道纯粹数学的对与错！像你这样连无穷数都不认可的民科领袖，还有谁能奢望你正确解读集合论和自然数理论呢？\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)、\(\mathbb{N}_∞≠\phi\)这是数学界的共识.两年来你反对的不是春风晚霞，你反对的是威尔斯特拉斯的极限定义；你反对的是康托尔非负整数理论；你反对的皮亚诺公理体系；你反对的是单调极列集限集定义；……像你这样什么都反对的民科领袖，还好意思把被批烂批臭的宿帖、观点拿出来显摆，真是“人不要脸，所向无敌”哟！

春风晚霞

        elim根本不知道什么是无穷？什么是趋向无穷？什么是无穷数？什么是超穷数？就根本不知道\(v=\displaystyle\lim_{n \to \infty}n\)、ω、\(\aleph_0\)、\(\aleph\)各自的定义以及它们与∞的区别与联系！你根本不知道单调集列极限集的定义的的自洽性(即与交并运算规律的兼容性)！你根本不知道你的“臭便”之法挂一漏万的荒谬性。你根本就不知道纯粹数学的对与错！像你这样连无穷数都不认可的民科领袖，还有谁能奢望你正确解读集合论和自然数理论呢？\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)、\(\mathbb{N}_∞≠\phi\)这是数学界的共识.两年来你反对的不是春风晚霞，你反对的是威尔斯特拉斯的极限定义；你反对的是康托尔非负整数理论；你反对的皮亚诺公理体系；你反对的是单调极列集限集定义；……像你这样什么都反对的民科领袖，还好意思把被批烂批臭的宿帖、观点拿出来显摆，真是“人不要脸，所向无敌”哟！

elim

吃狗屎活活吃傻的蠢可达是集论白痴:
孬种满地打滚见数学便反,丧心病狂！

【证法一】康托幂集定理加论证 \([0,1]\), \(\mathscr{P}(\mathbb{N})\) 对等：

令 \(\mathscr{L}(\mathbb{N}_+)=\{A\in\{B,B^c\}:\;B\subset\mathbb{N}_+,\;0< |B|\in\mathbb{N}_+\}\)
易见(\(\mathbb{N}_+\)的有限子集及其补集全体) \(\mathscr{L}(\mathbb{N_+})\) 可数.
\(\bigg(A\mapsto \displaystyle\sum_{n\in\mathbb{N}_+}2^n\chi_A(n) \) 是\(\mathbb{N}_+\)的有限子集到\(\mathbb{N}\) 的单射.\(\bigg)\)
令 \(C_0 =  \displaystyle\{{\small\sum_{k=1}^\infty\frac{\chi_A(k)}{2^k}}\mid A\in\mathscr{L}(\mathbb{N}_+)\},\;C=[0,1)-C_0\)
\(\quad\)对 \(\alpha\in C,\;\;a_k=\lfloor 2^k\alpha\rfloor -2\lfloor 2^{k-1}\alpha\rfloor,\;(k=1,2,3,\ldots)\),
\(\quad\)因 \(2^{n-1}\alpha-\lfloor 2^{n-1}\alpha\rfloor< 1,\;\lfloor 2^k\alpha\rfloor -2\lfloor 2^{k-1}\alpha\rfloor\in\{0,1\}\)
\(\therefore\quad\displaystyle\sum_{n=1}^\infty\frac{a_n}{2^{n}}=\lim_{m\to\infty}\sum_{n=1}^m\big(\frac{\lfloor 2^n\alpha\rfloor}{2^n}-\frac{\lfloor 2^{n-1}\alpha\rfloor}{2^{n-1}}\big)\)
\(\qquad\displaystyle =\lim_{n\to\infty}\frac{\lfloor 2^n\alpha\rfloor}{2^n} =\lim_{n\to\infty}\frac{2^n\alpha-(2^n\alpha-\lfloor 2^n\alpha\rfloor) }{2^n} = \alpha\)
\(\therefore\quad \alpha\in C\) 与
\(A=\{n\in\mathbb{N}_+:\;\lfloor 2^n\alpha\rfloor -2\lfloor 2^{n-1}\alpha\rfloor = 1\}\in\small\mathscr{P}(\mathbb{N}_+)-\mathscr{L}(\mathbb{N}_+)\)
\(\qquad\)的关系是1-1对应.  故\(|\mathbb{R}|=|C|=|\mathscr{P}(\mathbb{N})-\mathscr{L}(\mathbb{N}_+)|=|\mathscr{P}(\mathbb{N})|=2^{\aleph_0}>\aleph_0\)

【证法二】(反证法) 设序列\(\{a_n\}\)是\(\mathbb{N}_+\)与\([0,1]\)的一一对应.
\(\qquad\)引入映射\(\quad\rho([a,b],\xi)=\begin{cases}[a,\frac{2a+b}{3}],& \xi>\frac{2a+b}{3}\\ [\frac{2a+b}{3},\frac{a+2b}{3}], & \xi >\frac{a+2b}{3}\\ [\frac{a+2b}{3},b] & \xi\le\frac{a+2b}{3}\end{cases}\)

令\(I_0=[0,1],I_1=\rho(I_0,a_1),\ldots,I_n=\rho(I_{n-1},a_n),\ldots.\) 易见
\((1)\;I_{k+1}\subset I_k,\;(2)\;a_k\not\in I_k,\;(3)\; \max(I_k)-\min(I_k)\to 0\)
据区间套定理, \(E=\bigcap\{I_n\mid n\in\mathbb{N}_+\}\ne\varnothing\). 但据\(\{I_n\}\)的定义,
\(a_n\not\in E\,(\forall n\in\mathbb{N}_+)\) 必有\(E=\varnothing\). 这个矛盾证明所论一一对应
不存在. 即\([0,1]\)不可数.