半连续格和强续格若干问题的研讨.pdfVIP

半连续格和强连续格若干问题的研究 712278 摘 要 内容摘要:本文研究了半连续格及半代数格上一些映射性质，讨论了强连续 格的函数空间，给出了强连续格的嵌入定理;然后引入了半 Scott拓扑与半 Lawson拓扑，并讨论了半连续格和强连续格上这两种拓扑的若干性质。 关键词:半连续格;强连续格;半连续格的子代数;半代数格;半Scott拓扑; 半Lawson拓扑 Abstract Content:Inthispaper,westudysomemappingpropertiesofsemicontinuous latticesandsemialgebraiclattices,discussafunctionspaceofstronglycontinuous latticesandgiveanembeddingtheorem ofstronglycontinuouslattices.Then semi-Scotttopologyandsemi-Lawsontopologyareintroduced,andtheirseveral propertiesonsemicontinuouslatticesandstronglycontinuouslatticesareproved Keywords:Semicontinuouslattice;stronglycontinuouslattice;subalgebraof semicontinuouslattice;semialgebraiclattice;semi-Scotttopology;semi-Lawson topology 半连续格和强连续格若干问题的研究 引 言 近三十年来，计算机科学和数学的交叉之研究，尤其是拓扑结构、格序结构、 范畴结构等在计算机科学中的应用引起了人们的广泛关注。二十世纪七十年代初 著名数学家和理论计算机科学家、Turing奖获得者Scott创建了连续格理论，为 确定性程序的指称语义奠定了坚实的理论基础。其后Plotkin指出需要更一般的 数学对象用于建立非确定程序的指称语义的数学模型，因而形成了domain这一 重要概念。Domain理论发展的另一个动力来自纯数学的若干领域。大约与Scott 工作的同一时期，著名数学家Hofmann.Lawson,Keimel和Day等人由于各自 的深入工作从完全不同的途径独立地开展了连续格理论的研究。二十世纪八十年 代以后，对更为一般的具有某种连续性的格序结构的研究逐渐成为国内外数学家 和理论计算机科学家的研究热点。 无论从数学的角度还是从计算机程序指称语义学的角度而台.，Domain理论 研究的一个重要方面是尽可能地将连续格理论推广到更为一般的格序结构上去。 Gierz,Lawson,Bandelt,Erne,Huth,Jung,Keimel等人分别引入并研究了超 连续格、广义连续格、Z-连续格和FS-格，它们属连续格最为成功的推广之列。 1992年剑桥大学的赵东升博士在其博士论文中定义了半连续格和强连续格，并 讨论了它们的一些基本性质，丰富和扩充了连续格理论。本学位论文是在此基础 上对半连续格和强连续格的性质做了一些补充和推广。全文共分七节，具体章节 和主要内容如下: 第一节 预备知识 给出了全文所需的一些概念及其基本性质。 第二节 半连续格的映射性质 讨论了半连续格上的映射性质，定义了半连 续格的子代数，使半连续格在其子代数下遗传。 第三节 半连续格的基 给出了半连续格的基的几个刻划及有关的映射性 质。 第四节 半代数格 引入并讨论了半代数格。 第五节 强连续格的函数空间 讨论了一类强连续格的函数空间。 第六节 强连续格的嵌入定理 基于文5【」的技巧给出了强连续格嵌入到方 体的定理。 第七节 半Scott拓扑与半Lawson拓扑 基于乍关系，在完备格上定义了 分别比Scott拓扑和Lawson拓扑更细的拓扑— 半Scott拓扑与半Lawson拓扑， 并在半连续格和强连续格上讨论这两种拓扑的若千性质。 TA-t%X1f7TU}}