




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、几类序同态及其性质探讨答辩人:钱 健导 师:徐罗山教授答辩汇报提纲研究的背景与概况1.2.撰文的想法与动机主要的方法与结果4.文章的框架与结构3.2研究的背景与概况 Fuzzy格间的序同态概念,一方面保持Fuzzy点的高度不变,同时又保留了把分子映成分子的性质.后来王国俊教授舍弃了Fuzzy格上逆序对合对应的条件,在完全分配格之间提出了广义序同态。 3研究的背景与概况 近年来,偏序集与格的理论在离散数学,组合数学,Fuzzy数学,理论计算机科学,模糊数学,甚至社会科学中都有广泛的应用3,推动自身进一步的发展同时,成为数学和理论计算机科学的重要研究对象4, 24,. 在上世纪30年代末,格论的方
2、法就开始用于研究拓扑空间7, 8, 13,到上世纪50年代这一领域成果已相当的丰富。4研究的背景与概况 在Zadeh引入fuzzy集24概念后不久,C. L. Chang于1968年提出Fuzzy拓扑空间2的概念,王国俊教授在23中提出了Fuzzy格,并且在Fuzzy格间定义序同态,刘应明教授在15,17中也提出Fuzzy序同态,并且均给出了Fuzzy函数成为Zadeh型函数的充要条件,并用来研究Fuzzy拓扑空间的性质。5研究的背景与概况 蒲保明教授和刘应明教授为了Fuzzy拓扑空间中的Fuzzy点与集更具有一般性,打破传统邻域概念,在文献20,21中引入了重域,随后王国俊教授将其推广为远域
3、.后来王国俊教授又于22, 24 ,25中定义了完全分配格见的广义序同态并得到很多性质 。6研究的背景与概况 这就为我想摆脱Fuzzy格,完全分配格这些前提条件来研究更广泛的广义序同态提供理论基础。同时将广义序同态逐步推广到完备格,连续格,domain和拟domain上而探讨各类广义序同态就显得很重要。本文在前人研究成果的基础之上,来探讨了不同的代数系统间的序同态问题,并得到了一些初步的结果。7撰文的想法与动机对不同代数系统的序同态的研究主要基于以下方面: 本文主要考虑更为一般的代数系统间的广义序同态,目的是建立这些代数系统间更多的关系.我们将广义序同态逐步推广,即从最初的具有逆序对合对应的F
4、uzzy格,分子格开始;推广到完备格上的伪广义序同态,并且在完备格上又分化为两个分支:一,一般的完备格伪广义序同态;二,连续格上的伪广义序同态.接着将条件进一步弱化,将其推广到domain上,在domain上我们又进一步分成三部分:8撰文的想法与动机一、domain间的Scott广义序同态二、代数domain间加强的Scott广义序同态的性 质;三、拟连续domain上的类Scott广义序同态。9撰文的想法与动机 这些问题在本文中均得到一些好的研究结果.我们知道相同类型的代数系统之间存在非常好的性质,而本文就Fuzzy格的广义序同态入手,定义几类弱于Fuzzy格的几类特殊序之间的广义序同态并探
5、讨以上所具有的性质.并且仿照极小集定义,合理的提出了d-极小集,拟极小集,极小集,为广义序同态的推广及其性质的研究提供帮助。10文章的框架与结构本文共四章:第一章 预备,重点介绍偏序,格,分子格,完备格,domain,广义序同态等相关概念及其性质。 11文章的框架与结构第二章 进一步研究完全分配格间的广义序同态性质,探讨了f和f-1之间存在的联系,并得到(f-1)-1= f的等价条件。12文章的框架与结构第三章 在完备格上定义伪广义序同态,并定义完备格上的素上集概念,得出完备格间映射是伪广义序同态的充要条件;定义极小集,证明连续格成为完备链当且仅当定向集小映射保定向并,得到连续格称为完全分配格
6、的一个充分条件。13文章的框架与结构第四章 在domain上定义Scott广义序同态,给出Scott广义序同态的刻画和其性质;并得到代数domain紧元之间的映射成为Scott广义序同态的充分条件;在拟连续domain中定义拟定向极小集得到拟连续domain成为类Scott广义序同态的若干等价条件。14文章的框架与结构最后对本文接下的工作作出展望.15主要的方法与结果 完全分配格之间广义序同态与其逆的逆相等的若干条件 完备格间的伪广义序同态的刻画 定义了极小集,证明了连续格成为完全分配格的充分条件 给出了domain间Scott广义序同态的充要条件及相关性质 提出了代数domain紧元间映射构
7、成的Scott广义序同态成为单射和满射的若干等价条件 通过定义拟定向极小集得到了类Scott广义序同态的概念和刻画 解决的问题16主要的方法与结果我的做法:设 与 是fuzzy格,映射 叫序同态,若满足(1) (2) 是保并映射; (3) 是保并映射,这里 有 在此基础上,本文探讨其以及完全分配格上定义得广义序同态的性质,及其在其他代数系统上的推广。主要研究四类问题.第一类不具有逆序对合对应的广义序同态的研究;第二类完备格和连续格上伪广义序同态的研究;第三类基于Scott连续,以及way-below关系下的domain间Scott广义序同态的研究,并延伸到拟连续domain上 17主要的方法与
8、结果定理1 设f :L1 L2是GOH,下列条件等价: (1)f是双射; (2)f-1是双射; (3)(f-1)-1= f. 定理2 设映射f:L1 L2,如f是伪序同态当且仅当f保任意并且f保.定理3 设映射f:L1 L2,则f是Scott广义序同态当且仅当f关于Scott连续,并且f保. 主要的结果18主要的方法与结果 定理4 L1是连续格, f:L1 L2保有限并,f-1:L2 L1保有限并,则下列条件等价: (1) f保极小集; (2) 任意a L1, f(a)是f(a)的极小集; (3) f是伪广义序同态.定理5 设映射f:L1 L2, f是Scott广义序同态,则a L1,f把a在
9、L1 中的d极小集映成f(a)在L2的d-极小集.19主要的方法与结果定理6 设L1和L2是代数domain,设映射f : K(L1)K(L2) 是Scott广义序同态,则下条件等价, (1)f-1f = Id1;(Id1是L1上的恒等变换) (2)f是单射; (3)f是保反射序.定理7 设L1和L2是代数domain,设映射f : K(L1)K(L2)是Scott广义序同态,则下条件等价,(1)f f-1 = Id2;(Id2是L2上的恒等变换) (2)f是满射; (3)f-1是保反射序.20主要的方法与结果定理8 设L,M是拟连续domain,x属于L,N包含于L,F包含于M,f :L M
10、是单调的,且NNwb(x),下列条件等价: (1)f保拟定向极小集; (2)任意的x L,f(NNwb(x)为f(x)的拟定向极小集; (3)f保定向并,且任意的x属于L,f(NNwb(x)包含于双下集f(x); (4)f保定向并和; (5)f类Scott序同态.21主要的方法与结果结论:结论二在对任意aL,a存在极小集的完备格中,一般伪广义序同态即为连续格上的伪广义序同态.结论一GOH一定是一般(连续格上)伪广义序同态,也是Scott广义序同态. 结论三 Scott连续映射为双射,即为Scott广义序同态. 结论四 Scott广义序同态一定是Scott连续映射;反之不然 结论五连续格(完备格
11、)间的伪广义序同态,若它们均满足推论3.3.1,则为广义序同态.22主要的方法与结果意义:第二章中我们将进一步来探讨分子格上GOH的性质,以及它之间的一些关系,并得到f和f-1之间存在的联系。第三章中我们去掉分子格的要求引入并探讨完备格上的伪广义序同态.该章分为三节,分别从完备格和连续格上来探讨伪广义序同态问题,通过定义极小集得到连续格成为完全分配格的一个充分条件。第四章中进一步弱化广义序同态条件,定义domain间的Scott广义序同态,探讨其性质,并将Scott广义序同态问题和拓扑,Galois联络联系起来。 最后,我们以图表的形式给出了他们之间的关系。23主要的方法与结果诸序同态之间关系
12、的总结 :序同态广义序同态伪广义序同态Scott广义序同态类scott广义序同态24 展望 展望: 本文主要探讨相同类型的代数系统间的广义序同态问题,在以后的研究中将尝试探讨完全分配格和完备格(连续格)之间,完全分配格和domain之间,完备格(连续格)和domain之间的映射来寻求找出满足上述定义中的某类广义序同态,并讨论其性质及它们之间的联系和区别.25 参考文献参考文献2 Chang C L.Fuzzy topological spaces.J.Math.Anal.Appl. 1968,24:182-1903 陈德刚,张文修.粗糙集与拓扑空间J.西安交通大学学报,2001, 35(12)
13、:1313-1315.4 崔宏斌,郑崇友.保层fuzzy序同态的结构和fuzzy同肧的另一定义J.科学通报,1987, 10(4):7-11.7 Gierz G , Lawson J D. Generalize continous and hypercontinous latticesJ.Rocky Mountain J,1981,11: 271-296.8 Gottwald S, Novak V. on the consistency of fuzzy theoriesC.proc 7th IFSA word Congress. Academia Prague, 1997: 168-171.
14、26 参考文献13 Luoshan Xu.Continuty of poset via fuzzy topology.Topology and Its ApplicationsJ. 2005,7(3) 1-6.15 刘应明. fuzzy序同态的构造J.四川大学学报.1985, 21(4):27-31.17 刘应明.fuzzy序同态与Zadeh型函数J.研究通信,1984, 9(2):153.20 蒲保明, 刘应明.Fuzzy topology IJ.J.Math.Anal.Appl.,1980, 76:571-599.27 参考文献21 蒲保明, 刘应明.Fuzzy topology IIJ.J.Math.Anal.Appl.,1980, 77:20-37.23 王国俊. 完全分配格上的点式拓扑J.陕西师范大学学报,1985,2:1-15.22 Rosser
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 房地产行业的品牌工作计划
- 优化产品价格策略计划
- 质量管理中的人员培训与团队建设
- 销售增长计划
- 足球训练中的心理辅导与激励
- 部编版初中语文必读名著书目(完整版)
- 高中语文情感美文创造宣言
- 科技引领下的西安教育行业虚拟现实应用前景
- 黑龙江2025年02月共青团黑龙江省委员会事业单位上半年公开招考3名工作人员笔试历年典型考题(历年真题考点)解题思路附带答案详解
- 初中语文生活美文农家客
- 工业品买卖合同(样表)
- (完整)消化性溃疡PPT课件ppt
- 《教育学原理》马工程教材第二章教育与社会发展
- 《常见疾病康复》期中考试试卷含答案
- 地球使用者地朴门设计手册
- 筑基功法精选
- 欧洲电力市场深度报告:欧洲电力市场供需格局和电价分析
- 2023年考研考博-考博英语-煤炭科学研究总院考试历年高频考点真题荟萃带答案
- 塔式起重机操作使用安全专项方案
- 统计用产品分类目录
- 冀教版小学数学三年级下册小数的初步认识
评论
0/150
提交评论