English

Two Counterexamples Concerning the Scott Topology on a Partial Order

Logic in Computer Science 2016-07-15 v1 General Topology

Abstract

We construct a complete lattice ZZ such that the binary supremum function sup:Z×ZZ\sup:Z\times Z\to Z is discontinuous with respect to the product topology on Z×ZZ\times Z of the Scott topologies on each copy of ZZ. In addition, we show that bounded completeness of a complete lattice ZZ is in general not inherited by the dcpo C(X,Z)C(X,Z) of continuous functions from XX to ZZ where XX may be any topological space and where on ZZ the Scott topology is considered.

Cite

@article{arxiv.1607.04128,
  title  = {Two Counterexamples Concerning the Scott Topology on a Partial Order},
  author = {Peter Hertling},
  journal= {arXiv preprint arXiv:1607.04128},
  year   = {2016}
}
R2 v1 2026-06-22T14:54:40.914Z