本文阐述了拓扑空间中连通性的定义，通过实例展示了如何判断一个集合是否为连通集。证明了在实数拓扑空间中，连通集与区间是等价的，并通过连续函数的性质推导出中值定理。讨论了相对拓扑和连续函数的概念，为理解拓扑学的基本原理提供了基础。
定义： 设 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
最低0.47元/天 解锁文章
2127
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
