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

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

由度量空间诱导的*-拓扑T~*和s-拓扑T~s（英文）

在多饱和模型下研究了由度量空间诱导的*-拓扑T~*和s-拓扑T~s.首先,为了构造*-拓扑T~*,提出了有限点集的概念.其次,在此拓扑空间中证明了每个内集是紧集,每个开集是饱和集,以及标准部分映射是连续映射.最后,在s-拓扑T~s中讨论了闭包算子、内部算子和*映射.     

模糊数学中的非标准扩大模型

给出了非标准分析理论中非标准扩大模型在模糊数学中的表现形式及一些性质.首先,对模糊集合进行了非标准扩张,定义了相应的* 模糊集.其次,对模糊集合间的运算也进行了非标准扩张,定义了* 模糊集间的运算,这些运算与一般模糊集间的运算是类似的.最后,借助扩张后的* 模糊集和上、下确界运算,给出了非标准扩大模型在模糊数学中的表现形式,并且从多种角度给出了一些非标准扩大模型的性质.     

无限格与其非标准扩张

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

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

应用了公理化非标准分析理论,将经典集合X上的模糊集扩张成*X上的模糊集.在非标准扩大模型中,定义了模糊邻近结构的单子,并讨论了这些单子的性质及其之间的关系.利用这些单子,刻画了模糊拓扑空间中模糊网的收敛性,进而得到了模糊拓扑空间中Moore-Smith收敛理论的非标准刻画.     

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

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

$\mbox{}^*\tau_x$的结构及其性质

在$\kappa$-饱和的非标准模型中,讨论了${^*\tau_x}$的结构及其性质.首先,本文给出了一个内集在${^*\tau_x}$中的充分必要条件.其次,对${^*\tau }_x$的性质做了进一步的讨论.最后,利用${^*\tau }_x$的性质,容易地证明了著名的逼近原理.     

*τx的结构及其性质

在κ-饱和的非标准模型中,讨论了*τx的结构及其性质.首先,本文给出了一个内集在*τx中的充分必要条件.其次,对*τx的性质做了进一步的讨论.最后,利用*τx的性质,容易地证明了著名的逼近原理.     

单子集映射mτ与标准部分逆映射st-1的同态性

在饱和模型中,讨论了单子集映射m_T及标准部分逆映射st^-1的同态性质.证明了m_T能扩张成一个σ-同态的充要条件是X是可数紧空间.在一定条件下,st^-1是Borelσ-代数上的σ-同态映射,当且仅当X是预Hausdorff的,并给出了一个正则测度的一个Loeb表示.     

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

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