pith. sign in

arxiv: 1607.01886 · v1 · pith:S5NEUHVEnew · submitted 2016-07-07 · 💻 cs.LO

Join-continuity + Hypercontinuity = Prime continuity

classification 💻 cs.LO
keywords continuitylatticeresultapproachargumentauthorscharacterisationcomplete
0
0 comments X
read the original abstract

A remarkable result due to Kou, Liu & Luo states that the condition of continuity for a dcpo can be split into quasi-continuity and meet-continuity. Their argument contained a gap, however, which is probably why the authors of the monograph Continuous Lattices and Domains used a different (and fairly sophisticated) sequence of lemmas in order to establish the result. In this note we show that by considering the Stone dual, that is, the lattice of Scott-open subsets, a straightforward proof may be given. We do this by showing that a complete lattice is prime-continuous if and only if it is join-continuous and hypercontinuous. A pleasant side effect of this approach is that the characterisation of continuity by Kou, Liu & Luo also holds for posets, not just dcpos.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Core-compactness of Smyth powerspaces

    math.GN 2019-07 unverdicted novelty 5.0

    The Smyth powerspace Q(X) is core-compact if and only if X is locally compact.