拟超连续dmain与拟超连续格.pdfVIP

摘 要 拟超连续Domain与拟超连续格 基础数学专业 研究生杨金波 指导教师刘应明院士．罗懋康教授 Domain理论产生于20世纪70年代早期D．Scott为解决计算机程序设计 语言语义学问题对连续格的研究．大约在同一时期，在纯数学领域，Lawson． Stralka等人为寻求一类紧半格的代数刻画而定义了一种有特殊性质的完备格． 但他们很快发现这种完备格恰好是Scott发现的连续格．作为理论计算机和纯数 学这两个方面研究的殊途同归，连续格理论引起了人们极大的兴趣，并作了大 量的工作． 1980年，Gierz等在专著【21】中系统地总结了这些工作，标志着作 为domain理论前期形式的连续格理论的成熟． 2003年，这一专著又出版了新 的补充版【22】，吸收了最近20多年的成果． Domain理论主要以满足一定条件的偏序集以及它们之间的映射为研究对 象．Domain理论研究的—个重要内容是尽可能地将连续格理论推广到更为一 般的格序结构上去．作为连续格的最成功推广之一。Gierz和Laws