共查询到20条相似文献,搜索用时 109 毫秒
1.
格环上的Fuzzy同余关系 总被引:2,自引:2,他引:0
给出了格环上Fuzzy同余关系的定义,研究了它的若干性质,证明了格环上的全体Fuzzy同余关系关于Fuzzy集合的包含关系构成一个模格,并利用Fuzzy同余类给出了Fuzzy同余商格环的定义及其同态、同构的若干性质。 相似文献
2.
何佩纶 《西北师范大学学报(自然科学版)》1978,(5)
设■是一个含恒等元的整环,且包含有理数域为其子域,则(?)中一切正则元所成的集合P对乘法构成一个群,即■的正则群。取a∈P,则a有逆元b∈P;因为■包含有理数域,故可令a=1-nz,b=1-nω(n正整数),我们有 1=ab(1-nz)(1-nw)=1-n(z+w-nzw),从而 相似文献
3.
以交换单位quantale为取值格,研究了模糊完备格上的模糊G-理想。首先,给出了模糊G-理想的定义,证明了由X×Y上的所有模糊G-理想构成的集合在包含度下是一个模糊完备格。其次,研究了模糊G-理想和模糊Galois伴随之间的关系,证明了由X×Y上的模糊G-理想构成的模糊完备格与X和Y之间的模糊Galois伴随构成的模糊完备格相互同构。 相似文献
4.
赵彬 《陕西师范大学学报(自然科学版)》1994,(2)
利用完备格上的关系,在一族分子格{Li}i∈I的直积上引入了二元关系,讨论了关系的一些基本性质.借助于关系,在引入了下集的概念,证明了中的所有下集全体按集合包含序构成一个分子格.由此得到了一族分子格在分子格范畴中的乘积结构,并且给出了乘积对象中的全体分子与完全分子.最后证明了一族强分子格在分子格范畴中的乘积对象仍然是强分子格. 相似文献
5.
在剩余格中引入生成Fuzzy(P)滤子的概念并给出了它的结构。证明了剩余格中的Fuzzy(P)滤子之集构成完备的分配格,并在全体Fuzzy(P)滤子之集上引入运算""和"→",证明了剩余格中的部分Fuzzy(P)滤子之集添入特殊的零元得到的集合带上这两个运算构成剩余格。 相似文献
6.
描述逻辑中含有循环定义的TBox通常使用固定点模型来刻画循环定义的语义,对于固定点模型,不仅需要研究其存在性,还需要研究模型之间的关系,如是否存在最大、最小固定点模型。TBox中所有模型扩展集合上的偏序关系可以诱导出格结构,而且是完备格,现有的研究得出的一些结论主要是针对此完备格。考虑在特定固定点下,概念解释域上的偏序关系同样可以诱导出格。对这种格进行研究得出了一些有益的结论,这些结论为深入研究循环描述逻辑语义提供了新的思路。 相似文献
7.
张玉琦 《内蒙古师范大学学报(自然科学版)》2004,33(2):124-127
证明了如下结果:设L是完备格,L是完备集环←→L同构到L的完全并既约元有限生成的分配并半格F上的理想格I(F),完备格L同构到一个格K的理想格I(K),L是完备集环←→K是强Sober格。 相似文献
8.
将有界格上的t-模T应用于剩余格的滤子和同余上,提出了剩余格的TL-滤子与TL-同余关系。首先,研究TL-滤子与TL-同余的性质与一些等价刻画。得到了TL-滤子的集合与TL-同余关系的集合是同构的。最后研究了剩余格的商结构与同态定理,这些理论在其他逻辑代数系统中依然成立。 相似文献
9.
张玉琦 《内蒙古师范大学学报(自然科学版)》2005,34(1):19-22
得到了如下结果:①完备集环L是Stone代数当且仅当L的每个完备素滤子仅包含在L的一个极大滤子中;②完备集环L是Stone代数当且仅当L是直积不可约Stone代数的直积;③完备集环L是Lukasiewicz三值代数当且仅当L同构到一个幂集格. 相似文献
10.
杨鼎文 《西北师范大学学报(自然科学版)》1982,(2)
本文主要叙述子空间格在射影几何中的一些应用,将子空间格与射影空间、子空间格之间的同构映射与射影对应、零化映射与对偶原理联系起来,最后并归结为一类特殊的范畴与函子。 (一)子空间格与射影空间设V是实数域R上的有限维向量空间,P(V)是V的所有子空间做成的集,则p(V)关于集的包含关系 相似文献
11.
12.
完备格上Fuzzy关系方程的解是极小元的一个充要条件 总被引:1,自引:9,他引:1
王学平 《四川师范大学学报(自然科学版)》2002,25(6):591-594
在完备格L上给出方程∨j∈J(aj∧xj) =b的解集非空时 ,解集中的解是极小元的一个充要条件及解集中的解有极小元的一个充分条件 .讨论了与格论有关的一些性质 ,并给出了一个开问题 . 相似文献
13.
对于有限集合x上的任—等价关系E,本文找到了另一类正则a—半群,它所诱导的完全格恰为{δ}U[E,ω],并且这个半群比[6]中给出的正则a—半群具有更小的基数。 相似文献
14.
15.
基于对闭包运算的性质研究,引入了闭包算子以及同一集合上的闭包算子之间的通常序关系概念,构造出同一集合上的闭包算子关于通常序的上下确界,使得同一集合上的所有闭包算子关于定义的算子间的通常序构成完备格(闭包算子格).同时证明了闭包算子格不满足分配性。 相似文献
16.
17.
李金龙 《安徽大学学报(自然科学版)》2017,41(1)
给出一种求BCH-代数商代数的十分方便的方法,证明了0*x=0*yx*y∈B(X),并给出一个BCH-代数成为广义结合BCI-代数的两个条件.在BCH-代数中提出不变子代数的概念,证明了一个BCH-代数的两个不变子代数的交和并仍然是一个不变子代数,〈Q(X),∪,∩〉是一个分配格,其中Q(X)是一个BCH-代数中所有不变子代数做成的集合. 相似文献
18.
耿建敏 《首都师范大学学报(自然科学版)》1999,20(4):13-16
M.H.stone 已证明:对于分配格,存在一个集合,使得它格同构于这个集的幂集格的一个子格.对于完全分配格,可知它格同构于[0 ,1] 的某个幂的子完备格.本文探讨完备格的表示,给出了它的一种表示 相似文献
19.
关于广义格半群 总被引:2,自引:0,他引:2
王文良 《广西师范学院学报(自然科学版)》2002,19(3):7-10
引入广义格半群的概念,进而对广义格半群与格半群以及相应的理想和sl理想的相互关系及区别进行了讨论,指出格半群是广义格半群,反之则不一定,在广义格半群中理想集I(S)是完备格,而sl理想集却不能构成格,在格半群中,sl理想集是格,但是两个sl理想的上确界不等于其并,广义格半群中的理想均能生成sl理想。 相似文献