证明lp(p＞1)空间中点列弱收敛的充要条件是点列有界且各分量分别收敛

weixin_30777913

于 2025-07-15 13:12:19 发布

阅读量449

点赞数 8

CC 4.0 BY-SA版权

文章标签：算法

本文链接：https://blog.csdn.net/weixin_30777913/article/details/149351719

证明： $l^p(p>1)$ 中点列 $ξ1(n),ξ2(n),…},n=1,2,…x_{n}=\{\xi_{1}^{(n)}, \xi_{2}^{(n)}, \ldots\}, n=1, 2, \ldots$ ，弱收敛于 $ξ1,ξ2,…}∈lpx=\{\xi_1, \xi_2, \ldots\} \in l^p$ 的充要条件为 $sup⁡n∥xn∥<∞\sup_{n}\|x_{n}\|<\infty$ ，且对每个 $k$ ， $lim⁡n→∞ξk(n)=ξk\lim_{n \to \infty} \xi_{k}^{(n)}=\xi_{k}$ 。
证：充分性：设 $∥xn∥⩽M,n=1,2,⋯\left\|x_{n}\right\| \leqslant M, n=1, 2, \cdots$ ，对任一 $\in l^{q}$ ，设 $f=(η1,η2,…)f=(\eta_1, \eta_2, \ldots)$ 。对 $∀ε>0\forall \varepsilon > 0$ ，确定 $k_{0}$ ，使
$∑k=k0+1∞∣ηk∣q<(ε2(M+∥×∥))q\sum_{k=k_{0}+1}^{\infty}\mid \eta_k\mid ^q <(\frac{\varepsilon}{2(M+\|\times\|)})^q$
再确定 $N$ ，使 $n > N$ 时，有
$∑k=1k0∣ξk(n)−ξk∣∣ηk∣<ε2\sum_{k=1}^{k_{0}}\mid\xi_{k}^{(n)}-\xi_{k}\mid\mid\eta_k\mid < \frac{\varepsilon}{2}$