为了最好地描述什么是连通空间,我们先来描述什么是断开空间。断开空间是指可以被分成两个不相交组的空间,或者更正式地说
一个空间
被称为断开 当且仅当 存在一对不相交的非空开子集
,使得
.
一个不是断开空间的空间
被称为连通空间.
- 闭区间
是连通的。为了证明这一点,假设它是断开的。那么存在两个非空的、不相交的开集
和
,它们的并集是
。令
为等于
或
的集合,并且不包含
。令
。由于 X 不包含 b,s 必须在区间 [a,b] 内,因此必须在 X 或
内。如果
在
内,那么在
内存在一个开集
。如果
不在
内,那么
在
内,它也是一个开集,并且存在一个开集
在
内。两种情况都意味着
不是上确界。
- 拓扑空间
是不连通的:
图示

如你所见,连通空间的定义非常直观;当该空间无法被分割成(至少)两个不同的子空间时。
定义 1.1
拓扑空间
的子集
被称为 **闭开集**,如果它既是闭集又是开集。
定义 1.2
如果拓扑空间 X 的每个具有超过一个点的子集在子空间拓扑下都是不连通的,那么该拓扑空间 X 被称为 **完全不连通**。
如果
和
是同胚空间,并且如果
是连通的,那么
也是连通的。
证明:
令
为连通的,并且令
为一个同胚。假设
是不连通的。那么存在两个非空的互不相交的开集
和
,它们的并集为
。由于
是连续的,
和
是开的。由于
是满射的,它们是非空的,并且它们是不相交的,因为
和
是不相交的。此外,
,这与
是连通的这一事实相矛盾。因此,
是连通的。
注意:这表明连通性是一个拓扑性质。
如果两个连通集有一个非空的交集,那么它们的并集是连通的。
证明:
令
和
为两个非不相交的连通集。令
和
为非空的开集,使得
。令
.
不失一般性,假设
.
由于
是连通的,
...(1).
由于
非空,存在
使得
.
因此,类似地,
...(2)
现在,考虑
。根据 (1) 和 (2),
,因此
。由于
是任意的,
是连通的。
如果两个拓扑空间是连通的,那么它们的积空间也是连通的。
证明
设 X1 和 X2 是两个连通空间。假设存在两个非空的、不相交的开集 A 和 B,它们的并集是 X1×X2。如果对于每个 x∈X,{x}×X2 或者完全包含在 A 中,或者完全包含在 B 中,那么 π1(A) 和 π1(B) 也是开的,因此它们是不相交的、非空的,它们的并集是 X1,这与 X1 是连通的这一事实相矛盾。因此,存在 x∈X 使得 {x}×X2 包含 A 和 B 的元素。然后,π2(A∩{(x,y)}) 和 π2(B∩{(x,y)}),其中 y 是 X2 中的任意元素,是非空的、不相交的集合,它们的并集是 X2,它们是 {(x,y)} 中的开集的并集(根据乘积拓扑的定义),因此是开的。这意味着 X2 是不连通的,这与事实相矛盾。因此,X1×X2 是连通的。
- 证明一个拓扑空间
是不连通的,当且仅当它除了
和
之外,还有闭开集(提示:为什么
是闭开的?)。
- 证明,如果
是连续的、满射的(不一定同胚),并且如果
是连通的,那么
是连通的。
- 证明中间值定理:如果
是连续的,那么对于任何位于
和
之间的
,存在一个
使得
.
- 证明
不同构于
(提示:从
中移除一个点会使其不连通)。
- 证明一个具有可数补集拓扑的不可数集是连通的(数学家称此空间为“超连通”)。
- a) 证明集合 X 上的离散拓扑是完全不连通的。
b) a) 的逆命题是否成立(提示:即使 X 的子集上的子空间拓扑是离散拓扑,也不一定意味着该集合具有离散拓扑)