基于R偏序集的语义域研究初探-基础数学论文.pdfVIP

中央民族大学 硕士学位论文 基于欠一偏序集的语义域研究初探 姓 名： 高泾萍 指导教师： 何伟 吾U指导教师： 樊磊 院系(部所)： 数学与计算机科学学院 专 业： 基础数学 完成日期： 2007年3月 摘 要 本文研究对象是带有偏序逼近族的偏序集(参见文献[1】)(简称 豫偏序集)．我们的目的在于探索兄．偏序集这一数学结构能否为语义 域的研究提供一个较好的数学框架．本文在欠．偏序集上定义了Scott拓 扑，这为在穴．偏序集上的逼近、函数的连续性等概念的提出奠定了基 础，为探索冗．偏序集作为语义域的数学特性提供了前提．文献【2]在带 有等价关系的集合(简称sfe)上重建了基于度量空间的语义域研究的 部分理论．髂偏序集是较{序更具普适性的结构．本文仿照【2】中鼍屉上 近映射的不动点定理和Tarski不动点定理：同时构造了一个新的范畴 广义超度量空间角度研究足偏序集提供了思路． 关键词傅偏序集，Scott拓扑，不动点，灾一P0$ET ABSTRACT with of Inthe research are families paper,ourobjectposets devoteto approximatingpartialorders(seenin[1】)(calledR-poseO．We ifthemathematicalstructure canbea better explore R-poset forresearchinsemanticdomains．Wedefinethe mathematicalframework Scott on isthefoundationof the topologyR-poset，which establishing notionsof and of makes continuityfunctions，and approximation characterson for themathematical exploring preparations basedonmetric hasbeen a ofsemanticdomains developed theory spaces withfamiliesof ofthe onsets lot．【2】recreatespart