$\mathcal Z$-distributive function lattices

Erné, Marcel

Mathematica Bohemica, Tome 138 (2013) no. 3, pp. 259-287

Abstract (VO)

It is known that for a nonempty topological space $X$ and a nonsingleton complete lattice $Y$ endowed with the Scott topology, the partially ordered set $[X,Y]$ of all continuous functions from $X$ into $Y$ is a continuous lattice if and only if both $Y$ and the open set lattice $\mathcal O X$ are continuous lattices. This result extends to certain classes of $\mathcal Z$-distributive lattices, where $\mathcal Z$ is a subset system replacing the system $\mathcal D$ of all directed subsets (for which the $\mathcal D$-distributive complete lattices are just the continuous ones). In particular, it is shown that if $[X,Y]$ is a complete lattice then it is supercontinuous (i.e.\^^Mcompletely distributive) iff both $Y$ and $\mathcal O X$ are supercontinuous. Moreover, the Scott topology on $Y$ is the only one making that equivalence true for all spaces $X$ with completely distributive topology. On the way to these results, we find necessary and sufficient conditions for $[X,Y]$ to be complete, and some new, purely topological characterizations of continuous lattices by continuity conditions on their (infinitary) lattice operations.

Détail

DOI : 10.21136/MB.2013.143437

Classification : 06B35, 06D10, 06F30, 54F05, 54H10
Keywords: completely distributive lattice; continuous function; continuous lattice; Scott topology; subset system; $\mathcal Z$-continuous; $\mathcal Z$-distributive

Bibliographie

[1] Bandelt, H.-J., Erné, M.: The category of Z-continuous posets. J. Pure Appl. Algebra 30 (1983), 219-226. | DOI | MR | Zbl

[2] Bandelt, H.-J., Erné, M.: Representations and embeddings of $M$-distributive lattices. Houston J. Math. 10 (1984), 315-324. | MR | Zbl

[3] Baranga, A.: Z-continuous posets. Discrete Math. 152 (1996), 33-45. | DOI | MR | Zbl

[4] Baranga, A.: Z-continuous posets, topological aspects. Stud. Cercet. Mat. 49 (1997), 3-16. | MR | Zbl

[5] Erné, M.: Scott convergence and Scott topology on partially ordered sets II. Continuous Lattices. Proc. Conf., Bremen 1979 Lect. Notes Math. 871 61-96 (1981), B. Banaschewski, R.-E. Hoffmann Springer, Berlin. | DOI

[6] Erné, M.: Adjunctions and standard constructions for partially ordered sets. Contributions to General Algebra. Proc. Klagenfurt Conf. 1982 Contrib. Gen. Algebra 2 Hölder, Wien 77-106 (1983), G. Eigenthaler et al. Contributions to General Algebra. | MR | Zbl

[7] Erné, M.: The ABC of order and topology. Category Theory at Work. Proc. Workshop, Bremen 1991 Res. Expo. Math. 18 57-83 (1991), H. Herrlich, H.-E. Porst Heldermann, Berlin. | MR | Zbl

[8] Erné, M.: Algebraic ordered sets and their generalizations. I. Rosenberg Algebras and Orders. Kluwer Academic Publishers. NATO ASI Ser. C, Math. Phys. Sci. 389 Kluwer Acad. Publ., Dordrecht 113-192 (1993). | MR | Zbl

[9] Erné, M.: Z-continuous posets and their topological manifestation. Appl. Categ. Struct. 7 (1999), 31-70. | DOI | MR | Zbl

[10] Erné, M.: Minimal bases, ideal extensions, and basic dualities. Topol. Proc. 29 (2005), 445-489. | MR | Zbl

[11] Erné, M.: Closure. F. Mynard, E. Pearl Beyond Topology. AMS Contemporary Mathematics 486 Providence, R.I. (2009), 163-238. | MR | Zbl

[12] Erné, M.: Infinite distributive laws versus local connectedness and compactness properties. Topology Appl. 156 (2009), 2054-2069. | DOI | MR | Zbl

[13] Erné, M., Gatzke, H.: Convergence and continuity in partially ordered sets and semilattices. Continuous Lattices and Their Applications. Proc. 3rd Conf., Bremen 1982 Lect. Notes Pure Appl. Math. 101 9-40 (1985). | MR | Zbl

[14] Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M., Scott, D. S.: A Compendium of Continuous Lattices. Springer, Berlin (1980). | MR | Zbl

[15] Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M., Scott, D. S.: Continuous Lattices and Domains. Encyclopedia of Mathematics and Its Applications 93 Cambridge University Press, Cambridge (2003). | MR | Zbl

[16] Hoffmann, R.-E.: Continuous posets, prime spectra of completely distributive complete lattices, and Hausdorff compactifications. Continuous Lattices. Proc. Conf., Bremen 1979 Lect. Notes Math. 871 159-208 (1981), B. Banaschewski, R.-E. Hoffmann Springer, Berlin. | DOI | Zbl

[17] Isbell, J.: Completion of a construction of Johnstone. Proc. Am. Math. Soc. 85 (1982), 333-334. | DOI | MR | Zbl

[18] Keimel, K.: Bicontinuous domains and some old problems in domain theory. Electronical Notes in Th. Computer Sci. 257 (2009), 35-54. | DOI

[19] Kříž, I., Pultr, A.: A spatiality criterion and an example of a quasitopology which is not a topology. Houston J. Math. 15 (1989), 215-234. | MR | Zbl

[20] Meseguer, J.: Order completion monads. Algebra Univers. 16 (1983), 63-82. | MR | Zbl

[21] Novak, D.: Generalization of continuous posets. Trans. Am. Math. Soc. 272 (1982), 645-667. | DOI | MR | Zbl

[22] Qin, F.: Function space of Z-continuous lattices. Fuzzy Syst. Math. 14 (2000), 31-35 Chinese. | MR

[23] Raney, G. N.: A subdirect-union representation for completely distributive complete lattices. Proc. Am. Math. Soc. 4 (1953), 518-522. | DOI | MR | Zbl

[24] Scott, D. S.: Continuous lattices. Toposes, Algebraic Geometry and Logic. Dalhousie Univ. Halifax 1971, Lect. Notes Math. 274 97-136 (1972), Springer, Berlin. | MR | Zbl

[25] Venugopalan, G.: Z-continuous posets. Houston J. Math. 12 (1986), 275-294. | MR | Zbl

[26] Wright, J. B., Wagner, E. G., Thatcher, J. W.: A uniform approach to inductive posets and inductive closure. Theor. Comput. Sci. 7 (1978), 57-77. | DOI | MR | Zbl

[27] Wyler, O.: Dedekind complete posets and Scott topologies. B. Banaschewski, R.-E. Hoffmann Continuous Lattices. Proc. Conf., Bremen 1979, Lect. Notes Math. 871 384-389 (1981), Springer, Berlin. | DOI | Zbl