Minkowski不等式

假设$p\ge 1$, 而且$g_1$和$g_2$是测度空间$(X,\mu )$上p-方可积函数，则
$$\Vert g_1+g_2{\Vert }_p\le \Vert g_1{\Vert }_p+\Vert g_2{\Vert }_p$$
证明：
当$\Vert g_i{\Vert }_p=+\infty$时，不等式成立，现假设$\Vert g_i{\Vert }_p<+\infty$。此时，由于$p\ge 1$，容易验证有如下的不等式：
$$|g_1+g_2{|}^p\le |g_1{|}^p+|g_2{|}^p$$因此，我们有$\Vert g_1+g_2{\Vert }_p\le +\infty$。
$$\begin{array}{rl}{\int }_X|g_1+g_2{|}^{p}d\mu =& {\int }_X|g_1+g_2||g_1+g_2{|}^{p-1}d\mu \\ \le & {\int }_X|g_1||g_1+g_2{|}^{p-1}d\mu +{\int }_X|g_2||g_1+g_2{|}^{p-1}d\mu \end{array}$$取$q$满足$\frac{1}{p}+\frac{1}{q}=1$, 根据Holder不等式
$${\int }_X|g_1||g_1+g_2{|}^{p-1}d\mu =\Vert |g_1||g_1+g_2{|}^{p-1}{\Vert }_1\le \Vert g_1{\Vert }_p\Vert |g_1+g_2{|}^{p-1}{\Vert }_q$$
其中,注意到$pq=p+q$,可以得到如下的式子
$$\Vert |g_1+g_2{|}^{p-1}{\Vert }_q=({\int }_X|g_1+g_2{|}^{q(p-1)}d\mu {)}^{\frac{1}{q}}=(({\int }_X|g_1+g_2{|}^{p}d\mu {)}^{\frac{1}{p}}{)}^{\frac{p}{q}}=\Vert g_1+g_2{\Vert }_p^{\frac{p}{q}}$$同理可以得到另一部分的不等式，带入以前的到的不等式即可得
$$\begin{gathered} \Vert g_1+g_2{\Vert }_p^p\le \Vert g_1{\Vert }_p\Vert g_1+g_2{\Vert }_p^{\frac{p}{q}}+\Vert g_2{\Vert }_p\Vert g_1+g_2{\Vert }_p^{\frac{p}{q}} \\ \Vert g_1+g_2{\Vert }_p\le \Vert g_1{\Vert }_p+\Vert g_2{\Vert }_p \end{gathered}$$