【摘 要】
：
本文对格和双domain范畴上的区间构造，以及代数L-domain上的函数空间进行了讨论。 首先，在格上利用区间构造及定义的信息序得到了区间偏序集。若原格是完备的，弱原子的，并且满
论文部分内容阅读
本文对格和双domain范畴上的区间构造，以及代数L-domain上的函数空间进行了讨论。
首先，在格上利用区间构造及定义的信息序得到了区间偏序集。若原格是完备的，弱原子的，并且满足分配律(JID)&(MID)，则此区间偏序集也是满足这些性质的格，并且它还满足其他几个等价的性质。另外，还讨论了效应代数中R-滤子，素滤子，同余关系和商之间的关系。
其次，在一般的L-domain和FS-domain结构上构造了新的偏序关系，定义了新的范畴，Bi-L-domian和Bi-FS-domain，并把区间构造和信息序引入到双domain范畴中, 证明了这些范畴在区间构造下是封闭的。
另外，讨论了代数L-domain上的两种函数空间，得到结论：这两种函数空间仍然是代数的L-Domain。
其他文献
随着我国教育产业的发展规模不断扩大,教育发展动力不断增强,我国教育产业的快速发展背景下,有大量的毕业生每年以快速增长的趋势上升,这就对大学生就业带来了很大的影响.培
审计学是一门应用性很强的经济学科,具有较强的实用性和操作性,是普通高校会计学和财务管理专业的一门核心专业课程.正因为审计是一项实务性强、需要大量理论知识和专业判断
近年来,随着高职院校招生的扩张,为社会带来了大批的应用型人才,在一定程度上推动着社会的发展。但是,高职大学生的思想政治教育却没有跟上时代潮流的步伐,如何能够提升高职
在本文中，系统地研究了一个新的熵不变量。本文具体安排如下： 第一章简要介绍了熵及压的历史背景及一些结论。 第二章作为经典概念拓扑熵及Cheng-Newhouse逆像熵的推广，定
本文将Skryabin为了研究广义Witt代数的表示而提出来的 -模范畴理论建立在Cartan型李代数系列的特殊型李代数S(m；n)上．证明了广义限制李代数意义下的诱导模成为 -模范畴对象．从
本文主要讨论描述逻辑及其模态扩充的模型，分两方面进行：其一是考虑循环的Tbox具有模型的条件，指出了文献[1]中命题的错误，并对命题进行了一些修改；另一部分是对描述逻辑进行模态
知识经济时代,创新已成为现代社会发展的基础和生命力所在.创新离不开人才,离不开教育.因此,二十一世纪人力资源的重要性将远远大于以往传统的任何时代.为了迎接这一挑战,我
政府作为社会的规划者希望企业减少对环境的污染,因此会对企业的污染排放进行限制。Hartl和Kort在设定确定的值作为企业的污染排放上限的条件下,研究了企业关于投资和污染支出的最佳生产决策。邬安沙,李亚琼进一步考虑了对企业的污染排放上限依赖于企业的生产资本的大小的情况,进行了相同问题的研究。在本文中我们假设政府对企业的污染排放采取了更为全面的限制,即政府给企业设定一个固定的污染排放值,当企业的污染排
本文对N-维欧氏空间超曲面的微分几何进行了研究。文章系统地讨论了n维欧氏空间超曲面的微分几何，推广曲面微分几何的一些经典概念和结论。文章分三个部分：第一部分介绍 n 维欧
本文就给定的度量空间上的连续映射与由其诱导的集值映射的回复性点集之间的关系进行了一些探讨，得到了一系列重要的结果。在第一章中，阐述了问题产生的历史背景及本领域研究的