对称的满层LKent收敛空间范畴的子范畴.pdfVIP

第27卷第1期 模糊系统与数学 V01．27．No．1 andMathematics Feb．，2013 2013年2月 FuzzySystems 文章编号：1001—7402(2013)01—0084—07 对称的满层L—Kent收敛空间范畴的子范畴+ 高小燕 (榆林学院数学与应用数学系，陕西榆林719000) 摘 要：在满层的L—Kent收敛空间中引入了对称性的概念，定义了对称的满层￡一Kent收敛空间范畴， 对称的满层L一极限空间范畴，对称的满层￡一主收敛空间范畴，对称的满层L一拓扑空间范畴。证明这四个 范畴是拓扑范畴，并且后一个是前一个的反射子范畴。最后证明了对称的满层L—Kent收敛空间范畴争 对称的满层L一极限空间范畴是笛卡儿闭的。 关键词：对称的满层L—Kent收敛空间；反射子范畴；笛卡儿闭；拓扑范畴 中图分类号：0189 文献标识码：A 1 引言及预备知识 在一般拓扑学中，为了刻画拓扑结构，引入了许多收敛空间的概念，比如收敛空间，Kent收敛空间， 极限空间，预拓扑空间，拓扑空间。这些空间及连续映射构成的范畴分别记为Conv，KConv，Lira， PrTop，Top，它们之间关系如下： Cony三KConv三Lim三PrTop≥Top 这个链中后一个是前一个的反射子范畴，每一个范畴都是拓扑范畴，且除Top外都是笛卡儿闭的。 为了将上述结论推广到模糊情形，R．Lowen用拟滤子定义和研究了模糊收敛空间，并用收敛刻画 了模糊紧性和模糊连续性Ⅲ。K．C．Min，B．Y．Lee等用拟滤子研究了模糊极限空间和模糊收敛空间的 各种性质‘2--3]。E．Lowen等用拟滤子定义了，一模糊收敛空间的概念，并证明了这种范畴有很多好的性 范畴是笛卡儿闭的，且满层的L一拓扑空间范畴可以作为一个反射子范畴嵌入到满层的L一收敛空间范 畴卜6|。在此基础上，本文引入了对称性的概念，做了类似的讨论。本文中三为完备Heyting代数，￡一滤 子的相关结论参考Es]，[6]。 定义I．1啪设L是完备格，如果满足下面条件： aAVbi—V(nAhi) iEl iEI 则称￡是完备Heyting代数。 件： (LFl)莎(0)一0，莎(1)一1； ÷收稿日期：2011-04—21 基金项目：陕西省教育厅科技计划项目(09JK834) 作者简介：高小燕(1980一)，女，陕西榆林人，榆林学院数学与应用数学系讲师，研究方向：格上拓扑学。 万方数据 第1期 高小燕：对称的满层L—Kent收敛空问范畴的子范畴 85 (LF2)若A≤B，则罗(A)≤莎(召)； (LF3)矿(A)^莎(B)≤3-(A^B)。 L一滤子莎称为满层的，如果满足下面条件： (厶)V A∈L罗([A])≥A，[加表示取值为A的常值映射。 x上全体L一滤子记为罗。(x)，叉上全体满层的L一滤子记为玩(x)。 例1．1 (1)[93定义■]：L3一三具体为■](A)一A(z)，则■]是满层的￡一滤子。 (2)[91设(X，d)是满层的L一拓扑空间。定义％：L爿一L具体为 钇菇(A)一V B(z) B≤^，丑∈占 则％是满层的L一滤子。 定义1．3E5] (1)X上的满层L一收敛结构是指一个映射lim：莎2(X)一∥满足下列条件： (L1)V z∈x，limEx](z)一1； (工2)V