按作者与版本查阅
以下按已登记位置排列。出现顺序、原文引用与已登记依赖分别展示;最早位置不代表全书首次定义。
Szekeres · source-snapshot-bc3404156f6e
已登记出处中的最早位置:§10.7 · zh-CN。
来源短摘录与定位
§10.7 · zh-CN · translation · unreviewed
直观地说,如果拓扑空间 可以分解为两个不相交的子集 ,且这些集合没有任何公共边界点,那么我们可以认为它是“不连通”的。由于一个集合的边界同时也是其补集的边界,这种分解能够发生的唯一方式是存在一个不同于空集或整个空间 的集合 ,它完全没有边界点。由于 , 能够发生的唯一方式是 由于 ,集合 必须同时等于其闭包和内部;特别地,它需要同时是开集和闭集。这引出了以下定义:如果仅有的既开又闭的子集是空集和空间 本身,则称拓扑空间 为 连通空间(connected space)。如果一个空间不是连通的,则称它为不连通空间(disconnected space)。换言之,如果 ,其中 和 是既开又闭的不相交集合,则 是不连通的。如果子集 在相对拓扑中是连通的,则称它是连通的。