Fixed points of continuous DCPOs (Q444683)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fixed points of continuous DCPOs |
scientific article |
Statements
Fixed points of continuous DCPOs (English)
0 references
16 August 2012
0 references
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.
0 references
dcpo
0 references
directed complete partial order
0 references
fixed point
0 references
\(L\)-domain
0 references
Scott topology
0 references
Scott continuous
0 references
locally stable map
0 references
continuous poset
0 references