几乎处处 · aiwiki.page

在测度论中，几乎处处指某个性质在所有点上都成立，至多在一个零测集（即测度为零的集合）内有例外。它通常缩写为 a.e.，使我们能够精确地忽略例外点，而不必断言例外完全不存在。其含义取决于所采用的测度：对某种测度而言可忽略的集合，对另一种测度而言未必可忽略。关于几乎处处成立的陈述，是积分、收敛以及函数空间研究的基础。(kmperfekt.com)

定义与例外集

设 $(X,\Sigma,\mu)$ 为测度空间，其中 $\Sigma$ 是由 $X$ 的可测子集构成的σ代数。若存在 $N\in\Sigma$ ，满足 $\mu(N)=0$ ，且对每个 $x\in X\setminus N$ ，性质 $P(x)$ 都成立，则称 $P(x)$ $\mu$ -几乎处处成立。如果例外集

E=\{x\in X:P(x)\text{ 不成立}\}

可测，这一定义就等价于 $\mu(E)=0$ 。采用“例外集包含在某个零测集中”的表述，也能涵盖例外集本身不可测的情形。(kmperfekt.com)

可数个零测集的并仍然是零测集。因此，可数个各自几乎处处成立的性质，会在同一个零测集之外同时成立。但这一结论不能推广到任意不可数族。例如，对每个 $t\in[0,1]$ ，性质 $x\ne t$ 都相对于勒贝格测度几乎处处成立；然而，不存在一个 $x\in[0,1]$ 能对所有 $t$ 都满足这一性质。这一区别源于：所有这些作为例外的单点集，其并集就是整个区间。(kmperfekt.com)

示例及对测度的依赖

对于实数轴上的勒贝格测度，每个单点集的测度都为零。因此，每个可数集都是零测集，有理数集也不例外。由此可知，几乎每个实数都是无理数，尽管有理数构成一个稠密集：每个非空开区间都包含有理数。因此，在测度意义下可以忽略，并不意味着例外点是孤立的，也不意味着小邻域内没有例外点。(math.ucdavis.edu)

考虑如下函数：当 $x$ 为有理数时， $f(x)=1$ ；否则 $f(x)=0$ 。这个函数几乎处处等于零，却在每一点都不连续。这说明，几乎处处相等并不一定保持连续性。(math.ucdavis.edu)

相比之下，在计数测度下，每个非空可测集都有正测度，因此“几乎处处”就意味着“处处”。对于集中在 $a$ 点的点质量测度，一个性质几乎处处成立，当且仅当它在 $a$ 点成立，而与它在其他点的表现无关。这些结论都直接来自相应测度的定义。(kmperfekt.com)

相等与积分

若两个可测函数满足

\mu(\{x:f(x)\ne g(x)\})=0,

则称它们几乎处处相等。这定义了一种等价关系，而不是通常的逐点相等。对于可积函数，改变其在零测集上的值，不会改变它的勒贝格积分。因此，若 $f=g$ 几乎处处成立，且 $g$ 可积，则 $f$ 也可积，二者的积分相等。(kmperfekt.com)

Lp空间将这种等同处理形式化：其中的元素是由几乎处处相等的函数构成的等价类。对于 $1\le p<\infty$ ，

\|f\|_p=\left(\int_X |f|^p\,d\mu\right)^{1/p}.

只要 $f=0$ 几乎处处成立，这个表达式就为零，即使函数在个别点上的值不为零。将这样的函数视为同一元素，才能使该表达式成为真正的范数。采用这一约定后， $L^p$ 是巴拿赫空间，而 $L^2$ 是希尔伯特空间。(math.ucdavis.edu)

可测性问题需要谨慎处理：在完备测度空间中，零测集的每个子集都可测，因此任意改变函数在零测集上的值，都能保持可测性。但在不完备的测度空间中，情况未必如此。(math.ucdavis.edu)

几乎处处收敛

若在某个零测集之外，对所有 $x$ 都有

f_n(x)\longrightarrow f(x),

则称序列 $f_n$ 几乎处处收敛于 $f$ 。因此，它是允许存在一个可忽略例外集的逐点收敛，并不意味着每一点都收敛，也不涉及收敛速度的一致性。(kmperfekt.com)

在有限测度空间上，几乎处处收敛蕴含依测度收敛，即对每个 $\varepsilon>0$ ，都有

\mu(\{|f_n-f|>\varepsilon\})\longrightarrow0.

对于整个序列，逆命题一般不成立，但依测度收敛能保证存在一个几乎处处收敛的子列。叶戈罗夫定理给出了另一种联系：在有限测度空间上，对于实值可测函数，若它们几乎处处收敛，则去掉一个测度任意小的可测集后，收敛就成为一致收敛。被去掉的集合不一定是零测集。(heil.math.gatech.edu)

仅有几乎处处收敛，并不足以保证可以交换极限与积分。例如，在 $(0,1)$ 上，令 $f_n=n\mathbf1_{(0,1/n)}$ ，其中 $\mathbf1$ 表示示性函数。此时 $f_n\to0$ 在每一点都成立，但 $\int_0^1 f_n\,dx=1$ 。控制收敛定理提供了充分的附加条件：若存在可积函数 $g$ ，使 $|f_n|\le g$ 几乎处处成立，且 $f_n\to f$ 几乎处处成立，则各函数的积分收敛于 $f$ 的积分。(math.ucdavis.edu)

概率论中的术语

在概率空间上，相对于概率测度的“几乎处处”称为几乎必然。对于随机变量，几乎必然收敛意味着

\mathbb P\!\left(\left\{\omega:\lim_{n\to\infty}X_n(\omega)=X(\omega)\right\}\right)=1.

例外结果的概率为零，但它们未必不存在。同样，几乎必然相等将仅在这些结果上取值不同的随机变量视为相同；这是几乎处处相等在概率论中的对应概念。(math.ucdavis.edu)