多元函数第八：连通性

定义： 设$S_0$是一个拓扑空间。我们说集合$S\subset S_0$是非连通的（disconnected），如果存在相对于$S$的开集A和B使得$S=A\cup B$ 且 $A\cap B=\varnothing$。如果$S$不是非连通的，则称$S$是连通的（connected）。

如果$S_0$是连通的，我们称$S_0$是连通的拓扑空间。

例. 设$S_0=\mathbb{R}$是实数拓扑空间。那么，集合$S=[0,1]\cup [2,3]$是非连通的。为了说明这点，考虑到A=[0, 1]和B=[2, 3]。由于 $A=(-1,3/2)\cap S$，因此A是相对于S的开集。同理，B也是相对于S的开集。又因为A与B显然不交，故S是非连通的。

由连通性，可以给出区间的严格定义。

定义 我们说$\mathbb{R}$上的集合J是一个区间，如果对任意的$x,y\in J,x<y$有$[x,y]\subset J$。

注意 根据上面的定义，单点集也是一个区间。

命题 对于$\mathbb{R}$上的子集S，它是连通集当且仅当它是一个区间。

证明. 充分性。若S是一个区间，但它不连通。那么S可以表示成$S=(A^{\prime }\cap S)\cup (B^{\prime }\cap S)$，其中$A^{\prime }$和$B^{\prime }$是