《层次闭包空间的范畴性质（I）》.pdfVIP

第 27卷第 1期 模 糊 系 统 与 数 学 V0l_27。No．1 2013年 2月 FuzzySystemsandMathematics Feb．，2013 文章编号 ：1001—7402(2013)01—0078—06 层次 闭包空间的范畴性质 (I) 王 莉，李令强，孟广武，李颜霞 (聊城大学 数学科学学院，山东 聊城 252059) 摘 要 ：构造 了层次闭包算子空间范畴 SCPS中的初始结构，证 明了该范畴是拓扑的，定义并研究了层 次闭包空 间的子空间，乘积空阀和余积空间。 关键词 ：拓扑；层次闭包空间；范畴；初始结构 中图分类号 ：0159 文献标识码 ：A 1 引言及预备知识 范畴学是从数学的各个领域中概括 出来 的一个高度抽象的数学系统 ，它被广泛应用到数学和理论 计算机科学的许多分支中。范畴理论的概念和方法对于解释和阐述抽象概念 ，确定学科研究框架和建 立不同的分支之间的关联等许多方面起着重要作用 。文[1]和文[2]分别研究了闭包空间和 F闭包空 间的范畴性质 。二者分别是拓扑空间和LF拓扑空间的推广。文 [3]引入 了一种层次闭包算子，我们称 集合连同其上的层次闭包算子为层次闭包空间，它可 以看做 L一拓扑的自然推广 。本文的主要 目的是研 究层次闭包空间的范畴性质 ，我们构造了层次闭包算子空间范畴的初始结构，证 明了该范畴是拓扑的， 定义并研究了层次闭包空间的子空间，乘积空间和余积空间。 本文中有关范畴的概念参见文献[4]，有关L一拓扑和 F拓扑的知识参见I-s-1，E6]。另外，本文中的 L为任一完全分配格 ，M ()表示 L中所有的非零并既约元之集 。对于 ∈∥ 和r∈L，记AE，]一 { ∈XlA()≥r}。并且设 ，：X— y是通常的映射 ，则广 ：∥ 一 L 是厂诱导出的L一 映射 ，广 ： 一 是厂诱导出的L一 逆映射 。 定义 1．1Ⅲ 设 X为非空集合 ，a∈M ()，若映射 D。： 一 ∥ 满足 (1)D (O)一 0，(2) ( V B)= D ( )V D (B)，(3)AE] (D ( )) ， 则称 D 是 ∥ 上的一个的D 一 闭包算子。 定义 1．2 若映射 D ： 一 满足定义 1．1中的(1)～ (3)，则称序对 (x，D。)为一个D 一 闭包 空间，以下称此空间为一个层次闭包空间。称 D 为 a一 幂等的若它满足 VA ∈L ，(D (D ( )))r]一 (D (A))[] 例 1．1 设 (x，)是L一拓扑空间。D ： 一 ，使VA∈L ，D ()一A {G ∈ ：AE](==GE]}， 则由文献1-3]知 D 为层次闭包算子，由定义 1．2知(x，D)是一个层次闭包空间。 * 收稿 日期 ：2011一O4—24；修 订 日期 ：201I-07—27 基金项 目：新疆维吾尔 自治 区普通高等学校重点学科资助经费项 目(201012ZDXK25) 作者简介：王莉(1984一)，女，山东济 宁人，聊城大学数学科学学院研究生 ，研究方向：格上拓扑学 ；李令强 ，(1980一)，男，山东济南 人 ，伊犁师范学 院和聊城大学讲师，研究方向：格上拓扑学 ；孟广武 (1957一)，男 ，山东莱芜人 ，聊城大学数学科学学院教授，研究方 向：格 上拓扑学。 第 1期 王莉 ，李令强 ：层次 闭包空间的范畴性质 (I) 79 定义 1．3 设 (X，92)和 (y，D)均是层次闭包空间，厂：x— y是普通 映射。若 VA ∈L ， f-(Dj(A))≤ D。(广 ())，则称 厂是连续的。 定理 1．1 设 (x，92)和 (y，D)均是层次闭包空间，厂：x— y是普通映射。则 厂连续当且仅 当 VB ∈L ，92(广 (B))≤ 广 (D (B))。 证明 ：VB ∈L ，由厂连续 的定义知 ， 广 (Dj(广 (B)))≤ D (广 (广 (B)))≤D (B) 所 以