“这里"有界"指存在 $M$ 使所有 $ x n \le M$。等价的集合形式是:$\mathbb R^d$ 中每个有界无限集合都有聚点。该定理是实数完备性的等价表述之一。”
形式陈述 ​
设
所以
直觉
聚点要求每个邻域都含有集合中另一个点,所以它描述集合在该处无法被局部孤立。点本身是否属于集合无关:聚点可以是集合外缺失的极限,也可以是集合内的非孤立点。闭包等于集合并上所有聚点,但在非
例子与边界
区间
推论与应用
邻域定义聚点,集合的闭包由原集合与聚点组成。第一可数空间中,
参考资料
- James R. Munkres, Topology, 2nd ed., Prentice Hall, 2000,§17, limit points and closure。
- Stephen Willard, General Topology, Dover reprint, 2004,Ch. 3, adherence and accumulation points。