Holder不等式 Minkowski不等式

著名柯西-施瓦茨不等式是证明二范数三角不等式的重要工具。Holder不等式是柯西不等式的推广，它是证明$p$范数三角不等式的重要工具。

定义 ${\mathbb{R}}^n$空间上的$p$范数$|\cdot {|}_p$定义为
$$|x{|}_p=(\sum _{i=1}^n|x_i{|}^p{)}^{1/p}。$$
这里的$p\ge 1$是正实数，$x=(x_1,x_2,...,x_n)\in {\mathbb{R}}^n$。特别地，对于$p=\infty$定义
$$|x{|}_{\infty }=\underset{1\le i\le n}{\max }|x_i|。$$

注 当$p=2$时，$|\cdot {|}_2$就是我们的二范数。

为了证明$p$范数是一个范数，我们需要验证其是否满足三角不等式，也即是否有
$$|x+y{|}_p\le |x{|}_p+|y{|}_p$$
对所有的$x,y\in {\mathbb{R}}^n$成立。为了证明这个定理，我们需要Holder不等式。

首先需要一个引理。

引理 $a^{\lambda }{b}^{1-\lambda }\le \lambda a+(1-\lambda )b$这里的$a,b\ge 0,0\le \lambda \le 1$。

证明 $a$或$b$为0时显然成立，故只需证$a,b>0$的情况。由于$f(x)=\ln x$是关于$x$的上凸函数，故对于任意的$a,b>0,0\le \lambda \le 1$有
$$f(\lambda a+(1-$$