数学分析(十六)-多元函数的极限与连续1-平面点集与多元函数2-ℝ²上的完备性定理4：聚点定理【设E∈ℝ²为有界无限点集, 则E在ℝ²中至少有一个聚点】

定理 16.3 (聚点定理)

设 $E\subset {\mathbf{R}}^2$ 为有界无限点集, 则$E$ 在 ${\mathbf{R}}^2$ 中至少有一个聚点.

证
现用闭域套定理来证明. 由于 $E$ 是平面有界集合,因此存在一个闭正方形$D_1$ 包含它. 连接正方形对边中点, 把 $D_1$分成四个小的闭正方形,则在这四个小闭正方形中,至少有一个小闭正方形含有 $E$中无限多个点. 记这个小闭正方形为 $D_2$. 再对正方形 D 2 D_{2}