关于domin函数空间的若干问题.pdfVIP

摘 要 关于Domain函数空间的若干问题 基础数学专业 研究生奚小勇 导师刘应明院士梁基华教授 随着计算机科学的飞速发展，有关计算机科学的数学基础研究越 来越受到人们的重视，已成为数学与计算机科学研究者共同感兴趣的 领域．产生于20世纪70年代早期的Domain理论正是这样一个领域． Domain理论的提出来源于两个不同的背景：一个是理论计算机中的函 数式语言的研究，一个是纯数学的研究．从两种不同的背景出发，导 致对同一对象的发现，刺激了这一领域的研究．1980年，Scott等六位 作者共同撰写了关于连续格理论的著名专著[15]，2003年这一专著又出 版了新的补充版[16L将最近20多年的许多成果收入其中．经过30多 年的发展，这一领域的研究已有了丰富的成果，并与逻辑，范畴论，拓 扑，格论，loca!e理论和格上拓扑学等众多数学分支发生了密切的关 联f2，4，7，12，13，63，76，89et．al】，同时也提出了不少有趣的问题．如由Jan vail Mill和GeorgeM．Reed编辑，1990年出版的问题专著侧“拓扑学