这个定理是从吴崇试老师的数学物理方法课里看到的，表述如下：
有界的无穷（复数）序列至少有一个聚点。
序列的聚点定义为
给定序列 $\{z_n\}$，若存在复数 $z$，对于任意给定的 $\varepsilon > 0$ 恒有无穷多个 $z_n$ 满足 $| z- z_n| < \varepsilon$，则称 $z$ 为 $\{z_n\}$ 的一个聚点。
$\{z_n\}$ 有聚点等价于 $\{z_n\}$ 有收敛子列。我们试图构造出 $\{z_n\}$ 的一个收敛子列。
先证明有界实数列满足 B-W 定理，即
有界实数列必有收敛子列。
证明：设序列 $\{a_n\}$ 都落在 $[a,b]$ 中，将 $[a,b]$ 等分成 $[a, (a+b)/2]$ 和 $[(a+b)/2, b]$，其中必有一个区间含有无穷多项 $a_n$，记此区间为 $I_1$，在 $I_1$ 中选择一项 $a_{i_1}$；再将 $I_1$ 等分成两份，取其中含有无穷多项 $a_n$ 者记做 $I_2$，在 $I_2$ 中选取一项 $a_{i_2}$ 使得 $i_2 > i_1$，如此进行下去。令 $I_n = [ l_n, r_n]$ ，则 $\{l_n\}$ 递增有界，$\{r_n\}$ 递减有界，即二者都收敛；令 $l = \lim_{n\to\infty} l_n$，$r = \lim_{n\to\infty} r_n$；又 $\lim_{n\to\infty} r_n - l_n = \lim_{n\to\infty} (b-a)/2^n = 0 $，因而 $x = y$。又 $a_{i_n} \in [l_n, r_n]$ ，由夹逼原理有 $\lim_{n\to\infty} a_{i_n} = x$，于是 $\{a_{i_n}\}$ 收敛。证毕。
再证明欧氏空间 $\mathbb{R}^p$ 中的序列满足 B-W 定理，即
$\mathbb{R}^p$ 中的有界序列必有收敛子列。
$\mathbb{R}^2$ 与 $\mathbb{C}$ 同构，所以原命题成立。
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们，一经查实，本站将立刻删除。
如需转载请保留出处：https://51itzy.com/kjqy/60108.html