fhaus扑范畴的超单态与dcpo上lawson拓扑的紧性.pdfVIP

FHaus拓扑范畴的超单态与Dcpo-kLawson拓扑的紧性 研 究 生：王诗云 指导教师：谢琳 ‘ 学科专业：基础数学 摘要：用范畴语言刻划不同类型的子对象是范畴论的…个曩要内容．各种单裔 拓扑空间某贱单态的刻划．文章的最后一部分，通过比较一般的dcpo与完备格的区 别，就dcpo上lawson拓扑的紧性作了较为详细的分析．文章主要内容如下： 的性质入手，引入交零包和余遗传的概念，通过埘这两个概念的讨论研究给出超单 态的一些必要条件，同时给…闭嵌入不是超雏态的一个例子．附带纠正文献【l】I中关 于严格单态的’个命题． 2．讨论了超单态以及正则单态(regular Top，FHaus，Haus，HComp，Ury等)中的刻画． 拓扑不紧的原因．给出一些lawson拓扑紧的dcpo． 关键词：FHaus拓扑范畴，超啦态，lawson拓扑 1引言 为了用范畴语育来刻划子对象，人们引入了各种特殊类型的单态．这些不同的 单态在不同的具体范畴r{J具有不同的性质．尤其在以拓扑空闸为对象的范畴中，由 于一股的连续内射(continuous 不同的拓扑空间范畴叫J就表现出错综复杂的层次关系， 文献[11较为全面深入的介绍了范畴论和这些‘{!发展过程中所产生的许多概念， 仪单态的概念就有：单态(monomorphism)川i则单态(regular FHaus拓扑范畴的超单态与Dcpo．LLawson拓扑的紧性 )，超单态(extremalmonomorphism)，严格单态(strict 种．在介绍和讨沦这些单态的关系时，义献…未加证明的给出如下结果： 命题(A)：FH／ills拓扑范畴中超单态可以等价刻划为闭子空问的嵌入． 然而命题(A)是4i成立的．本文一开始就引入了交零包以及余遗传的概念，通列 对二二者的研究讨论，得山一系列超尊态的必要条件，而只．通过观察Haus，Ury等拓抖 空间的超单态可以等价刻划为闭嵌入的证明，分析FHaus拓扑范畴中超单态可圳 等价刻划为闭嵌入的阴难所在，同时绘出FHaus拓扑空问中超单态的必要条件．另 外，文献fl】还给出了下面的命题： 命题(B)：如果，是严格单态，9是一个截ilff，则go，是严E格单态． 这个结论也是不成．讧的，本文将予以纠正．在纠iE了这些错误之后，较为系统白勺 讨论了并种单态概念的关系，以及备拓扑范畴巾各种单态的性质． 分离性等．文献【2】关于连续domain 划．其中有这样一个命题： 命题(e)：连续dcpoD上的lawson拓扑是紧的当且仅当D是凝聚的． 紧性作了较为详细的讨论． 除前言外，文章的主体{f叫个部分， 第一部分介绍正文巾出现的一些符号的含义及必要的预备知识． 第二部分为了讨论FHaus拓扑范畴巾的超单态，引入了交零包以及余遗传的 概念，通过对二者的分析研究，给出一系列超单态的必要条件．通过观察Haus，Ury 等拓扑空间，分析证明FHaus拓扑范畴中超单态是闭嵌入的闲难所在，在这一节的 末尾，针对命题(A)，(B)分别给于反例和修正． 第三部分在第二节的基础上较为系统的讨论了各类拓扑空间各类单态的(主 要是正则尊态与超单态)的刻划，使得正则啦态和超单态在一一些主要的常见的拓扑 范畴中的刻划与关系豁然明朗，清晰．这其中有些等价刻划，更使得超单态与正则单 态易于理解和把握． 拓扑紧的困难。间时给出dcpo上lawson拓扑紧性的一系列结果。 2 FHaus拓扑范畴的超单态与Dcpo_kLawson拓扑的紧性 2预备知识 山于在各种文献中，有些概念和符号的用法不完全一致，所以在这一节中对本 文所使用的概念和符号予以必要的解释说明． 一般的，范畴巾的对象均用大写字母A，B表示． 映射的复台用O表示． ” jA 也可以记作C o j2A，若f