聚点是
拓扑空间的基本概念之一。设A为拓扑空间X的
子集,a∈X,若a的任意
邻域都含有异于a的A中的点,则称a是A的聚点。集合A的所有聚点的集合称为A的
导集,聚点和导集等概念是
康托尔(Cantor,G.(F.P.))研究
欧几里得空间的子集时首先提出的。
事实上,只要证明在且的数列中,可以选出各项不同的子数列就可。因为且,这说明该数列不可能只有有限多个不同项组成(否则必有一项的值在中无穷次出现,这样就收敛到该值,而它又不等于a,从而得出矛盾),取这些不同项,按原来的顺序排列后所得数列就是定理所要求的数列。
则就是一个收敛的子数列。若没有无穷多项相同,则数集为无穷有界数集,则由聚点原理,必有聚点a存在。再由定理1,在数集中有一个数列,a,以的次序排列后,得的一个子数列,它以a为极限,其中用了收敛数列重排后极限不变。