拟C-偏序集与广义完全分配偏序集的若干性质

来源 :江西师范大学 | 被引量 : 0次 | 上传用户:H07081820607
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自D.Scott的开创性工作以来,Domain的结构理论成为计算机函数式语言的指称语义学研究的一个关键点。从数学的角度来看,domain理论主要以满足一定条件的偏序集以及它们之间的映射为研究对象。连续dcpo(即domain)为domain理论的主要研究对象之一。   Domain理论研究的一个重要内容是尽可能地将domain理论推广到更一般的格序结构上去。2008年,Menon在讨论连续偏序集序结构的基础上,引入了C-偏序集的概念,结果表明,D偏序集具有许多类似于连续偏序集的性质。拟连续domain被公认为是domain的最成功推广之一,其基本思想是将“点”与“点”之间的way below关系推广至“集”与“集”之情形。循着Menon的思路,我们把拟连续偏序集推广至拟C-偏序集并讨论了拟C-偏序集的一些性质,广义完全分配偏序集作为一种特殊的拟连续偏序集是Menon在寻求刻画偏序集关于其区间拓扑为紧致偏序空间时引入的,我们进一步讨论广义完全分配偏序集的性质。C-空间是Erne在研究拓扑与序之间关系时引入的一类重要空间。我们证明了两个C-空间的积空间为C-空间,C-空间关于相对闭集遗传等。
其他文献
幼儿园区域活动是幼儿素质全面形成、发展的关键环节,在该区域中,幼儿们根据自己的想法进行自主活动,就可以展现出幼儿最真实的性格和习惯,幼儿教师则可以根据这些自主活动中
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
第一类Fredholm积分方程广泛应用于自然科学、工程技术及经济学等领域,但由于其本身的不适定性,使得对其进行研究有诸多困难。如何有效的求出第一类Fredholm积分方程的数值解,一
堑老子曾说,上善若水.水善利万物,而不争.然而,日本大地震、缅甸洪灾、澳大利亚水灾、巴西泥石流与洪灾、中国西南旱灾……近年来,自然灾害越来越频繁地造访人类生存的地球,
关联规则挖掘是数据挖掘的一个重要领域。在关联规则挖掘的过程中,反复的I/O操作必定影响了挖掘的效率。减少I/O操作的主要方法是减少事务数据集的扫描次数或减少候选项目集的
该文主要研究形如-△u=λf(u)在Dirichlet边值条件下的解的渐近性态,这里假定非线性项f(u)在无穷远处是线性增长的,通过对特征函数的估计来讨论极限,从而得到u的增长性。文章中
目的 探讨数码互动系统下CBL(case·based learning,以案例为基础的学习方法)在3年制口腔医学专业口腔组织病理学实验教学中的应用。方法 选取我校2014级口腔医学3、4班共90人为
学位
不管是城市教学还是乡村教学,英语课无疑在素质教学具有重要地位。尤其是在当今以“应试”为指挥棒,英语教学过多的重视“教”而忽略“学”,学生对于英语的学习,以死记硬背为主,导
在高中英语教学中,词汇教学占据着重要的地位,它是发展学生英语的基本条件。根据教改的要求,教师要针对学生在词汇教学中的被动学习现象,找到有效的词汇教学方法,并且从英语语言规