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 such that the binary supremum function is discontinuous with respect to the product topology on of the Scott topologies on each copy of . In addition, we show that bounded completeness of a complete lattice is in general not inherited by the dcpo of continuous functions from to where may be any topological space and where on 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}
}