聚点原理

聚点原理(accumulative point principle)亦称外尔斯特拉斯定理，或波尔查诺-外尔斯特拉斯定理，刻画实数系R的连续性的常用命题之一。它断言：R(Rn或度量空间)的每个有界无穷子集至少有一个聚点。它是外尔斯特拉斯(K.(T.W.).Weierstrass)于1860年得到的，在他的证明中采用了波尔查诺(Bolzano，B.)首创的对分法。定理有界无穷点集至少有一个聚点(极限点)。