泛函分析基础-如何证明l^∞是完备的度量空间

原创于 2020-11-08 21:28:39 发布 · 1.1w 阅读

·

4

·

CC 4.0 BY-SA版权

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

文章标签：

泛函分析专栏收录该内容

1 篇文章

订阅专栏

本文详细证明了l^∞是完备度量空间，通过展示其中的柯西序列在实数集上收敛，并利用R的完备性，最终得出l^∞也是完备的结论。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

证明：设{ $x_{m}$ }是 $l^{\infty }$ 中的柯西点列，其中 $x_{m}$ ={ $\xi _{1}^{(m)},\xi _{2}^{(m)},...$ }

由柯西列的定义：对 $\forall\varepsilon >0$ ， $\exists$ 正整数N，当n，m>N时，

$d(x_{m},x_{n}) = sup_{j}|\xi _{j}^{(m)} - \xi _{j}^{(n)}| < \varepsilon---------- (1)$

因此，对每一个固定的j，当n,m > N时，成立

$|\xi _{j}^{(m)} - \xi _{j}^{(n)}| < \varepsilon-----------------(2)$

这就是说，数列 $\xi _{j}^{(k)}, k = 1,2,...$ 是柯西点列（注意此处是指 $(\xi _{j}^{n})_{n=1}^{\infty }$ 是R中的Cauchy列），因此，

由R的完备性： $\exists$ 数 $\xi$ ，使得 $\xi _{j}^{(n)}\rightarrow \xi _{j} (n\rightarrow \infty )$

令 $x=(\xi _{1},\xi _{2},...)$ ，下面证明 $x\in I^{\infty }$ ，且 $x_{m}\rightarrow x(m\rightarrow \infty )$

(注：若对 $\forall\varepsilon >0$ ， $\exists$ 正整数N，当n，m>N时， $d(x_{m},x_{n})< \varepsilon$ )

在（2）式中，令 $n\rightarrow \infty$ ，可以得到：

对一切m > N，成立 $|\xi _{j}^{(m)} - \xi _{j}| \leqslant \varepsilon-----------(3)$ （因为有了极限才可以取极限）

又 $\because$ $x_{m}=(\xi _{1}^{(m)},\xi _{2}^{(m)},...)$ ，因此 $\exists$ 实数 $K_{m}$ ，使得对于所有j，成立 $|\xi _{j}^{(m)}|\leqslant K_{m}$

因此， $|\xi _{j}|\leqslant |\xi _{j} - \xi _{j}^{(m)}|+|\xi _{j}^{(m)}|\leqslant \xi + K_{m}$

这就证明了 $x\in I^{\infty }$ (有界)，由（3）式，可知对一切的m > N，成立：

$d(x_{m},x) = sup_{j}|\xi _{j}^{(m)} - \xi _{j}| \leq \varepsilon$

$\therefore$ $x_{m}\rightarrow x(m\rightarrow \infty )$ 因此 $l^{\infty }$ 是完备度量空间，证毕。

评论 2

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。