二元模糊关系范畴的对称幺半范畴性.pdf
《二元模糊关系范畴的对称幺半范畴性.pdf》由会员分享,可在线阅读,更多相关《二元模糊关系范畴的对称幺半范畴性.pdf(9页珍藏版)》请在咨信网上搜索。
1、二元模糊关系范畴的对称幺半范畴性周鑫1,2,刘淼1,2*(1.伊犁师范大学数学与统计学院,新疆伊宁835000;2.伊犁师范大学应用数学研究所,新疆伊宁835000)LbRelLbRelLbRelLbRelLbRelLSetRelLL摘要:结合模糊关系范畴的概念给出了二元模糊关系范畴的概念.首先,讨论了范畴的积和余积的结构.其次,定义了张量积函子,得到了是对称幺半范畴.进而,给出了范畴中的幺半群和余幺半群结构.最后,以二元模糊关系范畴作为纽带,构造了一个从模糊集范畴到模糊关系范畴的忠实函子.关键词:模糊关系;二元模糊关系;范畴;函子;对称幺半范畴中图分类号:O159文献标志码:A文章编号:02
2、587971(2024)02021909二元关系是一个非常重要的数学概念,诸如等价关系、同余关系、序关系等关系在数学结构和数学构造中普遍存在.1965 年,Zadeh1引入了模糊关系的定义,并在文献 2 中给出了模糊相似关系、模糊序等概念.此后,模糊关系便成为了模糊理论最基础的概念之一,并成为了在模糊理论应用方面最常用的数学工具之一.模糊关系范畴在理论研究方面受到了许多数学工作者的关注3-7,在实践方面也得到了广泛的应用8-17.近年来,由于对称幺半范畴在逻辑学18、计算机科学19、机器学习20、量子力学21等方面的大量应用,使得讨论模糊关系的对称幺半范畴性质得到了发展,Harding 等22
3、最先研究了模糊关系范畴的幺半范畴结构,Jencova 等23讨论了关系幺半群范畴中的单子与模格的关系,Alcantara 等24系统地研究了 3 类常见模糊关系范畴的对称幺半范畴性质,文献 25 对模糊 L-关系范畴的对称幺半范畴性质进行了讨论.LbRelLRelLbRelLbRelLbRelLbRelLSetRelLL本文结合上述研究成果,主要对模糊理论中非常常见的二元模糊关系范畴的范畴性质进行了探讨.首先,通过模糊关系范畴给出了二元模糊关系范畴的概念,通过对中 2 个对象的积和余积的结构的刻画,得到二元模糊关系范畴中任意 2 个对象都具有双积结构.其次,给出了中的一个张量积函子,证明了二元
4、模糊关系范畴具有对称幺半范畴结构.进而,给出了二元模糊关系范畴中的幺半群和余幺半群结构.最后,以二元模糊关系范畴作为纽带,构造了一个从模糊集范畴到模糊关系范畴的忠实函子.1基本概念x,y,z Lx xx y,y x x=yx y,y z x z(L,)定定义义 126设L是一个有二元关系 的集合,任意,满足:自反性:;反对称性:;传递性:,则称是偏序集.(L,)a,babab(L,)若偏序集的任意 2 个元素既有最小上界又有最大下界,则称是一个格.若L的每个子集都有最小上界和最大下界,则称它是一个完备格.L=(L,0,1)L=(L,0,1):LL Lu La bac bc定定义义 224设是一
5、个有最小元 0 和最大元 1 的完备格.若上有一 个 二 元 运 算 和 幺 元,满 足:保 序 性:若,则;结 合 律:收稿日期:2022-09-12;接受日期:2023-11-17;网络出版日期:2023-12-09基金项目:新疆高校科研计划项目(XJEDU2021Y042);新疆伊犁州科技计划项目(YZ2022Y010);伊犁师范大学博士科研启动基金(2021YSBS011);伊犁师范大学科研创新团队项目(CXZK2021014);伊犁师范大学提升学科综合实力专项项目(2022XKZY08);伊犁师范大学高级别培训项目(YSPY2022011).作者简介:周鑫(1981),男,山东人,博
6、士,副教授,主要研究模糊数学和李代数及其应用.E-mail:.*通信作者:刘淼(1976),男,山东人,硕士,教授,主要研究数理统计及应用.E-mail:.云南大学学报(自然科学版),2024,46(2):219227JournalofYunnanUniversity:NaturalSciencesEditionDOI:10.7540/j.ynu.20220467(ab)c=a(bc)ab baaa=aau=a=uaa(ibi)=i(abi)L=(L,0,1)(,u)L=(L,0,1,u);交 换 律:;幂 等 律:;单 位 性:;分 配 律:,则称具有幺半结构,或称是一个具有幺半结构的完备格
7、.COb(C)CA,B Ob(C)C(A,B)Set设 是一个范畴,用表示 的对象类.任意,用表示A到B的态射的全体.用表示集合范畴.有关范畴理论的基本知识参见文献 27-28.(C,I)C定定义义 3三元组是一个对称幺半范畴指范畴 满足::CC C(1)是一个双函子.A,B,C,D Ob(C)f C(A,C),g C(B,D),h C(C,E),k C(D,F):(A,B)=AB:(f,g)=f g:AB CDIdAIdB=IdAB(kh)(g f)=(kg)(h f)任意,作用在对象上为,作用在态射上为,且有等式和成立.C(2)I是 中的幺元.(3)4 个自然同构:A,B,C:(AB)C
8、A(BC)(a)结合性:;A:A IA(b)左单位:;A:A AI(c)右单位:;A,B:AB BA(d)交换性:,:CC C使得文献 29207210 页图 3.203.27 都可交换.若去掉条件(d),则称是一个幺半范畴.(C,I)A Ob(C):AA Ae:I A定定义义 4设是一个幺半范畴,任意,若存在态射和态射满足:(IdA)=(IdA)(eIdA)=(IdAe)=IdA(1);(2),(A,e)C则称是 中一个内蕴半群.(C,I)B Ob(C):A AA:A I定定义义 5设是一个幺半范畴,任意,若存在态射和态射满足:(IdB)=(IdB)(IdB)=(IdB)=IdB(1);(2
9、),(B,)C则称是 中一个内蕴余半群.(L,):A LA,BAB定定义义 630设是偏序集,A是一个集合,映射称为A上模糊集.集合的笛卡尔积上的模糊集,称为A到B的模糊映射.L=(L,0,1,u)LRel定定义义 722设是一个具有幺半结构的完备格.定义模糊关系范畴如下:Ob(LRel)=Ob(LSet)(1)对象:;(A,),(B,)R LRel(A,),(B,)(2)态射:任意模糊集,态射为R:(A,)(B,)L;R LRel(A,),(B,)S LRel(B,),(C,)S R LRel(A,),(C,)S R(a,c)=bB(R(a,b)S(b,c)(a,b,c)ABC(3)复合:若
10、,则复合指:,其中.a,a A(A,)(4)恒等:任意,模糊集上恒等为Id(A,)(a,a)=(a),a=a,0,a,a.2主要结果RelLLLbRelLbRelLbRelRelLL文献 24 研究了对象为模糊集,态射为一类模糊关系构成的范畴,讨论了该范畴中的积、余积、张量积、内蕴半群和内蕴余半群等范畴性质,并证明了该范畴具有对称幺半范畴结构.以下从模糊关系范畴出发,给出对象为模糊集,态射为二元模糊关系构成的范畴,讨论的范畴性质,并说明了可以忠实地嵌入到之中.L=(L,0,1,u)LbRel定定义义 8设是一个具有幺半结构的完备格.定义二元模糊关系范畴如下:Ob(LbRel)=Ob(LSet)
11、(1)对象:;220云南大学学报(自然科学版)http:/第46卷(A,),(B,)Ob(LbRel)R LbRel(A,),(B,)(2)态射:任意,态射为R:(A,)(B,)LR(a,b)(a)(b)且满足;R LbRel(A,),(B,)S LbRel(B,),(C,)S R LbRel(A,),(C,)S R(a,c)=bB(R(a,b)S(b,c)(3)复合:若,则复合指:,且有R(a,b)S(b,c)(a)(b)(b)(c)(a)(b)(b)(c)(a)(b)(c)(a)(c),(a,b,c)ABC其中.a,a A(A,)Ob(LbRel)(4)恒等:任意,上恒等为Id(A,)(a
12、,a)=(a),a=a,0,a,a.(A,),(B,),(C,)Ob(LbRel)容易验证,任意,可得结合律(A,)(B,)(C,)=(A,)(B,)(C,)(A,),(B,)Ob(LbRel)R LbRel(A,),(B,)成立.任意,等式Id(B,)R=R=RId(A,)成立.L=(L,0,1)SetfL(X,X)X Ob(Set)X:X LSetfL(X,X),(Y,Y)R:XY LR(x,y)X(x)Y(y)x X,y YSetfL=,u=1例例 1设是一个完备格.令范畴是以为对象,其中,.取定中 2 个对象,定义它们之间的态射为模糊关系满足,其中,则范畴为当时的一个二元模糊关系范畴.
13、LbRelLRel注注 1容易看出二元模糊关系范畴的态射是模糊关系范畴的态射限制一定条件所得.LbRelLbRel(A,),(B,)2.1二元模糊关系范畴中的积和余积定定理理 1二元模糊关系范畴中两个对象的积和余积是不交并(A,)+(B,)=(a,1);a A(b,2);b B.投射为1:(A,)+(B,)(A,),2:(A,)+(B,)(B,);内射为i1:(A,)(A,)+(B,),i2:(B,)(A,)+(B,).其中1(a,1),a)?(a),a=a,0,a,a,2(b,2),b)?(b),b=b,0,b,b,i1(a,(a,1)?(a),a=a,0,a,a,i2(b,(b,2)?(b
14、),b=b,0,b,b.s1:(A,)(C,)s2:(B,)(C,)LbRelT:(A,)+(B,)(C,)证明证明考虑,是范畴中的态射.定义为T(a,1),c)=s1(a,c),T(b,1),c)=s2(b,c).且有T(a,1),c)=s1(a,c)(a)(c)=(a,1)(c),和T(b,2),c)=s2(b,c)(b)(c)=(b,2)(c),T:(A,)+(B,)(C,)LbRel所以是范畴中的态射.另外,T是唯一态射使得T i1(a,c)=(a,1)(i1(a,(a,1)T(a,1),c)=T(a,1),c)=s1(a,c).第46卷周鑫等:二元模糊关系范畴的对称幺半范畴性221T
15、 i2(b,c)=s2(b,c)类似可得,即有下图(A,)+(B,),i1,i2)(A,),(B,)交换.因此,是的余积.t1:(C,)(A,)t2:(C,)(B,)LbRelS:(C,)(A,)+(B,)S(c,(a,1)=t1(c,a),S(c,(b,2)=t2(c,b)下证积的情况.考虑,是中的态射.定义为,且有S(c,(a,1)=t1(c,a)(c)(a)=(c)(a,1),和S(c,(b,2)=t2(c,b)(c)(b)=(c)(b,2),S:(C,)(A,)+(B,)LbRel所以是范畴中的态射.另外,T是唯一态射使得1S(c,a)=(a,1)(S(c,(a,1)1(a,1),a)
16、=S(c,(a,1)=t1(c,a).2S(c,b)=t2(c,b)(A,)+(B,),1,2)(A,),(B,)类似可得.因此,是的积.证毕.LbRel注注 2二元模糊关系范畴中任意 2 个对象的不交并是其双积结构.LbRelL=(L,0,1,u)LbRel2.2范畴中的张量积和幺半范畴结构定定理理 2设是一个具有幺半结构的完备格.定义范畴中双函子 如下:(A,)(B,)=(AB,);(1)R LbRel(A,),(A,)S LbRel(B,),(B,)(2)若,则复合RS LbRel(AB,),(AB,)指:RS(a,b,a,b)=R(a,a)S(b,b),I=(!,u)u(!)=uL(3
17、)张量单位,其中,u是 中关于运算 的单位.R LbRel(A,),(A,)S LbRel(B,),(B,)证明证明因为,所以R(a,a)(a)(a),S(b,b)(b)(b).可得RS(a,b,a,b)=R(a,a)S(b,b)(a)(a)(b)(b)(a)(b)(a)(b),故RS LbRel(AB,),(AB,).下面验证单位性和复合性.a,ab,b当或时,有Id(A,)Id(B,)(a,b,a,b)=Id(A,)(a,a)Id(B,)(b,b)=0=Id(A,)(B,)(a,b,a,b).a=ab=b当且时,有Id(A,)Id(B,)(a,b,a,b)=Id(A,)(a,a)Id(B,
18、)(b,b)=(a)(b)=Id(A,)(B,)(a,b,a,b).222云南大学学报(自然科学版)http:/第46卷因此,与恒等态射是相容的.又R1 LbRel(A1,1),(B1,1),R2 LbRel(A2,2),(B2,2),S1 LbRel(B1,1),(C1,1),S1 LbRel(B1,1),(C1,1),有(S1S2)(R1R2)(a1,a2,c1,c2)=(S1S2)(R1R2)(a1,a2,c1,c2),且(R1R2)(a1,a2,b1,b2)(S1S2)(b1,b2,c1,c2)1(a1)1(b1)2(a2)2(b2)1(b1)1(c1)2(b2)2(c2)(12)(a
19、1,a2)(12)(c1,c2).因此,与复合是相容的.证毕.LbRelI=(!,u)LbRel定定理理 3范畴中定义张量积为函子,单位为,则是一个对称幺半范畴.LbRel证明证明首先,定义范畴中的自然同构A,B,C(a,b),c),(a,(b,c)?(a)(b)(c),a=a,b=b,c=c,0,其它.(1)a=a,b=b,c=c事实上,当时,则由 满足结合律,可得(a)(b)(c)(a)(b)(c),(a)(b)(c)(a)(b)(c),故A,B,C(a,b),c),(a,(b,c)()(a,b),c)()(a,(b,c).0 ()(a,b),c)()(a,(b,c)在其它情况下,显然成立
20、.A(a,(!,a)?(a),a=a,0,a,a.(2)a=a(a)(a)(u(!)(a)当时,显然成立.a,a0 (a)(u(!)(a)当时,显然成立.A(a,(a,!)?(a),a=a,0,a,a.(3)a=a(a)(a)(a)u(!)当时,显然成立.a,a0 (a)(a)u(!)当时,显然成立.A,B(a,b),(a,b)?(a)(b),a=a,b=b,0,其它.(4)a=a,b=b(a)(b)(a)(b)当时,显然成立.0 ()(a,b),c)()(a,(b,c)在其它情况下,显然成立.其次,上述 4 个自然同构满足文献 29207210 页的融贯性条件(图 3.203.27).a=a
21、,b=b,c=c,a1=a1,b1=b1,c1=c11(3.20 证明)当时,(f g)h)A,B,C(a,(b,c),(a1,b1),c1)=(a)(b)(c)1(a1)1(b1)1(c1),A1,B1,C1(f(gh)(a,(b,c),(a1,b1),c1)=(a)(b)(c)1(a1)1(b1)1(c1),且满足A,B,C(a,(b,c),(a,b),c)(f g)h)(a,b),c),(a1,b1),c1)(a)(b)(c)1(a1)1(b1)1(c1),和(f(gh)(a,(b,c),(a1,(b1,c1)A1,B1,C1(a1,(b1,c1),(a1,b1),c1)(a)(b)(c
22、)1(a1)1(b1)1(c1).第46卷周鑫等:二元模糊关系范畴的对称幺半范畴性223a=a,b=b2(3.21 证明)当时,(1I f)A(a,(!,b)=(a)(b)=B f(a,(!,b),且满足A(a,(!,a)(1I f)(!,a),(!,b)(a)(a)(b)=(a)(b),和f(a,b)B(b,(!,b)(b)(a)(b)(a)(b).a=a=a=a=a b=b=b=b=b c=c=c=c=c d=d=d=d=d3(3.22 证明)当,,时,(1D)(1A)(a,(b,(c,d),(a,b),c),d)=(a)(b)(c)(d),()(a,(b,(c,d),(a,b),c),d
23、)=(a)(b)(c)(d),且满足(1A)(a,(b,(c,d),(a,(b,c),d)(a,(b,c),d),(a,(b,c),d)(1D)(a,(b,c),d),(a,b),c),d)(a)(b)(c)(d),和(a,(b,(c,d),(a,b),(c,d)(a,b),(c,d),(a,b),c),d)(a)(b)(c)(d).a=a=a,b=b=b4(3.23,3.24 证明)当时,A,I,B(IdAB)(a,b),(a,!),b)=(a)(b)=AIdB(a,b),(a,!),b),且满足AIdB(a,b),(a,!),b)()(a,b)(a)u(!)(b)=(a)(b)和(IdAB
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 二元 模糊 关系 范畴 对称
1、咨信平台为文档C2C交易模式,即用户上传的文档直接被用户下载,收益归上传人(含作者)所有;本站仅是提供信息存储空间和展示预览,仅对用户上传内容的表现方式做保护处理,对上载内容不做任何修改或编辑。所展示的作品文档包括内容和图片全部来源于网络用户和作者上传投稿,我们不确定上传用户享有完全著作权,根据《信息网络传播权保护条例》,如果侵犯了您的版权、权益或隐私,请联系我们,核实后会尽快下架及时删除,并可随时和客服了解处理情况,尊重保护知识产权我们共同努力。
2、文档的总页数、文档格式和文档大小以系统显示为准(内容中显示的页数不一定正确),网站客服只以系统显示的页数、文件格式、文档大小作为仲裁依据,平台无法对文档的真实性、完整性、权威性、准确性、专业性及其观点立场做任何保证或承诺,下载前须认真查看,确认无误后再购买,务必慎重购买;若有违法违纪将进行移交司法处理,若涉侵权平台将进行基本处罚并下架。
3、本站所有内容均由用户上传,付费前请自行鉴别,如您付费,意味着您已接受本站规则且自行承担风险,本站不进行额外附加服务,虚拟产品一经售出概不退款(未进行购买下载可退充值款),文档一经付费(服务费)、不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
4、如你看到网页展示的文档有www.zixin.com.cn水印,是因预览和防盗链等技术需要对页面进行转换压缩成图而已,我们并不对上传的文档进行任何编辑或修改,文档下载后都不会有水印标识(原文档上传前个别存留的除外),下载后原文更清晰;试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓;PPT和DOC文档可被视为“模板”,允许上传人保留章节、目录结构的情况下删减部份的内容;PDF文档不管是原文档转换或图片扫描而得,本站不作要求视为允许,下载前自行私信或留言给上传者【自信****多点】。
5、本文档所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用;网站提供的党政主题相关内容(国旗、国徽、党徽--等)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。
6、文档遇到问题,请及时私信或留言给本站上传会员【自信****多点】,需本站解决可联系【 微信客服】、【 QQ客服】,若有其他问题请点击或扫码反馈【 服务填表】;文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“【 版权申诉】”(推荐),意见反馈和侵权处理邮箱:1219186828@qq.com;也可以拔打客服电话:4008-655-100;投诉/维权电话:4009-655-100。