基于R-偏序集的语义域研讨初探.pdfVIP

摘 要 本文研究对象是带有偏序逼近族的偏序集(参见文献[1】)(简称 豫偏序集)．我们的目的在于探索兄．偏序集这一数学结构能否为语义 域的研究提供一个较好的数学框架．本文在欠．偏序集上定义了Scott拓 扑，这为在穴．偏序集上的逼近、函数的连续性等概念的提出奠定了基 础，为探索冗．偏序集作为语义域的数学特性提供了前提．文献【2]在带 有等价关系的集合(简称sfe)上重建了基于度量空间的语义域研究的 部分理论．髂偏序集是较{序更具普适性的结构．本文仿照【2】中鼍屉上 近映射的不动点定理和Tarski不动点定理：同时构造了一个新的范畴 广义超度量空间角度研究足偏序集提供了思路． 关键词傅偏序集，Scott拓扑，不动点，灾一P0$ET ABSTRACT with of Inthe research are families paper,ourobjectposets