可数集为何是零测集，Jordan 理论的边界在哪里？¶

先备知识¶

熟悉可数次可加性、区间外测度与 Jordan 内容的有限覆盖边界。

学习目标¶

能用可求和误差覆盖可数集，并正确解释有限覆盖程序输出。

牵引问题¶

一个处处稠密的集合，大小仍可能为零吗？

探索与猜想¶

给第 (n) 个点分配长度 \(\varepsilon/2^n\)，总支出仍不超过 \(\varepsilon\)。

概念与理论¶

障碍¶

“点没有长度”只处理单点；还要控制可数多个点的总误差。

证明路线¶

枚举集合并分配几何级数长度预算。

逐步证明¶

若 (E={x_1,x_2,\ldots})，给定 \(\varepsilon>0\)，令

这些区间覆盖 (E)，总长度为 \(\sum_{n\ge1}\varepsilon/2^{n+1}=\varepsilon/2<\varepsilon\)。 故 (m^*(E)=0)。特别地，\(\mathbb Q\cap[0,1]\) 是稠密零测集：拓扑上的“每个小区间 都遇到它”与测度上的“可用任意小总长度覆盖”描述不同性质。

Jordan 理论偏好有限矩形近似，难以让可数运算保持闭合；外测度定义从一开始允许可数覆盖， 因此能稳定处理可数集和可数并。但“外测度为零”仍不是一般集合可测性的完整定义，下一章 才建立 Carathéodory 可测性。

假设用在何处¶

可数性给出枚举；几何级数给有限总预算；外测度非负性把任意小上界压到零。

失败边界¶

不可数不等于正测度；Cantor 集将提供不可数零测集。稠密也不等于满测度。

例题与迁移¶

例 1：代数数¶

实代数数可数，所以外测度为零，尽管其中包含无限多个数。

例 2：有限覆盖程序¶

from mathbook_examples.lebesgue_approximation import finite_cover_upper_bound

result = finite_cover_upper_bound([(0.0, 0.2), (0.1, 0.3), (0.8, 0.9)])
print(result.upper_bound, result.status)

即时检验与回望¶

即时检验 1¶

为什么 \(\mathbb Q\cap[0,1]\) 稠密却外测度为零？

即时检验 2¶

finite_cover_only 为什么不是证书？

常见误区与后续¶

• 可数集是零测集；其逆命题不成立。
• 有限网格或程序输出不能证明零测性，也不能确认外测度下确界。

习题与答案¶

习题 1¶

证明有限集外测度为零。

习题 2¶

整数集外测度是多少？

习题 3¶

有理数集外测度是多少？

习题 4¶

可数个零测集之并为何仍零测？

习题 5¶

稠密集合一定外测度为正吗？

习题 6¶

零测集一定可数吗？

习题 7¶

几何级数预算的作用是什么？

习题 8¶

Jordan 理论的主要限制是什么？

习题 9¶

程序得到更小上界说明已达到下确界吗？

习题 10¶

序章函数极限的支撑集是什么？