
_START_ARTICLE_
孤点
_START_PARAGRAPH_
在拓扑学中，考虑集合X中的点x，如果x属于X的子集S，且在X中存在一个x的邻域，其中不包括S中的其他点，那么x叫做子集S的一个孤点或孤立点。_NEWLINE_特别的，在欧几里得空间（或度量空间）中，考虑集合S及其中的一个点x，如果存在一个包含x的开球，其中不包含S中的其他点，那么x是S的孤点。等价的说，集合S中的一个点x是孤点，当且仅当x不是S的会聚点。_NEWLINE_只由孤点构成的集合称为离散集合。欧几里得空间的离散子集都是可数的；但是一个可数集合不一定是离散的，比如有理数。参见离散空间。_NEWLINE_没有孤点的闭集叫做完美集合（完备集）。_NEWLINE_孤点的数目是拓扑不变的，就是说两个同胚的拓扑空间和有相同数目的孤点。