反例的“原料”：Cantor 集合与 Cantor 映射

一、为什么它是反例的“原料”

Cantor 集 $C$ 同时满足：闭、紧、无孤立点、无处稠密、不可数、Lebesgue 测度为 $0$。这些性质说明“点很多”“有长度”“局部厚”“包含区间”是四种不同概念。

Cantor 映射进一步给出：

$$m(C)=0, \qquad F(C)=[0,1],$$

以及

$$F'(x)=0\quad\text{几乎处处}, \qquad F(1)-F(0)=1.$$

它由此成为区分连续、Lipschitz 连续、绝对连续和有界变差的核心反例。

二、Cantor 集的几何构造

从 $C_0=[0,1]$ 开始，每一步删去所有现存闭区间的中间三分之一：

$$C_1=\left[0,\frac13\right]\cup\left[\frac23,1\right],$$ $$C_2=\left[0,\frac19\right] \cup\left[\frac29,\frac13\right] \cup\left[\frac23,\frac79\right] \cup\left[\frac89,1\right].$$

定义

$$\boxed{C=\bigcap_{n=0}^{\infty}C_n}.$$

第 $n$ 步共有 $2^n$ 个闭区间，每个长度为 $3^{-n}$，并且

$$C_n= \bigcup_{(b_1,\ldots,b_n)\in\{0,1\}^n} \left[ \sum_{k=1}^{n}\frac{2b_k}{3^k}, \sum_{k=1}^{n}\frac{2b_k}{3^k}+\frac1{3^n} \right].$$

C_0  ├────────────────────────────────────────┤
C_1  ├────────────┤              ├────────────┤
C_2  ├────┤  ├────┤              ├────┤  ├────┤
C_3  ├─┤ ├─┤  ├─┤ ├─┤              ├─┤ ├─┤  ├─┤ ├─┤

三、三进制刻画

若

$$x=0.a_1a_2a_3\cdots{}_3 =\sum_{n=1}^{\infty}\frac{a_n}{3^n}, \qquad a_n\in\{0,1,2\},$$

则数字 $0,1,2$ 分别表示进入左、中、右三分之一。进入中间三分之一意味着被删除，所以：

必须保留“至少有一种”，因为端点有双重展开：

$$\frac13=0.1{}_3=0.02222\cdots{}_3.$$

第二种展开只含 $0,2$，所以 $1/3\in C$。

四、Cantor 集的五个关键性质

1. 闭且紧

每个 $C_n$ 都是有限个闭区间之并，因此闭；$C$ 是闭集的交，仍为闭集。又因 $C\subseteq[0,1]$ 有界，所以 $C$ 紧。

2. 测度为零

$$m(C_n)=2^n3^{-n}=\left(\frac23\right)^n.$$

由 $C\subseteq C_n$，

$$0\le m(C)\le\left(\frac23\right)^n.$$

令 $n\to\infty$ 得

$$\boxed{m(C)=0}.$$

3. 不可数

映射

$$(b_n)_{n\ge1}\longmapsto \sum_{n=1}^{\infty}\frac{2b_n}{3^n}$$

把无限二元序列与 $C$ 中的点一一对应。因此

$$|C|=2^{\aleph_0}=|[0,1]|.$$

4. 没有孤立点

固定 $x\in C$，保留其三进制展开的前 $N$ 位，在更后面改变一个 $0/2$ 数字，可得到另一个 $x_N\in C$，并且

$$0<|x_N-x|\le3^{-N}\to0.$$

故每个 $x\in C$ 都是聚点。结合闭性，$C$ 是完全集。

5. 无处稠密

$m(C)=0$ 说明 $C$ 不含任何非退化开区间，所以 $\operatorname{int}C=\varnothing$。又因 $C$ 闭，

$$\operatorname{int}(\overline C)=\varnothing,$$

故 $C$ 无处稠密。

五、Cantor 映射：从三进制到二进制

若 $x\in C$，选择只含 $0,2$ 的三进制展开

$$x=0.a_1a_2a_3\cdots{}_3, \qquad a_n\in\{0,2\}.$$

令 $b_n=a_n/2$，定义

$$\boxed{ \Phi(x)=0.b_1b_2b_3\cdots{}_2 =\sum_{n=1}^{\infty}\frac{b_n}{2^n}. }$$

即逐位替换

$$\boxed{0\mapsto0,\qquad2\mapsto1}.$$

例如

$$0.020202\cdots{}_3 \longmapsto 0.010101\cdots{}_2.$$

端点粘合与非单射性

$$\frac13=0.02222\cdots{}_3, \qquad \frac23=0.20000\cdots{}_3,$$

于是

$$\Phi\left(\frac13\right)=0.01111\cdots{}_2=\frac12,$$ $$\Phi\left(\frac23\right)=0.10000\cdots{}_2=\frac12.$$

所以 $\Phi:C\to[0,1]$ 是满射但不是单射。真正与 $C$ 同胚的是二元序列空间 $\{0,1\}^{\mathbb N}$。

延拓到整个区间

在每个被删去区间上，将函数定义为两个端点的共同像。例如

$$F(x)=\frac12 \quad\left(x\in\left[\frac13,\frac23\right]\right),$$ $$F(x)=\frac14 \quad\left(x\in\left[\frac19,\frac29\right]\right), \qquad F(x)=\frac34 \quad\left(x\in\left[\frac79,\frac89\right]\right).$$

若 $x\notin C$ 的三进制展开第一次在第 $k$ 位出现 $1$，即

$$x=0.a_1\cdots a_{k-1}1a_{k+1}\cdots{}_3, \qquad a_j\in\{0,2\}\ (j<k),$$

则

$$\boxed{ F(x)=\sum_{j=1}^{k-1}\frac{a_j/2}{2^j}+\frac1{2^k}. }$$

第一个 $1$ 表示 $x$ 已进入某个间隙，之后的数字不再影响函数值。

六、自相似方程与魔鬼阶梯

左段首位为 $0$，右段首位为 $2$，中段被压成平台。无限递归后，图像出现无穷多个水平阶梯却没有跳跃，因此称为“魔鬼阶梯”。

七、Cantor 映射的主要性质

1. 单调不减，但不严格递增

编码替换保持字典序，间隙只会被压成常值，所以

$$x<y\implies F(x)\le F(y).$$

但 $F$ 在 $[1/3,2/3]$ 上恒为 $1/2$，故不严格递增。

2. 处处连续

从 $F_0(x)=x$ 出发，递归定义

$$F_{n+1}(x)= \begin{cases} \dfrac12F_n(3x),&0\le x\le\dfrac13,\\[4pt] \dfrac12,&\dfrac13\le x\le\dfrac23,\\[4pt] \dfrac12+\dfrac12F_n(3x-2),&\dfrac23\le x\le1. \end{cases}$$

每个 $F_n$ 都连续。若 $T$ 表示该递推算子，则

$$\|Tf-Tg\|_\infty\le\frac12\|f-g\|_\infty.$$

所以 $(F_n)$ 一致收敛到 $F$；连续函数的一致极限仍连续，故

$$\boxed{F\in C([0,1])}.$$

3. 满射，而且 $F(C)=[0,1]$

任取二进制数

$$y=0.b_1b_2b_3\cdots{}_2,$$

令

$$x=0.(2b_1)(2b_2)(2b_3)\cdots{}_3.$$

则 $x\in C$ 且 $F(x)=y$，所以

$$\boxed{F(C)=[0,1]}.$$

连续映射由此把零测集映成了整个单位区间。

4. 几乎处处导数为零

若 $x\notin C$，它位于某个被删去的开区间中，$F$ 在该邻域内为常数，故 $F'(x)=0$。又因 $m(C)=0$，得到

$$\boxed{F'(x)=0\quad\text{几乎处处}}.$$

但 $F(1)-F(0)=1$，所以“导数几乎处处为零”不能单独推出函数为常数。

5. 有界变差，但不绝对连续

$F$ 单调不减，所以

$$V_0^1(F)=F(1)-F(0)=1.$$

若 $F$ 绝对连续，则微积分基本定理给出

$$F(1)-F(0)=\int_0^1F'(x)\,dx=0,$$

与 $F(1)-F(0)=1$ 矛盾。因此

$$\boxed{F\text{ 连续且有界变差，但不绝对连续}.}$$

6. Hölder 连续但不是 Lipschitz 连续

取 $x_n=3^{-n}$，则 $F(x_n)=2^{-n}$，从而

$$\frac{|F(x_n)-F(0)|}{|x_n|} =\left(\frac32\right)^n\to\infty.$$

故 $F$ 不是 Lipschitz 连续。

令

$$\alpha=\frac{\log2}{\log3}.$$

第 $n$ 级横向尺度 $3^{-n}$ 对应纵向振幅 $2^{-n}=(3^{-n})^\alpha$，由此可证明存在 $K>0$ 使

$$|F(x)-F(y)|\le K|x-y|^\alpha.$$

而对任意 $\beta>\alpha$，

$$\frac{|F(x_n)-F(0)|}{|x_n|^\beta} =\left(\frac{3^\beta}{2}\right)^n\to\infty,$$

所以 $\alpha$ 是最优 Hölder 指数。

7. 对称性

$$\boxed{F(1-x)=1-F(x)}.$$

因此图像关于 $(1/2,1/2)$ 中心对称，并有

$$\int_0^1F(x)\,dx=\frac12.$$

八、概率与测度论解释

令随机变量 $\xi_n$ 相互独立，且

$$\mathbb P(\xi_n=0)=\mathbb P(\xi_n=1)=\frac12,$$

定义

$$X=\sum_{n=1}^{\infty}\frac{2\xi_n}{3^n}.$$

则 $\mathbb P(X\in C)=1$，且 Cantor 函数正是 $X$ 的分布函数：

$$\boxed{F(x)=\mathbb P(X\le x)}.$$

相应测度 $\mu_C$ 满足

$$\mu_C(C)=1, \qquad m(C)=0,$$

所以 $\mu_C$ 与 Lebesgue 测度奇异；又因 $F$ 连续，$\mu_C$ 没有原子。它是连续奇异测度，而 $F$ 是连续奇异函数。

九、反例索引

错误直觉	Cantor 反例
不可数集应有正测度	$C$ 不可数，但 $m(C)=0$
完全集应包含区间	$C$ 完美，但内部为空
连续映射保持零测	$m(C)=0$，但 $F(C)=[0,1]$
连续单调函数必绝对连续	$F$ 连续单调，但不绝对连续
$F'=0$ 几乎处处则 $F$ 为常数	$F(1)-F(0)=1$

关键边界是

$$F'=0\text{ 处处}\implies F\text{ 为常数},$$

而

$$F'=0\text{ 几乎处处}\centernot\implies F\text{ 为常数}.$$

若增加绝对连续条件，则可由积分恢复函数，此时后一推论才成立。

十、方法提炼：一题通一类

常见变体

• 改变保留段数和缩放比，构造一般自相似集；
• 改变左右分支概率，得到非对称 Cantor 分布；
• 构造内部为空但测度为正的胖 Cantor 集；
• 研究单调函数对应的 Lebesgue—Stieltjes 测度；
• 把单调函数增量分解为绝对连续、跳跃与连续奇异三部分。

十一、变式练习

十二、前置知识与延伸阅读

• 外测度的性质：覆盖、误差与几何分离：回顾零测集和外测度；
• 集合论在实分析中的例题：复习集合表示、可数并交与函数性质；
• 后续可继续学习胖 Cantor 集、Lebesgue—Stieltjes 测度以及有界变差函数的分解。