半连续dcpo

来源 :扬州大学学报:自然科学版 | 被引量 : 0次 | 上传用户:pldpl
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
作为半连续格的推广,引入半素集和半连续dcpo的概念,并讨论半连续dcpo的性质,在半连续dcpo中得到类似于半连续格的一些主要结果.同时研究了dcpo的内蕴拓扑——半Scott拓扑、半Lawson拓扑,证明了上集U半Lawson开当且仅当U为半Scott开,下集U半Lawson闭当且仅当U为半Scott闭.最后研究了半连续映射,证明了若保序映射f半连续,则f关于半Scott拓扑是连续映射.
其他文献
设R为一个环,S是R的非空子集.证明了如下结果:1)设R为Abel环,a∈Cs(R).若a在R中是von Neumann正则元,则a在Cs(R)中也是von Neumann正则元;2)设E(R) S,且R为von Neumann正则环,贝Us(R)是von Neuma
江西省武宁县扶贫移民新村以“致力绿色崛起、建设幸福武宁”为总体目标,以发展新产业、增加扶贫移民收入为根本,以建设扶贫移民新村为切入点,大力推进以“五美四和谐”为主要内
摘要:随着我国社会经济以及科学技术的逐渐发展,计算机应用技术在社会各个行业领域的应用都逐渐广泛,人民的日常生活已经逐渐离不开计算机技术。作为当前科技的一个重要组成部分,计算机技术是我国乃至世界科技发展的重点,其对于我国的社会生产生活都有着重要的影响,在各行各业中的应用都已经十分普遍。基于此,本文将计算机技术与信息管理系统优化整合优势作为研究对象,通过对计算机应用技术概念的阐述,并将其与信息管理系统
为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Hey
引入左QMUP-内射(模)环的概念并研究其相关性质,得到如下结果:1)R为左泛极小内射环当且仅当每个单左R-模是QMUP-内射模;2)设R是左QMUP-内射环,则Zz(R)∈J(R)且R/Zz(R)是π-正则环;3)左QMUP-内
设F是一个群类,如果存在群G的正规子群K满足G=HK且(H∩K)HG/HG包含在G/HG的F-超中心Z∞F(G/HG)中,则称群G的子群H在G中Fn-可补.利用准素子群的Fn-可补性研究有限群的结构,得到p-
90后是指1990年至1999年出生的一代,他们具有自信、独立、开放、怕吃苦、责任感不足、对组织不够忠诚、叛逆意识和价值观多元化等思想特点,这些新特点对高职院校的思想政治教育
左NSF环是左SF环的推广,研究左NSF环的一些性质,得到如下主要结果:①左NSF的ZI环是约化环,从而为强正则环;②R为n-正则环当且仅当R为左NSF环和右NPP环;③设R是左NSF环,h∈E(R),