跳转到内容

连通空间

本页使用了标题或全文手工转换
维基百科,自由的百科全书
R² 的连通和不连通子空间。上面的空间 A 是连通的,下面的空间 B 是不连通的。

拓扑学及相关的数学领域中,连通空间是指不能表示为两个或多个不相交的非空开集的并集的拓扑空间


定义

如果拓扑空间中存在两个分离非空开集使得它们的并集等于,则被称作不连通的,否则称它是连通的。

对拓扑空间,以下条件为等价的:

  • 连通,即不能表示为两个分离的非空开集的并集。
  • 只有这两个平凡的闭开集
  • 所有从连续函数都是常数函数,其中空间由两点集的离散拓扑构成。

连通性是拓扑空间的一个拓扑不变性质,即如果两个同胚拓扑空间之一连通,则另一个空间也连通。

一些数学家承认空集(按照它独有的拓扑)是连通空间,不过也有数学家不承认这一点。


连通单元

如果拓扑空间的子集诱导的子拓扑空间是连通的,则被称为连通子集

对拓扑空间上的点,所有包含的连通子集的并集

也是连通的。作为包含的极大连通子集,称作关于连通单元

如果的所有连通单元都是单元素集合,则称完全不连通空间

每个空间都能表成它的连通单元的不相交并集。

连通单元必为闭集,在一些理想的拓扑空间(如流形代数簇)上同时是开集,但这不代表连通单元总是闭开集(例如完全不连通空间,单元素集合在该空间中并非开集)。


其它连通性定义

道路连通,弧连通

R² 的这个子空间是道路连通的,因为在这个空间的任何两点之间可绘制一个道路。
称拓扑空间X是道路连通空间,当且仅当∀x,y∈X,存在连续函数 使得 。若 可取为使得 同胚,则称X为弧连通空间

道路连通空间必定是连通空间,反之不一定。

道路连通的豪斯多夫空间必为弧连通空间。


局部连通

拓扑空间X称为局部连通的,当且仅当以下叙述之一成立:

  • 空间中的任一点都存在连通的邻域(即该邻域是X的连通子集)。
  • 空间的拓扑基完全由连通的集合组成。


例子

  • 拓扑学家的正弦曲线:在平面欧几里得空间中定义集合
    。考虑中诱导的子拓扑空间,它是连通的,但不是局部连通的。
  • 有理数:有理数集上的连通单元都是单元素集合,所以有理数集是一个完全不连通空间。


性质

  • 拓扑空间中带有公共点的连通子集的并集连通。
  • 为拓扑空间中的一个连通子集,则所有满足的子集皆为连通子集,其中闭包
  • 序拓扑中的连通子集都是凸集
  • 实数是连通空间,它的所有(可以是无限)区间皆为连通子集。
  • 对拓扑空间之间的连续函数的连通子集在下的的连通子集。这是中间值定理的推广。
  • 连通空间的有限积空间连通。[1]


注释

  1. ^ Munkres, pp. 150-154.


参考文献