逐点、一致与几乎处处收敛怎样区分？¶

先备知识¶

熟悉逐点、一致收敛和零测集。

学习目标¶

准确写出三种收敛的量词与蕴含关系。

牵引问题¶

允许在零测集上失败，会得到怎样的新收敛语言？

探索与猜想¶

一致收敛最强；几乎处处收敛忽略一个固定零测异常集。

概念与理论¶

障碍¶

“大多数点收敛”若不说明例外集合大小，就不是数学定义。

证明路线¶

并列量词，再用移动尖峰和固定零集区分概念。

逐步证明¶

逐点收敛：对每个 (x)，对每个 \(\varepsilon>0\)，存在依赖 (x,\varepsilon) 的 (N)。 一致收敛：对每个 \(\varepsilon>0\)，存在与 (x) 无关的 (N)。 几乎处处收敛：存在固定零测集 (N_0)，使 (f_n(x)\to f(x)) 对所有 (x\notin N_0) 成立。

一致收敛推出逐点收敛，逐点收敛推出几乎处处收敛（异常集为空）。反向不成立： \(f_n(x)=x^n\) 在 \([0,1]\) 逐点收敛但不一致；若令 (f_n=\mathbf1_N) 且 (N) 为非空 零测集，则 (f_n\to0) 几乎处处，却在 (N) 上从不逐点趋于 0。

假设用在何处¶

“固定零测集”避免异常点随 (n) 任意漂移；统一 (N) 区分一致与逐点。

失败边界¶

几乎处处收敛不表示每一点收敛，也不自动给积分交换。

例题与迁移¶

例 1：幂函数¶

\(x^n\to0\) 于 \([0,1)\)，在 1 处趋于 1；不一致因为上确界误差始终接近 1。

例 2：零集修改¶

只在可数集上修改每个函数，不改变几乎处处等价类。

即时检验与回望¶

即时检验 1¶

几乎处处的异常集能依赖 (n) 吗？

即时检验 2¶

逐点收敛是否推出几乎处处收敛？

常见误区与后续¶

• “几乎”指测度为零，不指有限个点或概率直觉。
• 本章不声称几乎处处收敛可交换积分。

习题与答案¶

习题 1¶

写出一致收敛的统一量词。

习题 2¶

一致收敛推出什么？

习题 3¶

逐点收敛推出几乎处处吗？

习题 4¶

反向成立吗？

习题 5¶

定义几乎处处收敛。

习题 6¶

\(x^n\) 在 \([0,1]\) 一致收敛吗？

习题 7¶

异常集必须可测吗？

习题 8¶

零测集修改影响几乎处处极限吗？

习题 9¶

几乎处处是否意味着除有限点外？

习题 10¶

本单元是否已证明积分交换？