共查询到18条相似文献,搜索用时 109 毫秒
1.
2.
3.
本文在完备格中引入φ S集的概念,并在讨论φ S集族性质的基础上给出φ 连续格的一族拓扑及格论刻划,用局部超紧的Sober空间范畴给出完全分配格的拓扑表示定理 相似文献
4.
为探讨分子格的乘积的既约性和乘积的既约分解,文献[1]提出了分子格的既约度和分解度的概念,本文是[1]的继续,进一步给出了分子格的既约度与分解度的一些性质,证明了关于分子格乘积的全体主子格之集的基数的一个定理,以及得出了一族分子格的乘积是既约分子格的一个充要条件,此外,本文还证明了分子格范畴中乘积对上积的完全分配性是自然同构,改正了[1]中对这一结论的证明。 相似文献
5.
本文构造了在完备格上模糊集范畴.利用极小扩展原则和范畴的性质,获得了函子Uα构成集合范畴上的模结构,推广了P.Eklund的结论. 相似文献
6.
完全分配格的谱论与拓扑分子格 总被引:1,自引:1,他引:0
本文借助于完全分配格的谱理论是首先证明分子格范畴同构于某连续偏序集范畴子范畴,然后利用上述同构,证明分子格上余拓扑同构于其中分子之集上。与分子序密切相关的某分明拓扑,从而就给“重域”“远域”这两个基本概念以合理解释,并证明许多拓扑分子格性质的研究可以化为相应的拓扑空间性质的研究.“重域”概念的引入,使 fuzzy 拓扑学的研究发生了根本变化,导致了有点派的兴起。而“远域”的引入,则导致因更广的拓扑分子格理论的产生,从而把 Fuzzy 拓扑为学纳入了拓扑格的范畴.本文中我们首先建立分子格范畴与连续偏序集范畴某子范畴的同构,从而把二者的研究紧密结合起来,然后借助上述同构把拓扑分子格中的问题的研究化为连续偏序集中问题去考虑,通过这种转化,我们将会看到,“重域”,“远域”等基本概念确为 fuzzy 拓扑学,拓扑分子格中唯一合理的点与集合的邻属关系,而择一原理这条fuzzy 拓扑学中的基本原理成立的原因也就变得很清楚。本文中凡未定义的概念请参看[4]. 相似文献
7.
ψ—连续格的刻划与完全分配格的拓扑表示定理 总被引:2,自引:0,他引:2
本文在完备格中引入ψ-S集的概念,并在讨论ψ-S集族性质的基础上给出-ψ-连续格的一族拓扑及格论刻划,用局部超紧的Sober空间范畴给出完全分配格的拓扑表示定理。 相似文献
8.
9.
10.
系统研究了Quantic格范畴。证明了Quantic格范畴有等子、余等子。给出了Quantic格范畴中的极限和逆极限结构,从而说明了Quantic格范畴是完备范畴。 相似文献
11.
12.
This paper presents a unified account of a number of dual category equivalences of relevance to the theory of canonical extensions
of distributive lattices. Each of the categories involved is generated by an object having a two-element underlying set; additional
structure may be algebraic (lattice or complete lattice operations) or relational (order) and, in either case, topology may
or may not be included. Among the dualities considered is that due to B. Banaschewski between the categories of Boolean topological
bounded distributive lattices and the category of ordered sets. By combining these dualities we obtain new insights into canonical
extensions of distributive lattices.
The second author was supported by Slovak grants VEGA 1/3026/06 and APVV-51-009605. 相似文献
13.
A topological molecular lattice (TML) is a pair (L, T), where L is a completely distributive lattice and r is a subframe of L. There is an obvious forgetful functor from the category TML of TML‘s to the category Loc of locales. In this note,it is showed that this forgetful functor has a right adjoint. Then, by this adjunction,a special kind of topological molecular lattices called sober topological molecular lattices is introduced and investigated. 相似文献
14.
For a complete quasi-monoidal lattice L, with some additional properties, we consider the category of L-filtered sets with fixed basis L, and we find out a functorial relation from this category to that of the L-fuzzy topological spaces. On the other hand, a morphism in the category of complete quasi-monoidal lattices allows us to establish a pair of adjoint functors (change of basis) between the corresponding categories of L-filterd sets. 相似文献
15.
16.
Friedrich Wehrung 《Algebra Universalis》2005,53(2-3):149-173
Various embedding problems of lattices into complete lattices are solved. We prove that for any join-semilattice S with the minimal join-cover refinement property, the ideal lattice Id S of S is both algebraic and dually algebraic. Furthermore, if there are no infinite D-sequences in J(S), then Id S can be embedded into a direct product of finite lower bounded lattices. We also find a system of infinitary identities that characterize sublattices of complete, lower continuous, and join-semidistributive lattices. These conditions are satisfied by any (not necessarily finitely generated) lower bounded lattice and by any locally finite, join-semidistributive lattice. Furthermore, they imply M. Erné’s dual staircase distributivity.On the other hand, we prove that the subspace lattice of any infinite-dimensional vector space cannot be embedded into any ℵ0-complete, ℵ0-upper continuous, and ℵ0-lower continuous lattice. A similar result holds for the lattice of all order-convex subsets of any infinite chain.Dedicated to the memory of Ivan RivalReceived April 4, 2003; accepted in final form June 16, 2004.This revised version was published online in August 2005 with a corrected cover date. 相似文献
17.
Toby Kenney 《Algebra Universalis》2010,64(3-4):313-338
In 1970, H. Werner considered the question of which sublattices of partition lattices are congruence lattices for an algebra on the underlying set of the partition lattices. He showed that a complete sublattice of a partition lattice is a congruence lattice if and only if it is closed under a new operation called graphical composition. We study the properties of this new operation, viewed as an operation on an abstract lattice. We obtain some necessary properties, and we also obtain some sufficient conditions for an operation on an abstract lattice L to be this operation on a congruence lattice isomorphic to L. We use this result to give a new proof of Grätzer and Schmidt’s result that any algebraic lattice occurs as a congruence lattice. 相似文献
18.
本文引入了Z-连通集系统的概念,讨论了Z-连通连续偏序集的一系列性 质,证明了Z-连通连续偏序集范畴对偶等价于完全分配格范畴的一个满子范畴. 相似文献