基于R-偏序集的语义域研究初探

来源 :中央民族大学 | 被引量 : 0次 | 上传用户:nanshixujie
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研究对象是带有偏序逼近族的偏序集(参见文献[1])(简称R-偏序集).我们的目的在于探索R-偏序集这一数学结构能否为语义域的研究提供一个较好的数学框架.本文在R-偏序集上定义了Scott拓扑,这为在R-偏序集上的逼近、函数的连续性等概念的提出奠定了基础,为探索R-偏序集作为语义域的数学特性提供了前提.文献[2]在带有等价关系的集合(简称sfe)上重建了基于度量空间的语义域研究的部分理论.R-偏序集是较sfe更具普适性的结构.本文仿照[2]中sfe上的结论及dcpo上Tarski不动点定理的证明,在穴.偏序集上建立了逼近映射的不动点定理和Tarski不动点定理;同时构造了一个新的范畴R-POSET,建立了范畴R-POSET与范畴CUMS之间的一个伴随,为从广义超度量空间角度研究欠.偏序集提供了思路.
其他文献
期刊
控制图被广泛地应用于监测生产制造出的产品的质量。如今控制图的应用范围,已经不仅仅是制造业,它还被广泛地应用于工程,环境科学,生物技术,医药行业以及自然科学中。控制图主要可
传统的具有Holling-III功能反应的Lotka-Volterra捕食者-食铒系统已经受到了学者们的极大关注,也进行了很好的研究,标准的Lotka-Volterra类型的模型是建立在捕食者的单位捕食率
商务日语专业是一个特色鲜明的专业.旨在培养能以日语为工具,掌握商务知识,熟悉文秘工作,能够使用多种现代化办公室设备的德智体全面发展的复合型人才.能够使用计算机,文字处
期刊
运动生物力学是研究体育运动中人体的机械运动规律及其应用的科学.本文通过对运动生物力学在体育教学和运动训练中的应用分析,表明了运动生物力学在运动技术教学中的重要地位
期刊
设△是一个有限无圈的箭图。本文引入了由△所决定的偏周期预投射代数的概念,它是一个定义在周期为p的稳定平移箭图Z△/(7τ)上的代数,记为П。当周期p=1时,偏周期预投射代数就
教学改革已经成为教育改革中备受关注的主题,特别是在推进素质教育的要求下,教学改革日益被提到议事日程上来,许多学校在教育科研人员的指导下,对培养学生学会学习、对减轻学
本文对一种拟Grünwald插值算子进行了误差分析。文章主体分为三个部分: 第一章给出了以第二类Chebyshev多项式的零点为插值节点组的一种拟Grünwald插值算子列在加权L范数
该选题来源于国家自然科学基金项目(项目号:70471045):基于随机需求与不对称信息的供应链协调与量折扣研究。 由于科技的不断进步和市场竞争的日趋激烈,个体企业之间的竞