完备格的关系表示理论及应用.pdfVIP

完备格的关系表示理论及其应用 基础数学专业 研究生徐晓泉 指导教师刘应明院士、罗恐康教授 摘 要 近三十年来，由于计算机科学所引起的关注和数学若干领域所取得的重要 进展，计算机科学和数学的交叉之研究，尤其是拓扑结构、格序结构、范畴结构 等在计算机科学中的应用引起了人们的广泛关注。二十世纪七十年代初，Scott, Plotkin,Hofmann,Lawson,Keimel等人创建了连续格(domain)理论.从此，Domain 的结构理论成为计算机程序的指称语义学研究的一个关键点. 无论从数学的角度还是从计算机程序指称语义学的角度而言，Domain理论 研究的一个重要方面是尽可能地将连续格(domain)理论推广到更为一般的格序 结构上去.上世纪八、九+年代，Gierz.Lawson.Bandelt,Ernd,Huth,Jung. Keimel等人分别引入并研究了超连续格、广义连续格、Z-连续格(偏序集)和FS- 格，它们属连续格(domain)最为成功的推l之‘列.1983年，作为连续domain和广 义连续格的公共推广，Gierz.Lawson和Stralka等人引入了一类重要的domain- 拟连续domain，其基本思路是将“点”与“点”之间的waybelow关系推广至集“”与 “集”之情形. 本文的主要工作之一就是试图将拟连续domain理论推广至一般子集系统Z. 我们从二个不同的途径较为成功地将拟连续domain理论推广至了一般的子集系 统Z 一个途径是基于Rudin引理和Gierz,Lawson和Stralka等人的思路.我们首 先对一般的子集系统Z引入了Rudin性质，给出了它的映射式刻划，为推广拟连 续偏序集的概念至一般的子集系统情形提供了基础.作为拟连续domain和Z-连 续domain概念的公共推广，对一般的子集系统Z,我们引入了(弱)拟Z-连续 domain的概念，讨论了它们的荃本性质，证明了当子集系统Z满足一定条件时， 拟Z-连续domainP上的Z-below关系az具有插入性质，P上的Z-Lawson拓扑 斌P)是T2的，P可用Z-Lawson同态嵌入到某方体中;给出了Rudin性质及其映 射式刻划在拟Z-连续domain方面的若干应用.此外，我们还讨论了Z-Scott拓扑 Qz(P)的Sober性.众所周知，完备格L是广义连续格当且仅当L上的Lawson拓 扑R(L)是Tx的，对于domain情形，我们构造了一个domainP，其上的Lawson 拓扑AP)是T2的，但Scott拓扑。(P)不是Sober的，从而P不是拟连续的. 拟连续domain理论推广的另一个途径是基于Heckmann关于拟连续domain 的拓扑式刻划.我们首先给出了拓扑空间X(,句之开集格(S,幼是超连续格的若干 刻划;对一般的子集系统Z,作为拟连续偏序集另一种不等价的推广方式，依拓 扑的方式引入了Z-拟连续domain的概念，证明了Z-domainP是Z-拟连续的当 且仅当P上的Z-Scott拓扑CAP)在集包含序下是超连续格;从超连续的Sober性 这一角度给出了拟连续domain上Scott拓扑的一个描述:集X上的几拓扑S是超 连续和Sobe:的当且仅当在诱导序汀‘X是拟连续domain，且5刚好就是X上 Scott拓扑，即-v必;讨论了Z-拟连续domain上Scott拓扑、Lawson拓扑的性 质，给出了Z-拟连续domainP上的Z-Scott拓扑CZ(P)之Sober性的一若干刻划;P 赋予Z-Lawson拓扑拟P)是pospace;在较弱的集论公理系统ZFDC。中，证明了 若Z-拟连续domainP上的Z-Lawson开上集是Z-Scott开的，Z-Lawson开下集 是F拓扑开的，则((P,AZ(P))为严格完全正则序空间，特别地，若拟连续domainP 上的Lawson开下集是下拓扑开的，则P赋予Lawson拓扑A(P)是严格完全正则 的，从而对较广泛的情形给出了Lawson如下一个公开问题的部分解答:连续 domainP赋予Lawson拓扑A(P)是否为严格完全正则序空间?我们还引入了广 义超连续格的概念，并给出了它的若千刻划，特别是它与广义连续格的密切关 系. 综上所述，我们从二个不同的途径将拟连续domain理论