零测集不影响积分

零测集不影响积分

定义与直觉

零测集（null set）是指 Lebesgue 测度为零的集合。所谓"零测集不影响积分"，是指若两个函数在一个零测集上取值不同，则它们的 Lebesgue 积分值完全相同。换言之，改变函数在一个零测集上的值，不会改变积分结果。

这一性质的核心原因在于：Lebesgue 积分是建立在测度论基础上的。积分值通过对函数值与对应集合的测度加权求和得到。既然零测集的测度为零，无论函数在其上取何值（甚至无定义），该项对积分的贡献恒为零。

严格表述

设 $(X, \mathcal{F}, \mu)$ 为一个测度空间，$f, g: X \to \mathbb{R}$ 为可测函数。若存在 $N \in \mathcal{F}$ 满足 $\mu(N) = 0$，使得对所有 $x \notin N$ 有 $f(x) = g(x)$，则称 $f$ 与 $g$ 几乎处处相等，记为 $f = g\ \text{a.e.}$。此时有：

更一般地，若 $f$ 可积且 $g$ 与 $f$ 几乎处处相等，则 $g$ 亦可积，且积分值相同。

为什么要关注这一性质？

这一性质是 Lebesgue 积分理论优雅性的基石之一，它的意义体现在多个方面。

第一，它为"几乎处处"概念赋予了实质内容。 在分析学中，很多性质（如收敛、连续性、可微性）并不需要在每一点成立，只需在几乎处处意义下成立即可。零测集不影响积分的性质保证了这些"几乎处处"性质在积分层面是充分的。

第二，它简化了函数的等价类处理。 在 $L^p$ 空间中，我们将几乎处处相等的函数视为同一个等价类。这一操作之所以合法，正是因为积分（以及由积分诱导的范数）无法区分仅在零测集上不同的函数。

第三，它揭示了 Lebesgue 积分与 Riemann 积分的本质差异。 改变 Riemann 可积函数在有理点上的值，结果可能不再是 Riemann 可积的，因为 Riemann 积分依赖点的稠密性而非测度。而 Lebesgue 积分只关心测度，零测集上的改变永远安全。

经典例子

例 1：Dirichlet 函数。 考虑 $[0,1]$ 上的 Dirichlet 函数：

1, \& x \in $\mathbb{Q}$ \cap [0,1] \\ 0, \& x \notin $\mathbb{Q}$ \cap [0,1]

有理数集是可数集，其 Lebesgue 测度为零。因此 $D$ 与零函数几乎处处相等。于是：

而 Riemann 积分 $\int_0^1 D(x)\,dx$ 不存在（上和恒为 1，下和恒为 0），二者形成鲜明对比。

例 2：单点修改。 设 $f(x) = x$ 在 $[0,1]$ 上，$g$ 在 $x = 1/2$ 处取值为 $1000$，其余处与 $f$ 相同。$\{1/2\}$ 为零测集，故：

例 3：Cantor 集。 Cantor 集是不可数的零测集。在 Cantor 集上任意修改函数值（甚至使其无界），只要修改后的函数仍然可测，积分就不受影响。这说明零测集的"大小"不能用基数衡量——不可数集也可以测度为零。

常见的零测集

理解哪些集合是零测集，有助于在实际问题中灵活运用这一性质。

• 单点集：单点 $\{a\}$ 的 Lebesgue 测度为零。这是最平凡的例子，但已经足以说明问题。
• 可数集：如 $\mathbb{Q}$、$\mathbb{N}$、$\mathbb{Z}$。可数集是可数个单点集的并，由测度的可数可加性知其测度为零。
• Cantor 集：经典三分 Cantor 集的测度为零，但基数等于连续统。这说明零测集可以非常"大"。
• 可数条直线或曲线的并：平面上任何可数条直线或可数条光滑曲线的并集都是零测集。
• 零测集的可数并：零测集的可数并仍然是零测集，这是测度可数可加性的直接推论。

值得注意的是，零测集的子集一定是零测集，但零测集的超集不一定——只要多出的部分有正测度即可。此外，并非所有零测集都是可数的：Cantor 集给出了一个反例。

证明思路

要严格证明这一性质，可以从积分的定义出发分步推进。

第一步：非负简单函数。 若 $\varphi = \sum_{i=1}^n a_i \chi_{A_i}$ 为非负简单函数，则其积分为 $\sum a_i \mu(A_i)$。在零测集上修改 $\varphi$ 等价于将某些 $A_i$ 改为 $A_i \setminus N$ 或 $A_i \cup N'$，其中 $N, N'$ 为零测集。测度的可数可加性保证 $\mu(A_i) = \mu(A_i \setminus N) = \mu(A_i \cup N')$，因此积分不变。

第二步：非负可测函数。 非负可测函数的积分定义为所有下方非负简单函数积分的上确界。由第一步，这些简单函数的积分在零测集修改下不变，因此上确界也不变。

第三步：一般可积函数。 一般函数分解为 $f = f^+ - f^-$，分别处理正部和负部即可。

与 Riemann 积分的关系

Riemann 积分不具备这一性质的根本原因在于：Riemann 积分依赖区间的长度（Jordan 测度）而非 Lebesgue 测度，且其构造方式涉及点的稠密性。一个著名结论是：有界函数 $f$ 在 $[a,b]$ 上 Riemann 可积当且仅当 $f$ 在 $[a,b]$ 上几乎处处连续。这说明 Riemann 积分"间接地"也受到零测集的影响——不连续点集若测度为零，Riemann 积分仍然存在，但一旦不连续点集有正测度，Riemann 积分便不存在。

Lebesgue 积分则将这一直觉提升到了更根本的层面：零测集不仅不影响可积性，也不影响积分值本身。

在概率论中的应用

概率论是 Lebesgue 积分理论最重要的应用领域之一。在概率空间中，零测集对应几乎不可能事件（概率为零的事件）。零测集不影响积分的性质在此表现为：

• 随机变量的期望值不受几乎不可能事件结果的影响。
• 若两个随机变量几乎必然相等（即 $P(X \neq Y) = 0$），则它们的期望、方差等一切矩都相同。
• 在随机过程理论中，许多性质（如鞅的收敛性）只需几乎必然成立即可，因为概率为零的事件不影响后续计算。

这一性质使概率论可以忽略那些"理论上可能发生但实际概率为零"的情形，极大简化了理论框架。

对函数空间理论的支撑

在 $L^p$ 空间理论中，零测集不影响积分这一性质是定义范数的前提。$L^p$ 空间中的元素并不是个别函数，而是几乎处处相等的函数的等价类。$L^p$ 范数定义为：

若没有零测集不影响积分这一事实，$\|f\|_p = 0$ 只能推出 $f$ 几乎处处为零，无法推出 $f$ 恒为零，$L^p$ 范数就只是一个半范数（semi-norm）而非范数。通过将几乎处处相等的函数视为同一等价类，$L^p$ 空间才真正成为一个 Banach 空间。

更进一步，在 Fourier 分析和微分方程理论中，$L^2$ 空间（Hilbert 空间）的内积结构依赖于积分，从而也依赖于零测集不影响积分这一底层事实。

总结

零测集不影响积分是 Lebesgue 积分理论的基本事实，它源于测度论的核心思想——测度为零的集合在积分计算中毫无贡献。这一性质赋予了"几乎处处"概念的实用价值，支撑了 $L^p$ 空间的等价类定义，并与 Riemann 积分形成深刻对比。

从更哲学的角度看，这一性质体现了测度论对数学分析思维方式的深刻改造：它告诉我们，在积分的世界里，真正重要的是集合的"大小"（测度），而不是集合中点的多少或稠密与否。一个集合可以有不可数无限多个点（如 Cantor 集），但只要它的测度为零，它对积分就毫无影响。反之，一个集合即使只包含一个点，只要它的测度为正（如 Dirac 测度下的单点），就可以对积分产生实质贡献。

理解零测集不影响积分这一性质，是掌握测度论、Lebesgue 积分以及现代分析学中诸多领域的起点和基石。