continuous poset
A poset is said to be continuous if for every
- 1.
the set is a directed set
,
- 2.
exists, and
- 3.
.
In the first condition, indicates the way below relation on . It is true that in any poset, if exists, then . So for a poset to be continuous, we require that .
A continuous lattice is a complete lattice whose underlying poset is continuous. Note that if is a complete lattice, condition 1 above is automatically satisfied: suppose and with , then there are finite subsets of with and . Then is finite and , or , implying that is directed.
Examples.
- 1.
Any finite poset is continuous, and so is any finite lattice
(since it is complete
).
- 2.
A chain is continuous iff it is complete.
- 3.
The lattice of ideals of a ring is continuous.
- 4.
The set of all lower semicontinuous functions from a fixed compact
topological space
into the extended real numbers is a continuous lattice.
- 5.
The set of all closed convex subsets of a compact convex subset of ordered by reverse inclusion is a continuous lattice.
Remarks.
- •
Every algebraic lattice is continuous.
- •
Every continuous meet semilattice is meet continuous.
References
- 1 G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. W. Mislove, D. S. Scott, Continuous Lattices and Domains, Cambridge University Press, Cambridge (2003).