层次闭包空间的范畴性质Ⅰ.pdfVIP

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