模糊拓扑空间中有限覆盖性质的非标准刻画.pdfVIP

第25卷第3期 纺织高校基础科学学报 V01．25，No．3 UNIVERSITIES 201 BASICSCIENCES OFTEXTILE 2年9月 JOURNAL Sept．，2012 文章编号：1006—8341(2012)03—0324—03 模糊拓扑空间中有限覆盖性质的非标准刻画 史艳维1，马春晖2 (1．西安培华学院基础部，陕西西安710125；2．西安建筑科技大学理学院，陕西西安710055) 摘要：在j}标准扩大模型下，讨论了模糊拓扑空间中有限覆盖性质的非标准刻画．将模糊集合扩 张为非标准模糊集合，并定义了模糊点的单子．借助模糊点的单子给出了有限覆盖性质的非标准 刻画，并在此基础上得到了有限覆盖空间的非标准刻画．证明了有限覆盖空间的Tychonoff乘积 定理． 关键词：非标准扩大模型；单子；有限覆盖性质；Tychonoff乘积定理 中图分类号：0141．41 文献标识码：A 1 引言与预备知识 紧性一直以来都是一般拓扑学研究的关注热点之一[1巧]，作为一般拓扑学的推广，模糊拓扑学研究也 不例外，但在模糊拓扑学研究中，紧性就不那么简单了．本来的紧性根据不同的需要，在模糊拓扑空问中被 演化成为各种形式，如良紧性‘引、超紧性‘7。、强F紧性嘲等．文献E6]指明了这些紧性的关系与差别，并将 一般拓扑空间中的紧性归结成了有限覆盖性质． 本文在非标准扩大模型下，通过扩张模糊集，定义了模糊点的单子，利用模糊点的单子，讨论了有限覆 乘积定理． 一些非标准分析理论中的基本概念，可参见文献[9—11]． 定义l设S是非空集合，如果5满足以下条件： (1)V z∈S，z≠g； (2)V (V z∈S，3，睡X Y∈S)， 则称S是个体集． 若S是个体集，归纳定义 2V一‘5’ (扎一1，2，…)， Vo(S)一S，V抖1(S)=V。(S)U 其中 2V一博’表示V。(S)的幂集，称V(S)一UV。(S)为个体集S的超结构． 定义2 设个体集S是无限集，如果映射*：V(S)一V(。S)满足以下条件： (1)对于所有s∈S，。5=5； 收稿日期：2012—05—18 基金项目：陕西省自然科学基金(2007A12)；陕西省教育厅专项科学研究项目(11JK0507) 第3期 模糊拓扑空间中有限覆盖性质的非标准刻画 325 替换为’C得到的Lycb中的有界量词语句； (3)共点原理成立，即VV(S)中的共点关系r，jyEV(。S)，使得(‘z，y)E。r(VzEdora(r))， 则称V(。S)是个体集S的非标准扩大模型． 本文总假设X是无限集，[o，1]是单位闭区间，X {o)记作0x，把模糊集A：X一{1)记作1x． 若艿∈[o，1]x，且艿满足条件： (1)0x，1x∈艿； (2)若A，BE艿，则A八BEd； ～～ ～ ～ (3)若{A，：tET)E艿，有VA，E艿， 则称(X，艿)为模糊拓扑空间． 对于模糊拓扑空间(X，8)中的模糊点而和模糊集G，如果jA∈d，使得而≤A≤G，则称G为z。的 邻域，记而的全体邻域为0(z。)． 2 主要结果 给出了有限覆盖性质的非标准刻画，并在此基础上，得到有限覆盖空间的非标准刻画以及有限覆盖空 ’ 间的Tychonoff乘积定理． 定义3 称映射A：。x一’[o，1]为+X上的非标准模糊集．特别地，如果非标准模糊集A仅在zE。X 处取值A 准模糊集A：。X一{0)记作0-x，把非标准模糊集A：。X一(1)记作1*x．