The authors first classify continuous (in the Scott topology) selfmaps of dcpos (directed complete partial orders) by finding equivalences when the fixed points of continuous selfmaps themselves form a dcpo. This also characterizes dcpos and continuous dcpos. In particular the authors show that if \(X\) is a continuous dcpo then the set of fixed points of the selfmap \(f\), Fix(\(f\)), is a dcpo but not necessarily continuous. Next, a concrete example when Fix(\(f\)) is not continuous is given. The authors proceed to characterize the continuous dcpos \(X\) for which Fix(\(f\)) is continuous for every continuous \(f\). In the next section, several results showing when Fix(\(f\)) is a continuous dcpo are given in terms of its structure. The paper concludes with a look at locally stable maps and the result that if \(D\) is a continuous poset and \(f:D\rightarrow D\) is locally stable, then Fix(\(f\)) is a continuous poset.
- Fixed points of Scott continuous self-maps
- Continuously generated fixed points
- Note about fixed points of Scott continuous self-mappings
- The properties of the fixed-point sets of Scott continuous mappings
- Fixed points of contractive maps on dcpo's
- A new fixed point theorem in domain theory
- The lattice of bornologies on a set
This page was built for publication: Fixed points of continuous DCPOs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q444683)
