交连续、拟连续及超连续dcpo的研讨.pdfVIP

扬州大学 硕士学位论文 交连续、拟连续及超连续dcpo的研究 姓名：戴向梅 申请学位级别：硕士 专业：基础数学 指导教师：徐罗山 戴向梅 交连续、拟连续及超连续depo的研究 中文摘要 义下的遗传性和不变性，并研究了它们之间的关系，主要结果如下： 明交连续dcpo对于主滤子不可遗传；证明了在交连续dcpo上添加最大元，去掉或添加最 小元后仍为交连续的；证明了交连续dcpo的收缩核仍然是交连续的：给出了dcpo交连续 当且仅当每一主理想交连续这～结论的直接证明；构造反例说明了所有主滤子交连续的 dcpo本身不一定是交连续的，由此说明了dcpo的交连续性与其主滤子的交连续性之间一 般没有必然的蕴涵关系． 利用该条件判断dcpo拟连续性的优越性，还构造了反例说明了它们不是必要条件． 证明了超连续depo的有限积保持超连续性；另外还证明了超连续dcpo的子空间仍然是超 连续的dcpo． 最后，利用dcpoL上内蕴拓扑的分离性、紧性等研究了交连续dcpo、拟连续dcpo、 完备格而言，超连续等价于交连续且区间拓扑是T2的． 主理想；主滤子；遗传性 一． 塑丛丕堂堡主笙壅 一．一一2 ————_-———_-—_—--_-——--———●-——_--——●__——_--——_●_———_————_————-———一一一一 Abstract continuous and ondetailedstudiesofmeet dcpos This carries dcpos，quasieontinous paper and methodswe termsofintrinsic algebraic explore dcpos．In topologies hypercomtinuous meetcontinuous and andinvarianceof dcpos heredity dcpos，quasicontinuous resultsale： therelmionsofthem．Main alsodiscuss insomereasonablesense．We dcpos forScott orclosed ale subsets，A continuous hereditary open Firstly,meet dcpos alenot for