关于Locale Wallman紧化的一点注记

本文证明了在正规locale范畴中,Banaschewski-Mulvey形式的紧正则反射与Johnstone形式的Wallman紧化一致,从而推广了Johnstone在文献[4]中的主要结果.     

弱空间式Locale

空间式locale范畴SLoc是locale范畴Loc的余反射满子范畴,但对locale乘积不封闭．本文引入弱空间式locale,证明弱空间式locale范畴WSloc为范畴Loc的余反射满子范畴,且对locale秉积封闭．还证明了一个locale A是空间式的当且仅当它的枝映射localeN(A)是弱空间式的;一个空问式locale的每一个子locale都是空间式的当且仅当它的每一个子locale是弱空间式的．最后,证明了弱空间式性在定向函子下保持不变．     

关于Locale范畴反射子范畴的注解

利用Locale中的完全正则元和零维元构造性地给出了任意Locale的完全正则反射以及零维反射的描述,并且对于满足‘(?)’关系插入性的Locale,特别地,对正规Locale,证明了全体正则元构成的Locale是其正则反射.进而,利用平稳(flat)子Locale的扩张引理给出了Locale的紧完全正则反射,紧零维反射以及紧正则反射的构造性描述.     

关于Locale范畴反射子范畴的注解

利用Locale中的完全正则元和零维元构造性地给出了任意Locale的完全正则反射以及零维反射的描述,并且对于满足‘(<)'关系插入性的Locale,特别地,对正规Locale,证明了全体正则元构成的Locale是其正则反射.进而,利用平稳(flat)子Locale的扩张引理给出了Locale的紧完全正则反射,紧零维反射以及紧正则反射的构造性描述.     

Locale范畴的反射子范畴

本文研究ｌｏｃａｌｅ范畴的反射子范畴，给出反射子范畴的刻划定理，从一般的ｌｏｃａｌｅ出发，完全构造性地给出了ｌｏｃａｌｅ的正则反射、完全正则反射和零维反射的构造．     

Locale同伦理论

本文引入了locale连续映射同伦的概念,建立了locale同伦范畴,构造性地证明了任一locale连续映射都同伦等价于一个locale包含映射。通过引入locale H群的概念(它是locale群概念的自然推广),建立了locale同伦范畴到群同态范畴的一个反变函子。特别地,我们建立了locale同伦群范畴上的基本群函子,证明了locale L上以p为基点的基本群同构于L的谱空间pt(L)上以p为基点的基本群。因此,基本群函子是locale范畴中的一个同伦不变量。     

locale范畴中的逆极限

给出locale范畴中逆极限结构的明确描述 .借助于引入的一种新的极限形式———集体拉回 ,详细讨论了逆极限的性质 ,特别地 ,不用选择公理证明了locale形式的Steenrod定理 ,并且证明了紧空间式locale的逆极限一般不是空间式的 .作为在拓扑空间范畴中的应用 ,改进了经典拓扑学中的Steenrod定理     

*-仿紧性与分离公理

对L-fuzzy子集的*-仿紧性进行修正，重证两个定理，另外证明*-仿紧的Hausdorff空间是S^*正则的与S^*正规的。     

形式背景的AE-仿紧性

利用拓扑学的思想定义了形式背景的AE-仿紧性,给出了AE-仿紧背景的充分条件,研究了AE-仿紧背景的若干性质.证明了AE-仿紧性被适当的信息态射所保持,对一类闭嵌入子背景是遗传的.在以形式背景为对象,信息态射为态射的范畴FCC中,给出了两个形式背景乘积对象的表示,证明了两个AE-仿紧背景的乘积对象还是AE-仿紧的.     

环的弱整体维数和CM-自由性

设环R的弱整体维数有限.本文证明R是强CM-自由的.作为应用,本文得到一些同伦范畴和相对导出范畴的三角等价和紧生成性.当R 弱整体维数不超过1时,本文完全分类了这些等价范畴中的可定义子范畴,并说明这些等价的范畴在von Neumann正则环上满足Telescope猜想.同时将一个广义Grothendieck对偶型的三角...     

Locale的正则紧反射

ｌｏｃａｌｅ的正则紧反射函子的构造的明确描述问题是由ＢａｎａｓｃｈｅｗｓｋｉＢ．和ＭｕｌｖｅｙＣ．Ｊ．于１９８０年提出的,十多年来一直没有进展。本文通过在ｌｏｃａｌｅ上引入一种二元关系,给出了ｌｏｃａｌｅ的正则紧反射函子的构造性描述。     

拟仿紧性与乘积空间

本文证明了在V=L假定下,所有正规局部紧拟仿紧空间是仿紧的.并证明了正则拟仿紧性在有限对一闭映射下是逆保持的.还研究了狭义拟仿紧性的有限乘积和逆极限定理.     

不分明拓扑中的Stone表示定理

对一类完全分配格给出了Stone 表示定理的格值形式. 准确地说, 证明了若L是一frame且 0ÎL 是素元或1ÎL 是余素元, 则分配格范畴对偶同构于凝聚L-locale 范畴; 若L还是完全分配的, 则分配格范畴对偶同构于凝聚 满层L-拓扑空间范畴.     

不可数多个GO-空间乘积的k-仿紧性

证明了不可数多个GO-空间的乘积是k-仿紧空间(相似文献   

一种新的L-fuzzy仿紧性

在L-fuzzy拓扑空间上引入了S-紧和S-仿紧的概念,证明了Tychonoff定理对S-紧是成立的;证明了弱诱导的L-fuzzy拓扑空间是S-仿紧的,当且仅当(X,[δ])是仿紧的。并且证明了满足S-T2分离性的S-仿紧的L-fuzzy拓扑空间是S-正则。     

L-fuzzy拓扑空间的弱诱导化

对任一L-fuzzy拓扑空间,本文给出了两个与之密切相关的弱诱导空间,从而证明了弱诱导空间范畴是一般fuzzy拓扑空间范畴的反射和余反射满子范畴.特别地我们较详细地讨论了次T_o完全正则空间的弱诱导化.     

拟仿紧性与乘积空间

本文证明了在V=L假定下,所有正规局部紧拟仿紧空间是仿紧的．并证明了正则拟仿紧性在有限 对一闭映射下是逆保持的．还研究了狭义拟仿紧性的有限乘积和逆极限定理．     

基亚紧空间(英文)

介绍了基亚紧拓扑空间的概念,这类空间是完全亚紧空间类及基仿紧空间类的推广.本文主要研究基亚紧空间的性质,证明了如下结果:(1)每一个可展的亚紧空间是基亚紧空间;(2)基亚紧性在开闭且有限到一的连续映射下保持;(3)若X是两个序数的积空间的子空间,则X是亚紧的当且仅当X是完全亚紧的.     

Locale的弱拓扑表达

本文引入了弱拓扑空间的概念,证明了locale范畴与弱拓扑空间范畴的关系类似于拓扑空间范畴与locale范畴的关系。locale范畴严格包含于弱拓扑空间范畴并且与Sober的弱拓扑空间范畴等价。     

关于完全仿紧空间的一些刻画

本文在Ｔ１正则的条件下得到了完全仿紧空间的一些等价刻画,并利用所得到的刻画证明了这类空间的一个可数乘积定理。