为了最好地描述什么是连通空间,我们先来描述什么是断开空间。断开空间是指可以被分成两个不相交组的空间,或者更正式地说
一个空间 被称为断开 当且仅当 存在一对不相交的非空开子集 ,使得 .
一个不是断开空间的空间 被称为连通空间.
- 闭区间 是连通的。为了证明这一点,假设它是断开的。那么存在两个非空的、不相交的开集 和 ,它们的并集是 。令 为等于 或 的集合,并且不包含 。令 。由于 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 的子集上的子空间拓扑是离散拓扑,也不一定意味着该集合具有离散拓扑)