《点集拓扑学》§2.4 导集,闭集,闭包.doc

2.4导集，闭集，闭包本节重点：熟练掌握凝聚点、导集、闭集、闭包的概念；区别一个点属于导集或闭包的概念上的不同；掌握一个点属于导集或闭集或闭包的充要条件；掌握用“闭集”叙述的连续映射的充要条件如果在一个拓扑空间中给定了一个子集，那么拓扑空间中的每一个点相对于这个子集而言“处境”各自不同，因此可以对它们进行分类处理定义2.4.1设X是一个拓扑空间，AX如果点xX的每一个邻域U中都有A中异于x的点，即U（A-x），则称点x是集合A的一个凝聚点或极限点集合A的所有凝聚点构成的集合称为A的导集，记作d（A）如果xA并且x不是A的凝聚点，即存在x的一个邻域U使得U（A-x），则称x为A的一个孤立点即:(牢记)在上述定义之中，凝聚点、导集、以及孤立点的定义无一例外地都依赖于它所在的拓扑空间的那个给定的拓扑因此，当你在讨论问题时涉及了多个拓扑而又谈到某个凝聚点时，你必须明确你所谈的凝聚点是相对于哪个拓扑而言，不容许产生任何混淆由于我们将要定义的许多概念绝大多数都是依赖于给定拓扑的，因此类似于这里谈到的问题今后几乎时时都会发生，我们不每次都作类似的注释，而请读者自己留心某些读者可能已经在诸如欧氏空间中接触过刚刚定义的这些概念，但绝不要以为对欧氏空间有效的性质，例如欧氏空间中凝聚点的性质，对一般的拓扑空间都有效以下两个例子可以帮助读者澄清某些不正确的潜在印象例2.4.1离散空间中集合的凝聚点和导集设X是一个离散空间，A是X中的一个任意子集由于X中的每一个单点集都是开集，因此如果xX，则X有一个邻域x，使得，以上论证说明，集合A没有任何一个凝聚点，从而A的导集是空集，即d（A）例2.4.2平庸空间中集合的凝聚点和导集设X是一个平庸空间，A是X中的一个任意子集我们分三种情形讨论：第1种情形：A=这时A显然没有任何一个凝聚点，亦即d（A）=（可以参见定理2.4.1中第（l）条的证明）第2种情形：A是一个单点集，令 A如果xX，x，点x只有惟一的一个邻域X，这时，所以；因此x是A的一个凝聚点，即xd（A）然而对于的惟一邻域X有：所以d（A）=X-A第3种情形：A包含点多于一个请读者自己证明这时X中的每一个点都是A的凝聚点，即d（A）X定理2.4.1设X是一个拓扑空间，AX则（l）d（）=；（2）AB蕴涵d（A）d（B）；（3）d（AB）d（A）d（B）；（4）d（d（A）Ad（A）证明（1）由于对于任何一点xX和点x的任何一个邻域U，有U （2）设AB如果这证明了d（A）d（B）（3）根据（2），因为A，BAB，所以有d（A），d（B）d（AB），从而d（A）d（B）d（AB）另一方面，如果综上所述，可见（3）成立(这是证明一个集合包含于另一个集合的另一方法:要证,只要证即可)（4）设：即（4）成立定义2.4.2设X是一个拓扑空间，AX如果A的每一个凝聚点都属于A，即d（A）A，则称A是拓扑空间X中的一个闭集例如，根据例2.4.l和例2.4.2中的讨论可见，离散空间中的任何一个子集都是闭集，而平庸空间中的任何一个非空的真子集都不是闭集定理2.4.2设X是一个拓扑空间，AX则A是一个闭集，当且仅当A的补集是一个开集证明必要性：设A是一个闭集充分性：设：即A是一个闭集例2.4.3实数空间R中作为闭集的区间设a，bR，ab闭区间a，b是实数空间R中的一个闭集，因为a，b的补集=（-，a）（b，）是一个开集同理，（-，a，b，）都是闭集，（-，）R显然更是一个闭集然而开区间（a，b）却不是闭集，因为a是（a，b）的一个凝聚点，但a（a，b）同理区间（a，b，a，b），（-，a）和（b，）都不是闭集定理2.4.3设X是一个拓扑空间记F为所有闭集构成的族则：（1）X，F（2）如果A，BF，则AUBF（从而如果)（3）如果在此定理的第（3）条中，我们特别要求的原因在于当=时所涉及的交运算没有定义证明根据定理2.4.2，我们有T=|UF其中，T为X的拓扑（1）X，T，（2）若A、BF ，则（3）令：定理证明完成总结：（1）有限个开集的交是开集，任意个开集的并是开集其余情形不一定（2）有限个闭集的并是闭集，任意个闭集的交是闭集其余情形不一定定义2.4.3设X是一个拓扑空间,AX,集合A与A的导集d(A)的并Ad(A)称为集合A的闭包,记作或容易看出,(注意:与xd(A)的区别)定理2.4.4拓扑空间X的子集A是闭集的充要条件是A=证明:定理成立是因为:集合A为闭集当且仅当d(A)A而这又当且仅当A=Ad(A)定理2.4.5设X是一个拓扑空间,则对于任意A,BX,有：证明（1）成立是由于是闭集（2）成立是根据闭包的定义（3）成立是因为 （4）成立是因为 Ad（A）d（d（A) Ad（A）=在第（3）条和第（4）条的证明过程中我们分别用到了定理2.4.l中的第（3）条和第（4）条定理2.4.6拓扑空间X的任何一个子集A的闭包都是闭集证明根据定理2.4.4和定理2.4.5（4）直接推得定理2.4.7设X是一个拓扑空间，F是由空间X中所有的闭某构成的族，则对于X的每一个子集A，有 即集合A的闭包等于包含A的所有闭集之交证明因为A包含于，而后者是一个闭集，由定理2.4.5(4)与定理2.4.4 有另一方面，由于是一个闭集，并且，所以 (“交”包含于形成交的任一个成员)综合这两个包含关系，即得所求证的等式由定理2.4.7可见，X是一个包含着A的闭集，它又包含于任何一个包含A的闭集之中，在这种意义下我们说：一个集合的闭包乃是包含着这个集合的最小的闭集在度量空间中，集合的凝聚点，导集和闭包都可以通过度量来刻画定义2.4.5设（X，)一个度量空间X中的点x到X的非空子集A的距离（x，A）定义为 （x，A）inf（x，y）|yA根据下确界的性质以及邻域的定义易见：（x，A）0当且仅当对于任意实数0，存在yA使得（x，y），换言之即是：对于任意B（x，）有B（x，)A，而这又等价于：对于x的任何一个邻域U有UA，应用以上讨论立即得到定理2.4.9设A是度量空间（X，）中的一个非空子集则（1）xd（A）当且仅当（x，A-x）=0；（2）x当且仅当（x，A）0以下定理既为连续映射提供了等价的定义，也为验证映射的连续性提供了另外的手段定理2.4.10设X和Y是两个拓扑空间，f:XY则以下条件等价：（l）f是一个连续映射；（2）Y中的任何一个闭集B的原象(B)是一个闭集；（3）对于X中的任何一个子集A，A的闭包的象包含于A的象的闭包，即；(4)对于Y中的任何一个子集B，B的闭包的原象包含B的原象的闭包，即证明（1）蕴涵（2）设BY是一个闭集则 是一个开集，因此根据（1），是X中的一个开集，因此(B)是X中的一个闭集(2)蕴涵（3）设AX由于f（A），根据（2）