domai上的测度及拓扑空间的domain环境相关问题研究.pdfVIP

Domain上的测度及拓扑空间的Domain环境 相关问题研究 基础数学专业 研究生雷银彬 指导教师罗懋康教授 产生于上个世纪70年代的Domain理论，是理论计算机科学的重要领域， 旨在为计算机高级语言提供数学基础．序和拓扑的相互结合、相互作用是这一 理论的基本特征．正是这一特征使Domain理论成为计算机科学和拓扑学共同 关心的领域，也使这一理论和其他数学学科建立了密切的联系． Martin在其博士论文里对Domain中元素所含信息量的度 2000年Keye 量，逼近程度的度量等问题进行了研究，并建立了一套完整的分析体系．另外他 Domain模型的拓扑空间的相关性质．受其工作的影 还利用测度研究了具有G0 响本文研究了以下三方面的问题： 1．讨论了u一连续domain上的测度，给出了Gd引理成立的几个充分条件及 满足三角不等式的测度的一些性质和应用． 2．讨论了domain上的弘拓扑及信息导数的部分性质，给出了芦拓扑的第二 可数的充份条件及p拓扑紧，局部紧的以及其他覆盖相关的一些结论，并回 Martin于2000年提出的相关问题． 答了Keye 了具有模型的空间的与完备相关的性质． 关键词：测度；肛拓扑；紧；局部紧；信息可导；可导；强Domain环境 Domain模型：Choquet完备 Studiesoftherelative about Measurementona questions DomainandDomain of environments TopologicalSpaces Mathematics Major：Foundational GraduateStudent：Yinbin Advisor：MaoLuo Lei k{mg Domainthatocurredin1970’s afundamentalroleindenota- theory plays tionalsemanticsof basiccharacterofthis is Programmlanguages．The theory each becomesthe thatorderand arecombinedandacton topology other，which fieldthatisconcerned scientistsand buildsrelations bycomputer topologists．It betweenthis andothermathematical theory principles． informationof elementon Martin researchedmetricof Keye