连通性与紧致性

本文参考熊金城《拓扑学》第2版，仅梳理思路，具体证明请查阅原书。

微积分中连续函数的三个基本定理：

1. 介值定理
2. 极大值定理（最大最小值定理）
3. 一致连续性定理

1. 连通空间

定义
设$X$是一个拓扑空间。所谓$X$的一个分割，是指$X$的一对无交的非空开子集$U$和$V$，它们的并等于$X$。如果$X$的分割不存在，则称空间$X$是连通的。
等价定义
空间$X$是连通的当且仅当$X$中既开又闭的子集只有空集和$X$本身。
事实上，若$A$是$X$中一个既开又闭的非空真子集，那么$U=A$和$V=X-A$是$X$的非空无交开集使得其并等于$X$，从而它们构成了$X$的一个分割。反之，如果$U$和$V$构成$X$的一个分割，则$U$便是$X$的既开又闭的非空真子集。

引理 1
如果$Y$是$X$的子空间，则$Y$的一个分割是一对无交的非空集合$A$和$B$，它们的的并等于$Y$，并且$A$和$B$的任何一个都不包括另一个的极限点。如果空间$Y$不存在这样的分割，则空间$Y$是连通的。
有理数集$Q$是不连通的。 事实上，$Q$的连通子空间只有单点集。

引理 2
如果集合$C$和$D$构成$X$的一个分割，并且$Y$是$X$的一个连通子空间，那么，$Y$或者包含于$C$，或者包含于$D$。

定理 1
含一个公共点的$X$的连通子空间族的并是连通的。

定理 2
设$A$是X的一个连通子空间。若$A\subset B\subset \overline{A}$，则$B$也是连通的。

定理 3
连通空间在连续映射下的像是连通的。

定理 4
有限多个连通空间的笛卡尔积是连通的。

${\mathbb{R}}^{\omega }$在箱拓扑下是不连通的。
${\mathbb{R}}^{\omega }$在积拓扑下是连通的。

2. 实直线上的连通子空间

定义 1
若$L$是多于一个元素的全序集，并且满足条件：
（1）$L$有上确界性质；
（2）若$x<y$，则存在$z$使得$x<z<y$.
则称$L$是一个线性连续统。

定理 1
若$L$是一个赋予序拓扑的线性连续统，则$L$是连通的，并且$L$的每一个区间和每一条射线也都是连通的。
证：
若$Y$是$L$的一个凸子集，则$Y$是连通的。

推论 1
实直线$\mathbb{R}$是连通的，并且$\mathbb{R}$中的每一个区间和射线也都是连通的。

推论 2
有序矩形是线性连续统，从而连通。

介值定理
设$f:X\to Y$是从连通空间$X$到具有序拓扑的全序集$Y$一个连续映射。若$a$和$b$是$X$的两个点并且$r$是$Y$中介于$f(a)$和$f(b)$之间的一个点，则$X$中存在一个点$c$使得$f(c)=r$。

定义 2
设$x,y$是拓扑空间$X$两点，若连续映射$\gamma :[a,b]\to X$满足$\gamma (a)=x,\gamma (b)=y$，则称$\gamma$为从$x$到$y$的一条道路(path)。若$X$中任意两点都有道路连接，则称$X$是道路连通(path connected)的。

注意：道路连通必然连通；反之则不正确。

单位球是道路连通的。
穿孔欧式空间： R n − { 0 } \R^n-\{0\} Rn−{0}，其中$0$是${\mathbb{R}}^n$中的原点。对于$n>1$,它是道路连通的。
单位球面： S n − 1 = { x : ∣ ∣ x ∣ ∣ = 1 } \mathcal{S}^{n-1}=\{x:||x||=1\} Sn−1={x:∣∣x∣∣=1}。当$n>1$时，它是道路连通的。

有序矩形是连通的，但不是道路连通的。

3. 分支与局部连通性

定义 1
在给定的空间$X$中定义一个等价关系：若$X$中存在包含$x$与$y$的连通子空间，则规定$x\sim y$。每一个等价类称为$X$中的一个分支。（满足对称性，自反性，传递性）

定理 1
$X$中所有分支是$X$中这样一些两两无交的连通子空间，它们的并等于$X$，并且$X$中的每一个非空的连通子空间仅与一个分支相交。

定义 2
在空间$X$上规定另外一种等价关系如下：如果在$X$中存在一个从$x$到$y$的道路，记为$x\sim y$。每一个等价类称为$X$的一个道路连通分支。

定理 2
$X$的所有道路分支是$X$中这样一些两两无交的道路连通子空间，它们的并等于$X$，并且$X$中每一个非空道路连通子空间仅与一个道路分支相交。

定义 3
空间$X$称为在$x$处局部连通，如果对于$x$的每一个邻域$U$，存在$x$的一个连通邻域$V$包含于$U$。若$X$在它的每一个点处都是局部连通的，则简称$X$是局部连通的。类似地，空间$X$称为在$x$处局部道路连通，如果对于$x$的每一个邻域$U$，存在$x$的一个道路连通邻域$V$包含于$U$。若$X$在它的每一个点处都是局部道路连通的，则简称$X$是局部道路连通的。

定理 3
空间$X$是局部连通的当且仅当$X$中的任何一个开集$U$的每一个分支在$X$中都是开的。

定理 4
空间$X$是局部道路连通的当且仅当$X$的任何一个开集$U$的每一个道路分支在$X$中都是开的。

定理 5
设$X$是一个拓扑空间，则$X$的每一个道路分支必定包含在$X$的一个分支之中。若$X$是局部道路连通的，则$X$的分支与道路分支相同。

4. 紧致空间

定义 1
设$\mathcal{A}$是空间$X$的一个子集族，如果$\mathcal{A}$的每一个成员之并等于$X$，则称$\mathcal{A}$是$X$的一个覆盖。如果$\mathcal{A}$的每一个成员都是$X$的开子集，则称它为$X$的一个开覆盖。

定义 2
若$X$的任何一个开覆盖$\mathcal{A}$，包含一个覆盖$X$的有限子族，则称空间$X$是紧致的。

实直线$\mathbb{R}$不是紧致的，因为由开区间
A = { ( n , n + 2 ) ∣ n ∈ Z } \mathcal{A}=\{(n,n+2)|n\in Z\} A={(n,n+2)∣n∈Z}
所组成的$\mathbb{R}$的覆盖并不包含覆盖$\mathbb{R}$的任何有限子族。

$\mathbb{R}$的子空间
X = { 0 } ∪ { 1 / n ∣ n ∈ Z + } X = \{0\}\cup \{1/n|n \in Z_{+}\} X={0}∪{1/n∣n∈Z+​}
是紧致的。

任一个仅含有限多个点的空间必是紧致的，因为此时$X$的每一个开覆盖都是有限的。

区间$(0,1]$不是紧致的。开覆盖
A = { ( 1 / n , 1 ] ∣ n ∈ Z + } \mathcal{A} = \{(1/n,1]|n \in Z_{+}\} A={(1/n,1]∣n∈Z+​}
就不包含覆盖$(0,1]$的有限子族。同理，区间$(0,1)$也不是紧致的，但$[0,1]$是紧致的。

引理 1
设$Y$是$X$的一个子空间，那么$Y$是紧致的当且仅当由$X$的开集所组成的$Y$的每一个覆盖都包含着一个覆盖$Y$的有限子族。

定理 1
紧致空间的每一个闭子集都是紧致的。

定理 2
Hausdorff空间的每一个紧致子空间都是闭的。

引理 2
设$Y$是一个Hausdorff空间$X$的一个紧致子空间，$x_0$不属于$Y$，则存在$X$中的两个无交的开集$U$和$V$，它们分别包含$x_0$和$Y$。

定理 2
紧致空间的连续像是紧致的。

定理 3
设$f:X\to Y$是一个连续的一一映射。若$X$是紧致的，并且$Y$是Haussdorff的，则$f$是一个同胚。

定理 4
有限多个紧致空间的积是紧致的。

引理2（管状引理）
考虑积空间$X\times Y$，其中$Y$是紧致的。如果$N$是$X\times Y$中包含着薄片$x_0\times Y$的一个开集，则$N$必包含着关于$x_0\times Y$的某一个管子$W\times Y$，其中$W$是$x_0$在$X$中的一个邻域。

定义 3
$X$的一个子集族$\mathcal{C}$称为具有有限交性质，如果$\mathcal{C}$的任何一个有限子族 { C 1 , … , C n } \{C_1,\dots,C_n\} {C1​,…,Cn​}的交$C_1\cap \cdots \cap C_n$是非空的。

定理 5
设$X$是一个拓扑空间，则$X$是紧致的当且仅当$X$中具有有限交性质的每一个闭集族$\mathcal{C}$，它的所有成员的交${\bigcap }_{c\in \mathcal{C}}C$是非空的。

5. 实直线上的紧致子空间

定理 1
设$X$是具有上确界性质的一个全序集，则关于序拓扑，$X$中的每一个闭区间都是紧致的。

推论 1
$\mathbb{R}$中任何一个闭区间都是紧致的。

定理 2
${\mathbb{R}}^n$中一个子集$A$是紧致的，当且仅当它是闭的并且就欧氏度量$d$或者平方度量$\rho$而言是有界的。

定理 3（极值定理）
设$f:X\to Y$是连续的，其中$Y$是具有序拓扑的全序集，若$X$是紧致的，则在$X$中存在点$c$和点$d$，s.t. $\forall x\in X$有$f(c)\le f(x)\le f(d)$ 。

定义 1
设$(X,d)$是一个度量空间，$A$是$X$的一个非空子集。对于每一个$x\in X$，$x$到$A$的距离定义为
d ( x , A ) = i n f { d ( x , a ) ∣ a ∈ A } . d(x,A) = inf\{d(x,a)|a\in A\}. d(x,A)=inf{d(x,a)∣a∈A}.

引理 1（Lebesgue数引理）
设$\mathcal{A}$为度量空间$(X,d)$的一个开覆盖。若$X$是紧致的，则存在$\delta >0$使得$X$的每一个直径小于$\delta$的子集包含在$\mathcal{A}$的某一个元素中。数$\delta$称为开覆盖$\mathcal{A}$的一个Lebesgue数。

定义 2
设$f$是从度量空间$(X,d_X)$到度量空间$(Y,d_Y)$的一个函数。若对任意$ϵ>0$，存在$\delta >0$使得对于$X$的任意两点$x_0,x_1$，有
$$d_X(x_0,x_1)<\delta ⟹d_Y(f(x_0),f(x_1))<ϵ,$$
则称函数$f$是一致连续的。

定理 4（一致连续性定理）
设$f:X\to Y$是从紧致度量空间$(X,d_X)$到度量空间$(Y,d_Y)$的连续映射，则$f$是一致连续的。

定义 3
设$X$是一个空间，$x\in X$。若单点集 { x } \{x\} {x}在$X$中是开的，则称$x$为$X$的一个孤立点。

定理 5
设$X$是一个非空的紧致的Hausdorff空间。若$X$中没有孤立点，则$X$是不可数的。

推论 1
$\mathbb{R}$中的每一个闭区间都是不可数的。