连通空间

维基百科,自由的百科全书
跳转至: 导航搜索
R² 的连通和不连通子空间。上面的空间 A 是连通的,下面的空间 B 是不连通的。

拓扑学以及相关的数学分支里面,一个拓扑空间被称为是连通的,如果它不能够表示为两个不相交非空开集并集(因为开集的补集正是闭集,因此也可以从闭集的角度论述拓扑空间的连通性:一个连通的拓扑空间不能够表示为两个不相交的非空闭集的并集)。连通性是拓扑空间的一个拓扑不变性质,即两个拓扑空间之间若存在一个同胚映射,其中一个空间是连通的,则另一个空间也是连通的。一些数学家承认空集(按照它独有的拓扑)是连通空间,不过也有数学家不承认这一点。一个拓扑空间被称为是不连通的,若它不是连通的。

目录

连通单元 [编辑]

拓扑空间的极大连通子集称作连通单元,每个空间都能表成它的连通单元的不相交并集。连通单元必然是闭的,在够好的空间(如流形代数簇)上也同时是开的,但并非总是如此。例如有理数集上的连通单元都是单元素集合。如果一个空间的连通单元都是单元素集合,则叫做全不连通空间代数数论中构造的许多拓扑空间都属於这一类。

道路连通 [编辑]

R² 的这个子空间是道路连通的,因为在这个空间的任何两点之间可绘制一个道路。

如果对空间 X 中任两点 x,y,都存在连续函数 \gamma: [0,1] \to X 使得 \gamma(0)=x, \gamma(1)=y,则称 X道路连通空间。若定义中的 \gamma 可取为使得 [0,1] \to \gamma([0,1])同胚,则称之为弧连通空间。道路连通的豪斯多夫空间必为弧连通空间。

道路连通性保连通性,反之则不然。

局部连通 [编辑]

一个拓扑空间被认为是局部连通的,如果空间中的每一点的任何一个邻域都包含这个点的一个连通邻域。这里所说的连通邻域,就是指这个邻域所诱导的子拓扑空间按照上面的定义是一个连通空间。 也可以从拓扑基的角度定义局部连通空间:局部连通空间的拓扑基完全是由连通的集合组成的。

例子 [编辑]

參考文獻 [编辑]