[2017年整理]《点集拓扑学》第5章 §5.2 可分空间.docVIP

§5.2　可分空间 　　本节重点: 　　掌握可分空间的定义及可分空间与第二可数性公理空间的关系,与度量空间的关系； 　　掌握稠密子集的定义及性质. 　　定义5.2.l　设X是一个拓扑空间，DX．如果D的闭包等于整个拓扑空间X，即=X，则称D是X的一个稠密子集. 　　以下定理从一个侧面说明了讨论拓扑空间中的稠密子集的意义． 　　定理5.2.1　设X是一个拓扑空间，D是X中的一个稠密子集．又设f,g：X→Y都是连续映射．如果，则f=g(本定理说明两个映射只须在稠密子集上相等,就一定在整个空间相等) 　　证明　设．如果f≠g，则存在x∈X使得f(x)≠g（x）．令：ε=|f(x)-g(x)|， 　　则ε＞0．令 　　＝（f(x)-ε/2,f(x)+ε/2) 　　＝（g(x)-ε/2,g(x)+ε/2) 　　则根据映射f和g的连续性可知 都是x的邻域，从而U＝也是x的一个邻域．由于子集D是稠密的，所以U∩D≠．对于任意一个y∈U∩D，我们有，f（y）=g（y）∈，矛盾． 　　我们也希望讨论有着较少“点数”稠密子集的拓扑空间，例如具有有限稠密点集的拓扑空间．但这类拓扑空间比较简单，大部分我们感兴趣的拓扑空间都不是这种情形，讨论起来意思不大．例如一个度量空间如果有一个有限的稠密子集的话，那么这个空间一定就是一个离散空间．相反，后继的讨论表明，许多重要的拓扑空间都有可数稠密子集． 　　定义5