闭区间套定理证明实数集不可列

用闭区间套定理证明实数集是不可列的

闭区间套定理：如果 { [ a n , b n ] } \{[a_n,b_n]\} {[an​,bn​]}是一个闭区间套，即满足$[a_{n+1},b_{n+1}]\subset [a_n,b_n]$的嵌套关系，且区间长度$b_n-a_n\to 0$，则存在唯一的实数$\xi$属于所有区间$[a_n,b_n]$，且$\xi =\underset{n\to \infty }{\lim }{a}_n=\underset{n\to \infty }{\lim }{b}_n$。

注意闭区间套定理是在实数集上成立的，因此可以用它来证明实数集不可列。假如实数集可列，就可以找到一种排列方式$x_1,x_2,\cdots ,x_n,\cdots$，使得
R = { x 1 , x 2 , ⋯   , x n , ⋯   } \R=\{x_1,x_2,\cdots,x_n,\cdots\} R={x1​,x2​,⋯,xn​,⋯}
不妨取$\mathbb{R}$上一个集合$[a_0,b_0]$，将其三等分为三个闭区间
$$\left[a_0,a_0+\frac{b_0-a_0}{3}\right],\left[a_0+\frac{b_0-a_0}{3},b_0-\frac{b_0-a_0}{3}\right],\left[b_0-\frac{b_0-a_0}{3},b_0\right];$$
$x_1$至多能同时属于其中的两个闭区间，那么一定有一个闭区间不包含$x_1$，记作
$$x_1\notin [a_1,b_1],[a_1,b_1]\subset [a_0,b_0];$$
继续对$[a_1,b_1]$进行三等分，$x_2$至多能同时属于其中两个闭区间，那么一定有一个闭区间不包含$x_2$，记作
$$x_2\notin [a_2,b_2],[a_2,b_2]\subset [a_1,b_1];$$
以此类推，得到一个闭区间列$[a_n,b_n]$，由这个闭区间列的构造方式可以知道$[a_{n+1},b_{n+1}]\subset [a_n,b_n]$，且$b_n-a_n=\frac{b_0-a_0}{3^n}\to 0$，所以闭区间列 { [ a 0 , b 0 ] } \{[a_0,b_0]\} {[a0​,b0​]}是一个闭区间套，由闭区间套定理，存在唯一的实数$\xi$，满足$\xi \in [a_n,b_n],\forall n\in {\mathbb{N}}_{+}$。但由于
$$\begin{gathered} \xi \in [a_1,b_1],x_1\notin [a_1,b_1]\Rightarrow \xi \ne x_1; \\ \xi \in [a_2,b_2],x_2\notin [a_2,b_2]\Rightarrow \xi \ne x_2; \\ \cdots \\ \xi \in [a_n,b_n],x_n\notin [a_n,b_n]\Rightarrow \xi \ne x_n; \\ \cdots \end{gathered}$$
即$\xi$不是实数列 { x 1 , x 2 , ⋯   , x n , ⋯   } \{x_1,x_2,\cdots,x_n,\cdots\} {x1​,x2​,⋯,xn​,⋯}中的任何一个，也就是$\xi \notin \mathbb{R}$，这显然是矛盾的，所以实数集一定是不可列的。