Marcel Erné, Leibniz University, Welfengarten 1, Hannover, Germany, e-mail: erne@math.uni-hannover.de
Abstract: 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) if{}f 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.
Keywords: completely distributive lattice, continuous function, continuous lattice, Scott topology, subset system, $\mathcal Z$-continuous, $\mathcal Z$-distributive
Classification (MSC 2010): 06B35, 06D10, 54F05, 54H10
Full text available as PDF.
Access to the full text of journal articles on this site is restricted to the subscribers of Myris Trade. To activate your access, please contact Myris Trade at myris@myris.cz.
