Continuity of posets via Scott topology and sobrification |
| |
Authors: | Luoshan Xu |
| |
Institution: | Department of Mathematics, Yangzhou University, Yangzhou 225002, PR China |
| |
Abstract: | In this paper, posets which may not be dcpos are considered. The concept of embedded bases for posets is introduced. Characterizations of continuity of posets in terms of embedded bases and Scott topology are given. The main results are:- (1)
- A poset is continuous iff it is an embedded basis for a dcpo up to an isomorphism;
- (2)
- A poset is continuous iff its Scott topology is completely distributive;
- (3)
- A topological T0 space is a continuous poset equipped with the Scott topology in the specialization order iff its topology is completely distributive and coarser than or equal to the Scott topology;
- (4)
- A topological T1 space is a discrete space iff its topology is completely distributive.
These results generalize the relevant results obtained by J.D. Lawson for dcpos. |
| |
Keywords: | 06A11 06B35 54H10 54C35 |
本文献已被 ScienceDirect 等数据库收录! |
|