模糊偏序集上的连续性与交连续性

来源 :东华理工大学 | 被引量 : 0次 | 上传用户:yanghaibin123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Domian理论是计算机函数式程序语言的数学基础,在理论计算科学中发挥着重要的作用,而对它的量化研究是其得到更广泛应用的基础.目前,模糊Domian的理论是量化Domian理论的基本框架之一,该理论为量化Domian的理论研究提供了一种新方法.因此,本文的主要工作是基于模糊偏序关系,构建模糊偏序集上的连续性与交连续性,并对它们的性质进行了深入的研究.  下面将介绍一下本文的结构与主要内容.  第一章,预备知识.对全文涉及到的偏序集、模糊偏序集等基本概念进行了简要概述.  第二章,模糊偏序集上的连续性.首先把模糊定向完备集上的广义Scott拓扑推广到模糊偏序集上.其次,建立了模糊偏序集上的L-逼近关系,并利用L-逼近关系构建了模糊偏序集上的连续性.最后研究了模糊domain的范畴对偶性.  第三章,模糊偏序集上的交连续.首先给出了广义Scott闭集的等价刻画,然后借鉴经典的Domain理论中交连续的构造方法,构建了模糊偏序集上的交连续性,并得到了一些重要结论.例如,模糊偏序集上的交连续性关于广义Scott拓扑具有拓扑不变性与遗传性.  第四章,一类模糊关系的推广.构造出了一种新的模糊关系,并在此模糊关系下定义了模糊格、模糊子格的概念,给出了刻画模糊格的等价条件.然后在此基础上提出了模糊半理想、模糊半滤子等一系列概念及性质,以及给出一些相关命题.
其他文献
数学课程改革的基本思路是:让学生在活动及现实生活中学习数学。所以,应多给学生一些机会,鼓励学生踊跃参与数学活动,在学生动手操作中,激活学生的潜能,促进学生的发展,课堂
本文主要分n=1和n≥2两种情形对欧氏空间中凸超曲面的平均曲率流进行研究,利用它们的第一和第二基本形式的发展方程和极大值原理得到关于M形状的一些结果。具体地说,我们证明了
在自然界中,生物种群之间除了捕食与被捕食关系外,互惠互利也是普遍存在的一种关系.两种群互惠模型已经得到了广泛而深入的研究.以往大多数的工作是假定每个个体在整个生命过程中
本文主要探讨了投影在初中物理教学中的作用以及应用方法,旨在通过论述启发广大初中物理教育者,从而提高初中物理教学质量。 This paper mainly discusses the role and app
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
Preda Mihailescu在证明Catalan猜想时引入了Q(ζ_p)+中的q-准素分圆单位群Cq的概念,研究了对其证明起关键作用的C_q的结构.本文第一部分得到了关于Q(ζ_(pn))~+中相应的q-准
有理数域本质上只可以赋予两种不同的度量:一种是阿基米德度量,即通常的绝对值度量,而另一种是非阿基米德度量,即p-adic度量. Q在这两种度量下的完备化分别得到实数域R与p-adic数
设七是一域,H是域k上-Hopf代数且具有双射的反极元s。任取右H-余模M,N,Ulbrich在[3]中给出了右H-余模HOM(M,N)的定义。在[7]中Caenepeel和Guedenon对coH函子、HOM函子的右导来函
期刊
小学数学作为一门基础性的学科,它又是一门工具性很强的应用学科,小学数学的教学大纲中明确规定:小学数学的教学要以学生实际开始,遵循学生的年龄特征和认知结构水平,使学生