在 l p l^p lp 空间上, p p p 范数定义如下:
∣ ∣ x ∣ ∣ p = ( ∑ i = 1 n ( ∣ x 1 ∣ p + ∣ x 2 ∣ p + ⋯ + ∣ x n ∣ p ) ) 1 / p (1) ||x||_p=\left(\sum_{i=1}^n (|x_1|^p+|x_2|^p+\cdots+|x_n|^p)\right)^{1/p}\tag{1} ∣∣x∣∣p=(i=1∑n(∣x1∣p+∣x2∣p+⋯+∣xn∣p))1/p(1)
其中 p ⩾ 1 p\geqslant1 p⩾1
那么为什么只考虑 p ⩾ 1 p\geqslant 1 p⩾1 的情况呢?因为 0 < p < 1 0<p<1 0<p<1 的时候, ( 1 ) (1) (1) 式不满足三角不等式。
我们考虑这样两个元素,
x = ( 2 , 0 , 0 , ⋯ , 0 ) x=(2,0,0,\cdots,0) x=(2,0,0,⋯,0)
y = ( 0 , 2 , 0 , ⋯ , 0 ) y=(0,2,0,\cdots,0) y=(0,2,0,⋯,0)
于是
∣ ∣ x + y ∣ ∣ p = ( 2 p + 2 p ) 1 / p = 2 p + 1 p > 2 2 = 2 + 2 = ∣ ∣ x ∣ ∣ p + ∣ ∣ y ∣ ∣ p \begin{aligned} ||x+y||_p=(2^p+2^p)^{1/p}=2^{\frac{p+1}{p}}>2^2=2+2=||x||_p+||y||_p \end{aligned} ∣∣x+y∣∣p=(2p+2p)1/p=2pp+1>22=2+2=∣∣x∣∣p+∣∣y∣∣p
证毕。
参考资料
我其实是抄的这里
2022年4月27日16:53:22
2022年5月4日16:51:44
修改了一处错误
2022年8月11日20:38:23
修改了一处错误