连通空间
(重定向自道路连通空间)
在拓扑学及相关的数学领域中,连通空间是指不能表示为两个或多个不相交的非空开集的并集的拓扑空间。
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/95/Connected_and_disconnected_spaces.svg/250px-Connected_and_disconnected_spaces.svg.png)
定义
编辑如果拓扑空间 中存在两个分离的非空开集 使得它们的并集等于 ,则 被称作不连通的,否则称它是连通的。
对拓扑空间 ,以下条件为等价的:
连通性是拓扑空间的一个拓扑不变性质,即如果两个同胚拓扑空间之一连通,则另一个空间也连通。
一些数学家承认空集(按照它独有的拓扑)是连通空间,不过也有数学家不承认这一点。
连通单元
编辑如果拓扑空间 的子集 诱导的子拓扑空间是连通的,则 被称为 的连通子集。
对拓扑空间 上的点 ,所有包含 的连通子集的并集
也是连通的。作为包含 的极大连通子集, 称作关于 的连通单元。
如果 的所有连通单元都是单元素集合,则称 为完全不连通空间。
每个空间都能表成它的连通单元的不相交并集。
连通单元必为闭集,在一些理想的拓扑空间(如流形、代数簇)上同时是开集,但这不代表连通单元总是闭开集(例如完全不连通空间 ,单元素集合在该空间中并非开集)。
其它连通性定义
编辑道路连通,弧连通
编辑道路连通空间必定是连通空间,反之不一定。
道路连通的豪斯多夫空间必为弧连通空间。
局部连通
编辑拓扑空间X称为局部连通的,当且仅当以下叙述之一成立:
- 空间中的任一点都存在连通的邻域(即该邻域是X的连通子集)。
- 空间的拓扑基完全由连通的集合组成。
例子
编辑
性质
编辑- 拓扑空间 中带有公共点 的连通子集的并集连通。
- 令 为拓扑空间 中的一个连通子集,则所有满足 的子集 皆为连通子集,其中 为 的闭包。
- 序拓扑中的连通子集都是凸集。
- 实数 是连通空间,它的所有(可以是无限)区间皆为连通子集。
- 对拓扑空间之间的连续函数 , 的连通子集在 下的像是 的连通子集。这是 上中间值定理的推广。
- 连通空间的有限积空间连通。[1]
注释
编辑- ^ Munkres, pp. 150-154.
参考文献
编辑- Munkres, James R. Topology, Second Edition. Prentice Hall. 2000. ISBN 0-13-181629-2.
- 埃里克·韦斯坦因. Connected Set. MathWorld.
- V. I. Malykhin, Connected space, Hazewinkel, Michiel (编), 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4
- Muscat, J; Buhagiar, D. Connective Spaces (PDF). Mem. Fac. Sci. Eng. Shimane Univ., Series B: Math. Sc. 2006, 39: 1–13 [2011-09-06]. (原始内容 (PDF)存档于2016-03-04)..