首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 125 毫秒
1.
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.  相似文献   

2.
Xuxin Mao  Luoshan Xu 《Order》2006,23(4):359-369
In this paper, posets which may not be dcpos are considered. In terms of the Scott topology on posets, the new concept of quasicontinuous posets is introduced. Some properties and characterizations of quasicontinuous posets are examined. The main results are: (1) a poset is quasicontinuous iff the lattice of all Scott open sets is a hypercontinuous lattice; (2) the directed completions of quasicontinuous posets are quasicontinuous domains; (3) A poset is continuous iff it is quasicontinuous and meet continuous, generalizing the relevant result for dcpos. Supported by the NSF of China (10371106, 10410638) and by the Fund (S0667-082) from Nanjing University of Aeronautics and Astronautics.  相似文献   

3.
In this paper, as a generalization of uniform continuous posets, the concept of meet uniform continuous posets via uniform Scott sets is introduced. Properties and characterizations of meet uniform continuous posets are presented. The main results are:(1) A uniform complete poset L is meet uniform continuous iff ↑(U ∩↓ x) is a uniform Scott set for each x ∈ L and each uniform Scott set U;(2) A uniform complete poset L is meet uniform continuous iff for each∨∨x∈ L and each uniform subset S, one has x ∧S ={x ∧ s | s ∈ S}. In particular, a complete lattice L is meet uniform continuous iff L is a complete Heyting algebra;(3) A uniform complete poset is meet uniform continuous iff every principal ideal is meet uniform continuous iff all closed intervals are meet uniform continuous iff all principal filters are meet uniform continuous;(4) A uniform complete poset L is meet uniform continuous if L1 obtained by adjoining a top element1 to L is a complete Heyting algebra;(5) Finite products and images of uniform continuous projections of meet uniform continuous posets are still meet uniform continuous.  相似文献   

4.
利用偏序集上的半拓扑结构,引入了交C-连续偏序集概念,探讨了交C-连续偏序集的性质、刻画及与C-连续偏序集、拟C-连续偏序集等之间的关系.主要结果有:(1)交C-连续的格一定是分配格;(2)有界完备偏序集(简记为bc-poset)L是交C-连续的当且仅当对任意x∈L及非空Scott闭集S,当∨S存在时有x∧∨S=∨{x∧s:s∈S};(3)完备格是完备Heyting代数当且仅当它是交连续且交C-连续的;(4)有界完备偏序集是C-连续的当且仅当它是交C-连续且拟C-连续的;(5)获得了反例说明分配的完备格可以不是交C-连续格,交C-连续格也可以不是交连续格.  相似文献   

5.
This paper deals with the question under which circumstances filter-theoretical order convergence in a product of posets may be computed componentwise, and the same problem is treated for convergence in the order topology (which may differ from order convergence). The main results are:
  1. Order convergence in a product of posets is obtained componentwise if and only if the number of non-bounded posets occurring in this product is finite (1.5).
  2. For any product of posets, the projections are open and continuous with respect to the order topologies (2.1).
  3. A productL of chainsL i has topological order convergence iff all but a finite number of the chains are bounded. In this case, the order topology onL agrees with the product topology (2.7).
  4. If (L i :jJ) is a countable family of lattices with topological order convergence and first countable order topologies then order topology of the product lattice and product topology coincide (2.8).
  5. LetP 1 be a poset with topological order convergence and locally compact order topology. Then for any posetP 2, the order topology ofP 1?P 2 coincides with the product topology (2.10).
  6. A latticeL which is a topological lattice in its order topology is join- and meet-continuous. The converse holds whenever the order topology ofL?L is the product topology (2.15).
Many examples are presented in order to illustrate how far the obtained results are as sharp as possible.  相似文献   

6.
7.
引入偏序集的相对极大滤子的概念,证明在任意条件交半格中一个滤子是相对极大滤子当且仅当它是滤子格的完全交不可约元.一个格是分配的当且仅当每一个相对极大滤子都是素滤子.随后研究了Heyting代数中相对极大滤子的刻画,最后定义和研究了完全并既约生成格.  相似文献   

8.
连续偏序集及其Smyth幂的几个等权定理   总被引:2,自引:1,他引:1  
推广连续D om a in的权的概念到连续偏序集上,探讨连续偏序集的权、相应内蕴拓扑的权、定向完备化的权以及Sm yth幂D om a in的权间的关系。得到了几个等权定理:(1)连续偏序集的权与其上Scott拓扑、L aw son拓扑的权相等;(2)连续偏序集的权与其定向完备化的权相等;(3)无穷连续D om a in的权与其Sm yth幂D om a in的权相等;(4)有限D om a in的权小于或等于它的Sm yth幂D om a in的权。  相似文献   

9.
The main result of this paper is a generalization of the classical equivalence between the category of continuous posets and the category of completely distributive lattices, based on the fact that the continuous posets are precisely the spectra of completely distributive lattices. Here we show that for so-called hereditary and union complete subset selections Z, the category of Z-continuous posets is equivalent (via a suitable spectrum functor) to the category of Z-supercompactly generated lattices; these are completely distributive lattices with a join-dense subset of certain Z-hypercompact elements. By appropriate change of the morphisms, these equivalences turn into dualities. We present two different approaches: the first one directly uses the Z-join ideal completion and the Z-below relation; the other combines two known equivalence theorems, namely a topological representation of Z-continuous posets and a general lattice theoretical representation of closure spaces.  相似文献   

10.
Our paper studies the topology of uniform convergence on compact sets on the space of densely continuous forms (introduced by Hammer and McCoy (1997)), usco and minimal usco maps. We generalize and complete results from Hammer and McCoy (1997) concerning the space D(X,Y) of densely continuous forms from X to Y. Let X be a Hausdorff topological space, (Y,d) be a metric space and D k (X,Y) the topology of uniform convergence on compact sets on D(X,Y). We prove the following main results: D k (X,Y) is metrizable iff D k (X,Y) is first countable iff X is hemicompact. This result gives also a positive answer to question 4.1 of McCoy (1998). If moreover X is a locally compact hemicompact space and (Y,d) is a locally compact complete metric space, then D k (X,Y) is completely metrizable, thus improving a result from McCoy (1998). We study also the question, suggested by Hammer and McCoy (1998), when two compatible metrics on Y generate the same topologies of uniform convergence on compact sets on D(X,Y). The completeness of the topology of uniform convergence on compact sets on the space of set-valued maps with closed graphs, usco and minimal usco maps is also discussed.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号