模糊拓扑空间中Moore-Smith收敛性的非标准刻画.pdfVIP

第24卷第4期 模糊系统与数学 V01．24．No．4 andMathematics 2010年8月 FuzzySystems Aug．。2010 文章编号：1001—7402(2010)04—0071—05 模糊拓扑空间中Moore—Smith收敛性的非标准刻画。 马春晖1’2，李生刚1，史艳维3 (1-陕西师范大学数学与信息科学学院，陕西西安710062； 2．西安建筑科技大学理学院，陕西西安710055， 3．西安培华学院基础部。陕西西安710125) 摘 要：应用了公理化非标准分析理论，将经典集合X上的模糊集扩张成。X上的模糊集。在非标准扩 大模型中，定义了模糊邻近结构的单子，并讨论了这些单子的性质及其之间的关系。利用这些单子，刘画 了模糊拓扑空间中模糊网的收敛性，进而得到了模糊拓扑空间中Moore—Smith收敛理论的非标准刻画。 关键词：非标准模型；扩大；非标准模糊集，单子 中圈分类号：0141}0189文献标识码：A 在数学分析理论中，极限过程是非常关键的核心基础，因此收敛理论，特别是数列收敛理论，在分析 学中占有举足轻重的地位。但是仅仅有数列收敛是远远不够的，比如在定义积分时就不能简单地通过数 列收敛来描述，于是收敛理论就需要被推广。这样，收敛理论被推广到拓扑空间中是很自然的，甚至已经 可以通过收敛理论反过来去刻画拓扑。在这些方法中非常有效的一种就是Moore—Smith收敛理论E13。 而在模糊拓扑空间中的Moore—Smith收敛理论和在一般拓扑空间中是有所不同，因此模糊拓扑空 扑空间中的Moore—Smith收敛性。 度更加简明和系统地阐述了非标准分析里理论。这些努力不仅开创了一门新兴的数学分支，更重要的是 提供了一种研究数学的新的方法和思路，这种方法使得原有结论形式简洁、思路直接。在文献Es]中， A．Robinson首次提出了单子的概念，这为研究空间邻近结构和特征提供了一种强有力的工具。而后， 0。。 在Robison的基础上进一步讨论了无穷远点的单子，得到了有限乘积空间中的一些性质结果[1 本文就是借助了公理化非标准分析理论，在模糊拓扑空间中刻画了Moore—Smith收敛性，这为模糊 拓扑空间中的Moore—Smith收敛理论，甚至是模糊拓扑空间理论的发展提供了一种新的方法和思路。首 ·收稿日期：2009—05—05；修订日期：2009—05—12 基金项目：陕西省自然科学基金资助项目(2007A12)；西安建筑科技大学青年科技基金资助项目(QN0736) 作者简介：15春晖(1980·)．男．陕两西安人．博士研究生，研究方向：格上拓扑学，非标准分析理论；李生刚(1959一)，男，陕西神木 人·教授·博士生导师．研究方向：格上拓扑学l史艳维(1980一)，女。陕西西安人．研究方向：非标准分析理论． 72 模糊系统与数学 先，在非标准扩大模型中将经典集合X上的模糊集扩张成了。X上的模糊集，并在模糊拓扑空间中定义 了模糊邻近结构的单子，利用这些单子，刻画了模糊拓扑空间中模糊网的收敛性，进而得到了模糊拓扑 空间中Moore—Smith收敛性的非标准刻画。 1 预备知识 本节先回顾一些公理化非标准分析理论中的概念，如超结构、非标准模型、扩大等，以及模糊数学中 的一些定义。 定义1．1设S是无限个体集，令 Vo(S)一S，V什l(S)一V。(5)U尸(y。(S))，玎=0，1，2，… 其中P(y)表示集合y的幂集，即y的所有子集之族。 称y(5)一UV。(5)=K(S)Uy。(S)UV2(5)U…为个体集5上的超结构。 件： (1)映射*是单射，即Sc。S； (2)。(⑦)一⑦； (3)转换原理成立，即}口铮’}。口，其中口是形式语言岛。。，中的有界句子，。口是将口中的每个常量 U替换为