漫步数学分析六——聚点

除了定义外，还有一种非常有用的方式来判断一个集合是否为闭集，而该方法依赖于一个非常重要的概念：聚点(accumulation point)。

$\textbf{定义4}$ 对于点$x\in R^n$，如果包含$x$的每个开集$U$包含不同于$x$但依然属于集合$A$中的点，那么就称$x$是$A$的一个聚点。

也就是说，集合$A$的聚点是这样的点，$A$中其他点可以任意靠近它，聚点也叫做聚类点(cluster points)。

利用定理1，$x$是$A$聚类点的定义等价于下面的命题：对于每个$\varepsilon>0$，$D(x,\varepsilon)$包含$A$中的某点$y$且$y\neq x$。

例如$R^1$中，由单点组成的集合没有聚点并且开区间$(0,1)$ 的聚点是$[0,1]$中的所有点。注意集合的聚点不一定必须在集合中，聚点与闭集的定义有非常紧密的联系，正如下面定理所述。

$\textbf{定理4}$ 集合$A\subset R^n$是闭集，当且仅当$A$的所有聚点属于$A$。

注意一个集合也可以没有聚点(例如单点或$R^1$中的整数集)，这时候应用定理4依然得出集合是闭集。另一种证明方法会在之后的定理9给出。

定理4在直观上非常清楚，因为集合为闭粗略地说就是它包含其边界上的所有点并且这样的点是聚点。这种粗略的说法很不严格，事实上当集合非常复杂时我们的直觉可能会出错，所以我们必须严格讨论。例如考虑$A=\{1/n\in R|n=1,2,3,\ldots\}\cup\{0\}$，这是一个闭集且只有一个聚点${0}$位于$A$中，但是根据上面给出的边界，这个集合不是非常直观，因此我们必须仔细讨论。

$\textbf{例1：}$令$S=\{x\in R|x\in[0,1]\text{且}x\text{是有理数}\}$，求$S$的聚点。

$\textbf{解：}$聚点集有[0,1]中的所有点组成。事实上，令$y\in[0,1],D(y,\varepsilon)=(y-\varepsilon,y+\varepsilon)$ 是$y$的一个邻域，那么我们可以在[0,1]中找出一些有理数，他们任意靠近$y$且在$D(y,\varepsilon)$中，因此$y$是聚点，任何$y\notin[0,1]$的点不是聚点，因为$y$有一个包含它的$\varepsilon$邻域但与[0,1]不交。

$\textbf{例2：}$对于集合$A=\{(x,y)\in R^2|0\leq x\leq 1\ or\ x=2\}$，验证定理4。

图1

$\textbf{解：}$$A$如图1所示，很明显$A$是闭集，$A$ 的聚点就是$A$本身，注意在$R$上，$[0,1]\cup\{2\}$的聚点是$[0,1]$没有点$\{2\}$。

$\textbf{例3：}$令$S=\{(x,y)\in R^2|y<x^2+1\}$，求$S$的聚点。

图2

$\textbf{解：}$$S$如图2所示，从图中可以明显看出聚点由集合$\{(x,y)\in R^2|y\leq x^2+1\}$组成。