The Closeness of the $\tau$-Standard Part of a Set

DOI：10.3770/j.issn:1000-341X.2011.02.023

 作者 单位 陈东立 西安建筑科技大学理学院, 陕西 西安 710055 冯晶晶 西安建筑科技大学理学院, 陕西 西安 710055; 西安培华院基础部, 陕西 西安 710125 马春晖 西安建筑科技大学理学院, 陕西 西安 710055

本文讨论了集合$\tau$-标准部分的闭性.首先给出了拓扑空间中集合$\tau$-邻域系,集合$\tau$-单子和集合$\tau$-标准部分有关命题和结论.在此基础上,给出了非标准扩大模型和饱和模型的充要条件.最后证明了在非标准扩大模型和饱和模型下集合$\tau$-标准部分是闭集的充分条件.

In this paper, the closeness of the $\tau$-standard part of a set is discussed. Some related propositions of the $\tau$-neighborhood system of a set are given. And then some related conclusions of the $\tau$-monad of a set and the $\tau$-standard part of a set are presented. And based on it, the necessary and sufficient conditions of the enlarged model and the saturated model are showed. Finally, some sufficient conditions that the $\tau$-standard part of a set is closed are proved in the enlarged model and the saturated model.