跳转至内容

拓扑/连通性

来自维基教科书,开放的书籍,开放的世界
拓扑
 ← 分离公理 连通性 路径连通性 → 


为了最好地描述什么是连通空间,我们先来描述什么是断开空间。断开空间是指可以被分成两个不相交组的空间,或者更正式地说

一个空间 被称为断开 当且仅当 存在一对不相交的非空子集 ,使得 .

一个不是断开空间的空间 被称为连通空间.

  1. 闭区间 是连通的。为了证明这一点,假设它是断开的。那么存在两个非空的、不相交的开集 ,它们的并集是 。令 为等于 的集合,并且不包含 。令 。由于 X 不包含 b,s 必须在区间 [a,b] 内,因此必须在 X 或 内。如果 内,那么在 内存在一个开集 。如果 不在 内,那么 内,它也是一个开集,并且存在一个开集 内。两种情况都意味着 不是上确界。
  2. 拓扑空间 是不连通的:
    图示
    The logo for this Wiki

    如你所见,连通空间的定义非常直观;当该空间无法被分割成(至少)两个不同的子空间时。

定义

[edit | edit source]

定义 1.1

拓扑空间 的子集 被称为 **闭开集**,如果它既是闭集又是开集。

定义 1.2

如果拓扑空间 X 的每个具有超过一个点的子集在子空间拓扑下都是不连通的,那么该拓扑空间 X 被称为 **完全不连通**。

关于连通性的定理

[edit | edit source]

如果 是同胚空间,并且如果 是连通的,那么 也是连通的。

证明:
为连通的,并且令 为一个同胚。假设 是不连通的。那么存在两个非空的互不相交的开集 ,它们的并集为 。由于 是连续的, 是开的。由于 是满射的,它们是非空的,并且它们是不相交的,因为 是不相交的。此外,,这与 是连通的这一事实相矛盾。因此, 是连通的。
注意:这表明连通性是一个拓扑性质。

如果两个连通集有一个非空的交集,那么它们的并集是连通的。

证明:
为两个非不相交的连通集。令 为非空的开集,使得 。令 .
不失一般性,假设 .

由于 是连通的, ...(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 是连通的。

  1. 证明一个拓扑空间 是不连通的,当且仅当它除了 之外,还有闭开集(提示:为什么 是闭开的?)。
  2. 证明,如果 是连续的、满射的(不一定同胚),并且如果 是连通的,那么 是连通的。
  3. 证明中间值定理:如果 是连续的,那么对于任何位于 之间的,存在一个 使得.
  4. 证明 不同构于(提示:从 中移除一个点会使其不连通)。
  5. 证明一个具有可数补集拓扑的不可数集是连通的(数学家称此空间为“超连通”)。
  6. a) 证明集合 X 上的离散拓扑是完全不连通的。

    b) a) 的逆命题是否成立(提示:即使 X 的子集上的子空间拓扑是离散拓扑,也不一定意味着该集合具有离散拓扑)


拓扑
 ← 分离公理 连通性 路径连通性 → 


华夏公益教科书