拟代数Domain性质及其它Domain结构的研究

来源 :陕西师范大学 | 被引量 : 0次 | 上传用户:lovetianbing
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自从20世纪70年代D.S.Scott首次提出Domain概念以来,Domain理论受到众多数学家和理论计算机科学家的关注.1983年,作为连续Domain和广义连续格的推广,G.Gierz,J.D.Lawson和A.Stralka等人引入了拟连续(代数)Domain的概念.本文从两方面讨论连续Domain理论中的几个问题.一方面,主要研究了拟代数(连续)Domain的性质,并且对另一种Domain结构一超连续Domain做了探讨.另一方面,对相容连续Domain和连通代数Domain的结构与性质作了进一步研究.本文的主要内容如下: 第一章预备知识.给出了本文将要用到的连续Domain与范畴理论的基本概念和结果. 第二章拟代数Domain相关性质.本章首先从映射角度讨论了拟连续Domain的性质,分别得到了它与Scott连续投射算子和伴随对之间的联系,并由此给出一些相应的结果.接着从映射和拓扑角度给出了拟代数Domain的性质,得到了拟代数Domain的一些等价刻画,并且进一步讨论了它带有拓扑时的情形.最后引入了超连续Domain的概念,并得到它的一个等价刻画,从而揭示了它与连续Domain之间的关系. 第三章相容连续Domain上的序同态.本章首先给出了相容定向极小集的概念,讨论了它的一些性质,并得到它与相容连续Domain的关系.其次,我们给出了相容连续Domain基的概念,得到它的等价刻画.最后,引入了相容连续Domain上序同态的概念,同时讨论了它的性质,得到了相应的扩张定理. 第四章连通代数Domain.本章主要研究了连通代数Domain上的相容映射,引入了其上的理想结构,得到了连通代数Domain满足升链条件.给出了连通代数Domain上相容紧元的等价刻画,证明了连通代数Domain范畴与偏序集范畴等价.
其他文献
本文对几类刚性问题数值方法的收敛性进行了研究。主要结果如下: (1) 研究了叠加Runge-Kutta方法(包括多时间步方法和分数步Runge-Kutta方法)关于一类非线性耗散刚性问题的
本文通过运用在时标下的动力学方程的基本理论,考虑一类具时滞的二元神经网络模型解的渐近性质。时标理论最早是由StefanHilger在他的博士论文中提出的,其目的是统一在离散和连
本文研究ζs一内射模对半模正合列的作用,并引进ζs一内射维数的概念来对半环进行初步的分类。证明了一般半环上存在着非零ζs一内射模当且仅当S为non-zoroic半环。另外,本文定
学位
本文中,我们应用Morse理论研究一类二阶常微分方程周期边值问题的多解的存在性。 考虑周期边值问题{-x=f(t,x),x(0)-x(2π)=x(0)-x(2π)=0其中f:[0,2π]×R→R是连续可微函数,满
Poisson几何中的—个非常重要的结果和应用,即通过利用矩映射等进行Poisson结构和辛结构的约化进而得到对称力学系统的约化。这些约化方法在其可应用的系统类型上有一定的局限
本文考虑了不确定中立型时滞系统的时滞依赖保性能控制,非脆性保性能控制和不确定时滞关联大系统的时滞依赖保性能控制. 第一章,首先介绍了与研究内容相关的背景,然后给出了