多元函数第六：连续函数（6）Bolzano-Weierstrass 波尔查诺-维尔斯特拉斯定理 聚点与列紧集

记得我上研究生时，老师给我科普的第一个数学概念就是聚点，从此踏上了数学的不归路。所以，重温这部分知识，还是难掩激动。与聚点相对应的概念，是孤立点。首先给出这两个概念的严格定义。

定义 给定${\mathbb{R}}^n$上的点集$A$，我们说$x\in {\mathbb{R}}^n$是$A$的一个孤立点，如果存在$x$的邻域$U$满足 U ∩ A = { x } U\cap A=\{x\} U∩A={ x}。

定义 给定${\mathbb{R}}^n$上的点集$A$，我们说$x\in {\mathbb{R}}^n$是$A$的一个聚点点，如果对$x$的任何邻域$U$，$U\cap A$包含无线多个点。

根据上面的定义，$A$的孤立点必然属于$A$，但聚点不一定。事实上，可以很容易证明，$A$的聚点必然属于它的闭包。

命题 1 $x$是$A$的聚点，当且仅当$x\in cl(A)$且$x$不是$A$的孤立点。
证明略。

例 开区间$(a,b)$的聚点集是闭区间$[a,b]$。

例 设 A = { 1 , 1 / 2 , 1 / 3 , . . . , 1 / n , . . . } A=\{1, 1/2, 1/3, ..., 1/n, ...\} A={ 1,1/2,1/3,...,1/n,...}。那么它的孤立点集是$A$，聚点集是 { 0 } \{0\} { 0}。

例 有理数集$\mathbb{Q}$的聚点集是实数集$\mathbb{R}$。

命题 2 点$x_0$是集合$A$的聚点的充要条件是存在点列 { x m } ⊆ A \{x_m\}\subseteq A { xm​}⊆A满足$x_m\ne x_0$且$\lim x_m=x_0$。

证明. 充分性。设 { x m } ⊆ A \{x_m\}\subseteq A { xm​}⊆A是满足$x_m\ne x_0$且$\lim x_m=x_{}$