A Fixed-points Theorem on R-poset

Gao Jingping,Fan Lei,He Wei,Wu Ligang
DOI: https://doi.org/10.19789/j.1004-9398.2008.04.001
2008-01-01
Abstract:In the paper,the posets with families of approximating partial orders(called R-poset) is studied.Whether the mathematical structure Rposet is a better mathematical framework for semantic domains' research or not is explored in this paper.The theory of semantic domains based on metric spaces has been developed a lot by Luís.Monteiro,recreating partly the theory on sets with families of equivalences(sfe).R-posets are more generalized structures than sfe.Imitating some results on sfe and the proof of Tarski fixed-point theorem for dcpo,a fixed-point theorem for approximating maps on R-poset is recreated in the paper.Let's GUMS be the category of generalized ultrametric spaces and non-expanding mappings.With the construction of category R-POSET consist of R-posets and R-monotone mappings,an adjunction between R-POSET and GUMS is obtained,supplying a train of thoughts for researching the R-poset from the standpoint of generalized ultrametric spaces.
What problem does this paper attempt to address?