泛函分析基础7-2-赋范线性空间8：lᵖ空间

例5
空间 $l^p.$

和 $L^p[a,b]$ 空间一样，在 $l^p$空间中也有类似的赫尔德不等式和闵科夫斯基不等式：

$$\sum _{i=1}^{\infty }\left|{\xi }_i{\eta }_i\right|⩽{\left(\sum _{i=1}^{\infty }{\left|{\xi }_i\right|}^p\right)}^{\frac{1}{p}}{\left(\sum _{i=1}^{\infty }{\left|{\eta }_i\right|}^q\right)}^{\frac{1}{q}}\left(赫尔德不等式\right),$$

其中$p>1,\frac{1}{p}+\frac{1}{q}=1,\left({\xi }_1,{\xi }_2,{\xi }_3,\cdots \right)\in l^p,\left({\eta }_1,{\eta }_2,{\eta }_3,\cdots \right)\in l^n;$

$$\Vert x+y{\Vert }_p⩽\Vert x{\Vert }_p+\Vert y{\Vert }_p(闪种大新班不等式),$$

其中 $p⩾1,x=\left({\xi }_1,{\xi }_2,\cdots \right),y=\left({\eta }_1,{\eta }_2,\cdots \right)\in l^p,\Vert x{\Vert }_p={\left({\sum }_{i=1}^{\infty }{\left|{\xi }_i\right|}^p\right)}^{\frac{1}{p}},\Vert y{\Vert }_p={\left({\sum }_{i=1}^{\infty }{\left|{\eta }_i\right|}^p\right)}^{\frac{1}{p}}$。由此可知 $l^p$ 按范数 $\Vert \cdot {\Vert }_p$成赋范线性空间，并且不难证明 $l^p$ 完备这些留给读者自己证明

最后，让我们考察有限维赋范线性空间的性质