闵可夫斯基不等式避坑：原理对照表
闵可夫斯基不等式避坑不能只靠记一句“和的模不大于模的和”。离散与积分、p=1与p>1、范数与拟范数，看着只差一点，逻辑却完全不同。本文把四组最容易混淆的概念摆在一起对照，从范数公理讲到等号机制，帮你定位错误究竟出在哪一层。
对比一：普通长度与Lᵖ范数
欧氏长度 ||x||₂ 只是 Lᵖ 范数在 p=2 时的一个成员。换成 p=1，单位圆变成菱形；换成更大的 p，形状逐渐贴近正方形。几何外观在变，“两边之和不短于第三边”这条范数公理仍保留。
避坑点在于：闵可夫斯基不是凭空冒出的计算技巧，它正是在保证 ||·||ₚ 满足三角不等式。若你把左右两边理解为不同路径的长度，公式方向就不容易记反。
对比二：p≥1与0<p<1
p≥1时，tᵖ具有合适的凸性，配合赫尔德不等式可推出三角不等式。0<p<1时，[Σ|xᵢ|ᵖ]^(1/p)通常只是拟范数，不满足标准三角不等式。
拿 x=(1,0)、y=(0,1)、p=1/2 测一下：两者的拟长度都是1，而 x+y 的拟长度是4，显然不满足4≤2。这个两维反例比死记适用范围更牢，遇到小于1的指数先刹车。
对比三：离散求和与积分形式
离散版对分量求和，积分版则写成 ||f+g||ₚ≤||f||ₚ+||g||ₚ，其中 ||f||ₚ=[∫|f|ᵖ]^(1/p)。核心逻辑一致，求和可以看作对计数测度积分的特殊情形。
积分版多一个隐藏门槛：函数要可测，相关积分要有意义。若讨论 Lᵖ 空间，通常还要求范数有限。只检查 p≥1却不看可积性，属于分析课程里很典型的“公式会背，地基没打”。
对比四：p=1与p>1的等号
p>1时，Lᵖ范数具有严格凸性。非零 f、g 取得等号，通常要求它们几乎处处为同向的非负比例。几何上就是两段路完全沿同一方向，绕一点弯都会变成严格小于。
p=1没有这种严格性。只要 f与g逐点同号或不发生相位抵消，积分三角不等式就可能取等号，并不要求全局固定比例。做等号题时先分清 p=1还是p>1，比套模板靠谱得多。
常见问题
- 为什么闵可夫斯基不等式要求p大于等于1？
- 因为这一范围内Lᵖ表达式满足范数的三角不等式；小于1时标准三角不等式一般失效，只能得到拟范数结构。
- 闵可夫斯基积分不等式需要什么条件？
- 通常要求p≥1，函数可测，且相关Lᵖ范数有限；更一般的扩展形式还需检查积分次序和可积条件。
- 闵可夫斯基不等式的本质是什么？
- 本质是Lᵖ范数满足三角不等式，它把几何空间中的“直走最短”推广到了数列和函数空间。