KNOWECON WIKI

ARTICLE

闵可夫斯基不等式

闵可夫斯基不等式（Minkowski inequality）是数学分析、泛函分析和测度论中的一条基本不等式。它确立了 L^p 空间中的三角不等式，是该空间成为赋范向量空间的关键条件之一。该不等式以德国数学家赫尔曼·闵可夫斯基（Hermann Minkowski）的名字命名，他在 19 世纪末研究二次型和数的几何时首次提出这一结果。 定义与标准形式 设 p 1

浏览 0 更新 2025-11-11

闵可夫斯基不等式（Minkowski inequality）是数学分析、泛函分析和测度论中的一条基本不等式。它确立了 Lp L^p 空间中的三角不等式，是该空间成为赋范向量空间的关键条件之一。该不等式以德国数学家赫尔曼·闵可夫斯基（Hermann Minkowski）的名字命名，他在 19 世纪末研究二次型和数的几何时首次提出这一结果。

定义与标准形式

设 p≥1 p \ge 1 ，f,g f, g 是测度空间 (X,A,μ) (X, \mathcal{A}, \mu) 上的可测函数，则闵可夫斯基不等式表述为：

(∫X∣f(x)+g(x)∣p dμ(x))1/p≤(∫X∣f(x)∣p dμ(x))1/p+(∫X∣g(x)∣p dμ(x))1/p.\left( \int_X |f(x) + g(x)|^p \, d\mu(x) \right)^{1/p} \le \left( \int_X |f(x)|^p \, d\mu(x) \right)^{1/p} + \left( \int_X |g(x)|^p \, d\mu(x) \right)^{1/p}.

当 p=∞ p = \infty 时，不等式取上确界形式：

∥f+g∥∞≤∥f∥∞+∥g∥∞.\|f + g\|_\infty \le \|f\|_\infty + \|g\|_\infty.

对于 0<p<1 0 < p < 1 ，不等式反向成立，即：

(∫∣f+g∣p)1/p≥(∫∣f∣p)1/p+(∫∣g∣p)1/p.\left( \int |f + g|^p \right)^{1/p} \ge \left( \int |f|^p \right)^{1/p} + \left( \int |g|^p \right)^{1/p}.

此时 Lp L^p 空间不再是赋范空间，而仅是一个拟赋范空间（quasi-normed space），因为三角不等式以反向形式出现，破坏了范数的基本性质。

有限维情形

在 Rn \mathbb{R}^n 或 Cn \mathbb{C}^n 中，设 x=(x1,…,xn) \mathbf{x} = (x_1, \dots, x_n) ，y=(y1,…,yn) \mathbf{y} = (y_1, \dots, y_n) ，则闵可夫斯基不等式简化为：

(∑i=1n∣xi+yi∣p)1/p≤(∑i=1n∣xi∣p)1/p+(∑i=1n∣yi∣p)1/p.\left( \sum_{i=1}^{n} |x_i + y_i|^p \right)^{1/p} \le \left( \sum_{i=1}^{n} |x_i|^p \right)^{1/p} + \left( \sum_{i=1}^{n} |y_i|^p \right)^{1/p}.

当 p=2 p = 2 时，这就是欧几里得空间中的经典三角不等式。当 p=1 p = 1 时，不等式化为各个分量绝对值之和的比较。当 p→∞ p \to \infty 时，取极限得到切比雪夫范数下的三角不等式。

级数形式

对于无穷级数，离散形式的闵可夫斯基不等式为：

(∑i=1∞∣ai+bi∣p)1/p≤(∑i=1∞∣ai∣p)1/p+(∑i=1∞∣bi∣p)1/p,\left( \sum_{i=1}^{\infty} |a_i + b_i|^p \right)^{1/p} \le \left( \sum_{i=1}^{\infty} |a_i|^p \right)^{1/p} + \left( \sum_{i=1}^{\infty} |b_i|^p \right)^{1/p},

其中 (ai) (a_i) 和 (bi) (b_i) 为复数序列，且右端两个级数均收敛。

证明

闵可夫斯基不等式的标准证明依赖于赫尔德不等式（Hölder's inequality）。以下给出完整推导过程。

当 p=1 p = 1 时，由三角不等式直接可得：

∫∣f+g∣≤∫(∣f∣+∣g∣)=∫∣f∣+∫∣g∣.\int |f + g| \le \int (|f| + |g|) = \int |f| + \int |g|.

当 p=∞ p = \infty 时，结论同样直接。对于 1<p<∞ 1 < p < \infty ，令 q q 满足 1/p+1/q=1 1/p + 1/q = 1 。注意到：

∣f+g∣p=∣f+g∣⋅∣f+g∣p−1≤(∣f∣+∣g∣)∣f+g∣p−1.|f + g|^p = |f + g| \cdot |f + g|^{p-1} \le (|f| + |g|) |f + g|^{p-1}.

积分并利用赫尔德不等式：

∫∣f+g∣p≤∫∣f∣∣f+g∣p−1+∫∣g∣∣f+g∣p−1≤(∫∣f∣p)1/p(∫∣f+g∣(p−1)q)1/q+(∫∣g∣p)1/p(∫∣f+g∣(p−1)q)1/q.\int |f + g|^p \le \int |f| |f + g|^{p-1} + \int |g| |f + g|^{p-1} \le \left( \int |f|^p \right)^{1/p} \left( \int |f + g|^{(p-1)q} \right)^{1/q} + \left( \int |g|^p \right)^{1/p} \left( \int |f + g|^{(p-1)q} \right)^{1/q}.

由于 (p−1)q=p (p-1)q = p ，故 (∫∣f+g∣(p−1)q)1/q=(∫∣f+g∣p)1/q \left( \int |f + g|^{(p-1)q} \right)^{1/q} = \left( \int |f + g|^p \right)^{1/q} 。设 F=∥f∥p F = \|f\|_p ，G=∥g∥p G = \|g\|_p ，H=∥f+g∥p H = \|f + g\|_p ，则上式化为：

Hp≤FHp/q+GHp/q=(F+G)Hp/q.H^p \le F H^{p/q} + G H^{p/q} = (F + G) H^{p/q}.

若 H=0 H = 0 ，不等式平凡成立。若 H>0 H > 0 ，两边同除以 Hp/q H^{p/q} ，并注意 p−p/q=1 p - p/q = 1 ，得到 H≤F+G H \le F + G ，证毕。

闵可夫斯基积分不等式

设 (X,μ) (X, \mu) 和 (Y,ν) (Y, \nu) 为两个 σ \sigma -有限测度空间，f(x,y) f(x, y) 为 X×Y X \times Y 上的可测函数，则对于 p≥1 p \ge 1 ，有：

(∫X∣∫Yf(x,y) dν(y)∣p dμ(x))1/p≤∫Y(∫X∣f(x,y)∣p dμ(x))1/p dν(y).\left( \int_X \left| \int_Y f(x,y) \, d\nu(y) \right|^p \, d\mu(x) \right)^{1/p} \le \int_Y \left( \int_X |f(x,y)|^p \, d\mu(x) \right)^{1/p} \, d\nu(y).

这一形式常被称为闵可夫斯基积分不等式（Minkowski's integral inequality），在调和分析、傅里叶分析和偏微分方程中具有广泛应用。例如，在卷积算子的有界性估计中，该不等式是证明杨氏不等式（Young's inequality for convolution）的核心工具。

重要推论与性质

1. Lp L^p 空间的赋范性

闵可夫斯基不等式保证了 Lp(μ) L^p(\mu) 空间中的函数范数 ∥f∥p=(∫∣f∣p dμ)1/p \|f\|_p = \left( \int |f|^p \, d\mu \right)^{1/p} 满足三角不等式。结合范数的正定性（∥f∥p=0  ⟺  f=0 \|f\|_p = 0 \iff f = 0 几乎处处成立）和绝对齐次性（∥αf∥p=∣α∣∥f∥p \|\alpha f\|_p = |\alpha| \|f\|_p ），∥⋅∥p \|\cdot\|_p 确实构成一个范数。因此 Lp L^p 空间是完备的赋范线性空间，即巴拿赫空间（Banach space）。

2. 与赫尔德不等式的关系

赫尔德不等式描述了两个函数乘积的积分与其各自 p p 范数和 q q 范数之间的关系：∫∣fg∣≤∥f∥p∥g∥q \int |fg| \le \|f\|_p \|g\|_q 。闵可夫斯基不等式则描述函数和的 p p 范数与各自 p p 范数之和的关系：∥f+g∥p≤∥f∥p+∥g∥p \|f + g\|_p \le \|f\|_p + \|g\|_p 。两者互为补充，共同构成 Lp L^p 空间理论的核心不等式体系。

3. 范数的凸性

闵可夫斯基不等式实际上反映了 Lp L^p 范数（p≥1 p \ge 1 ）的凸性：函数 f↦∥f∥p f \mapsto \|f\|_p 是凸函数。这一性质在变分法和优化理论中具有重要应用。

历史背景

闵可夫斯基不等式由赫尔曼·闵可夫斯基于 19 世纪末提出。闵可夫斯基（1864—1909）是德国数学家，曾执教于苏黎世联邦理工学院、哥廷根大学等著名学府。在苏黎世期间，他曾教授爱因斯坦（Albert Einstein）数学课程，对爱因斯坦后来的广义相对论研究产生了深远影响。闵可夫斯基最著名的贡献包括数的几何（Geometry of Numbers）、四维时空（闵可夫斯基时空）以及该不等式。该不等式最初出现在闵可夫斯基 1896 年的著作《数的几何》（*Geometrie der Zahlen*）中，后来在勒贝格积分理论建立后被推广到一般测度空间。

应用

在泛函分析中的应用

闵可夫斯基不等式是证明 Lp L^p 空间为巴拿赫空间的核心工具。结合里斯—费舍尔定理（Riesz—Fischer theorem），可以证明 Lp L^p 空间的完备性。此外，在索伯列夫空间（Sobolev space）理论中，该不等式同样扮演着基础性角色。

在概率论中的应用

设 X,Y X, Y 为随机变量，p≥1 p \ge 1 ，则闵可夫斯基不等式给出：

E[∣X+Y∣p]1/p≤E[∣X∣p]1/p+E[∣Y∣p]1/p.\mathbb{E}[|X + Y|^p]^{1/p} \le \mathbb{E}[|X|^p]^{1/p} + \mathbb{E}[|Y|^p]^{1/p}.

这保证了 Lp L^p 概率空间上随机变量之和的 p p 阶矩与其各自 p p 阶矩之间的简单不等式关系，是概率论中矩不等式的重要基础。

在数值分析中的应用

在数值计算中，闵可夫斯基不等式可用于估计向量或函数逼近的误差界。例如，当使用有限元方法求解偏微分方程时，解的 Lp L^p 误差可以通过各分项误差的 p p 范数之和来界定，这为误差分析提供了简洁的上界估计。

在信号处理中的应用

在信号处理领域，闵可夫斯基不等式用于分析混合信号的 Lp L^p 范数特性，特别是在压缩感知（compressed sensing）和稀疏表示理论中，该不等式为重构误差的界估计提供了理论依据。

与相关不等式的联系

闵可夫斯基不等式是三角不等式在 Lp L^p 空间中的自然推广。当 p=2 p = 2 时，L2 L^2 空间是希尔伯特空间，此时闵可夫斯基不等式退化为由柯西—施瓦茨不等式导出的三角不等式，即 ∥f+g∥2≤∥f∥2+∥g∥2 \|f + g\|_2 \le \|f\|_2 + \|g\|_2 。此外，闵可夫斯基不等式与赫尔德不等式、杨氏不等式共同构成了 Lp L^p 空间理论中三个最基本的不等式，三者之间存在深刻的内在联系：赫尔德不等式是证明闵可夫斯基不等式的关键工具，而杨氏不等式又是证明赫尔德不等式的基础之一。值得一提的是，闵可夫斯基不等式的离散形式——即有限维向量空间的 p p 范数三角不等式——在计算机科学和数据科学中同样具有广泛应用，例如在 k k -均值聚类算法中，距离度量的定义往往依赖于闵可夫斯基不等式的保障。

参考文献

  1. Rudin, W. (1987). *Real and Complex Analysis*. McGraw-Hill.
  2. Folland, G. B. (1999). *Real Analysis: Modern Techniques and Their Applications*. Wiley.
  3. Minkowski, H. (1896). *Geometrie der Zahlen*. Teubner.
  4. Stein, E. M. \& Shakarchi, R. (2005). *Real Analysis: Measure Theory, Integration, and Hilbert Spaces*. Princeton University Press.