几乎处处

几乎处处（Almost Everywhere, a.e.）

def.ae · 定义 · 零集

又称几乎处处·a.e.·almost everywhere·a.e. 收敛

陈述

设 $(X, \mathcal{M}, \mu)$ 是测度空间。称一个关于点 $x$ 的命题 $P(x)$ 几乎处处成立（记 a.e.），当且仅当

\exists E \in \mathcal{M}:\ \mu(E) = 0 \quad \text{且} \quad \forall x \in X \setminus E,\ P(x)\ \text{成立}

即：使命题不成立的那些点构成一个零集。

常见的用法： $f = g$ a.e.（ $\{f \ne g\}$ 是零集）、 $f_n \to f$ a.e.（不收敛的点是零集）、 $F' = 0$ a.e.。

⭐ a.e. 是 Lebesgue 理论的润滑剂： $L^1$ 、 $L^p$ 的元素其实是函数的等价类（a.e. 相等视为同一个），几乎所有收敛定理（MCT、Fatou、DCT 的 a.e. 版本、Egorov）都只要求 a.e. 收敛 —— 因为零集上的取值对积分没有贡献。

⚠ 「a.e. 相等」与「处处相等」是不同的关系： $\int |f| = 0 \implies f = 0$ a.e.（而不是处处 0）。 ⚠ 零集的子集未必可测，除非测度空间完备 —— 这就是「完备化」要解决的问题。

MCT（a.e. 版本）用到本页定义引用

前提放宽成「对几乎处处的 $x$ 有 $f_n \uparrow f$ 」—— 这就是这条推论与 MCT 的唯一区别。
积分为零 ⟺ 几乎处处为零用到本页定义引用

结论「 $f = 0$ 几乎处处」里的 a.e. 就是它。
完备性 ⟺ 不破坏可测性用到本页定义引用

(a) 的 $f = g$ 与 (b) 的 $f_n \to f$ 都是在 a.e. 意义下说的。
完备化后可改在零集上用到本页定义引用

结论 $f = g$ 是 $\bar{\mu}$ -a.e. 成立的。
依测度 Cauchy ⟹ 收敛用到本页定义引用

结论里抽出的子列是几乎处处收敛的。
单调函数几乎处处可导用到本页定义引用

结论是 $F$ 与 $G$ 都 a.e. 可导且导数 a.e. 相等。
Fatou 的推论用到本页定义引用

前提「 $f_n \to f$ a.e.」与 Fatou 引理的差别就在这里。