泛函分析基础7-2-赋范线性空间6-3：Minkowski/闵科夫斯基不等式【范数不等式】【Young不等式⇒Holder不等式⇒Minkowski不等式】

引理2（闵科夫斯基( Minkowski)不等式）

设 $p⩾1,f,g\in L^p[a,b],$ 那么 $f+g\in$$L^p[a,b],$ 并且成立不等式

$$\Vert f+g{\Vert }_p⩽\Vert f{\Vert }_p+\Vert g{\Vert }_p.(10)$$

证明
当 $p=1$ 时，因$|f(t)+g(t)|⩽|f(t)|+|g(t)|,$由积分性质可知不等式(10)自然成立.如果 $p>1,$ 设$\frac{1}{p}+\frac{1}{q}=1,$ 因 为$f+g\in L^p[a,b],$ 所以

$$|f(t)+g(t){|}^{\frac{p}{q}}\in L^4[a,b],$$

由赫尔德不等式，有

$${\int }_a^b|f(t)||f(t)+g(t){|}^{\frac{2}{4}}\mathrm{d}t⩽\Vert f{\Vert }_p{\left({\int }_a^b|f(t)+g(t){|}^p\mathrm{d}t\right)}^{\frac{1}{q}}.$$

类似对 $g$ 也有

$${\int }_a^b|g(t)||f(t)+g(t){|}^{\frac{2}{4}}\mathrm{d}t⩽\Vert g{\Vert }_p{\left({\int }_a^b|f(t)+g(t){|}^p\mathrm{d}t\right)}^{\frac{1}{4}}.$$

因而

$$\begin{gathered} {\int }_a^b|f(t)+g(t){|}^p\mathrm{d}t={\int }_a^b|f(t)+g(t)||f(t)+g(t){|}^{p-1}\mathrm{d}t \\ ⩽{\int }_a^b\mid f\left(t\right)\mid \mid f\left(t\right)+g\left(t\right){\mid }^{\frac{t}{d}dt+{\int }_a^b\mid g\left(t\right)\mid \mid f\left(t\right)+g\left(t\right){\mid }^{\frac{t}{2}}dt} \\ ⩽\left(\Vert f{\Vert }_p+\Vert g{\Vert }_p\right){\left({\int }_a^b|f(t)+g(t){|}^p\mathrm{d}t\right)}^{\frac{1}{q}}(11) \end{gathered}$$

若${\int }_a^b|f(t)+g(t){|}^p\mathrm{d}t=0,$则 $\Vert f+g{\Vert }_p=0,$ (10)式显然成立，若 ${\int }_a^b|f(t)+g(t){|}^p\mathrm{d}t\ne 0$ ,则在(11)式两边除以

$${\left({\int }_a^b|f(t)+g(t){|}^p\mathrm{d}t\right)}^{\frac{1}{q}},$$

得到

$${\left({\int }_a^b|f(t)+g(t){|}^p\mathrm{d}t\right)}^{1-\frac{1}{q}}⩽\Vert f{\Vert }_p+\Vert g{\Vert }_p.$$

由 $\frac{1}{p}+\frac{1}{q}=1,$ 得到

$$\Vert f+g{\Vert }_p={\left({\int }_a^b|f(t)+g(t){|}^p\mathrm{d}t\right)}^{\frac{1}{p}}⩽\Vert f{\Vert }_p+\Vert g{\Vert }_p.$$