Frink代偏序集.pdfVIP

万方数据 江西师范大学学位论文独创性声明江西师范大学学位论文使用授权声明本人声明所呈交的学位论文是我在导师的指导下进行的研究工作及取得的研究成果。尽我所知，除文中已经注明引用的内容外，论文中不包含其他个人已经发表或撰写过的研究成果，也不包含为获得江西师范大学或其他教育机构的学位或证书而使用过的材料。对本文的研究做出重要贡献的个人和集体，均已在文中作了明确说明并表示谢意。学位论文作者签名：签字日期：本人同意在校攻读学位期间论文工作的知识产权单位属江西师范大学。本人保证毕业离校后．发表本论文或使用本论文成果时署名单位仍为江谣师范大学。学校有权保留学位论文并向国家主管部门或其他指定机构送交论文的电子版和纸质版；有权将学位论文用于非赢利目的的少量复制并允许论文进入学校图书馆、院系资料室被查阅：有权将学位论文的内容编入有关数据库进行检索；有权将学位论文的标题和摘要汇编出版。导师签名： 万方数据 要摘关键词：??????蚣?徽?嫱瓯富?磺看??瘢籶??理想近半个多世纪．数与计算机科学的交叉，尤其是拓扑方法、格序结构、范无论从数学的角度还是从计算机程序指称语义学的角度而言，???理畴结构等在计算机科学中的应用引起了人们的广泛关注．二十世纪?年代初，???????、???等人创建了???理论，其结构理论成为计算机程序的指称语义学研究的一个关键点．论研究的一个重要方面是尽可能地将连续格????理论推广到更为一般的偏序集上．这种自然的推广保留了连续格的一些好性质，扩展了鸸??的理论及其应用框架．??年，??首⒁獾絛???牧??栽谡?嫱瓯富?虏槐３郑??此，他基于???硐胍?肓嗽ち???蚣???????????概念，并证明了偏序集为预连续的当且仅当其正规完备化为连续格．在本文中．我们讨论了预连续性的代数情形，引入了??代数偏序集的概念，研究了它的一些性质，特别地，我们证明了??????蚣?恼?嫱瓯富?为代数格． 万方数据 琣???．?碰??????????琫?????????????????：?????????簍?????????????，?????????惋??????琱????????????甀???，?琒??，???????????瑀?????羒????，????‘?????．???????：??????．?????．???。?，??????，??????????，?????琲????瑆????；????????；??????????????，??— 万方数据 目录??基本概念与记号??预连续偏序集．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．??????蚣???????蚣?那看??裕???”?堪中文摘要英文摘要引言第一章预备知识第二章??????蚣?参考文献致谢硕士期间研究成果?? 万方数据 引言近半个多世纪??в爰扑慊?蒲У慕徊妫?绕涫峭仄朔椒ā⒏裥蚪峁埂⒎?第一童预备知识第二章??????蚣?畴结构等在计算机科学中的应用引起了人们的广泛关注，这些结构及其相互交叉之研究越来越来受到数学家和计算机科学家的重视．二十世纪?年代初．著名数学家和理论计算机科学家、???奖获得者???创建了连续格理论【¨．大约在同一时期，在纯数学领域，著名数学家???、???、???和??热擞捎诟髯缘纳钊牍ぷ鞔油耆ú煌?耐揪抖懒⒌乜U?了连续格理论的研究【引．由于连续格理论具有理论计算机科学和数学的双重背景，因而自它诞生以来．对更为一般的具有某种连续性的格序结构的研究逐渐成为数学家和理论计算机科学家的研究热点．一方面，这一领域中己经取得了一系列重要进展【?伙颍?硪环矫妫?庖涣煊蛑谢勾嬖谧判矶辔唇饩龅墓n?N?题?无论从数学的角度还是从计算机程序指称语义学的角度而言，???理论研究的一个重要方面是尽可能地将连续格????理论推广到更为一般的偏序结构上去．????????????????????????????等人分别引入并研究了超连续格、广义连续格、广义完全分配格、?涣???蚣?虵?瘢?它们属连续格?????钗3晒Φ耐乒阒?校瓺???砺凼墙?⒃诙ㄏ蛳低成?讨论的，其中??猙??的定义也是要求在??上．???，??瓻．????，?瓺．???研究的连续或者代数偏序集都要求在??．这样的定义在连续格理论有很多重要的结果，但依然有一定的局限性．在文『??校珽??⒁獾絛???牧??栽谡?嫱瓯富?尽?】下不保持．为此，他基于???硐雦?】引入了预连续偏序集???????????的概念，证明了偏序集为预连续的当且仅当其正规完备化为连续格．沿用??的思路，本论文主要工作是讨论预连续偏序集的代数情形的完备化不变性问题．全文共分二章，具体章节及主要内容如