R中的任意开集可表示为可数个不相交的开区间之并

本文讲解实分析中的经典命题：$\mathbb{R}$中的任意开集可表示为可数个不相交的开区间之并。

引理1：一系列不相交的开区间最多只有可数多个

对于一系列不相交的开区间，它们的个数是可数的吗？

由于每个开区间中必定包含了至少一个有理数，我们可以从每个开区间中都选出一个有理数，组成一个新的集合$Q\subseteq \mathbb{Q}$。由于这些开区间彼此不相交，因此对于每个$Q$中的有理数，也只有一个开区间包含了它。因此，$Q$和这些开区间之间有双射关系，这些开区间的个数必定是可数的。

命题的证明

给定开集$\mathcal{O}\subseteq \mathbb{R}$，对其中每个元素$x\in \mathcal{O}$，我们都能找一个开球$B(x,{ϵ}_x)$，让${ϵ}_x$足够小使得$B(x,{ϵ}_x)\subseteq \mathcal{O}$。因此，$\mathcal{O}\subseteq \bigcup _{x\in \mathcal{O}}B(x,{ϵ}_x)\subseteq \mathcal{O}$，即$\bigcup _{x\in \mathcal{O}}B(x,{ϵ}_x)=\mathcal{O}$。由于$\mathbb{R}$上的开球就是开区间，因此这里的$B(x,{ϵ}_x)$实际上都是开区间。

接下来，我们在$\mathcal{O}$上定义关系$R$：若存在开区间$I\subseteq \mathcal{O}$使得$x\in I$且$y\in I$，则$x{\sim }_{R}y$。这样的关系$R$是

• 自反的：用$B(x,{ϵ}_x)$就能包住每个$x\in \mathcal{O}$，因此$x{\sim }_{R}x$；
• 对称的（显然）；
• 传递的：若$x,y\in I_1$，$y,z\in I_2$，则 ( I 1 ∩ I 2 ) ⊇ { y } ≠ ∅ (I_1\cap I_2) \supseteq \{y\} \neq \varnothing (I1​∩I2​)⊇{y}=∅，因此$I_1\cup I_2$也是一个开区间，且包含了$x$和$z$，因此$x{\sim }_{R}z$，

由此可见，$R$是等价关系，可以利用$R$构造等价类。

对某个$x\in \mathcal{O}$，等价类 [ x ] = { y ∈ O ∣ x ∼ R y } [x]=\{y\in \mathcal{O} | x\sim_R y\} [x]={y∈O∣x∼R​y}就是包含了$x$的开区间，因此我们可以用这些等价类对$\mathcal{O}$进行分割，即将$\mathcal{O}$表示成一系列不相交的开区间的并集。而一系列不相交的开区间的个数必定是可数的（见引理1），因此，$\mathcal{O}$可表示为可数个不相交的开区间之并。