收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

连续Domain的基数函数与若干Domain范畴的笛卡尔闭性

刘妮  
【摘要】: Domain理论为计算机程序设计语言的指称语义学奠定了数学基础.其中序与拓扑相互结合、相互作用是这一理论的基本特征。正是这一特征使Domain理论成为理论计算机科学与格上拓扑学研究者共同感兴趣的领域,并使Domain理论与许多数学学科产生了密切的联系。而基数函数是集论拓扑学的主要内容之一,这就导致D.S.Scott等六位专家在丈[1]中提出了连续格的权的概念并且讨论了由此涉入的一些关系定理。文[2]中给出了更一般的研究对象——连续Domain的权的定义并讨论了一些基本的性质。本文将给出连续Domain的特征、浓度等概念,并进一步探讨连续Domain的基数函数与相应的Scott拓扑空间及相应的Lawson拓扑空间的基数函数之间的关系,最终得到了若干基数等式与不等式,通过引入对象等价的概念,指出了权与特征均是同构不变量,特征是等价不变量。本文还得到了连续Domain的开、闭遗传性,给出了代数完备半格范畴和局部代数格范畴的等价范畴。 满足一定条件的Dcpo与其上的某些Scott连续映射组成的范畴称为某种Domain范畴。一种Domain范畴要成为某种语言的语义学模型其基本条件是笛卡尔闭的,因而研究Domain范畴的笛卡尔闭性或者说寻找笛卡尔闭的Domain范畴就自然成了Domain理论中一个十分基本的问题。连续Domain在整个Domain理论中占有十分重要的地位.对于以Scott连续映射为态射的DCPO的满子范畴的笛卡尔闭性已经有过许多讨论,一些基本结果已经得出。本丈证明了完备半格范畴、局部完备半格范畴、交连续完备半格范畴是笛卡尔闭的。在某种意义上完善了对DCPO的满子范畴的笛卡尔闭性的讨论。以Scott连续映射为态射有一定的优点,比如对于无型λ演算的模型的获取是很有用的。但从实际应用来看又有一定的局限性,比如它不能表现ALGOL序列语言的所有算子性质等。G.Berry为了在语义模型中刻划计算的时序性,引入了稳定映射和稳定Domain,稳定序等概念,并由此发展了稳定Domain理论。这方面已经取得了比较显著的结果。本丈在此基础上讨论了以稳定映射为态射的局部完备格范畴的满子范畴的笛卡尔闭性。证明了几类分配的Domain范畴即SDSCS、SDCCS、SDACS是SLP的闭的满子范畴,指出在SLP的满子范畴中指数对象同构于稳定映射所成的函数空间。 本文的主要结构与内容: 第一章为准备知识。我们将给出完成全文所需的Domain理论和范畴论两方面的基本知识。Domain方面将给出一些基本的定义如定向集、定向完备集、连 续 Domain、连续 Domain的基、完备半格、局部完备格等,以及连续 Domain 上的重要拓扑——Scott拓扑和Lawson拓扑.范畴论方面将给出一些主要概念如 满子范畴、函子、自然同构、范畴等价、伴随函子、极限、乘积、笛卡尔闭性 二 等及几个重要定理. 第二章研究连续Domain的三个基数函数和其它一些问题,共分四小节.第一 ‘、节介绍了连续*。*。m的权并讨论它与其带上h。口拓扑或h*s。n拓扑的拓扑 空间的权的关系,最后得到了三种权相等的结论.第=节定义了连续Domain的特 征并讨论了三种特征之间的关系,得到了连续Domain的特征与ZP的特征相等. 它们都不超过AP的特征.通过对连续Domain上特殊映射的讨论,定义了等价的 概念并指出权与特征都是同构不变量,特征是等价不变量.第三节引入了连续 Domain的浓度的概念,同样讨论了它与相应的拓扑空间的浓度之间的关系,得到 了类似于特征的结果.第四节讨论了连续Domain的开、闭遗传性;类似于交连 续格,给出了交连续完备半格的一个刻划定理;通过构造两种新的半格,给出局部 代数格范畴和Scott Domain范畴的等价范畴.最后证明了完备半格范畴、局部完 备格范畴、交连续完备半格范畴的笛卡尔闭性. 第三章讨论以稳定映射为态射的局部完备格范畴的满子范畴的笛卡尔闭性. 给出了范畴 SLP的满子范畴笛卡尔闭的必要条件,即证明了 SLP的满子范畴中的 指数对象就是稳定映射构成的函数空间.得到了以稳定映射为态射的完备半格范 畴、连续完备半格范畴、代数完备半格范畴都不是笛卡尔闭的,而以分配的交连 续完备半格、分配的 cos、分配的 Scott Domain等为对象的SLP的满子范畴是笛 卡尔闭的.从而推广了G.Berry和PTaylor关于以稳定映射为态射的相应Domain 范畴的笛卡尔闭性的部分结果. 第四章主要给出了 Sober化的一个重要性质.通过对完备格的谱理论的简单 讨,为一般的拓扑空间及偏序集的Sober {匕做了理论上的铺垫Z指出了拓扑空间的 Sober化函子是从SOB到TOP的包含函子的左拌随,理想完备化函子是从ALG 到POS的遗忘函子的左拌随.


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 朱耀平;;逻辑主义意义理论的“在场形而上学”根基[J];科学技术哲学研究;2011年05期
2 黎琼;;微积分发展史[J];科教导刊(上旬刊);2011年06期
3 陈蓉霞;;伽利略的实验:主题先行[J];哲学分析;2011年03期
4 陈栋;;应用洛伦兹变换公式试推光速不变原理[J];考试周刊;2011年55期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 ;Multi-Domain Boundary Element Method with Dissipation[A];纪念顾懋祥院士海洋工程学术研讨会论文集[C];2011年
2 ;Identification of a Regulatory Binding Site of HAb18G/CD147 I domain and Integrin β1 Subunit[A];2010’全国肿瘤分子标志及应用学术研讨会暨第五届中国中青年肿瘤专家论坛论文汇编[C];2010年
3 ;Fault Dignosis of Rolling Bearing Based on Time Domain Parameters[A];Proceedings of 2010 Chinese Control and Decision Conference[C];2010年
4 ;ARF-like protein 16(ARL16) inhibits RIG-I by binding with its C-terminal domain in a GTP-dependent manner[A];“细胞活动 生命活力”——中国细胞生物学学会全体会员代表大会暨第十二次学术大会论文摘要集[C];2011年
5 马天俊;;笛卡尔的知识论修辞学——读《谈谈方法》[A];“西文知识论”全国学术研讨会论文集[C];2003年
6 ;Impulse Time Domain Antenna Measurement System at Da Yeh University[A];2002海峡两岸三地无线科技研讨会论文集[C];2002年
7 ;Analysis on the characteristics of animal tissues based on the Terahertz time domain spectroscopy system[A];中国光学学会2011年学术大会摘要集[C];2011年
8 ;Inductance Model of Square Spiral Inductor Based on Domain Decomposition Method[A];2002海峡两岸三地无线科技研讨会论文集[C];2002年
9 刘国俊;王宝园;郑秋亚;;复杂几何体的自适应笛卡尔网格/自适应棱柱网格生成[A];计算流体力学研究进展——第十二届全国计算流体力学会议论文集[C];2004年
10 ;Expression,Purification and Activity Analysis of the N-terminal Domain of Lipoprotein LppQ of Mycoplasma Mycoide subsp. Mycoides SC[A];中国畜牧兽医学会畜牧兽医生物技术学分会暨中国免疫学会兽医免疫分会第八次学术研讨会论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 张稳;基因表达调控相关蛋白的结构和功能的研究[D];中国科学技术大学;2011年
2 樊磊;Domain理论中若干问题的研究[D];首都师范大学;2001年
3 孙婷婷;蛋白激酶TTK的动力学研究及其羧基末端D domain在其激酶活性中作用的研究[D];山东大学;2009年
4 奚小勇;关于Domain函数空间的若干问题[D];四川大学;2005年
5 宋福平;苏云金芽孢杆菌特殊异性cry基因的研究[D];东北农业大学;2001年
6 刘湘华;两个新的蛋白质结构域的鉴定暨生长分化因子3功能的初步探讨[D];复旦大学;2006年
7 陈学友;Domain逼近概念格粗糙集与拓扑[D];湖南大学;2007年
8 宋斌;论笛卡尔的机械论哲学[D];南开大学;2009年
9 WAEL M.K.ELFEIL (维尔);鸭、鹅PRRs的克隆、分析及分布研究[D];吉林大学;2012年
10 高兵强;胡塞尔《笛卡尔式的沉思》中的“他人经验”问题[D];中共中央党校;2010年
中国硕士学位论文全文数据库 前10条
1 刘妮;连续Domain的基数函数与若干Domain范畴的笛卡尔闭性[D];陕西师范大学;2002年
2 徐丽娜;笛卡尔对确定性的追求[D];苏州大学;2011年
3 雷银彬;Domain上的测度及拓扑空间的Domain环境相关问题研究[D];四川大学;2004年
4 王秋梅;理性逻辑与科学方法[D];广西师范大学;2004年
5 路秀华;量化Domain中的反向层次收敛[D];首都师范大学;2005年
6 王玉峰;基于笛卡尔网格的非定常气动力计算[D];西北工业大学;2005年
7 刘在泉;笛卡尔、康德、胡塞尔[D];安徽大学;2002年
8 刘敏;FZ-Domain的拓扑与范畴性质[D];陕西师范大学;2010年
9 薛建丽;苏云金芽孢杆菌CrylAa、CrylC的协同作用和同源重组的研究[D];中国科学院研究生院(武汉病毒研究所);2004年
10 王卫民;Web服务可视化的研究[D];广西大学;2004年
中国重要报纸全文数据库 前10条
1 复旦大学当代国外马克思主义研究中心 俞吾金;“我思故我在”存疑[N];中国社会科学报;2010年
2 范曾;一字圣典:善(下)[N];学习时报;2010年
3 宋斌 南开大学哲学系;灵肉二分:语言“恶之花”[N];中国社会科学报;2009年
4 范曾;一字圣典:善[N];学习时报;2010年
5 本报记者 刘学习;Data Domain节约存储成本有高招[N];计算机世界;2008年
6 孙小礼;怀疑·科学·笛卡尔[N];学习时报;2006年
7 邢小萍;Data Domain成存储巨头争夺目标[N];网络世界;2009年
8 ;Time Domain拆分出专营UWB的公司[N];计算机世界;2003年
9 邢小萍;Data Domain将借EMC之势腾飞[N];网络世界;2009年
10 电脑商报记者 刘一冰;一切照旧,重塑渠道[N];电脑商报;2009年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978