关于连续与局部定向完备偏序集.pdfVIP

辽宁师范大学 硕士学位论文 关于连续的局部定向完备偏序集 姓名：索显玲 申请学位级别：硕士 专业：基础数学 指导教师：谢琳 黼蝴帔懈懈■?本文给出了连续的定向完备偏序集概念的一个推广一连续的局部定向完?关于连续的局部定向完备偏序集二?！曛??叮琠?????指导教师：谢昧言研究生：索显玲序续格和连续??理论的实用范围“?＝???昀矗?嗣歉?隽硕嘀至?鴇??耐乒悖??中文摘要：关键词；连续的局部定向完备偏序集???理论产生于六十年代末期，是理论计算机科学的一个重要领域。它的研究目的是要为计算机菌散式语言研究奠定数学基础。???理论与拓扑、范畴、逻辑、代数等理论都有密切的联系。这一理论已取得了丰富的研究成果，引起人们越来越多的关注。在各种???结构中，有一种基本而重要的结构——连续的定向完备偏序集?虺?为连续?????橇??窀拍畹耐乒恪＝?昀矗?嗣撬?芯康母髦謉???际翘厥獾牧?重要应用。但是，正如徐罗山教授所指出的，最基本且结构最丰富的实数集?妥匀皇??却不是连续??．因为它们不是定向完备的。定向完备这?G笤诤艽蟪潭壬舷拗屏肆???籰?，但这些推广大多是一般性讨论，于这一问题的解决并无帮助。到目前为止，能够包含??的序结构的推广只有相容连续偏序集“?土???蚣痮?Ｏ嗳萘???蜷枚ㄒ?在相容定向完备偏序集上．而相容定向完备偏序集是比较特殊的一种结构，有一定的局限性????．?。?甁??谒?牟┦柯畚腫?中曾提出这样的问题：对于?猟???恼?体要求是一个??是否是必不可少的?植康亩ㄏ蛲瓯钙?蚣?即每一主理想是????与连续偏序集不同的概念——连续的局鄢定向完备偏序集，它也具有一些相当好的性质。业：基础数学备偏序巢；讨论了其基本性质，并利用主理想及弱拓扑给出了其等价刘划?っ?了连续的局部定向完备偏?蠹?腟??化是连续的定向宅备偏亭集，进而证明了连续的定向宅备偏序集范畴是连续的局部定向完备偏序集范畴的一个满的反，，续??。连续格理论以及更广的连续??理论的丰富的研究成果已对理论计算机产生了怎样的呢?谡庖晃侍獾钠舴⑾拢?疚亩韵嗳萘???蚣?母拍钭髁私?徊酵乒悖??隽?专研究方向：拓扑学射子范畴。弱拓扑????范畴 植慷ㄏ蛲瓯钙?蚣???定义州设尸为一个偏序集，∥≠?辏甈。称?J?邢嗳荻ㄏ蚣??绻鸇是?F?蚣?琓∈?琟呈?＜??粄??簀?蔄，，≤?。当?●?保?艫为下集。特别地，?一‘??莆S蓏生成的主理想。对偶地。记十?粄??簀???畒≤???。分别表示?谑?械纳隙?缂?图?∩辖缂?Ｈ绻鸇在尸中存在上确界，则记之为?。定向完备偏序集简记为??。?．???仄思俏H??，以三。??硎綪上的???占?濉?设?、?F?蚣?珼??琭：尸一?!?成洌?詅??硎綝在厂下的像的集合。本文未加说明的概念与符号，关于拓扑空闻的可参考文献????，关于连续格与连续定向完备偏序集的可参考文献??????本文共分三部分。第一一部分主要讨论?植慷ㄏ蛲瓯钙?蚣?男灾剩?⒅っ髁司植慷?向完备偏序集范畴笛乍尔封闭。第?糠止卜至浇凇５凇?谔致哿肆??木植慷ㄏ蛲瓯?偏序集、相容连续偏序集、连续偏序集三者之间的联系与区别?趈：节主要讨论连续的局郡定向完备偏序集、代数的局部定向完备偏序集的性质及刻划。第三部分讨论了连续的局部定向完备偏序集的????侍庖约跋喙胤冻胫?涞墓叵担?玫搅吮疚牡闹饕=峁??起混淆的情况下，简称为局部定向并。??定义设?F?蚣??芇为局部定向完备偏序集?蚣俏猯????绻?杂赑??定义‘?设尸为偏序集，称?O嗳荻ㄏ蛲瓯钙?蚣?简记为???，如果对显然，相容定向完备偏序集都是局部定向完备偏序集。因此，后者是前者的一种推广。??例?狤????冢琤?琕??，?，??瑃?。则偏序集?且桓鰈??而不??腥我幌嗳荻ㄏ蚣??杂谄淙我簧辖缬行∮谒?奈ㄒ患?∩辖纭??辛?如果存在．?邢嗳荻ㄏ蚣疍一∈???岸?骸蕀噏???瑈≠。且儿????为行文方便，本文作如下约定：?蔄。????当?唬珹时称?I霞??殴?J?卸ㄏ蚣??莡??；?ぁ蔖：???甿????∈???篤?阶陨淼暮阃?成浼俏D蛂。定向的，且???偻颍???定义设?R桓銎?蚣?珼为?囊桓鱿嗳荻ㄏ蚣?琍∈???Ｈ绻鸇在主理想●?杏猩先方纾?虺普飧錾先方缥狣相对于?木植慷ㄏ虿ⅲ?侵?猇。?Ｔ诓灰?中的每一个相容定向集?甐?蕌??，?凇聑中的上确界?珼存在。即，?腥我幌?容定向集有局部定向并。于尸中每一个相容定向集?珼在?械膉二确界?存在。??命题设?F?蚣??蛳铝刑跫?燃郏??蔖，‘?R桓鰀???证明?甘?显然。反之则不然。是??????R弧?鯥???兰于连续的局部定向完奋偏序桌??。 的限制，?