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

连续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 梁基华;L-Domain的两个刻划定理[J];四川大学学报(自然科学版);1995年05期
2 刘宾;奚小勇;;Domain函数空间代数性的一个注记[J];徐州师范大学学报(自然科学版);2009年01期
3 龚雅玲;;试论几类弱连续偏序集的关系[J];南昌教育学院学报;2010年05期
4 周立涛,王戈平;Domain上的扩张定理[J];徐州师范大学学报(自然科学版);2003年04期
5 王习娟;有界完全Domain及其相关性质[J];淮阴师范学院学报(自然科学版);2004年02期
6 周纯阳;徐罗山;;半群上的拓扑、偏序和相关Domain[J];模糊系统与数学;2010年04期
7 徐罗山;相容L-Domain及其相关范畴性质[J];扬州大学学报(自然科学版);2002年01期
8 陈仪香;拓扑学在Domain理论中的应用[J];上海师范大学学报(自然科学版);2000年03期
9 刘妮,赵彬;关于连续Domain权的进一步结果[J];模糊系统与数学;2001年04期
10 寇辉,罗懋康;拟连续Domain及其子范畴间的伴随关系[J];数学年刊A辑(中文版);2002年05期
11 索剑峰,梁基华;函数空间连续性的一个注记[J];四川大学学报(自然科学版);2004年04期
12 袁珍艳;徐罗山;;仿sober与超sober拓扑空间[J];扬州大学学报(自然科学版);2008年04期
13 赵彬;连续Domain的基与权[J];工程数学学报;2000年04期
14 周立涛;连续Domain的一个刻划[J];南京气象学院学报;2004年01期
15 袁震东;系统辨识中时域方法与频域方法的相辅相成关系(英文)[J];控制理论与应用;1988年04期
16 李白尼;魏武;马骏;张润杰;;基于最大熵值法生态位模型(Maxent)的三种实蝇潜在适生性分布预测(英文)[J];昆虫学报;2009年10期
17 ;数学学报第24卷(1981)总目录[J];数学学报;1981年06期
18 张奇业,樊磊,郑崇友;一类Domain范畴及其笛卡儿闭子范畴[J];数学学报;2001年05期
19 陈仪香;Dom ain理论中的映射[J];模糊系统与数学;2002年04期
20 尚云;连续Domain的若干特征定理[J];西北大学学报(自然科学版);2004年06期
中国重要会议论文全文数据库 前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 ;Impulse Time Domain Antenna Measurement System at Da Yeh University[A];2002海峡两岸三地无线科技研讨会论文集[C];2002年
6 ;Analysis on the characteristics of animal tissues based on the Terahertz time domain spectroscopy system[A];中国光学学会2011年学术大会摘要集[C];2011年
7 ;Inductance Model of Square Spiral Inductor Based on Domain Decomposition Method[A];2002海峡两岸三地无线科技研讨会论文集[C];2002年
8 ;Expression,Purification and Activity Analysis of the N-terminal Domain of Lipoprotein LppQ of Mycoplasma Mycoide subsp. Mycoides SC[A];中国畜牧兽医学会畜牧兽医生物技术学分会暨中国免疫学会兽医免疫分会第八次学术研讨会论文集[C];2010年
9 Mirva Piippo;Marjaana Suorsa;Markus Nurmi;Eveliina Aro;Eva-Mari Aro;;Chloroplast-targeted J-domain proteins-Expression and role of AtJ8, AtJ11 and AtJ20 in Arabidopsis thaliana[A];第九届全国植物结构与生殖生物学学术研讨会论文摘要集[C];2010年
10 ;Domain-Swapping as a Mechanism to Lock the Active Conformation of SARS-CoV Main Protease[A];第十一次中国生物物理学术大会暨第九届全国会员代表大会摘要集[C];2009年
中国博士学位论文全文数据库 前10条
1 张稳;基因表达调控相关蛋白的结构和功能的研究[D];中国科学技术大学;2011年
2 郭智莲;相容连续Domain和模糊半连续Domain的研究[D];陕西师范大学;2012年
3 樊磊;Domain理论中若干问题的研究[D];首都师范大学;2001年
4 刘敏;Ω-范畴与模糊Domain中相关问题的研究[D];陕西师范大学;2013年
5 孙婷婷;蛋白激酶TTK的动力学研究及其羧基末端D domain在其激酶活性中作用的研究[D];山东大学;2009年
6 奚小勇;关于Domain函数空间的若干问题[D];四川大学;2005年
7 宋福平;苏云金芽孢杆菌特殊异性cry基因的研究[D];东北农业大学;2001年
8 李高林;Domain的几种推广类型和相关应用研究[D];扬州大学;2012年
9 刘湘华;两个新的蛋白质结构域的鉴定暨生长分化因子3功能的初步探讨[D];复旦大学;2006年
10 陈学友;Domain逼近概念格粗糙集与拓扑[D];湖南大学;2007年
中国硕士学位论文全文数据库 前10条
1 赵凯;做为全息超导模型的带电AdS domain-wall研究[D];北京工业大学;2013年
2 雷银彬;Domain上的测度及拓扑空间的Domain环境相关问题研究[D];四川大学;2004年
3 路秀华;量化Domain中的反向层次收敛[D];首都师范大学;2005年
4 刘敏;FZ-Domain的拓扑与范畴性质[D];陕西师范大学;2010年
5 刘妮;连续Domain的基数函数与若干Domain范畴的笛卡尔闭性[D];陕西师范大学;2002年
6 薛建丽;苏云金芽孢杆菌CrylAa、CrylC的协同作用和同源重组的研究[D];中国科学院研究生院(武汉病毒研究所);2004年
7 王卫民;Web服务可视化的研究[D];广西大学;2004年
8 周纯阳;半群上的拓扑、偏序和相关Domain[D];扬州大学;2009年
9 陈建;基于Xen的domain0内核的研究[D];浙江大学;2008年
10 杨瑞;苹果蠹蛾Cydia pomonella (L.)在中国的适生性研究[D];西北农林科技大学;2008年
中国重要报纸全文数据库 前10条
1 本报记者 刘学习;Data Domain节约存储成本有高招[N];计算机世界;2008年
2 邢小萍;Data Domain成存储巨头争夺目标[N];网络世界;2009年
3 ;Time Domain拆分出专营UWB的公司[N];计算机世界;2003年
4 邢小萍;Data Domain将借EMC之势腾飞[N];网络世界;2009年
5 电脑商报记者 刘一冰;一切照旧,重塑渠道[N];电脑商报;2009年
6 李学昌;老树新花说DOS⑦[N];中国电脑教育报;2004年
7 ;NetApp拟15亿美元收购Data Domain[N];网络世界;2009年
8 张艳萍、主笔;在新华社多媒体信息系统的应用(二)[N];中国计算机报;2004年
9 本报记者 宋家雨;EMC Data Domain亮相 发力备份恢复市场[N];网络世界;2010年
10 辽宁 富彦;申请自己的免费“邮局”[N];电脑报;2001年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978