偏序结构上的某些弱附加关系与弱连续性-数学论文.pdfVIP

Y 辽宁师范大学 硕士研究生学位论文 论文题目： 偏序结构上的某些弱 附加关系与弱连续性 研究生： 徐静君 指导教师： 谢琳 学科专业： 基础数学 年 级： 2003级 辽宁师范大学研究生部 2006年5月 偏序结构上的某些弱附加关系与弱连续性 偏序结构上的某些弱附加关系与弱连续性 研 究 生：徐静君 指导教．师：谢琳 学科专业：基础数学 摘要完备格上的附加关系在连续格的研究中起着非常重要的作用．首先，基于完备 格上的附加关系，本文将附加关系推广到定向完备偏序集中，并在定向完备偏序集 中引入了某些弱附加关系，在此基础上定义了C一连续偏序集、D-连续偏序集、 B连续偏序集和F一连续偏序集，研究_，这些偏序集的结构性质和范畴性质，对每 一类偏序集都给出了具体例子，并进一步讨论了这几类偏序集之间的关系及它们与 传统连续偏序集之间的关系．其次，将以上几种弱附加关系捧广到格中，由此定义 了C，连续格、D-连续格、B连续格和F一连续格，对每一类格都给出了具体例 子，接下来简单讨论了这些格的结构性质和范畴性质并进一‘步阐述了这几种格之间 的关系及它们与传统连续格之间的联系． 关键词连续：连续偏序集：连续格． 1引言 连续格理论是在70年代初期由几位在不同领域中1：作的数学家和计算机科 和递归函数理论方面的工作被公认为是连续格理论f以及一般Domain理论)的 奠基性工作．由于计算机科学应用的推动，从80年代开始，连续偏序集f即连续 论处于数学f拓扑与Locale理沦l“、范畴论、泛代数、泛函分析、分析与非线性 动力系统)、逻辑吲(直觉主义逻辑、线性逻辑、模态逻辑、时序逻辑)和理论计 1 偏序结构上的某些弱附加关系与弱连续性 算机科学(程序语义、可计算理论、A一演算、类型系统、并发程序语义)等学科 的交汇处，是当前极为活跃的领域．仅仅从数学的角度来看，连续偏序集和连续格 就可以成为多个学科的研究对象． 如果仅从形式的定义来看，连续偏序集不过是连续格概念的一种相当平凡的 序集实际上是类非常基本和普遍的数学结构另一方面，在理论计算机科学应用 中，通常将序解释为元素所包含的信息量的多少．根据这种解释，偏序集的最大元 没有相应的计算直觉解释，因此一般所研究的序结构不能是完各格．这样定向完备 上逼近思想实际上必然导致连续偏序集(或连续Domain)概念的出现． belovl，关 文献f41是关于连续格的一本权威著作，其中介绍了完备格上的way below关系定义了连续格，接下来用公理化方法定义了完备格上的附 系，并用way below关系显然是种附加关系，文献f4{用定理说明 加关系．而在完备格中way 了waybelow关系在完备格上的所有附加关系中所占的地位．文献【51中用way 有趣的性质而文献【6】将文献【4]中的waybelow关系减弱，用公理化的方法在 完备格上定义了一种新的连续性．因此，我们自然会想到，是否存在介于以上两者 之间的某些弱附加关系?是否可以将完备格r的附加关系推广到定向完备偏序集 和一般的格中?进而得出新的有意义的结论?这就是本文主要要研究的问题．关于 连续格与连续偏序集(即连续Domain)的其它相关结果可参见文献f7】一【14】． 本文首先将完备格上的附加关系推广到定向完各的偏序集上，并在定向完备 偏序集中引入了一些弱附加关系，利用这些附加关系定义了C．连续偏序集、D一 连续偏序集、E．连续偏序集和F_连续偏序集，并讨论了这类偏序集的一些结构 性质和它们与传统连续偏序集的关系；其次，将完备格．r的附加关系推广到一般的