L—Fuzzy拓扑空间中强导集的杨忠道定理

证明L-Fuzzy拓扑空间中强导集的点式杨忠道定理,并用反例表明强导集的分子式杨忠道定理不成立。     

直觉I-Fuzzy拓扑空间的杨忠道定理

以L~*-格值上Lukasiewicz蕴含算子为工具引入了直觉I-Fuzzy拓扑空间中导集概念,接着给出它的一些性质,最后证明了直觉I-Fuzzy拓扑空间中导集的杨忠道定理.     

I-fuzzy拓扑中的杨忠道定理

用L-ukasiewicz逻辑语义的方法在I-fuzzy拓扑中引入了I-fuzzy导集的概念,且研究了它的一些性质,进一步在I-fuzzy拓扑空间框架下证明了关于所提出导集的杨忠道定理。     

L-Fuzzy拓扑空间的层分离性公理

在一般L-fuzzy拓扑空间中引入一套新的分离性公理。即层分离性公理。并研究其性质．讨论层分离性公理与L-fuzzy拓扑空间中的第一套分离性公理间的关系。表明前者比后者弱且两者有很好的协调性。     

L-Fuzzy伴随的若干特征定理照

研究 Frame格上的一类等价关系 ,给出 L - Fuzzy伴随的若干性质定理及其等价刻画 ,体现了L- Fuzzy伴随的层次伴随特点 ,最后引入广义 L-值偏序集的概念 ,得到了类似经典伴随的若干特征定理。     

可度量化拓扑向量空间中的不动点定理

本在可度量化拓扑向量空间中建立了一个新的不动点定理，它部分推广了名的Tychonoff不动点定理。     

由普通导算子诱导的F导算子及由F导算子诱导的F拓扑

本文扩展了普通集X的导算子d的定义，诱导出了X的fuzzy导算子d，进而由~^d诱导出了X的一个fuzzy拓扑T，证明了fuzzy拓扑空间（X，T）愉是由d诱导的分明拓扑空间（X，π）拓扑生成的，对X的每个fuzzy导算子d，存在X唯一拓扑T，使得对X的每个fuzzy子集A，其在（X，T）中的导集A^d恰是它在fuzzy导算子~^d下的象~^d（A）。     

杨忠道定理在L-不分明化拓扑中的推广

将L-不分明化拓扑中的L-不分明化闭包运算的概念扩充到模糊集合上;并把杨忠道定理推广到L-不分明化拓扑中.     

C·T·Yang‘s定理在模糊拓扑空间的推广

本文把点集拓扑学中的C·T·Yang定理推广到模糊拓扑学中 ,并且获得了一些其它新的结果     

L-Fuzzy拓扑空间中的F紧性

由于L-Fuzzy拓扑空间拥有丰富的层次结构,其中的紧性概念就有各种不同的定义形式。在[2]中,王国俊提出了被广泛采用的良紧性概念并利用α-网的工具给出了改进的F紧性定义,但没有对F紧性进行几何刻划。本文利用α-远域族的工具,在一般LF拓扑空间中引入F紧性,解决了F紧性的几何刻划问题,同时较系统地研究了F紧性的性质。     

L─fts中的导集和导算子

本文首先讨论了Ｌ─ｆｔｓ中ＬＦ集的聚点的分布；其次讨论了ＬＦ集的导集的一些性质，并给出了一般的Ｌ─ｆｔｓ中类似于杨忠道定理的结果；本文最后引进了导算子的概念，并用其刻划一般的Ｌ─ｆｔｓ．     

L-fuzzy拓扑空间中的强聚点和强导集

本文提出了L-fuzzy拓扑空间的强聚点和强导集概念,这是既不同于[5]文的聚点也不同于[6]文的N-聚点的一种新的聚点定义,结果表明它具有一般拓扑学中相应的几乎全部结论。例如,A~-=A∨A~d,杨忠道定理成立,x_γ为L—fuzzy集A中的强聚点当且仅当A-x_1中有收敛于x_γ的分子网,以及当(L~x,δ)为ST_(-1)空间时,(A∨B)~d=A~d∨B~d,等等。     

L-fuzzy拓扑空间中的包含式正则分离性

本文首先在一般L-fuzzy拓扑空间中引入了包含式正则分离性的概念.其次将包含式正则分离性与点式正则分离性及正则分离性作了比较,讨论了它们之间的相互蕴含关系.最后说明了包含式正则分离性与包含式正规分离性及包含式完全正则分离性之间的协调性.     

L-fuzzy拓扑空间的层浓度

在Ｌ－ｆｕｚｙ拓扑学中引入了层稠密集、层第一纲集、层Ｂａｉｒｅ空间、层浓度、及层可分空间等概念，研究了它们的基本性质，讨论了它们与分明拓扑学中相应概念的关系．     

L-fuzzy拓扑空间中关于子基的分离性

在L-fuzzy拓扑空间中引入了关于子基的分离性公理,给出了它们的特征刻画,研究了它们的一系列基本性质,如可遗传性、可积性、L-fuzzy同胚不变性等,并得到了这类新分离性与T分离性是等价的.     

拓扑线性空间中的Drop定理与Drop性质

给出了拓扑线性空间中的一个Drop定理.利用此Drop定理,证明了拓扑线性空间中的每个序列紧凸集具有Drop性质;每个可数紧闭凸集具有拟Drop性质.而且结出了拓扑线性空间中Drop性质和拟Drop性质的序列流特征.也讨论了Drop性质和拟Drop性质与泛函取极值之间的联系.     

L－fuzzy拓扑空间中近良紧集的刻画

本文在Ｌ－ｆｕｚｚｙ拓扑空间中，针对Ｌ－ｆｕｚｚｙ子集定义了Ｍｒ－复盖及具有有限Ｍｒ－交性质的闭集族等概念，并以此刻画了近良紧集的一组特征，证明了近良紧性对正则闭集遗传以及是“Ｌ－ｇｏｏｄｅｘｔｅｎｓｉｏｎ”等结论。     

点集拓扑学之杨忠道定理的一个机械化证明

本文给出一种用高阶逻辑自动证明语言Isabelle在计算机中表示拓扑空间中开集、闭集、邻域和导集等基本概念的方法,在此基础上证明点集拓扑学中著名的杨忠道定理,即一拓扑空间的任意单点集的导集为闭集,则其任意子集的导集亦为闭集.