共查询到20条相似文献,搜索用时 171 毫秒
1.
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))为严格完全正则序空间. 相似文献
2.
对一般子集系统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))为严格完全正则序空间。 相似文献
3.
利用偏序集上的半拓扑结构,引入了交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-连续格也可以不是交连续格. 相似文献
4.
5.
超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Cartesian闭范畴. 相似文献
6.
超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Cartesian闭范畴. 相似文献
7.
对于一般广义子集系统Z,引入了局部Z-空间和Z-连续空间的概念,讨论了局部Z-空间的基本性质;基于收敛网,给出了局部Z-空间的等价刻画,证明了X为Z-连续空间当且仅当X为局部Z-空间。 相似文献
8.
9.
10.
在偏序集中引入嵌入Z-基并根据嵌入Z-基建立Z-连续偏序集的表示定理.同时,我们将讨论抽象Z-基的Z-理想完备是Z-代数偏序集的条件.最后,我们深入探讨嵌入Z-基、Z-连续扩张和σz-集之间的关系. 相似文献
11.
连续并既约元及其在刻画Fuzzy关系方程解集中的应用 总被引:7,自引:0,他引:7
本文首先引入连续并既约元(是并既约元但不是完全并既约元的元)的概念,并讨论了它的性质,然后应用连续并既约元的性质去刻画完备Brouwer格上无限Fuzzy关系方程A☉X=b的解集(其中A=(aj)j∈J和b已知,b为连续并既约元,X= (xj)j∈JT未知,“☉”表示“sup-inf”,J为无限集):给出了方程存在可达解与不可达解的充要条件及可达解与不可达解的一些性质,进一步刻画了方程的解集. 相似文献
12.
This paper deals with sup-conjunctor composition fuzzy relational equations in infinite domains and on complete distributive lattices. When its right-hand side is a continuous join-irreducible element or has an irredundant continuous join-decomposition, a necessary and sufficient condition describing an attainable solution (resp. an unattainable solution) is formulated and some properties of the attainable solution (resp. the unattainable solution) are shown. Further, the structure of solution sets is investigated. 相似文献
13.
14.
15.
For a complete lattice C, we consider the problem of establishing when the complete lattice of complete congruence relations on C is a complete sublattice of the complete lattices of join- or meet-complete congruence relations on C. We first argue that this problem is not trivial, and then we show that it admits an affirmative answer whenever C is continuous for the join case and, dually, co-continuous for the meet case. As a consequence, we prove that if C is continuous then each principal filter generated by a continuous complete congruence on C is pseudocomplemented.
Received January 6, 1998; accepted in final form July 2, 1998. 相似文献
16.
Z-Continuous Posets and Their Topological Manifestation 总被引:3,自引:0,他引:3
Marcel Erné 《Applied Categorical Structures》1999,7(1-2):31-70
A subset selection Z assigns to each partially ordered set P a certain collection Z P of subsets. The theory of topological and of algebraic (i.e. finitary) closure spaces extends to the general Z-level, by replacing finite or directed sets, respectively, with arbitrary Z-sets. This leads to a theory of Z-union completeness, Z-arity, Z-soberness etc. Order-theoretical notions such as complete distributivity and continuity of lattices or posets extend to the general Z-setting as well. For example, we characterize Z-distributive posets and Z-continuous posets by certain homomorphism properties and adjunctions. It turns out that for arbitrary subset selections Z, a poset P is strongly Z-continuous iff its Z-join ideal completion Z P is Z-ary and completely distributive. Using that characterization, we show that the category of strongly Z-continuous posets (with interpolation) is concretely isomorphic to the category of Z-ary Z-complete core spaces. For suitable subset selections Y and Z, these are precisely the Y-sober core spaces. 相似文献
17.
We consider noncomplete continuous and algebraic lattices and prove that finitely generated free lattices are algebraic.
We also study the Lawson topology, the second most important topology in the theory of continuous domains, on finitely presented
lattices. In particular, we prove that algebraic finitely presented lattices are linked bicontinuous and the Lawson topology
on these lattices coincides with the interval topology. Several examples of non-distributive and noncomplete algebraic and
continuous lattices are given in the paper.
Received April 5, 2000; accepted in final form December 12, 2000. 相似文献
18.
Semicontinuous lattices 总被引:10,自引:0,他引:10
D. Zhao 《Algebra Universalis》1997,37(4):458-476
In this paper we introduce and study a new type of lattices, semicontinuous lattices, by using semiprime ideals. Such lattices
have many properties similar to that of continuous lattices, and are closely related to the theory of continuous lattices.
Received November 3, 1995; accepted in final form March 13, 1997. 相似文献
19.
We prove that on every separable complete atomic modular ortholattice (i.e.order topological) there exists an order continuous faithful valuation. We also give a construction of the existing order continuous faithful valuation. For separable atomic modular ortholattices we give a necessary and sufficient condition to admit an order continuous faithful valuation and we show that it is equivalent with the condition to have a modular MacNeille completion. We improve one statement on complete metric lattices from Birkhoff's Lattice Theory.
20.
Marcel Erné 《Order》1991,8(2):159-173
We introduce a special type of order-preserving maps between quasiordered sets, the so-called cut-stable maps. These form the largest morphism class such that the corresponding category of quasiordered sets contains the category of complete lattices and complete homomorphisms as a full reflective subcategory, the reflector being given by the Dedekind-MacNeille completion (alias normal completion or completion by cuts). Suitable restriction of the object class leads to the category of separated quasiordered sets and its full reflective subcategory of completely distributive lattices. Similar reflections are obtained for continuous lattices, algebraic lattices, etc. 相似文献