Domain上的测度与拓扑空间的Domain环境相关问题分析.pdfVIP

com— environment，domainmodel，Choquet derivative，derivative，(strong)domain plete 致谢 本文是在导师罗懋康教授悉心指导下完成的．罗懋康教 授严谨的治学态度、对数学的精辟见解和他渊博的学识，使 我深受启发，得益非浅，对数学有了更加深刻的认识，更加 激发了我从事数学研究5-作的热情．自2001年以来，罗懋 康教授在学习、研究和生活方面给予了我很多关心和支持， 对本文的写作提供了宝贵的意见和建议．在此，向导师罗懋 康教授表示衷心感谢! 并真诚感谢梁基华教授、寇辉博士给予的关心和帮助． 感谢杨金波博士、奚小勇博士，他们为本文的写作提供 了相关资料，对论文的写作提出了很好的建议．最后向我的 家人及所有帮助过我的同学、朋友表示感谢． 引言 产生于上个世纪70年代的Domain理论，是理论计算机科学的重要领域， 旨在为计算机高级语言提供数学基础．序和拓扑的相互结合、相互作用是这一理 论的基本特征．正是这一特征使Domain理论成为计算机科学和拓扑学共同关 心的领域，也使这一理论和其他数学学科建立了密切的联系． SAbramsky和 A．Jung合著的《Domain Theory》一书对这方面的理论研究成果作了较为系 统的总结． 关于紧半格结构的理论研究中，发现了连续格和代数格的结构．从两个完全不 同的背景出发，导致了同一个对象的发现，刺激了这一领域的研究． 1980年， Scott等六位作者共同撰写了关于连续格理论研究的著名专著ⅨA Compendium ofContinuous Lattices》． 在另一边，计算机函数式语言的研究，从完全不同的角度推动了Domain理 论的发展．函数式语言是一种主要的计算机程序设计语言范型．它把程序看作 函数，通过函数的各种运算，包括复合、递归等，来达到所期效果．那么一种自 然的想法是能否找到一种数学结构满足函数式程序语言的的要求，并且在该结 构中有与函数各种运算对应的运算．D．Scott首先考虑了这个问题． 一个程序(过程)是对期望结果的不断逼近，程序每运行一步，那么就更加 接近期望的结果，直观上讲，就是一种逼近结构．数学家们用domain来描述这 样的数学结构，首先domain是一个集合，其上具有一种序结构，是用来刻画元 素间相互关系的．设想元素a比b更集接近我们期望的结果．我们用ba来 E 表示这种含义．也可以认为，a比b具有更多的关于计算结果的信息．同时注 意到：有的信息之间是不可比较的，因而Domain上的序为偏序，Scott形象地 称这种序为信息序．其中极大元被看作是具有充分信息的，其他元被认为是只 含有部分信息． 信息序中，程序(过程)不断地逼近所预期的结果，直观上讲，这种逼近结 构具有定向性即任何两个逼近元a、b存在一个比a、b更加逼近结果的元， 那么逼近元的极限则被认为是逼近元组成的定向集的上确界．自然domain应具 有定向完备性． 第2页 Martin 进～步，若a、b都逼近c，我们怎样来度量这种逼近的程度．Keye 在其博士论文『11中首先讨论了这一问题，通过给一个domain中每一对象赋予 一个值，作为该对象所含信息的测度，通过这个赋值，我们可以比较对象的逼近 程度．下面的例子有助于我们理解这种朴素的思想： 给定精度e0，理想的元素：h，(z。)为一序列，通过下面的过程来计算： n：=0： repeat； n：=n+1 compute卫n； until“znE． 其中pz≥0表示X对h的逼近程度的度量．