实变函数论2-点集5：康托尔三分集

下面我们将讨论一个重要的例子，即康托尔三分疏朗集.为此我们先给出疏朗集和稠密集的定义。

定义

设 $E\subset {\mathbf{R}}^n,$
(1) $F\subset {\mathbf{R}}^n,$ 若对任意 $x\in F$ 和任意邻域$U(x),U(x)\cap E\ne \varnothing ,$ 则称 $E$ 在 $F$ 中 稠密；
(2)若对任意 $x\in {\mathbf{R}}^n$ 和任意邻域 $U(x),$ 存在$U(y)\subset U(x)\cap E^e,$ 则称 $E$ 是疏朗集 或 无处稠密集；

如有限点集或收敛可数列都是疏朗集有理点集 ${\mathrm{Q}}^n$ 在${\mathbf{R}}^n$ 中稠密。

例（康托尔三分集）
将 $[0,1]$ 三等分，去掉中间的开区间$\left(\frac{1}{3},\frac{2}{3}\right),$ 剩下两个闭区间$\left[0,\frac{1}{3}\right],\left[\frac{2}{3},1\right],$记这两个闭区间之并为 $E_1.$ 又把这两个闭区间各三等分，去掉中间的两个开区间，即
$\left(\frac{1}{9},\frac{2}{9}\right),\left(\frac{7}{9},\frac{8}{9}\right),$剩下 $2^2$ 个 闭区间，记这些闭区间之并为 $E_2.$ 一般地，当进行到第 $n$ 次时，一共去掉 $2^{n-1}$ 个开区间，剩下$2^n$ 个长度为 $3^{-n}$ 的互相隔离的闭
区间，记这些闭区间之并为 $E_n.$ 而在第 $n+1$ 次时，再将这$2^n$ 个闭区间各三等分，并去掉中间的开区间.如此继续下去，就从 $[0,1]$去掉了可数多个互不相交且没有公共端点的开区间，如图2.1所示，由 $\mathrm { S }$4定理2，剩下的必是一个闭集（它至少包含各邻接区间的端点及其聚点），称它为康托尔三分集，记为 $P.$

让我们来考察这个闭集 $P$ 的性质，

$1^{\circ }P$ 是完备集由于 $P$的邻接区间的作法，它们中的任何两个之间根本不存在公共端点，故 $P$ 没有孤立点，因