×

\(RW\)-spaces and compactness of function spaces for L-domains. (English) Zbl 1018.06006

If \(X\) is a topological space and \(D\) is a directed complete partially ordered set with the Scott topology, then the set \([X\to D]\) consisting of all continuous morphisms from \(X\) to \(D\) with the pointwise order is again a directed complete partially ordered set. In this paper the question is considered under which circumstances the function space obtained by supplying \([X\to D]\) with the Scott topology is compact. J. Liang and K. Keimel [Comput. Math. Appl. 38, 81-89 (1999; Zbl 0941.68080)] have shown that if \(X\) is a core compact topological space with property \(W\) and \(D\) is a compact continuous \(L\)-domain, then \([X\to D]\) is a compact continuous \(L\)-domain. Here, a weaker topological property, called \(RW\), is introduced, and the following results are proved. Theorem 1: Every continuous domain \(D\) which is compact with respect to the Lawson topology has property \(RW\) when topologized with the Scott topology. Theorem 2: An \(L\)-domain has property \(RW\) in its Scott topology if and only if it is compact with respect to its Lawson topology. Theorem 3: For a core compact topological space \(X\) the following are equivalent: (i) \(X\) has property \(RW\); (ii) for every compact continuous \(L\)-domain \(D\) the function space \([X\to D]\) with the Scott topology is compact. Theorem 4: For a continuous directed complete partially ordered set \(D\) with a least element, the following are equivalent: (i) for every core compact topological space \(X\) with property \(RW\) the function space \([X\to D]\) is a compact continuous directed complete partially ordered set; (ii) \(D\) is a compact continuous \(L\)-domain.

MSC:

06B35 Continuous lattices and posets, applications
54D30 Compactness
54C35 Function spaces in general topology
54F05 Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces

Citations:

Zbl 0941.68080
Full Text: DOI

References:

[1] Abramsky, S.; Jung, A., Domain theory, (Abramsky, S.; Gabbay, D. M.; Maibaum, T. S.E., Handbook of Logic in Computer Science, Vol. 3 (1994), Clarendon Press: Clarendon Press Oxford), 1-168 · Zbl 0829.68111
[2] Erker, T.; Escardo, M. H.; Keimel, K., The way below relation of semantic domains, Topology Appl., 89, 61-74 (1998) · Zbl 0922.06009
[3] Gierz, G.; Hofmann, K. H.; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S., A Compendium of Continuous Lattices (1980), Springer-Verlag: Springer-Verlag Berlin · Zbl 0452.06001
[4] Jung, A., Cartesian Closed Categories of Domains. Cartesian Closed Categories of Domains, CWI Tracts, 66 (1989) · Zbl 0719.06004
[5] Jung, A., The Classification of continuous domains, (Logic in Computer Science (1990), IEEE Computer Society), 35-40
[6] Kou, H.; Luo, M. K., Fixed points of Scott continuous self-maps, Sci. China Ser. A, 44, 11, 1433-1438 (2001) · Zbl 1004.06008
[7] Kou, H.; Lou, M. K., The largest topologically Cartesian closed categories of domains as topological spaces, (Keimel, K.; etal., Domains and Processes, Proceedings of the 1st International Symposium on Domain Theory (2001), Kluwer Academic: Kluwer Academic Netherlands), 51-66
[8] Lambrinos, P. T.; Papadopoulos, B., The (strong) Isbell topology and (weakly) continuous lattices, (Hoffmann, R. E.; Hofmann, K. H., Continuous Lattices and Their Applications (1985), Marcel Dekker: Marcel Dekker New York), 191-211 · Zbl 0587.54027
[9] Lawson, J. D., The duality of continuous posets, Houston J. Math., 5, 357-394 (1979) · Zbl 0428.06003
[10] Lawson, J. D., The versatile continuous orders, (Lecture Notes in Comput. Sci., 298 (1988), Springer-Verlag: Springer-Verlag Berlin), 134-160 · Zbl 0662.06002
[11] Liang, J. H.; Keimel, K., Compact continuous L-domains, Comput. Math. Appl., 38, 81-89 (1999) · Zbl 0941.68080
[12] Liu, Y. M.; Liang, J. H., Solutions to two problems of J.D. Lawson and M. Mislove, Topology Appl., 69, 153-164 (1996) · Zbl 0853.54005
[13] (van Mill, J.; Reed, G. M., Open Problems in Topology (1990), North-Holland: North-Holland Amsterdam) · Zbl 0718.54001
[14] Mislove, M. W., Topology, domain theory and theoretical computer science, Topology Appl., 89, 3-59 (1998) · Zbl 0923.54027
[15] Schwarz, F.; Weck, S., Scott topology and Isbell topology and continuous convergence, (Hoffmann, R. E.; Hofmann, K. H., Continuous Lattices and Their Applications (1985), Marcel Dekker: Marcel Dekker New York), 251-273 · Zbl 0598.54005
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.