孤点是指在数学拓扑学中,如果存在x的一个不包含S中其他点的
邻域,集合S的一个点x,也叫
孤立点。
在拓扑学中,考虑
集合X中的点x,如果x属于X的
子集S,且在X中存在一个x的
邻域,其中不包括S中的其他点,那么x叫做子集S的一个孤点或孤立点。
特别的,在
欧几里得空间(或
度量空间)中,考虑集合S及其中的一个点x,如果存在一个包含x的
开球,其中不包含S中的其他点,那么x是S的孤点。等价的说,集合S中的一个点x是孤点,当且仅当x不是S的会聚点。
只由孤点构成的集合称为离散集合。欧几里得空间的离散子集都是可数的;但是一个可数集合不一定是离散的,比如有理数。参见
离散空间。
自然数集合N={0, 1, 2, ...}是一个离散集合。