1701042330
1701042331
1701042332
B＝｛（0，y）｜－1≤y≤1｝．
1701042333
1701042334
单凭直观概念，很难判断X是不是连通的．
1701042335
1701042336
对图形连通性的认识必须深化．现在，我们要把连通性作为拓扑概念给出严格的定义．直观上的连通，可以有两种含义：其一是图形不能分割成互不“粘连”的两部分；其二是图形上任何两点可以用图形上的线连结．在拓扑学中，这两种含义分别抽象成“连通性”和“道路连通性”两个概念．它们分别在本节和下一节中讨论．这是两个不同的概念．例如对于上面给出的空间X，将看到它连通，但并不道路连通．
1701042337
1701042338
1701042339
1701042340
1701042341
图2-6
1701042342
1701042343
4.1 连通性的定义
1701042344
1701042345
从拓扑上解释“空间X分割成互不粘连的两部分A和B”，就是说X＝A∪B，A和B是不相交的非空子集，并且A和B都不包含对方的聚点，也就是说A和B是不相交的闭集（从而也是开集）．于是得到连通的定义：
1701042346
1701042347
定义2.6 拓扑空间X称为连通的，如果它不能分解为两个非空不相交开集的并．
1701042348
1701042349
显然，连通与下面几种说法是等价的：
1701042350
1701042351
X不能分解为两个非空不相交闭集的并；
1701042352
1701042353
X没有既开又闭的非空真子集；
1701042354
1701042355
X的既开又闭的子集只有X与∅．
1701042356
1701042357
例如，（R，τf）是连通的，因为它的任意两个非空开集一定相交；（R，τc）也是连通的．双曲线不连通，它的两支是互不相交的非空闭集．然而，许多直观上连通的空间按照上面的定义来判断并不马上能得出结论，例如E1的连通性和抛物线、椭圆的连通性就是如此．我们常常根据连通的一些性质，从一些已知连通空间来论证其他空间的连通性．E1的连通性是我们的出发点，下面先来证明它．
1701042358
1701042359
1701042360
设A是E1的非空真闭集，要证A不是开集．不妨设但A中含正数．记a是A中正数的下确界，由于A闭，a∈A，且a＞0．而由（0，a）∩A＝∅推出a不是A的内点，从而A不是开集．这就论证了E1不存在非空的既开又闭的真子集，按定义，E1是连通的．
1701042361
1701042362
4．2 连通空间的性质
1701042363
1701042364
命题2.21 连通空间在连续映射下的像也是连通的．
1701042365
1701042366
证明 设X连通，f：X→Y连续．要证f（X）也连通．不妨设f（X）＝Y（否则考虑连续映射f：X→f（X））．设B是Y的既开又闭的非空子集，则f-1（B）是X的既开又闭子集．f-1（B）是非空的（因为f满），因此从X的连通性知道f-1（B）＝X，从而B＝Y（也是因为f满）．这说明Y的既开又闭非空子集只有Y，按定义，Y连通． ▎
1701042367
1701042368
例2 S1是连通的．
1701042369
1701042370
这是因为有连续映射f：E1→S1，f（x）＝ei2πx，∀x∈E1．f（E1）＝S1，由E1连通，用命题2.21推得S1连通．
1701042371
1701042372
E1上的子集A称为区间，如果当a，b∈A时（a＜b）必有［a，b］⊂A；也就是说A是凸集．
1701042373
1701042374
1701042375
例3 设A⊂E1，则A连通A是区间．
1701042376
1701042377
1701042378
1701042379
证明 ．若A不是区间，则可取到实数a，b，c使得a＜c＜b，并且a，b∈A，而记A1＝A∩（－∞，c），A2＝A∩（c，＋∞），则A＝A1∪A2，A1∩A2＝∅，A1与A2都是A的非空开集，因此A不连通．