学位论文 > 优秀研究生学位论文题录展示

Domain上的测度及拓扑空间的Domain环境相关问题研究

作　者: 雷银彬
导　师: 罗懋康
学　校: 四川大学
专　业: 基础数学
关键词: 测度 μ拓扑紧局部紧信息可导可导强Domain环境 Domain模型 Choquet完备
分类号: O189.11
类　型: 硕士论文
年　份: 2004年
下　载: 48次
引　用: 0次
阅　读: 论文下载

内容摘要

产生于上个世纪70年代的Domain理论，是理论计算机科学的重要领域，旨在为计算机高级语言提供数学基础。序和拓扑的相互结合、相互作用是这一理论的基本特征。正是这一特征使Domain理论成为计算机科学和拓扑学共同关心的领域，也使这一理论和其他数学学科建立了密切的联系。 2000年Keye Martin在其博士论文里对Domain中元素所含信息量的度量，逼近程度的度量等问题进行了研究，并建立了一套完整的分析体系。另外他还利用测度研究了具有G_δ Domain模型的拓扑空间的相关性质。受其工作的影响本文研究了以下三方面的问题： 1．讨论了ω-连续domain上的测度，给出了G_δ引理成立的几个充分条件及满足三角不等式的测度的一些性质和应用。 2．讨论了domain上的μ拓扑及信息导数的部分性质，给出了μ拓扑的第二可数的充份条件及μ拓扑紧，局部紧的以及其他覆盖相关的一些结论，并回答了Keye Martin于2000年提出的相关问题。 3．从domain的角度给出了Tychonoff空间为紧空间的一些等价刻画，并考查了具有模型的空间的与完备相关的性质。

全文目录

引言  7-10
第一章基础知识准备  10-13
  §1.1 基本概念及定理  10-11
  §1.2 一些Domain的例子  11-13
第二章 Domain上与测度相关问题的研究  13-25
  §2.1 测度及应用  13-17
  §2.2 μ拓扑及信息导数  17-25
第三章拓扑空间的Domain环境  25-30
  §3.1 Tychonoff空间的强Domain环境  25-27
  §3.2 极大点空间的完备性  27-30
参考文献  30-31

相似论文

钢丝滚道球轴承的预紧与支承刚度理论及实验研究,TH133.331
机载导弹的传递对准研究,V249.322
惯导平台测试方法与参数辨识研究,V249.322
哈尔滨城市空间环境视觉导识系统研究,TU998.9
低频方波小功率金卤灯电子镇流器的研究,TM923.61
末制导段导引控制方法研究,TJ765.3
分导飞行器多模型自适应控制,TP273.2
急性脑梗死患者睡眠结构的变化,R743.33
提高初中生学习化学兴趣的研究,G633.8
思维导图在科学教学中的应用,G633.98
脉冲激光生物硬组织水介导消融特性研究,R318.51
一个油菜菌核病抗病相关基因的功能初步分析,S435.654
利用慢病毒载体制备转基因小鼠和牛胚胎的研究,S814.8
中考数学分层复习的实践研究,G633.6
含左手材料平板波导的电磁特性,O441.6
金山区农业信息化建设研究,F320.1
稻麦收割开沟埋草一体机的改进设计与试验,S224.29
水稻纹枯病菌三磷酸甘油醛脱氢酶基因的克隆及其遗传转化体系的构建,S435.111.42
大豆细菌性斑点病原物的分离鉴定及其两个Ⅲ型效应因子的克隆与功能研究,S435.651
农杆菌介导GmWRKY21基因转化大豆的研究,S565.1
小麦遗传转化体系建立和优化及抗坏血酸过氧化物酶基因（Ta-APX）转化小麦研究,S512.1