R上的开集结构定理 | Eternal Math Notes

一、严格定理与边界情形

这里的开区间允许无界情形：

(a,b),\qquad(-\infty,b),\qquad(a,+\infty),\qquad\mathbb R.

定理也覆盖所有边界情况： $O=\varnothing$ 是零个区间的不交并；分块数可以有限或可数无限；当 $O=\mathbb R$ 时，唯一分块就是 $\mathbb R$ 。

二、几何直观

把 $O$ 想成实数轴上被涂色的部分：

────────○════════○──────○═══════○────────
        a        b      c       d

             O=(a,b)∪(c,d)

每一段没有断点的涂色区域就是一个最大开区间。只要中间有一个点不属于 $O$ ，两段便不能合并。例如

O=(-2,1)\cup(3,5)\cup(7,+\infty)

的三个分块就是 $(-2,1)$ 、 $(3,5)$ 与 $(7,+\infty)$ 。

三、唯一性：若分解存在，为什么只能有一种

唯一性证明

假设

O=\bigsqcup_{i\in A}I_i =\bigsqcup_{j\in B}J_j,

其中每一族内部的区间两两不交。任取 $I_i$ 和 $x\in I_i$ 。由 $x\in O=\bigcup_{j\in B}J_j$ ，存在某个 $J_j$ 使 $x\in J_j$ ，故 $I_i\cap J_j\neq\varnothing$ 。

若 $I_i,J_j$ 相交但不相等，两个开区间的相对位置保证其中一个区间的有限端点落在另一个区间内部。不妨设 $I_i=(a,b)$ 且 $a\in J_j$ 。因为 $a\in O$ ，第一种分解中存在 $I_k$ 使 $a\in I_k$ ；又因 $a\notin I_i$ ，有 $I_k\neq I_i$ 。

$I_k$ 是包含 $a$ 的开区间，所以存在 $\delta>0$ 使 $(a-\delta,a+\delta)\subseteq I_k$ 。取

0<t<\min\{\delta,b-a\},

则 $a+t\in I_i\cap I_k$ ，与第一族区间两两不交矛盾。因此 $I_i=J_j$ 。

第一族中的每个区间都出现在第二族中；交换两族角色又得反向包含，所以两种分解相同。

四、存在性：围绕每个点构造最大开区间

固定 $x\in O$ ，定义

L_x:=\{a<x:(a,x)\subseteq O\}, \qquad R_x:=\{b>x:(x,b)\subseteq O\}.

因为 $O$ 是开集，存在 $\varepsilon>0$ 使 $(x-\varepsilon,x+\varepsilon)\subseteq O$ ，从而 $L_x,R_x$ 均非空。在扩充实数中令

a_x:=\inf L_x,\qquad b_x:=\sup R_x, \qquad I_x:=(a_x,b_x).

若 $L_x$ 向下无界，则 $a_x=-\infty$ ；若 $R_x$ 向上无界，则 $b_x=+\infty$ 。

1. 证明构造区间包含于开集

任取 $a\in(a_x,x)$ 。由于 $a>a_x=\inf L_x$ ， $a$ 不可能仍是 $L_x$ 的下界，因此存在 $a'\in L_x$ 使 $a'<a$ 。由定义， $(a',x)\subseteq O$ ，所以 $a\in O$ 。故

(a_x,x)\subseteq O.

同理，任取 $b\in(x,b_x)$ 。由 $b<b_x=\sup R_x$ ，存在 $b'\in R_x$ 使 $b<b'$ ，于是 $b\in(x,b')\subseteq O$ 。故 $(x,b_x)\subseteq O$ 。再结合 $x\in O$ ，得到

I_x=(a_x,b_x)\subseteq O.

2. 证明构造区间的最大性

设 $I'=(a',b')$ 是任意满足 $x\in I'\subseteq O$ 的开区间。由 $(a',x)\subseteq O$ 得 $a'\in L_x$ ，所以

a_x=\inf L_x\le a'.

由 $(x,b')\subseteq O$ 得 $b'\in R_x$ ，所以

b'\le\sup R_x=b_x.

因此

I'=(a',b')\subseteq(a_x,b_x)=I_x.

$I_x$ 正是 $O$ 中包含 $x$ 的最大开区间。

五、最大性如何产生不交分解

令

\mathcal J:=\{I_x:x\in O\}.

由于 $x\in I_x\subseteq O$ ，有 $O=\bigcup_{I\in\mathcal J}I$ 。若 $I_x\cap I_y\neq\varnothing$ ，则 $I_x\cup I_y$ 仍是一个开区间，且包含于 $O$ 。

由 $I_x$ 的最大性， $I_x\cup I_y\subseteq I_x$ ；结合反向包含，得到 $I_x\cup I_y=I_x$ 。同理由 $I_y$ 的最大性得到 $I_x\cup I_y=I_y$ ，所以

I_x=I_y.

因此最大区间“相交即相等”，不同的最大区间必两两不交，进而

O=\bigsqcup_{I\in\mathcal J}I.

六、为什么分块至多可数

有理数集 $\mathbb Q$ 在 $\mathbb R$ 中稠密，所以每个非空开区间都含有有理数。固定枚举

\mathbb Q=\{q_1,q_2,q_3,\ldots\}.

对每个 $I\in\mathcal J$ ，定义

n(I):=\min\{n\in\mathbb N:q_n\in I\}, \qquad r_I:=q_{n(I)}.

若 $I\neq J$ ，由两两不交性有 $I\cap J=\varnothing$ ，所以 $r_I\neq r_J$ 。于是

\Phi:\mathcal J\longrightarrow\mathbb Q, \qquad \Phi(I)=r_I

是单射。因为 $\mathbb Q$ 可数， $\mathcal J$ 至多可数。

这相当于给每个互不重叠的房间分配一个不同的“有理数门牌”：门牌只有可数多个，房间也只能至多可数。

七、整条证明的路线图

\boxed{x\in O} \Longrightarrow \boxed{L_x,R_x\neq\varnothing} \Longrightarrow \boxed{I_x=(\inf L_x,\sup R_x)\subseteq O}

\Longrightarrow \boxed{I_x\text{ 最大}} \Longrightarrow \boxed{I_x\cap I_y\neq\varnothing\Rightarrow I_x=I_y} \Longrightarrow \boxed{O\text{ 是不交区间并}}

\Longrightarrow \boxed{\mathcal J\hookrightarrow\mathbb Q} \Longrightarrow \boxed{\mathcal J\text{ 至多可数}}.

八、易错点与通用方法

题型识别

出现“实数轴上的开集分解”“包含某点的最大区间”“不交开集族的可数性”时，应想到以下模板：

固定一点并构造包含它的局部对象；
用并集或 $\inf/\sup$ 扩张成最大对象；
用最大性证明相交即相等；
得到不交分解；
从每个分块选取可数稠密集中的一个点；
构造到可数集的单射。

同一思想可推广到 $\mathbb R^n$ ：每个开集的连通分支都是开集，每个分支都含有一个 $\mathbb Q^n$ 中的点，所以连通分支至多可数。

九、变式练习

十、与 Borel 集的联系

这一定理说明， $\mathbb R$ 中每个开集都能由至多可数个开区间表示。进一步利用有理数的稠密性，可以证明端点属于 $\mathbb Q$ 的开区间已经足以生成全部开集，因此也足以生成 $\mathbb R$ 上的 Borel $\sigma$ -代数。

延伸阅读：σ-代数：定义、直觉与基本例子。