$\mathcal Z$-distributive function lattices
Marcel Erné
Abstract
Open-access reader
Marcel Erné
Abstract
Open-access reader
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.
OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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.
Key concepts: Distributive property, Lattice (music), Topological space, Distributive lattice, Topology (electrical circuits), Combinatorics, Mathematics, Complete lattice