共查询到10条相似文献,搜索用时 562 毫秒
1.
引入了强smooth格的概念,讨论了smooth格与强smooth格的一些基本性质,证明了强smooth格可用保任意交和Scott闭集之并的映射嵌入到某方体[0,1]X之中. 相似文献
2.
3.
4.
对完备格引入半素极小集的概念,证明完备格L为半连续格当且仅当L中的每个元在L中存在半素极小集,给出半连续格的两个序同态扩张定理. 相似文献
5.
6.
强Ockham代数与剩余格 总被引:1,自引:1,他引:0
首先讨论了Ockham代数与剩余格的关系,引入了强Ockham代数的概念,并讨论了它的基本性质.然后,将著名的风蕴涵和风算子推广到Ockham代数上,证明了添加广义R0蕴涵和广义风算子后的Ockham代数L成为剩余格的充要条件是L为强Ockham代数.最后给出若干重要例子,以此来说明强Ockham代数的条件是独立的. 相似文献
7.
DR0代数:由De Morgan代数导出的正则剩余格 总被引:3,自引:0,他引:3
首先讨论了De Morgan代数与剩余格的关系,并引入强De Morgan代数的概念,讨论了它的基本性质.随后,将著名的R0蕴涵拓广到De Morgan代数上,称为广义R0蕴涵;证明了添加广义凰蕴涵和相应 算子后的De Morgan代数L成为剩余格的充要条件是L为强De Morgan代数,并由此引入D‰代数的概念.接着,研究了DR0代数与‰代数的关系,证明了以下结论:Boole代数是DR0代数;全序DR0代数和全序R0代数等价;DR0代数是R0代数当且仅当它满足预线性条件;无中点的DR0代数是BL代数当且仅当它是Boole代数.最后,举例说明了非D兄D代数的RD代数、以及非R0代数的DR0代数都是存在的. 相似文献
8.
给出广义λ超连续格的几个刻画。特别地,我们证明了完备格L上的λ-区间拓扑θλ(L)是严格T2的L是广义λ超连续格L上的关系是广义λ正则的。 相似文献
9.
10.
设L是赋范线性空间上的子空间格,一个子空间是自反AlgL-模的充分必要条件被得到,当L是完全分配子空间格时,自反AlgL-模的二次交换子被描述,进而,本文引入V-生成子稠格,这是一种严格地包含了完全分配格和五角格的格类。当L是可换的V-生成子稠格时,模模交换子C(AlgL;M)和代数AlgLatM都被分解成直和,并且满足条件H~1(AlgL,B(H))=0的一阶上同调空间H~1(AlgL,M)被刻划。 相似文献