Solutions to two problems of J. D. Lawson and M. Mislove (Q1916446)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Solutions to two problems of J. D. Lawson and M. Mislove |
scientific article |
Statements
Solutions to two problems of J. D. Lawson and M. Mislove (English)
0 references
9 January 1997
0 references
An ordered set in which every directed set has a supremum equipped with the Scott topology is denoted DCPO. If \(L\) is a DCPO and \(x, y\in L\), write \(x\ll y\) if for any directed set \(D\subseteq L\) with \(y\leq \bigvee D\) there exists \(d\in D\) such that \(x\leq d\). A DCPO \(L\) is called continuous if for any \(x\in L\) the set \(\{y\in L; y\ll x\}\) is directed and \(x\) is its supremum. A DCPO \(L\) is called \(L\)-domain if for any \(x\in L\) the set \(\{y\in L\); \(y\leq x\}\) is a complete lattice; it is bounded complete if every its nonempty subset with an upper bound has a supremum. If \(L\) is a DCPO and \(X\) a topological space then the set \([X\to L]\) of all continuous mappings from \(X\) into \(L\) with the pointwise order is a DCPO. A topological space is core-compact if the lattice of its open sets is a complete lattice and a continuous DCPO. The authors prove the following two theorems, which solve two problems posed in [\textit{J. van Mill} and \textit{G. M. Reed}, Open problems in topology (1990; Zbl 0718.54001)]: 1. If \(L\) is a DCPO then the following statements are equivalent: (a) \(L\) is a continuous \(L\)-domain; (b) \([X\to L]\) is a continuous \(L\)-domain for any core-compact space \(X\); (c) \([X\to L]\) is a continuous DCPO for any compact space \(X\). 2. If \(L\) is a continuous \(L\)-domain with least element then the Isbell and Scott topologies on \([X\to L]\) agree for all core-compact spaces \(X\) if and only if \(L\) is a bounded complete DCPO.
0 references
Isbell topology
0 references
Scott topology
0 references
DCPO
0 references
\(L\)-domain
0 references
core-compact space
0 references