定义: 设 S 0 S_0 S0是一个拓扑空间。我们说集合 S ⊂ S 0 S\subset S_0 S⊂S0是非连通的(disconnected),如果存在相对于 S S S的开集A和B使得 S = A ∪ B S=A\cup B S=A∪B 且 A ∩ B = ∅ A\cap B=\emptyset A∩B=∅。如果 S S S不是非连通的,则称 S S S是连通的(connected)。
如果 S 0 S_0 S0是连通的,我们称 S 0 S_0 S0是连通的拓扑空间。
例. 设 S 0 = R S_0=\mathbb{R} S0=R是实数拓扑空间。那么,集合 S = [ 0 , 1 ] ∪ [ 2 , 3 ] S=[0,1]\cup[2, 3] S=[0,1]∪[2,3]是非连通的。为了说明这点,考虑到A=[0, 1]和B=[2, 3]。由于 A = ( − 1 , 3 / 2 ) ∩ S A=(-1, 3/2)\cap S A=(−1,3/2)∩S,因此A是相对于S的开集。同理,B也是相对于S的开集。又因为A与B显然不交,故S是非连通的。
由连通性,可以给出区间的严格定义。
定义 我们说 R \mathbb{R} R上的集合J是一个区间,如果对任意的 x , y ∈ J , x < y x, y\in J, x< y x,y∈J,x<y有 [ x , y ] ⊂ J [x,y]\subset J [x,y]⊂J。
注意 根据上面的定义,单点集也是一个区间。
命题 对于 R \mathbb{R} R上的子集S,它是连通集当且仅当它是一个区间。
证明. 充分性。若S是一个区间,但它不连通。那么S可以表示成 S = ( A ′ ∩ S ) ∪ ( B ′ ∩ S ) S=(A'\cap S) \cup (B'\cap S) S=(A′∩S)∪(B′∩S),其中 A ′ A' A′和 B ′ B' B