半连续格及相容连续偏序集研究

来源 :扬州大学 | 被引量 : 4次 | 上传用户:shengwei05
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研究的主要内容是半连续格、相容连续偏序集及exact偏序集上的重要问题。 1.首先考虑了半连续格,这是连续格的推广。研究了半连续格及其上的半Scott拓扑,证明了半连续格中若干半素理想的定向并仍为半素理想:给出了完备格成为半连续格的一个充分条件,从而扩充了半连续格理论;还证明了半连续格中任一主理想都是半Scott闭集;证明了半连续格中的某子集若可以表示成某一主理想的补集,则该子集为半Scott拓扑的素元。 2.在完备格中引入半基和局部半基,给出了它们的一些基本性质和若干等价刻画,证明了完备格为半连续格当且仅当它有半基,也当且仅当它每点有局部半基。在此基础上本文定义了半连续格的权和特征,探讨了半连续格的权和特征与其上赋予内蕴拓扑时的拓扑空间的权和特征的关系,并否定地回答了赵彬教授等人在这方面的提出的一个公开问题。 3.针对相容连续偏序集和exact偏序集做了探讨,相容连续偏序集是对连续domain概念的微小推广,而exact偏序集概念是连续偏序集概念的推广,它与连续偏序集在形式上类似,但实质差别较大。本文深入地研究了相容连续偏序集的定向完备化,得到了如下结果:(1)对连续domain P上极大点集max(P)的某子集A,当PA不为空集时有PA是相容连续偏序集;(2)当连续domain P上极大点集max(P)的某子集A的Scott内部是空集时,PA的定向完备化同构于P,并给出了两个例子说明“A的Scott内部是空集”这个条件是充分非必要条件。 本文还探讨了exact偏序集的相关性质,证明了每个连续偏序集都是exact偏序集;证明了exact domain对于Scott开集是可遗传的;还证明了domain均为弱domain;而弱domain为domain的充要条件是其中任一元的弱双上集为上集。
其他文献
本文主要围绕结构光系统的标定和三维重构进行了研究和探讨。在结构光系统标定阶段,提出了直接用电脑显示器对结构光系统进行标定的方法,相比传统的用纸打印再张贴的方法,因为消
本文构造了求解抛物方程的高阶并行差分格式,首先,通过前三个时间层内界点的值及四阶紧致格式并行计算子区域的值,然后再用区域边界点显式计算内界点的值,并证明了一维情形算法的
选址问题是运筹学中经典的问题之一。本文第1章介绍了选址问题的由来及发展现状。第2章介绍了一些经典的选址问题及其数学模型,包括韦伯(Weber)问题、P-Median问题、P-center
信息科学研究的主要问题就是消除不确定性,获得信息。衡量信息量多少的重要指标就是不确定性的大小,因此研究不确定性的度量问题便成为研究信息论的最基本问题。信息的不确定性
求解常微分方程边值问题一直是计算数学中很重要的领域,但是常微分方程中仅有一些典型的方程能求出解析解,大部分是求不出解析解的。因此常微分方程数值解法的研究具有重要的现
本文主要研究了两类基于Hegselmann-Krause模型的内源多智能体系统,在基于状态切换拓扑下的一致性问题,这是一个关于系统自身性质的研究问题,是对系统相关内涵的深入本质的挖
本文以新媒体时代下怎样提升品牌影响力为研究对象,通过分析新媒体的特点得出可以提升品牌影响力的可能性,同时充分认识到在新媒体提升品牌影响力的原则,笔者在此基础上通过