第7章第3课　Minkowski 不等式

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

上一课“Hölder 不等式”解决了一个局部环节，但它还不能自动推出本课结论。现在请把笔停一下，先回答：我们究竟在量化哪些集合、函数或测度，结论对每一个对象成立，还是只在几乎处处成立？本课要解决的是“Minkowski 不等式”，核心命题是：把 Hölder 用到 |f+g| 的幂，得到三角不等式。它服务于本章目标“从几乎处处等价类出发建立范数空间，并把 Hölder、Minkowski 用到收敛控制。”，不是孤立的定理卡片。学完以后，你应能从定义重建结论、指出每个条件进入证明的具体行号，并在删掉条件时给出算得出来的失败对象。

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

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

本课统一使用如下形式背景：固定 1≤p≤∞，Lp 是可测函数按 μ-a.e. 相等取商后的空间；p<∞ 时 ||f||p=(∫|f|^p)^(1/p)，p=∞ 时取本质上确界。 在这个背景下，把“Minkowski 不等式”记为命题 P_{7,3}。P_{7,3} 的对象是本段明确列出的集合族、函数列或测度；全称量词覆盖所有满足假设的对象，存在量词只承诺一个可核验的构造；出现 a.e. 时，必须同时写出被忽略的零测集 N 以及 μ(N)=0，不能把它偷换成“每一点”。

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

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

对“Minkowski 不等式”，定义展开的操作顺序是：先写输入对象，再写允许的可数运算，随后写输出量，最后声明等号是在实数、扩展实数还是等价类中成立。这里真正使用的机制是“把 Hölder 用到 |f+g| 的幂，得到三角不等式”。它与上一课的差别在于，本课必须完成“写出 p>1 的证明再处理端点”；它与一个仅凭图像或有限样例的猜测也不同，因为定义要对量词范围内的全部对象工作。

特别注意本课禁区：“不能把积分三角不等式误当点态等式”。这句话之所以危险，不只是表述不严，而是它会让某个量词失去约束、让一次极限交换没有控制，或制造未定义的 ∞-∞。每次看到本课定理，都在页边写一张四列表：对象、假设、结论、失败反例。后面调用时逐列打勾，不凭记忆中的定理名称通行。

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

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

第2步：把目标改写成定义语言。 将目标翻译为前像属于 σ-代数、集合包含、简单函数下逼近、积分不等式或范数估计。对本课而言，这一步落实为：把 Hölder 用到 |f+g| 的幂，得到三角不等式。若翻译后仍只剩定理名称，说明定义没有展开。

第3步：完成关键中间构造。 现在执行“写出 p>1 的证明再处理端点”。构造出的集合或函数必须仍在允许的可测类别里；若用了可数并交，写明封闭性；若用了极限，写明单调、控制或绝对可积条件；若用了上确界，说明候选族非空并确认值域。

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

第5步：为“Minkowski 不等式”关闭极限与例外集合。 把第3步围绕“写出 p>1 的证明再处理端点”得到的有限对象送入极限，逐项核对所引定理的非负性、可测性、有限性或 σ-有限性。若结论只 a.e. 成立，把全部例外集合做可数并并再次验证其测度为0。

第6步：回读结论并标记不可推广处。 最后把所得公式翻译回“Minkowski 不等式”，确认没有把不等式写成等式、没有把子列说成整列、没有把 a.e. 唯一说成处处唯一。再把“不能把积分三角不等式误当点态等式”写在结论旁，形成今后引用 P_{7,3} 时必须同时携带的边界。

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

先完成本课的有限模型核算：常数函数 10 定义在测度 4 的空间，L1范数是多少？ 计算结果为 40。计算理由是：L1 范数为绝对值积分。 这一步不是用有限样例证明一般定理，而是检查符号方向、归一化和边界值是否一致。

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

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

本课不用“存在反例”四个字敷衍。具体反例是：把 |f+g|^p 直接拆成 |f|^p+|g|^p 是错误的；取 f=g=1 时左侧为2^p、右侧为2，p=2 已不相等。 请逐项做三件事：第一，验证这个对象确实满足我们保留的条件；第二，指出它精确违反了哪一个被删除的条件；第三，直接算出结论哪一边不成立。这样才能知道条件承担的责任，而不是把反例当作课外轶事。

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

七、条件逐项反查清单

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

围绕“Minkowski 不等式”的七项中任一项答不上来，就暂时不要引用本课结论。研究生证明的严格，不是句子更长，而是每个条件都能在“把 Hölder 用到 |f+g| 的幂，得到三角不等式”的证明中找到工作位置，每个结论强度都能被本课具体反例校准。

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

回看“Hölder 不等式”，它为本课提供了对象或构造入口；本课通过 P_{7,3} 把入口推进到“把 Hölder 用到 |f+g| 的幂，得到三角不等式”；下一课“有限测度下的 Lq 包含”会把这个结果用于新的极限、积分、分解或空间结构。因此复习时不要按标题孤立背诵，而要画出 前课对象 → 本课机制 → 后课用途 的箭头，并在箭头下标出所需条件。

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