L-相对乘积空间中的层紧性.pdfVIP

维普资讯 第20卷 第4期 聊城大学学报 (自然科学版) VoI．20No．4 2007年12月 JournalofLiaochengUniversity(Nat．Sci．) Dec．2007 一 相对乘积空间中的层紧性 于 娜 孟 晗 凌思兰 (聊城大学 数学科学学院，山东 聊城 252059) 摘 要 通过 引入相对乘积空间证 明了层 紧性关于相对乘积运算而言，THXOHOB乘积定理成 立 ． 关键词 一拓扑空间，一相对乘积空 间，广义Zaden型函数 ，层紧性 中图分类号 O189．1 文献标识码 A 文章编号 1672—6634(2007)04—0003—02 1983年，为了研究拓扑范畴的性质，Rodabaugh[1将两个模糊拓扑空间(Lf，)与(聪 ，7)之间联系的 态射看作是 由两个映射，：—y和 ：L一 组成的(，， ．何明在文r21中称这种映射为双诱导映射．以后 史福贵在文[3]中借助于 一模糊集的几种截集给出了双诱导映射的若干表现定理及其应用．贺伟在文[4] 中也研究了这种双诱导映射的性质，并称之为广义Zadeh型函数．李进金在文 [5]中借助这种广义Zadeh 型函数引入了相对积空间的概念 ，并讨论了在这种积运算下强F紧性的可乘性问题．李生刚在文献 [6]中 引入了层紧集和层紧空间的概念 ，本文的目的就是在文的基础上 ，讨论层 紧性在这种相对积运算下 的可乘 性问题．文中 是F格，即具有逆序对合对应的完全分配格 ， 为非空分明集 ， 表示 上 F集全体 ，1x 是 中的最大元，文 中未声明的概念及符号参见文献[7]． 1 预备知识 定义 1L4] 设 和 是两个F格， 与y是两个非空分明集 ，P：X— y是分明映射 ，q：L一 是序 同态，由P，q按下列方式诱 导出一个从 到 的函数 ，： 一 ， ／(‘A)()一V q(A()))：P()一Y， ∈X，A ∈Lf，Y∈Y， 称为广义 Zadeh型函数 ，简称GZF，记作f—P．对于B ∈ ，有f廿1(B)一q 。B。P，对于 ∈M (Lf)， 有 f(x^)一P()q( 定义2[sJ 设{Lxt，))∈是一族 F拓扑空间，丁≠ ，X一儿 ，Vt∈T，P：— 是投影映射，对 于给定的F格及从 到厶 的一一满序同态q(f∈丁)，由户 q诱导出来的广义Zadeh型函数P=P7t：L一 t 称为投影序 同态 ，NL 上以y一{P7(A)：A ∈ ，t∈T)为子基所生成 F的拓扑 叫做各 F拓扑 ()∈r 相对于 (，q：t∈丁)的积拓扑，简称相对积拓扑，( ，)叫做各 F拓扑空间 {( t，))∈r相对于 (，q： t∈丁)的乘积 F拓扑空间，简称相对积空间．Vt∈T，( t，)叫做 ( ，)的因子空间． 定义3[ 设 ( ，)是 F拓扑空间，A ∈ ，西c ，a∈ ()．如果对 A中的每个高为a的分子 x (即， ≤A)，有P ∈西使P∈7( )，则称西为A的a一远域族 ，记作 ^西A(n)．如果存在r∈ (n) 使 ^西 A(r)，则称 西为A的a一一远域族． 定义4[ 设 ( ，)是 F拓扑空间， ∈ ， c ，a∈ ()．如果对 A的任一个a一远域族 西为 A 的一个a一一远域族 ，则称 A是 ( ，)中的层紧集．当 1是层紧集时，称 ( ，)是层紧空间． 山东省 自然科学基金资助项 目(Y2003A01) 收稿 日期 ；2007—05-26 维普资讯 4 聊 城 大 学 学 报 (自然 科 学 版 ) 第2O卷 定义5[。 设 ( ，)，( ，e)是两个 F拓扑空间，厂一Pl一：( ，)一 ( ，e)是广义 Zadeh函数． (1)厂称为连续的，如果 V ∈e，有厂-1()∈ ；(2)厂称为