拓扑空间中集网收敛性的非标准刻画

在非标准扩大模型下,给出了拓扑空间中集网收敛性的非标准刻画.首先,由非标准扩大模型的充要条件,证明了拓扑空间中集网的极限点和聚点的非标准刻画;然后,利用这些非标准特征,刻画了拓扑空间中集列、网和点列的极限点和聚点;最后,以自然的方式讨论了拓扑空间中集网上极限和下极限的一些重要性质.     

一致结构与一致覆盖族的非标准刻画

一致空间有三种等价描述方式,即通过满足各自条件的关系族,覆盖族和伪度量族.本文利用非标准分析的方法研究了一致空间,给出了一致结构与一致覆盖族的非标准刻画,并且利用（X×X）上的可滤单子化的等价关系构造了X上的一致结构.     

单子理论对拓扑等度连续与均匀连续的刻画及其应用

在扩大模型下,应用单子理论给出了拓扑等度连续和均匀连续的非标准刻画,并应用均匀连续的非标准特征证明了网收敛与均匀连续之间的关系,最后应用拓扑等度连续和均匀连续的非标准特征证明了拓扑等度连续和均匀连续之间的关系.     

模糊拓扑空间中的单子及其逼近原理

在k-饱和的非标准模型下,以自然的方式定义了模糊拓扑空间中的N-单子,Q-单子和R-单子,并证明了它们相应的逼近原理,讨论了它们之间的相互关系.     

局部T-凸模糊拓扑向量空间

基于T-凸模糊集提出了局部T-凸模糊拓扑向量空间的概念,这里的T是一个三角模,给出了局部T-凸模糊拓扑向量空间的几个例子,研究了局部T-凸模糊拓扑向量空间的性质。此外,利用一族满足T-凸性条件的模糊伪范数刻画了局部T-凸模糊拓扑向量空间。     

模糊RCC8拓扑关系

研究几类模糊空间关系.作为分明的RCC8拓扑关系的推广,给出R-正则开的模糊集、R-正则闭的模糊集、R-开的模糊集以及R-闭的模糊集的模糊RCC8刻画.这些模糊空间关系将会有助于对模糊空间区域进行定性的推理研究.     

一致结构的单子及其应用

讨论了乘积一致结构的单子的刻画 .利用一致结构的单子给出了 Cauchy网及含小集集族的非标准特征 .作为应用给出一致空间几个重要定理的离散化证明 .     

无限格与其非标准扩张

在非标准κ-饱和模型下,研究了无限格L的非标准扩张*L的性质及其在L-集滤子理论中的应用.首先,定义了κ-完备格的概念,讨论了完备格与κ-完备格之间的关系,证明了无限格L的非标准扩张*L是κ-完备格.其次,定义了L-集滤子的单子,利用κ-完备格证明了此定义是合理的.最后,利用L-集滤子的单子给出了L-集滤子族上确界存在的充分且必要条件.     

内函数逼近定理及上溢原理的推广及应用

在κ-饱和的非标准模型中,首先推广了内函数逼近定理,并用这一推广定理证明了著名的A sco li定理;其次将上(下)溢原理推广到一般的定向集上,并证明了拓扑空间中单子的一些性质,给出了无穷小延伸定理的一个简单证明.     

模糊理论与Kleisli范畴

运用范畴论的观点和语言,讨论了几种真值集不同的模糊集,得出它们都是特殊的模糊理论.更进一步,指出了模糊理论所对应的范畴与由模糊理论诱导的单子所构造的Kleisli范畴的等价关系.最后,通过一个实例,描述了伴随函子诱导的单子,并构造了相应的Kleisli范畴,指出了Kleisli范畴在模糊理论中的应用.