1701042307
1701042308
18．设（X，τ）是非紧致Hausdorff空间．在X中添加一个新元素Ω，所得集合记作X*．规定X*的子集族
1701042309
1701042310
τ*＝τ∪｛X*｝∪｛X*K｜K是X的紧致子集｝．
1701042311
1701042312
（1）验证τ*是X*上的拓扑，且τ*在X上导出的子空间拓扑即τ；
1701042313
1701042314
（2）X是（X*，τ*）的稠密子集；
1701042315
1701042316
（3）（X*，τ*）是紧致的；（称它是（X，τ）的一点紧致化）；
1701042317
1701042318
（4）如果（X，τ）是局部紧致的Hausdorff空间，则（X*，τ*）是Hausdorff空间．
1701042319
1701042320
19．证明En的一点紧致化同胚于Sn．
1701042321
1701042322
基础拓扑学讲义 [:1701040207]
1701042323
§4 连 通 性
1701042324
1701042325
普通的几何中图形的“连通”性是一个非常直观的概念，它几乎无须给出数学定义．譬如，谁都知道，在圆锥曲线中，椭圆和抛物线是连通的，而双曲线是不连通的．然而，对于复杂一些的图形，单凭直观就不行了．我们来看一个例子．
1701042326
1701042327
例1 设E2的一个子集X是由A和B两部分构成的（图2-6），其中
1701042328
1701042329
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