当 p＜1时，p 范数不满足三角不等式的证明 | p norm | triangle inequality

在 $l^p$ 空间上，$p$ 范数定义如下：

$$||x|{|}_p={\left(\sum _{i=1}^n(|x_1{|}^p+|x_2{|}^p+\cdots +|x_n{|}^p)\right)}^{1/p}\text{\hspace{1em}(1)}$$

其中 $p⩾1$

那么为什么只考虑 $p⩾1$ 的情况呢？因为 $0<p<1$ 的时候，$(1)$ 式不满足三角不等式。

我们考虑这样两个元素，

$$x=(2,0,0,\cdots ,0)$$

$$y=(0,2,0,\cdots ,0)$$

于是

$$\begin{array}{r}||x+y|{|}_p=(2^p+2^p{)}^{1/p}=2^{\frac{p+1}{p}}>2^2=2+2=||x|{|}_p+||y|{|}_p\end{array}$$

证毕。

---

参考资料
我其实是抄的这里

---

2022年4月27日16:53:22

---

2022年5月4日16:51:44
修改了一处错误

---

2022年8月11日20:38:23
修改了一处错误