共查询到17条相似文献,搜索用时 62 毫秒
1.
2.
证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R0-代数的充分必要条件。 相似文献
3.
Heyting代数的模糊滤子格 总被引:1,自引:0,他引:1
刘春辉 《山东大学学报(自然科学版)》2013,(12):57-60
结合模糊集和滤子理论,对Heyting代数的模糊滤子概念作进一步研究。引入Heyting代数的由一个模糊集生成的模糊滤子的概念并获得了它的表示定理。在Heyting代数的全体模糊滤子之集上定义了格运算和蕴涵运算,证明了按此方式定义了格运算和蕴涵运算之后,全体模糊滤子之集形成一个完备Heyting代数的结论。 相似文献
4.
5.
Heyting代数成为Boole代数的条件及其特征 总被引:1,自引:0,他引:1
王国俊 《陕西师范大学学报(自然科学版)》1991,(4)
给出了Heyting代数成为Boole代数的几个充要条件.即Heyting代数H(,→)为Boole代数当且仅当如下条件之一成立:■a=a,■a∨a=1;或■H=H(■a=a→0).并研究了Heyting代数的自身特征. 相似文献
6.
利用Heyting代数的布尔元得到了Heyting代数的一种直积分解表示。基于Heyting代数的这种分解,证明了有限Heyting代数可通过依次替换布尔代数中的原子为Heyting代数而得到。该结论揭示了Heyting代数与布尔代数之间的一种新的关系。 相似文献
7.
刘春辉 《山东大学学报(理学版)》2019,(2)
运用代数学与模糊集的方法和原理对Heyting代数的模糊滤子理论作进一步深入研究。引入了Heyting代数(H,≤,→)的模糊滤子f关于H上模糊子集μ的扩张模糊滤子和不变模糊滤子概念,获得了扩张模糊滤子和不变模糊滤子的若干性质。建立了扩张模糊滤子和生成模糊滤子间的关系,并利用这一关系给出了扩张模糊滤子在格结构研究中的应用,证明了一个Heyting代数(H,≤,→)的全体模糊滤子之集FFil(H)的3个特殊子集关于模糊集合包含序都构成完备Heyting代数。 相似文献
8.
记A为一个Banach代数,说明了A的构成,验证了A是代数中的交换环而且A具有平性凸性质,讨论了A的一个理想的具体结构。 相似文献
9.
在有零元的Heyting代数上定义了一种运算 ,并讨论了这种运算和Heyting代数上nucleus的一系列性质. 相似文献
10.
本文目的在于对任一完备Heyting代数M,引入M的L-fuzzy素元的概念,并在这些L-fuzzy素元之集上赋予一自然的L-fUzzy拓扑,这样得到的L-fuzzy拓扑空间称为M的L-fuzzy谱.其次讨论该拓扑空间的拓扑性质与M的代数性质及M的分明谱之间的关系.文中L记一具有逆序对合对应的完全分配格,M,N记完备Heyting代数.f:M→N称为frame映射,若f保并及有限交. 相似文献
11.
刘春辉 《山东大学学报(理学版)》2022,57(11):10-20
为了利用拓扑学工具研究有界Heyting代数的性质和结构问题,基于由理想概念诱导的一类同余关系在有界Heyting代数(H,≤,→,0,1)上构造一致拓扑空间(H,τ)并考察其基本性质和拓扑性质,证明了(H,τ)是非连通的局部连通、局部紧、零维、第一可数的完全正则空间,(H,τ)是T1空间当且仅当(H,τ)是Hausdorff空间,获得了(H,τ)成为离散空间和紧致空间的充要条件,指出了(H,≤,→,0,1)中格运算和蕴涵运算关于一致拓扑τ都是连续的,从而构成拓扑有界Heyting代数。同时,讨论了(H,τ)的商空间性质。 相似文献
12.
Heyting代数中同余关系的简化 总被引:1,自引:1,他引:0
给出了Heyting代数中同余关系的一种简单定义,这种定义并不改变全体滤子和全体同余关系之间的一一对应性,并且借助滤子证明了这种定义是Heyting代数作为泛代数的同余关系的简化。最后证明了全体滤子之集作为完备格同构于全体同余关系之集。 相似文献
13.
Heyting代数是一类重要的代数。我们指出Heyting代数定义中的某个条件可略去,从而简化定义。 相似文献
14.
定义并讨论了Heyting代数中的直觉模糊滤子及其性质.给出了直觉模糊格滤子与直觉模糊滤子的关系,得到了直觉模糊滤子的几个等价条件. 相似文献
15.
陈引兰 《湖北师范学院学报(自然科学版)》2007,27(2):5-7
在《正交模格FMO2(n)上的代数结构》的基础上,讨论了一般正交模格上的次BL代数性质,得到了比《正交模格FMO2(n)上的代数结构》更为广泛的结果。 相似文献
16.
给出了BCI-代数X的p-半单部分SP(X)作成理想的几个充要条件.即SP(X)是X的理想当且仅当如下条件之一成立:a∈SP(X),右乘映射ar是单射;a∈SP(X),ar在P(X)上的限制是单射;X是P(X)与SP(X)的直积 相似文献
17.
令M 是Z?v?的由v?1和奇素数p生成的理想,U是A=Z?v?M 上相伴于对称Cartan矩阵的量子代数。若U模M 作为A模是有限生成的,则称M 为有限型U模。给出了量子代数有限型模权空间的若干性质。 相似文献