范畴FPTOP和L-FPTOP的拓扑性.pdfVIP

第13卷第4期 西安文理学院学报：自然科学版 V01．13 No．4 2010年 1O月 JournalofXi’anUniversityofArtsScience(NatSciEd) Oct．2O10 文章编号 ：1008-5564(2010)04-0005-04 范畴 FPTOP和 L—FPTOP的拓扑性 安军龙 (1．西安文理学院 数学系，陕西 西安710065； 2．陕西师范大学数学与信息科学学院，陕西 西安710062) 摘 要 ：设FPTOP是模糊化预拓扑空间及F一连续映射的范畴 ，—FPTOP是 —fuzzy预拓扑空间 及LF一连续映射的范畴，是集合及映射的范畴，文中证 明了FPTOP和L—FPTOP都是 Set上的拓扑范 畴． 关键词 ：模糊化预拓扑空间；一fuzzy预拓扑空间；F一连续映射；LF一连续映射 ；拓扑范畴 中图分类号：O153．1 文献标识码：A 本文中L是指完全分配的DeMorgan代数(L的最小元和最大元分别记作0和1)，x是集合，∥是 从 到 的映射(称为 ￡一集)的全体 (的最小元和最大元分别记作0和 1)．设 是完备格，每个映 射，：—y可诱导出一个映射(称为己一值Zadeh型函数) ： 一 具体定义为 (A)(Y)=V{a(x)l， ()=Y}(VA∈L，Yy∈Y)．易见 保任意并．若记 的右伴随为厂 ，则有厂 (B)=V{A∈LI (A)≤B}-B。 VB∈L)(见文献[1])，并且厂 保任意并、任意交和逆合对应．关于范畴的概念和性 质请见文献 [2—3]． 定义1 集合 上的一个模糊化预拓扑是指一个映射．，：2x--,[0，1]，它满足 (FPT1) ．，()=．，()=1； ， 、 (FPT2) JI }≥ ()(V{} 2)， 这时 ．，()称为集合 的开度，称 ．，是集合 上的一个模糊化预拓扑，称 (，．，)是 的一个模糊化 预拓扑空间． 定义2 设(，．，)与(1，，)是两个模糊化预拓扑空间 ：(，，。‘)一(1，， )称为一个模糊化预拓扑 空间之间的F一连续映射是指它满足下面条件： ，‘ -1())≥ ()(V ∈2’) 把所有模糊化预拓扑空间及所有F—B连续映射构成的范畴，记为FPTOP． 定义3 集合 上的一个L—fuzzy预拓扑是指一个映射 T：L一 ，，它满足： (F 1) T(1x)=T(O)=1； ， ＼ (FPT2) l l≥ (Vj)(V{}』 )， 收稿 日期 ：2010-06·10 基金项 目：国家 自然科学基金资助项 目 作者简介：安军龙(198l一 )，男，陕西绥德人，西安文理学院数学系助教 ；陕西师范大学数学与信息科学学院硕士研 究生．研究方向：格上拓扑学． 6 西安文理学院学报：自然科学版 ． 第 13卷 这时称 ()为集合 的开度，称偶对(，)为一个L—fuzzy预拓扑空间． 定义4 设(，T)与(1，， )是两个 一fuzzy预拓扑空间 ：( ， )一(y， )称为一个 L—fuzzy预 拓扑空间之间的LF一连续映射是指它满足下面条件 ： ( (B))≥ ()(VB∈L’)， 这里的／ 是由以下定义的／ (B)()= ( ))． 引理 1 集合范畴set上的满足下列两个条件(可证它们彼此等价)之一的具体范畴(A，)是拓扑 范畴． (1)对于任何集合 ，任意 一对象族 {(X，C)} 以及任意映射族 {：一置} (其中，为类)， 存在惟一的关于(,fi，( ，C)，，)初始的A一结构c，即c是 {：(，C)一(X，C)} 是A一态射且使 下面的①式成立： ①于任一A一对象(y，D)和任一映