ifuzzy拓扑空间中若干问题的分析-analysis of some problems in ifuzzy topological space.docx

I-fuzzy 拓扑空间中若 t旦翌笠1ì1L摘要本文主要目的是运用连续值逻辑 Lh吾义的方法系统地研究 I-fuzzy 拓扑空间， 以便进一步丰富和发展 I-fuzzy 拓扑空间的基本理论.此外，还对拓扑空间中的杨忠 道定理作了深入探讨.全文主要工作如下 z(1)从一个完全不同的方向发展了模糊拓扑，进而从一个新的方向建立了不同于人 们所熟知的模糊拓扑学的 I-n皿y 拓扑学的基本框架.基于 1991 年应明生用连续值逻辑 L)ll 语义的方法研究不分明化拓扑空间这一思想，我们用连续值逻辑L)ll 语义的方法探 讨不分明化拓扑空间理论的更一般情形一 I-fuzzy 拓扑空间理论.作为不分明化拓扑学理 论的推广，I fuzzy 拓扑学要比不分明化拓扑学复杂得多.另一方面，由于I-fuzzy 拓扑 也是 1- 拓扑(基于二值逻辑的模糊拓扑)的推广，我们在 I-fuzzy 拓扑空间中引入基本概 念与研究拓扑性质总是尽量与王国俊教授对拓扑学的研究保持协调性.以王国俊教授 研究 L- 拓扑学时给出的远域为特款，我们在 I-fuzzy 拓扑空间中引入了 R- 邻域系，接着 给出基本概念 2闭包、内部、基与子基、连续、子空间、积空间相商空间，且研究了它们 的性质，进一步建立了以 R- 邻域方法为基础的网收敛理论 3讨论了 I-fuzzy 拓扑的两个 重要性质一可数性与分离性.最后，从范畴角度研究I-fuzzy 拓扑.我们构造了一种新 的邻域空间 -I-fuzzy 远域空间，并进一步证明了 I-fuzzy 远域空间范畴与 I-fuzzy 拓扑空 间范畴同构.(2)丰富和发展应萌生教授所创立的不分明化拓扑学理论.在I扣zzy 拓扑空间的特 殊拓扑空间-不分明化拓扑空间中，我们运用连续筐逻辑 Ll 语义的方法以不分明化正 则开集为工具研究分离性及紧性.首先利用不分明化正则开集、不分明化正则邻域和ι 闭包等概念导入了 ATo--， AT1- ，AT2- ，A巧-， AZ-- 分离公理，并且给出了这五个公理的等价 命题以及它们的关系，还有.从不分明化正则开集出发号!入了近似紧性和几乎紧性的概 念，并且给出了它们的一些性质.这些概念的结合有助于我们对不分明化拓扑的研究.(3)关于拓扑学中杨忠道定理的研究在 L- 拓扑空间中，关于导集的研究在近 二十年来是比较活跃的，尤其是关于各类导集杨忠道定理的推广更是引起了许多学者的 关注.此类定理在拓扑学中起着基础性作用.我们证明了对Fìl zzy 格 L 不附加任何条 件下的杨忠道定理 s在王国俊、施建兵等研究者工作的基础上，引入了M- 导集的概念， 证明了 M- 导集的点式杨忠道定理，并给出了其分子式杨忠道定理不成立的反例;给出 反例说萌第二类导集、第三类导集及强导集的分子式杨忠道定理不成立-关键词z连续值逻辑，拓扑，范畴，I-fuzzy 拓扑空间， L拓扑空间. I-fuzzy 招扑空间中若干问题的研究11ABSTRACTIn thisthesis，we investigateI-fuzzytopologicalspaces withthe semantic method ofcontinuous-valuedlogicinorderto enrichanddevelopa fundamentaltheoryaboutfuzzytopology.Inaddition ，C.T.Yangs theoreminL-topologicalspaces is discusseddeeply.The primary studi臼 in this paper are the following:We develop fuzzy topology from a new direct.ion wit.h the semantic method of continuous-valued logic and thereby establish a fundamenta! framework about I-fuzzy topology which is different from the existing fuzzy topology. According to the idea of Pr萨 f臼sor Mingsheng Yings research into fuzzifying topological spac白， we inquiry into l-fuzzytopologícal spac回 with the 田mantic method of continuous-valued logic. 1-fuzzy topology凶 verycompliω.ted for it is an