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

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

度量空间中的拟近标准点及度量空间的非标准完备化

研究了度量空间中的拟近标准点和度量空间的非标准完备化.在κ-饱和的非标准模型下,采用非标准分析方法,提出了度量空间中的拟近标准点的定义,得到了非标准度量空间中的点是拟近标准点的充要条件是它属于某一个标准点的每一个*-开球,证明了度量空间的非标准完备化恰是该空间的非标准扩张中拟近标准点集的商空间.

无限格与其非标准扩张

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

The Structure of *T_x and Its Properties

The structure and some properties of ＊τx are discussed in the nonstandard κ-saturated model in this paper. First, a sufficient and necessary condition of a internal set in ＊τx is given. Then, in κ-saturation, some properties of ＊τx are proved. Finally, the approach theorem is easily obtained.