分离性和杨忠道定理.docVIP

分离性和杨忠道定理 赵正波 （渭南师范学院 数学与信息科学学院 陕西 渭南 714000） 摘　要：指出了拓扑空间中的一个原始命题，用这个命题完成杨忠道定理的证明，进一步把这个定理的证明过程用命题化表示，说明在拓扑空间中除了拓扑空间的三条性质之外，还有另外都成立的性质．并且杨忠道定理成立的条件是比T1分离性更弱的性质，且不同于T0分离性． 关键词：拓扑空间；T1分离性；导集；闭集 中图分类号：O189.1 基金项目：渭南师范学院研究生项目（08YKF2033） 作者简介：赵正波（1966-），男，陕西华县人，渭南师范学院数学与信息科学学院讲师，理学硕士,研究方向：非经典逻辑 电话：1座机电话号码53 邮箱：wnzhaozhb@ 由于命题逻辑的有效性【1】，把数学证明的每一步用命题来描述，既可以把证明的过程叙述的完整，又可以找到推理的关键步骤和各个命题之间的蕴涵关系．文[2]把度量空间中连续的等价条件的证明用这种命题化的方法来表示，找到各个用到的拓扑概念和定理和证明过程中各个条件之间的关系和命题之间的联系．文[5-7]对杨忠道定理做了更细致的研究，文[8-10]等把杨忠道定理推广到模糊拓扑中，都说明了杨忠道定理研究的影响．下面我们继续用命题化方法简化杨忠道定理的证明和它们与分离性之间的关系，来说明这个方法可以使得证明更加清晰，层次更加分明，证明的结构更加合理，是对谓词逻辑的证明方法引入到更大的范围之中进行一些新的尝试． 1基本概念 先介绍本文中要用的基本概念，不加定义的概念和结论请参阅文献[2]． 定义1 设X是一个集合，T是X的一个子集族,如果满足如下条件： （1）（最小、最大）； （2）（有限交）若，则； （3）（任意并）若，则， 则称是的一个拓扑．如果是的一个拓扑，则称偶对是一个拓扑空间，或称集合是相对于拓扑而言的拓扑空间,不引起混淆的情况下，也称集合是一个拓扑空间；对的每一个元素都叫做拓扑空间（或）中的一个开集． 定义2设X是一个拓扑空间，,,,则 1 若存在开集使得，则称U是点x的一个邻域.点x的所有邻域构成的X 的子集族称为点x的邻域系，记作．若既是开集，又是邻域，称为的开邻域. 2 若点的每一个邻域U中都有中异于x的点，即，则称点x是的一个凝聚点.集合的所有凝聚点构成的集合称为的导集，记为． 3 若点的每一个凝聚点都属于,即，则是拓扑空间的一个闭集． 定理1[2]设是一个拓扑空间，，则有 （1）； （2）若，则； （3）； （4）． 另外，有． 2杨忠道定理 定理2（杨忠道定理）拓扑空间中的每一个子集的导集为闭集当且仅当此空间中的每一个单点集的导集为闭集． 证明 ，的任何邻域必有开子邻域， 则是的开邻域， 则是的开子集且不含，是中其它点的邻域， 则由得到， 则，即且， 则， 则， 则，证毕． 注：不是闭集的例子，设，，，则非闭集，事实上也非闭集． 3杨忠道定理与分离性 在诸多的分离性中，是和杨忠道定理中条件联系最紧密的一个，而且是比杨忠道定理中条件强的一个条件，这个由下面的定理可以得到联系． 定义3设X是一个拓扑空间，如果X中任意不相同两点中有一个点存在开邻域不包含令一个点（即，如果,,则有一个开邻域使得或者有一个开邻域使得）,则称X是一个空间． 定义4设X是一个拓扑空间，如果X中任意不相同两点中每一点都有一个开邻域不包含令一个点（即，如果,,则有一个开邻域使得）,则称X是一个空间． 定理3设X是一个拓扑空间，则X是一个空间的充要条件是：X中每一个单点集都是闭集． 由定理3我们有在空间中单点集是闭集，因而单点集的导集是空集，也是闭集，由定理2杨忠道定理的条件成立，所以定理成立． 另外，由空间空间是比杨忠道定理的条件强的条件，自然要说明和分离性之间的关系，这是个很简单的问题，由分离性关于不同的点的可以不对称和杨忠道定理的条件对单点集的对称性知道，两个是无关的条件． 4结束语 杨忠道定理是拓扑空间中分离性的一个推论，但是定理的证明过程中用到的单点集的导集不含概念，是所有拓扑空间都成立的性质，而这个性质不能由拓扑空间的三条性质推出，因而可以认为拓扑空间的三条性质作为拓扑空间的定义其目的在于拓扑性质描述的够用原则，而非所有拓扑空间正好都拥有的性质，这种应用性原则构造概念，正是我们所要强调的． 参考文献： [1] 王国俊.数理逻辑引论与归结原理[M]. 第2版.北京：科学出版社, 2006. [2] 熊金城.点集拓扑讲义[M].北京：高等教育出版社，2003. [3] 尤承业.基础拓扑讲义[M].北京：北京大学出版社，1997. [4] 梁基华，蒋继光.拓扑学基础[M].北京：高等教育出版社，2006. [5] 龙毅,向仍森,杨稚桓. 关于杨忠道定理的推广[J]．吉首大学学报 自然科学版 ．1997，18（2）．