偏序集上区间拓扑的Hausdorff性.pdfVIP

学位论文独创性声明 本人郑重声明： 1、坚持以“求实、创新”的科学精神从事研究工作。 2、本论文是我个人在导师指导下进行的研究工作和取得的研究成果。 3、本论文中除引文外，所有实验、数据和有关材料均是真实的。 4、本论文中除引文和致谢的内容外，不包含其他人或其它机构已经发表 或撰写过的研究成果。 5、其他同志对本研究所做的贡献均已在论文中作了声明并表示了谢意。 作者签名： 日 期： 学位论文使用授权声明 本人完全了解南京师范大学有关保留、使用学位论文的规定，学校有权 保留学位论文并向国家主管部门或其指定机构送交论文的电子版和纸质版； 有权将学位论文用于非赢利目的的少量复制并允许论文进入学校图书馆被查 阅；有权将学位论文的内容编入有关数据库进行检索；有权将学位论文的标 题和摘要汇编出版。保密的学位论文在解密后适用本规定。 作者签名： 日 期： 前言 ，iL-JL一 刖 舌 偏序的概念来源于数学与逻辑学，但在19世纪时看起来是一直被孤立的发 展着，直到进入20世纪事情才出现转机。这时，Pierce在集合的偏序关系上建立了 上、下确界的定义，进而引出格的概念．从此。格论才逐步发展成为一门独立的 代数理论． 近代的格论大体形成于1935年左右．对于格论及其应用的系统性研究， EKlein，MengerG．Birkhoff,Ore，VonNeumann和M．H．Stone等数学家作出了较为 重要的贡献，这样才使得偏序作为一种有价值的且为人们所认可的数学构造在 现代数学的各个分支中站稳了脚根并获得了迅速的发展．尤其是连续格理论 在代数学、拓扑学、拓扑代数、分析学、范畴论等领域的成功应用．不仅如 此，另外一个更为重要的应用是在理论计算机科学领域的程序语言的编写上． 在文献【8】中，GarrettBirkho积于于格论作出了最早的系统性论述与总结．此 后，在格论的不断发展之中，文献(【9】，[101，【111，[121。[131)都是先后较为广泛使 用的经典性著作。其中，文献[131的应用最为广泛并在2003年有了最新的版 本(见f2】)． 在格论中，人们往往通过给定序结构来定义偏序集(格)上的拓扑．在文 献【14】中．Frinlc通过取形式为陋，6】的闭集和形式为(一oo，al，陋，+∞)的闭区间 作为子基，定义了格(偏序集)上的区间拓扑．虽然任何一个偏序集上的区间 拓扑是噩的，但却存在完备格上的区间拓扑不一定是死的例子．这样，找到 区间拓扑是正性的充分必要条件一一这一问题在文献[151中被Birkhof馒 个元素都大于一个原子，否则这个Boolean代数上的区间拓扑就不是而的． 1955年．Baer从区间拓扑的闭子集子基与乃性分离公理出发找到一个 区间拓扑是疋性的充要条件(见[17】)．与此同时，在文献【18】中，Ward指出对 应于格上区间拓扑的收敛，若其等价于强0·一收敛，则这个区间拓扑也 是是的．1966年，KoichiAtsumi利用网的收敛得到一些有关格上区间拓扑是乃性 的等价性命题(见[6】)，而他的灵感则来源于文献[191中Insel对于格上完备拓 扑正性的描述．在文献[201@，徐晓泉等通过对同构于某幂集格的格作分析也得 到了有关区间拓扑Hausdor呲的几个等价性命题．而在[2】中也有关于此的等 前言 价性刻圆． 在文献【3】中，w01k指出若偏序集X是宽度有限的，则X上区间拓 the(x)是乃的．而本文第二章正是由此作为依据，引入点的极大互异集，推广 了Wolk的相关结论，并举例加以验证．到目前为止，相对于Boolean代数上区间 拓扑的充要条件(见[16。5】)而言