第3章第6课　正则性：内逼近与外逼近

一、从上一课留下的问题进入

上一课“测度唯一性定理”解决了一个局部环节，但它还不能自动推出本课结论。现在请把笔停一下，先回答：我们究竟在量化哪些集合、函数或测度，结论对每一个对象成立，还是只在几乎处处成立？本课要解决的是“正则性：内逼近与外逼近”，核心命题是：用紧集从内、开集从外逼近可测集。它服务于本章目标“把可数可加性变成极限工具，并理解何时由生成族唯一决定测度。”，不是孤立的定理卡片。学完以后，你应能从定义重建结论、指出每个条件进入证明的具体行号，并在删掉条件时给出算得出来的失败对象。

先把直觉固定在一个动作上：给定误差 ε 组织两侧夹逼。直觉只负责告诉我们可能往哪里走，不能替代证明。接下来所有“显然”“容易知道”都要拆成集合包含、逐点不等式、可数运算或极限估计；如果某一步无法写出对象和量词，就回到这里重新定义问题。

二、对象、符号与量词的形式化陈述

本课统一使用如下形式背景：固定测度空间 (X,Σ,μ) 与集合列 (E_n)。所有极限公式都在扩展非负实数中理解；从上连续性额外量化假设 μ(E_1)<∞。 在这个背景下，把“正则性：内逼近与外逼近”记为命题 P_{3,6}。P_{3,6} 的对象是本段明确列出的集合族、函数列或测度；全称量词覆盖所有满足假设的对象，存在量词只承诺一个可核验的构造；出现 a.e. 时，必须同时写出被忽略的零测集 N 以及 μ(N)=0，不能把它偷换成“每一点”。

形式化阅读“用紧集从内、开集从外逼近可测集”时分四层。第一层是类型：每个符号属于哪个空间。第二层是可测性：相关前像、水平集或截面是否进入指定 σ-代数。第三层是大小条件：有限、非负、绝对可积、σ-有限或一致控制到底是哪一个。第四层是结论强度：等式、不等式、a.e. 唯一还是范数收敛。只有四层全部对齐，P_{3,6} 才是一条可以引用的命题。

三、关键定义展开，而不是背一句名称

对“正则性：内逼近与外逼近”，定义展开的操作顺序是：先写输入对象，再写允许的可数运算，随后写输出量，最后声明等号是在实数、扩展实数还是等价类中成立。这里真正使用的机制是“用紧集从内、开集从外逼近可测集”。它与上一课的差别在于，本课必须完成“给定误差 ε 组织两侧夹逼”；它与一个仅凭图像或有限样例的猜测也不同，因为定义要对量词范围内的全部对象工作。

特别注意本课禁区：“正则性依赖空间与测度条件”。这句话之所以危险，不只是表述不严，而是它会让某个量词失去约束、让一次极限交换没有控制，或制造未定义的 ∞-∞。每次看到本课定理，都在页边写一张四列表：对象、假设、结论、失败反例。后面调用时逐列打勾，不凭记忆中的定理名称通行。

四、跟着教师完成六步证明或构造

第1步：固定对象并声明范围。 围绕“正则性：内逼近与外逼近”固定形式背景中的空间、σ-代数和相关序列；把“任意”“存在”“几乎处处”逐字写出。此时只登记假设，不提前使用结论。

第2步：把目标改写成定义语言。 将目标翻译为前像属于 σ-代数、集合包含、简单函数下逼近、积分不等式或范数估计。对本课而言，这一步落实为：用紧集从内、开集从外逼近可测集。若翻译后仍只剩定理名称，说明定义没有展开。

第3步：完成关键中间构造。 现在执行“给定误差 ε 组织两侧夹逼”。构造出的集合或函数必须仍在允许的可测类别里；若用了可数并交，写明封闭性；若用了极限，写明单调、控制或绝对可积条件；若用了上确界，说明候选族非空并确认值域。

第4步：给出“正则性：内逼近与外逼近”所需的双向控制或误差预算。 证明等式时分别证明 ≤ 与 ≥；证明收敛时给任意 ε>0，指出怎样选择截断层、坏集或指标 N；证明唯一性时让两个候选在生成族或零测集外比较。不能用“令 n 足够大”结束，必须说明足够大的依据如何由“用紧集从内、开集从外逼近可测集”中的条件提供。

第5步：为“正则性：内逼近与外逼近”关闭极限与例外集合。 把第3步围绕“给定误差 ε 组织两侧夹逼”得到的有限对象送入极限，逐项核对所引定理的非负性、可测性、有限性或 σ-有限性。若结论只 a.e. 成立，把全部例外集合做可数并并再次验证其测度为0。

第6步：回读结论并标记不可推广处。 最后把所得公式翻译回“正则性：内逼近与外逼近”，确认没有把不等式写成等式、没有把子列说成整列、没有把 a.e. 唯一说成处处唯一。再把“正则性依赖空间与测度条件”写在结论旁，形成今后引用 P_{3,6} 时必须同时携带的边界。

五、一个完整、可复算的具体算例

先完成本课的有限模型核算：递增集合测度依次为 9,16,23，并集测度是多少？ 计算结果为 23。计算理由是：从下连续性给出测度极限。 这一步不是用有限样例证明一般定理，而是检查符号方向、归一化和边界值是否一致。

再把数值放回本课主问题。我们明确执行“给定误差 ε 组织两侧夹逼”：先列出具体输入及其所在集合，按定义计算每个中间量，再把结果代回 P_{3,6} 的两侧。核算时至少保留一项边界输入，例如空集、零测集、单点、截断端点或 p=1 的端点指数。若一般证明与这个有限模型给出相反方向，应优先回查量词、补集方向、积分上下界和是否误用了绝对可积，而不是修改样例迎合公式。

六、明确反例：删掉条件后哪里真的坏掉

本课不用“存在反例”四个字敷衍。具体反例是：在没有局部紧致或测度非正则的抽象空间中，不能保证用紧集从内逼近。即使在 R 上，Vitali 集也不能由开集与紧集按可测正则性公式处理。 请逐项做三件事：第一，验证这个对象确实满足我们保留的条件；第二，指出它精确违反了哪一个被删除的条件；第三，直接算出结论哪一边不成立。这样才能知道条件承担的责任，而不是把反例当作课外轶事。

这个反例直接纠正“正则性依赖空间与测度条件”。如果你只能复述反例的名字，却不能计算集合测度、函数积分、范数或极限值，仍然没有通过本课。反例的最小性也重要：优先使用两点空间、指标函数、移动尖峰、原子测度或有限矩阵，因为这些对象让失败发生在哪一步一眼可见。

七、条件逐项反查清单

1. 对象检查：与“正则性：内逼近与外逼近”有关的集合、函数、测度和空间是否都已定义，是否混用了像与前像、点值与等价类？
2. 可测性检查：第3步构造的水平集、截面、极限或密度是否可测；可测性来自生成族、闭包还是已有定理？
3. 符号检查：需要非负时是否真的非负；出现正负部分时是否排除了 ∞-∞；范数指数是否满足共轭关系？
4. 大小检查：有限测度、绝对可积、σ-有限、统一控制或一致可积中，本课实际需要哪一项，证据写在哪里？
5. 极限检查：交换极限、积分、求和或截面次序时，具体调用的是 MCT、Fatou、DCT、Tonelli、Fubini 还是别的结论？
6. 例外集检查：结论是处处还是 a.e.；多个零测例外做可数并后是否仍为零测？
7. 反例检查：上面的具体反例是否精确命中“正则性依赖空间与测度条件”，而不是攻击了一个与本课无关的弱命题？

围绕“正则性：内逼近与外逼近”的七项中任一项答不上来，就暂时不要引用本课结论。研究生证明的严格，不是句子更长，而是每个条件都能在“用紧集从内、开集从外逼近可测集”的证明中找到工作位置，每个结论强度都能被本课具体反例校准。

八、与前后课程的连接及课后验收

回看“测度唯一性定理”，它为本课提供了对象或构造入口；本课通过 P_{3,6} 把入口推进到“用紧集从内、开集从外逼近可测集”；下一课“构造与唯一性综合证明”会把这个结果用于新的极限、积分、分解或空间结构。因此复习时不要按标题孤立背诵，而要画出 前课对象 → 本课机制 → 后课用途 的箭头，并在箭头下标出所需条件。

课后四题各负其责：单选检查唯一合法边界，多选检查条件组合，计算题要求给数值、单位或集合大小及依据，证明题按对象与量词、关键构造、极限关闭、明确反例四项评分。证明若没有至少五个可审查步骤，或只写“由某定理显然”，即使最终结论正确也不能算学会“正则性：内逼近与外逼近”。