Fuzzy拓扑学—层次结构和点式处理

建设在Ｆｕｚｚｙ集合基础上的Ｆｕｚｚｙ拓扑学，经过２０多年发展，现在已自具特色，日趋成熟，本文力图从点式处理和层次结构角度反映其基本思想、具体构造和主要结果。并且说明Ｆｕｚｚｙ拓扑学研究与经数学的关系。从这里可以看到，Ｆｕｚｚｙ拓扑研究无论是基本思想还是研究方法都有其独到之处。     

关于不分明度量空间的几个问题

本文提出了不分明 p.q.度量中的连续性条件,从而完全刻划了在[1,4]中出现的两种不分明 p.q.度量之间的关系.在此基础上,解决了不分明 p.q.度量空间的乘性问题及 Q-C_1问题,并且将著名 Urysohn's 度量化定理推广到不分明拓扑中.     

关于FS-Domain的Plotkin幂-Domain

本文证明了 ＦＳ－Ｄｏｍａｉｎ关于 Ｐｌｏｔｋｉｎ幂－Ｄｏｍａｉｎ构造是封闭的．     

Locale上的收敛结构

本文从点式处理角度，在Ｌｏｃａｌｅ上成功地建立了收敛结构。利用它研究了一致Ｌｏｃａｌｅ的完备性、刻划紧性，、界定了Ｌｏｃａｌｅ上一种满意的Ｈａｕｓｄｏｒｆｆ分离性，     

一致Locale的乘积

本文利用Ｌｏｃａｌｅ上的收敛结构研究一致Ｌｏｃａｌｅ的乘积结构，证明了一致Ｌｏ ｃａｌｅ的完备性关于Ｌｏｃａｌｅ积和弱积封闭．     

Fuzzy度量的点式刻划及其应用

本文对[1]中引入的Fuzzy P.度量给出了一个颇具直观的点式刻划.利用这个刻划,给出了关于Fuzzy度量的可数乘性的一个构造性证明;并且Fuzzy P.度量空间中的网收敛可用此点式度量直观地表出.     

［X→L］上的Isbell拓扑和Scott拓扑

本文证明了：对ｃｏｒｅｃｏｍｐａｃｔ空间Ｘ和具有最小元的有界完备连续ＤＣＰＯＬ，［Ｘ→Ｌ］上的Ｉｓｂｅｌｌ拓扑与Ｓｃｏｔｔ拓扑重合．并且构造两个反例说明：若Ｌ不具有最小元，或Ｌ具有最小元但不满足有界完备性，则［Ｘ→Ｌ］上的Ｉｓｂｅｌｌ拓扑与Ｓｃｏｔｔ拓扑不必重合．     

连续B-domain的一个刻划定理

本文证明了在Ｌ－ｄｏｍａｉｎ条件下，连续Ｂ－ｄｏｍａｉｎ与ＦＳ－ｄｏｍａｉｎ等价，并由此得到了连续Ｂ－ｄｏｍａｉｎ的一个刻划定理．     

Domain理论与拓扑

Ｄｏｍａｉｎ理论作为计算机程序设计语言研究的数学基础,序和拓扑的相互结合在这一领域中起着基本而重要的作用,本文力图从Ｄｏｍａｉｎ理论产生的背景,它在几个方面的发展,反映Ｄｏｍａｉｎ理论与拓扑的紧密联系,使我们看到序和拓扑的结合怎样应用于程序设计语言研究。     

关于FS-Domain的Plotkin幂-Domain

本文证明了FS-Domain关于Plotkin幂-Domain构造是封闭的.