1701042430
1701042431
1701042432
本节开头的例1中规定的拓扑空间X是连通的．因为是连通的，用命题2.22，X连通．
1701042433
1701042434
例4 E2是连通的．记Bx＝｛（x，y）｜y∈E1｝，∀x∈E1．则｛Bx｜x∈E1｝是E2的连通覆盖．记A＝｛（x，0）｜x∈E1｝，则A连通，A∩Bx≠∅，∀x∈E1．用命题2.23，E2连通．
1701042435
1701042436
用归纳法可推出En连通．
1701042437
1701042438
1701042439
例5 Sn连通．任取点x∈Sn，则是连通的，显然它是Sn的稠密子集．用命题2.22得出Sn连通．
1701042440
1701042441
定理2.8 连通性是可乘的．
1701042442
1701042443
证明 设X和Y都是连通空间．则｛X×｛y｝｜y∈Y｝是X×Y的连通覆盖．取x∈X，则｛x｝×Y连通，且与每个X×｛y｝都相交．根据命题2.23，X×Y连通． ▎
1701042444
1701042445
4.3 连通分支
1701042446
1701042447
连通分支是研究不连通空间时引出的一个概念．
1701042448
1701042449
定义2.7 拓扑空间X的一个子集称为X的连通分支，如果它是连通的，并且不是X的其他连通子集的真子集．
1701042450
1701042451
当A是X的连通分支时，如果X的子集B⊃A，并且B≠A，则B不连通．因此可以说连通分支就是极大连通子集．
1701042452
1701042453
当X连通时，它只有一个连通分支，就是X自身．
1701042454
1701042455
下面的命题说明连通分支的存在性．
1701042456
1701042457
命题2.24 X的每个非空连通子集包含在唯一的一个连通分支中．
1701042458
1701042459
1701042460
1701042461
1701042462
1701042463
证明 设A是X的一个非空连通子集．记＝｛F⊂X｜F连通，F∩A≠∅｝，则A⊂Y（因为A∈）．根据命题2.23，Y连通．如果连通子集B⊃Y，则B∩A＝A≠∅，从而B∈，B⊂Y．这说明Y是连通分支．
1701042464
1701042465
1701042466
如果Y′也是包含A的连通分支，则Y′∈，因而Y′⊂Y．由Y′的极大性，得Y′＝Y．这证明了唯一性． ▎
1701042467
1701042468
X中任一点x作为子空间是连通的，因此x包含在唯一的连通分支中．换句话说，X的所有连通分支构成X的覆盖，并且它们两两不相交．
1701042469
1701042470
例6 记X是E1中全体有理数构成的子空间．因为X中多于一点的子空间都不连通（不是区间），所以X中的每个连通分支都是单点集．
1701042471
1701042472
命题2.25 连通分支是闭集．
1701042473
1701042474
1701042475
1701042476
证明 设A是X的一个连通分支．根据命题2.22，也是连通的．由A的极大性推出因此A是闭集． ▎
1701042477
1701042478
例6说明连通分支不必是开集．
1701042479