首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
在最广泛的完备格框架下引入了一种新的代数结构,即三角结构,它是L上满足适当条件的一种关系。在一定条件下L上的三角结构与L上的自映射可以互相转化。基于这一事实,内部算子、闭包算子、近性结构(proximity)以及近年来在完全分配格上建立的拟一致结构理论和Katsaras在Fuzzy集框架下提出的泛拓扑结构(Syntopogenous Structure)理论等都可以统一于三角结构理论之中。  相似文献   

2.
证明了对每个给定的有限集合x,(Qu(x),∈)与(r(x),∈)完备格同构,其中QU(X)是x上的全体拟一致结构,T(x)是X的全体拓扑,∈均为集合意义下的包含序。  相似文献   

3.
M.H.stone 已证明:对于分配格,存在一个集合,使得它格同构于这个集的幂集格的一个子格.对于完全分配格,可知它格同构于[0 ,1] 的某个幂的子完备格.本文探讨完备格的表示,给出了它的一种表示  相似文献   

4.
证明了对每个给定的集合X,可以在QP(X)(X上拟邻近结构的全体)上赋予适当的序关系<,使得(QP(X),<)是与(TQU(X),<)同构的完备格,其中TQU(X)是X上全有界拟一致结构的全体.因此,可以用拟邻近结构确定集合X上的全有界拟一致结构.  相似文献   

5.
研究定义在完备格上的“超分子”的有关性质,并讨论它和分子、强分子之间的关系,并在此基础上证明了在|L|=2^n时,SM(L)=M(L)。  相似文献   

6.
完备格上的完全素滤子   总被引:1,自引:0,他引:1  
讨论了完备格上完全素滤子的性质,借助于完全素滤子,给出完全分配格的刻划。  相似文献   

7.
本文研究了σ-完备F-格成为完备格的充分条件,证明了满足条件(A)|x|<|y| 导致‖x‖<‖y‖,(B)0≤x_n↓0导致{x_n}是Cauchy列.中任意一个的σ-完备F-格都是完备格.  相似文献   

8.
9.
在模糊完备格中引入模糊完备格同余关系的概念,讨论了模糊完备格同余与模糊闭包算子之间的关系.证明了一个模糊完备格上的模糊同余关系之集构成的模糊偏序集模糊序同构于其上的模糊闭包算子之集构成的模糊偏序集.给出了模糊完备格同余的商的概念,证明了任一模糊完备格满同态的像都模糊序同构于由该模糊完备格同态所诱导的同余关系的商.  相似文献   

10.
完备格上的拟t-模与蕴涵算子   总被引:4,自引:0,他引:4  
引入并讨论完备格L上的拟t-模与剩余蕴涵的概念,研究了L上拟t-模与剩余蕴涵之间的关系,给出求一个已知拟t-模或剩余蕴涵的剩余算子的方法,并指出[0,1]上的两类基本蕴涵和Yager蕴涵都是可以由[0,1]上的拟t-模诱导的剩余蕴涵.  相似文献   

11.
给出了由偏序集生成的自由Dcpo及自由并完备格和由并半格生成的强自由Dcpo及强自由完备格的结构,分别讨论了它们的性质,证明了偏序集与并半格分别可以序嵌入到自由Dcpo、自由并完备格与强自由Dcpo、强自由并完备格.  相似文献   

12.
讨论了完备格上完全素滤子的性质,借助于完全素滤子,给出了完全分配格的刻划  相似文献   

13.
完备Brouwerian格上Fuzzy关系方程极小解存在的一 …   总被引:1,自引:1,他引:0  
在完备Brouwerian格上证明如果方程....的角集A非空且b有不可约既分解,则↓AX∈A2,至少存在A2的一个极小元X*满足X*≤X。  相似文献   

14.
完备半格范畴的反射与余反射子范畴   总被引:1,自引:0,他引:1  
构造性地证明了以有左(右)伴随的Scott连续函数为态射的连续完备半格范畴和Scottdomain范围,是完备半格范畴的余反射(反射)子范畴。  相似文献   

15.
完备格上的广义Pawlak近似算子   总被引:1,自引:1,他引:0  
波兰学者Z.Pawlak引入的Rough集理论,在计算机科学和信息科学等方面有着广泛的应用。但它只是在一般论域上利用等价关系,对集合引入上、下近似算子。我们将这种算子推广到具有逆对合对应的完备格上。证明推广后的算子与Z.Pawlak原先的算子理论,具有完全类似的特性。对Pawlak的Rough集理论,进行了实质性的改进与推广,应用范围更广。  相似文献   

16.
给出了超因子元的概念,然后讨论了完备格中超因子的性质,得到了一个超因子元是连续并既约元的一些等价条件.运用超因子刻画了有补模格的部分结构,并得到了一个完备格L是Boole格的充要条件是格L是下连续的分配格,且任意非零元只有零超因子.  相似文献   

17.
利用完备Brouwerian格L上t-模T给出L上矩阵的各种运算,在此基础上研究L上T-矩阵方程A°TX=B的求解问题,给出它们有解的条件.当方程的解存在时,其最大解被确定.  相似文献   

18.
完备格上Fuzzy关系方程的解是极小元的一个充要条件   总被引:1,自引:9,他引:1  
在完备格L上给出方程∨j∈J(aj∧xj) =b的解集非空时 ,解集中的解是极小元的一个充要条件及解集中的解有极小元的一个充分条件 .讨论了与格论有关的一些性质 ,并给出了一个开问题 .  相似文献   

19.
完备Brouwerian格上Fuzzy关系方程极小解存在的一个充分条件   总被引:8,自引:5,他引:3  
在完备Brouwerian 格上证明如果方程∨i∈J( ai ∧xi) = b 的解集X2 非空且b 有不可约完全并既分解,则X∈X2 ,至少存在X2 的一个极小元X* 满足X* ≤X.  相似文献   

20.
完备Brouwerian格上Fuzzy关系方程极小解的一些性质   总被引:7,自引:6,他引:1  
讨论了完备Brouwerian格上Fuzzy关系方程,当Fuzzy关系方程的解集非空时,首先给出了解集中的解是极小解的一个充要条件,然后得到了方程极小解的一些不变性,根据这些不变性可以由一个极小解构造出其他的一些极小解.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号