聚点是拓扑空间的基本概念之一,设A为拓扑空间X的子集,a∈X,若a的任意
邻域都含有异于a的A中的点,则称a是A的聚点。集合A的所有聚点的集合称为A的导集,聚点和导集等概念是
康托尔研究
欧几里得空间的子集时首先提出的。
聚点原理亦称外尔斯特拉斯定理,刻画实数系R的连续性的常用命题之一。它断言:R(Rn或度量空间)的每个有界无穷子集至少有一个聚点。它是外尔斯特拉斯(K.(T.W.).Weierstrass)于1860年得到的,在他的证明中采用了波尔查诺(Bolzano,B.)首创的对分法。