L-Top上的I_r-函子.pdfVIP

第 46卷 第 l2期 山 东 大 学 学 报 (理 学 版) 2011年 l2月 Vo1．46 NO．12 JournalofShandongUniversity(NaturalScience) Dec．2011 文章编号：1671-9352(2011)12-0124-03 L—Top上的 一函子 金秋，李令强 ，孙守斌，孟广武 (聊城大学数学学院，山东 聊城 252059) 摘要：对frameL中的素元 ，，引入 了范畴L—Top上的一具体函子lr，证明了该函子为层Lowen函子 与。的复 合 ，给 出了其若干应用 ，讨论 了它与Rodabaugh的满层化函子 G 的关系。 关键词：L一拓扑范畴；，，一函子；层Lowen函子 中图分类号：O159．1 文献标志码：A — TheI functoronL—Top r JINQiu，LILing—qiang ，SUN Shou—bin，MENG Guang—Wtl (SchoolofMathematicsScience，LiaochengUniversity，Liaocheng252059，Shandong，China) Abstract：ForaprimeelementrofarfameL，aconcretefunctorI，onthecategoryL—Topisintroduced．Thecomposi— tionofthestratificationLowenfunctors(tJLrand ‘isproved，nadsome印plicationsaregiven．Finally，therelationship betweenitnadRodabaughSsrtatificationfunctorG：isstudied． Keywords：htecategory ofL—topologicalspaces； —functor；stratifiorm Lowenfunctor 1 预备知识 分明拓扑与模糊拓扑之间的关系是模糊拓扑学的重要研究内容之一，Lowen函子在这方面的研究中起 到了至关重要的作用u 。设L为完备的Heyting代数 (或者frame)，P(L)和M(L)分别表示L中异于 1的 素元和异于0的余素元之集。对任意集合x，称模糊幂集 的对有限交和任意并封闭的子集 为x上的L一 拓扑，称序对(X，为L．拓扑空间。此外，称8为满层的如果所有的常值映射都在6中。设 (X，)和 (Y，) 均为L．拓扑空间，称映射．厂：，-一y连续如果对任意A∈ 都有 (A)=A。fE6。记由L一拓扑空间和连续映射 组成的范畴为L—Top。记其由满层的L．拓扑空间构成的子范畴为L—STop。另外，记分明拓扑空间和连续映 射组成的范畴为Top。 利用模糊集的强截集，对任意，∈P(L)，文献 [6]构造了Top和L—Top之间的一对伴随 r：Top—L—Top 和 ：．：L．Top~Top。它们是Lowen伴随 和 的层次化。同样利用模糊集的强截集 ，对任意r∈P(L)，文 献 [7]引入了 ．开集的概念，并证明了L一拓扑空间(X，)上的所有J-开集构成了一x上 (满层)的L一拓扑， 记作 ，(6)。记这个 (定义在L．拓扑空间上的)映射为 ：(X， (x，，，( )。本文证明了映射 ，，诱导了 L．Top上一具体的函子 (仍记为 ，)，且 ，恰为层 Lowen函子∞和 。：的复合，即Ir： ：。r。此外，本文还给出 了，，一函子的若干应用并讨论了其与Rodabaugh的满层化函子G 的关系。 收稿 日期：2011-04-02；网络出版时间：201l一1I-0716：30 网络出版地址：http：／／www．c