一类基于R-偏序集的Scott不动点定理的简单变异

对R-完备的R-偏序集,证明了(1)R-连续映射关于偏序族中偏序的最小不动点恰好作成其关于偏序族所逼近的偏序上的最小不动点的逼近序列,这区别于对最小不动点的"对角线"方式逼近;(2)R-连续映射一定是ω-连续映射;(3)关于偏序族中任何偏序都连续的R-连续映射一定是连续映射;(4)最后本文给出了以上结果的简单应用.     

带有偏序逼近族的偏序集上Scott拓扑的比较

设（A,）是偏序集,ω是自然数集,若对任意n∈ω,n是A上的偏序, n＋1包含于 n,∩∈ω n= ,则称（A, ）是带有偏序逼近族.R={ n│n∈ω}的偏序集,简称为R-偏序集,记为（A, ;R）．若任意n∈ω,An=（A, n）是cpo,且对n∈ω,令Fn表示关于 n的Scott拓扑,本文给出了Fn弱于Fn＋1的一个充分条件,以及它的简单应用．     

R-偏序集上的不动点定理

研究对象是带有偏序逼近族的偏序集(poaets with families of approximating partial orders,简称R.偏序集),目的在于探索R-偏序集这一数学结构能否为语义域的研究提供一个较好的数学框架.Luis Monteiro在带有等价关系的集合(sets with families of equivalences,简称sfe)上重建了基于度量空间的语义域研究的部分理论.R-偏序集是较sfe更具普适性的结构.本文仿照Luis Monteiro在sfe上的结论及M.W.Mislove dcpo(directedly complete partial ordem)上Tarski不动点定理的证明,在R-偏序集上建立了逼近映射的不动点定理;同时构造了一个新的范畴R-POSET (即以R-偏序集为对象,R-单凋映射为态射的范畴),建立了范畴R-POSET与范畴GUMS(即以广义超度量空间为对象,非扩展映射为态射的范畴)之间的一个伴随,为从广义超度量空间角度研究R-偏序集提供了思路.     

一类基(R)-偏序集的Scott不动点定理的简单变异

对(R)完备的R偏序集,证明了(1)(R)-骆连续映射关于偏序族中偏序的最小不动点恰好作成其关于偏序族所逼近的偏序上的最小不动点的逼近序列,这区别于对最小不动点的"对角线"方式逼近;(2)(R)-连续映射一定是ω-连续映射;(3)关于偏序族中任何偏序都连续的(R)-连续映射一定是连续映射;(4)最后本文给出了以上结果的简单应用.