首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 156 毫秒
1.
证明φ-完备偏序集是(强)P连续的当且仅当该偏序集的任一主理想是(强)φ-连续的。在φ-完备偏序集中利用φ-S集族生成f-Scott拓扑,并由此引入φ-交连续偏序集概念。证明φ-完备偏序集是P交连续的当且仅当该偏序集的任一主理想是φ-交连续的。  相似文献   

2.
将一致小于关系移植到一般偏序集上,同时引入了上界小于关系,定义了偏序集的一致连续性和上界连续性.给出了一致连续偏序集的等价刻画,探讨了一致连续偏序集所具有的性质.主要结果有:(1)证明了偏序集上的一致连续性,上界连续性与s-超连续性均等价;(2)在交半格条件下,偏序集的一致连续性等价于它的每一主理想一致连续;(3)在并半格条件下,偏序集的一致连续性蕴含连续性,反之不成立;(4)一致完备的一致连续偏序集均是连续bc-dcpo,且每个主理想均为完全分配格;(5)在一致完备的条件下,一致连续性对主滤子,对闭区间,对Scott S-集以及对一致连续投射像均是可遗传的.文中也构造了若干实用的反例.  相似文献   

3.
引入了拟C-连续偏序集的概念,利用拟C-连续性证明了dcpo L是拟连续的当且仅当L上的Scott闭集格是拟连续格.证明了满足性质M的dcpo上的Scott闭集格都是C-代数格,从而给出了具有同构Scott闭集格的两dcpo同构的新的充分条件.  相似文献   

4.
引入了FS-偏序集和连续L-偏序集概念,探讨了FS-偏序集和连续L-偏序集的性质.主要结果有(1)每一FS-偏序集都是有限上集生成的,因而是Scott紧的;(2)证明了FS-偏序集(连续L-偏序集)的定向完备化是FS-偏序集(连续L-偏序集);(3)一个偏序集是一个FS-Domain当且仅当它为Lawson紧的FS-偏序集;(4)FS-偏序集(连续L-偏序集)去掉部分极大元后还是FS-偏序集(连续L-偏序集).  相似文献   

5.
利用cut算子,在偏序集上引入网的下极限收敛概念,讨论了它的一些性质,特别地,对任意包含于σ2-拓扑的序相容拓扑τ,证明了一偏序集是τ-连续的当且仅当S-收敛是拓扑的当且仅当它是交τ-连续的且下极限收敛是拓扑的.  相似文献   

6.
本文在偏序集上引入Scott S-集、S-基、弱逼近元等概念,得到S-超连续偏序集的几个新的刻画。证明了偏序集是S-超连续的当且仅当任不同两点可由主滤子与Scott S-集分离当且仅当它有S-基。证明了有界完备偏序集(简记为bc-poset)L是S-超连续的当且仅当任不同两点可由Scott S-余滤子集分离当且仅当完全双小于关系■具有插值性质,且L中不同点决定的完全双小于下集也不同。  相似文献   

7.
讨论了L-连续偏序集的M性质与有限分离性质之间的关系,主要结果: (1)若P为L-连续偏序集,则P是有限卜集生成,而且满足M性质当且仅当它的定向完备化为FS-domain(有限分离的domain);(2)若P为相容L-domain,则P是有限上集生成,而且满足M性质当且仅当它为相容FS-domain.  相似文献   

8.
强Raney偏序集   总被引:1,自引:1,他引:0  
引入强Raney偏序集的概念,讨论了强Raney偏序集的一些性质,证明了强Raney偏序集为超代数偏序集,定向完备的偏序集为强Raney偏序集当且仅当它既是Raney偏序集也是A-偏序集.  相似文献   

9.
主要讨论模糊偏序集上理想完备性的本质.并得到以下结论:模糊偏序集的理想完备是幂等的当且仅当理想完备上的广义Scott拓扑与Alexandroff拓扑是一致的.  相似文献   

10.
Z-拟连续domain上的Scott拓扑和Lawson拓扑   总被引:16,自引:0,他引:16  
对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σZ(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σZ(P)是Sober的当且仅当σZ(P)具有Rudin性质,P贼予Z-Lawson拓扑λZ(P)是pospace,且若P上的Z-Lawson开上集是Z-Scott开的,Z-Lawson开下集是下拓扑开的,则(P,λZ(P))为严格完全正则序空间.  相似文献   

11.
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.  相似文献   

12.
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.  相似文献   

13.
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.  相似文献   

14.
Generators and lattice properties of the poset of complete homomorphisic images of a completely distributive lattice are exploited via the localic methods. Some intrinsic and extrinsic conditions about this poset to be a completely distributive lattice are given. It is shown that the category of completely distributive lattices is co-well-powered,and complete epimorphisms on completely distributive lattice are not necessary to be surjections. Finally, some conditions about complete epimorphisms to be surjections are given.  相似文献   

15.
For a given finite poset , we construct strict completions of P which are models of all finite lattices L such that the set of join-irreducible elements of L is isomorphic to P. This family of lattices, , turns out to be itself a lattice, which is lower bounded and lower semimodular. We determine the join-irreducible elements of this lattice. We relate properties of the lattice to properties of our given poset P, and in particular we characterize the posets P for which . Finally we study the case where is distributive. Received October 13, 2000; accepted in final form June 13, 2001.  相似文献   

16.
In this paper, the concept of strongly continuous posets (SC-posets, for short) is introduced. A new intrinsic topology—the local Scott topology is defined and used to characterize SC-posets and weak monotone convergence spaces. Four notions of continuity on posets are compared in detail and some subtle counterexamples are constructed. Main results are: (1) A poset is an SC-poset iff its local Scott topology is equal to its Scott topology and is completely distributive iff it is a continuous precup; (2) For precups, PI-continuity, LC-continuity, SC-continuity and the usual continuity are equal, whereas they are mutually different for general posets; (3) A T0-space is an SC-poset equipped with the Scott topology iff the space is a weak monotone convergence space with a completely distributive topology contained in the local Scott topology of the specialization order.  相似文献   

17.
In this paper, we study the order structure—supercontinuous poset, a generalization of completely distributive lattice. The Cartesian product of supercontinuous posets and some other properties of supercontinuous posets are investigated. Also, the case of superalgebraic posets are studied and some remarks on the category of supercontinuous posets are given.  相似文献   

18.
61. Introduction and PreliminariesLet C be a nonempty subset Of a Banal spare X. Then a mapping T: C -- C is saidto be a LiPSdrizian maPPing if, for ear integer n 2 1, there eallts a constant km > 0' such that Ilaal ~ chill S k.llx ~ all for all ale E C. A Lipschitzian mapping T is saidto be ~ k-LiPSdszian if km = k for all n 2 1, nonerpansive if km = 1 for alln 2 1, eleCtively. Moreover, a maPPing T: C - C is called asymptotically regularll'191if Asllgu 'z ~ chill = 0 for all 2 E…  相似文献   

19.
Funayama’s theorem states that there is an embedding e of a lattice L into a complete Boolean algebra B such that e preserves all existing joins and meets in L iff L satisfies the join infinite distributive law (JID) and the meet infinite distributive law (MID). More generally, there is a lattice embedding e: LB preserving all existing joins in L iff L satisfies (JID), and there is a lattice embedding e: LB preserving all existing meets in L iff L satisfies (MID). Funayama’s original proof is quite involved. There are two more accessible proofs in case L is complete. One was given by Grätzer by means of free Boolean extensions and MacNeille completions, and the other by Johnstone by means of nuclei and Booleanization. We show that Grätzer’s proof has an obvious generalization to the non-complete case, and that in the complete case the complete Boolean algebras produced by Grätzer and Johnstone are isomorphic. We prove that in the non-complete case, the class of lattices satisfying (JID) properly contains the class of Heyting algebras, and we characterize lattices satisfying (JID) and (MID) by means of their Priestley duals. Utilizing duality theory, we give alternative proofs of Funayama’s theorem and of the isomorphism between the complete Boolean algebras produced by Grätzer and Johnstone. We also show that unlike Grätzer’s proof, there is no obvious way to generalize Johnstone’s proof to the non-complete case.  相似文献   

20.
The category of bounded distributive lattices with order-preserving maps is shown to be dually equivalent to the category of Priestley spaces with Priestley multirelations. The Priestley dual space of the ideal lattice L of a bounded distributive lattice L is described in terms of the dual space of L. A variant of the Nachbin-Stone-ech compactification is developed for bitopological and ordered spaces. Let X be a poset and Y an ordered space; X Y denotes the poset of continuous order-preserving maps from Y to X with the discrete topology. The Priestley dual of L P is determined, where P is a poset and L a bounded distributive lattice.  相似文献   

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

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