零测集

零测集 (Null Set / Measure Zero Set)

零测集是测度论中具有"忽略不计"性质的可测集，其测度为零。它是"几乎处处"概念的形式化基础，也是勒贝格积分理论与经典黎曼积分理论的关键分水岭。理解零测集的结构与性质，是掌握实分析和现代概率论的必修环节。

定义

设 $(X, \mathcal{F}, \mu)$ 为一测度空间。集合 $N \in \mathcal{F}$ 称为$\mu$-零测集，若 $\mu(N) = 0$。在勒贝格测度的语境下（$\mathbb{R}^n$ 上），$N \subseteq \mathbb{R}^n$ 是勒贝格零测集，当且仅当对任意 $\varepsilon > 0$，存在可数个开（或闭）矩形 $\{R_k\}_{k=1}^{\infty}$，使得

换言之，零测集能被总体积任意小的可数矩形族覆盖。

典型例子

可数集：任何可数集都是勒贝格零测集。特别地，$\mathbb{Q}$（有理数集）在 $\mathbb{R}$ 中稠密却为零测集——这是测度与拓扑直觉分离的经典实例。单个点集 $\{x\}$ 也是零测集。低维子空间：$\mathbb{R}^n$ 中的低维超平面（如 $\mathbb{R}^2$ 中的直线）是 $\mathbb{R}^n$ 中的勒贝格零测集。康托尔集：康托尔三分集是零测集中最令人震撼的例子——它不可数、完备、完全不连通，却具有勒贝格测度零。其构造过程（每次挖去中间三分之一）使总测度为 $\sum_{n=0}^\infty 2^n/3^{n+1} = 1$，即被挖去部分总测度为 1，故剩余集合测度为零。

基本性质

(1) 单调性：零测集的任意子集若可测，则也是零测集。(2) 可数可加性：可数个零测集的并集仍为零测集。此性质不可推广至不可数并。(3) 平移不变性：勒贝格测度下，零测集的平移仍是零测集。(4) 完备性：勒贝格测度是完备的——零测集的任意子集自动勒贝格可测且为零测集。这是勒贝格测度优于博雷尔测度的关键特性之一。

“几乎处处”与零测集

零测集的核心应用在于定义"几乎处处"（almost everywhere, a.e.）概念：某性质几乎处处成立，若其不成立的点全体构成零测集。例如，两个可测函数 $f, g$ 几乎处处相等，记作 $f = g$ a.e.，若 $\{x : f(x) \neq g(x)\}$ 为零测集。在勒贝格积分中，改变被积函数在零测集上的值不影响积分结果，这使得积分理论更具灵活性。勒贝格微分定理断言 $\mathbb{R}^n$ 上局部可积函数几乎处处可微，也是以零测集为容错边界的深刻结论。

与其他概念的关系

在概率论中，零测集对应概率为零的事件。注意：概率为零并非"不可能事件"——例如在 $[0,1]$ 上均匀分布中，任意特定实数被选中的概率为零，但该事件逻辑可能。在绝对连续性中，测度 $\nu \ll \mu$ 的定义恰为：每个 $\mu$-零测集也是 $\nu$-零测集。拉东-尼科迪姆定理即建立在绝对连续性之上。此外，里斯表示定理的函数空间对偶理论中，零测集的性质也扮演基础角色。

历史注记与严格化

零测集的概念随测度论的严格化而逐步成型。康托尔在1883年发现康托尔集时，揭示了不可数零测集的存在，打破了"小集合必可数"的直觉。勒贝格在其1902年博士论文中系统建立了勒贝格测度与积分理论，零测集成为理论的基石。此后，卡拉泰奥多里的卡拉泰奥多里条件为判断可测性提供了更一般的框架。零测集概念的成熟使数学家得以严格处理诸多先前依赖直觉的命题，如富比尼定理中积分次序交换的条件——仅需被积函数可测且绝对可积，容许在零测集上出现任意行为。

零测集的构造与反例

并非所有"小"集都是零测集。史密斯-沃尔泰拉-康托尔集（肥康托尔集）是勒贝格测度为正的疏朗完备集，表明拓扑上的"小"与测度上的"小"相互独立。另一方面，利用选择公理可构造维塔利集——它是不可测集的经典例子，说明并非所有集合都可赋予勒贝格测度。零测集与不可测集的分野是实分析中最为微妙的概念区分之一，也是理解索洛维模型（所有实数集皆勒贝格可测）等集合论结果的起点。