检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:冯晶晶[1]
出 处:《衡水学院学报》2013年第4期10-11,15,共3页Journal of Hengshui University
基 金:陕西省教育厅专项科学研究项目(11JK0507)
摘 要:在非标准模型下,讨论了集合标准部分的闭性.首先给出了非标准扩大模型和饱和模型这两大重要模型,以及拓扑空间中集合τ-邻域系的定义及有关命题.在此基础上给出了集合τ-单子和集合τ-标准部分的定义以及相关结论.最后证明了在非标准扩大模型和饱和模型下集合τ-标准部分是闭集的充分条件.In the nonstandard model, the standard part of a set is discussed. Two important models, nonstandard enlarged model and saturated model, are provided. It also offers the definition of neighborhood system in topological space and related topics. Based on it, the definitions and some related conclusions of monad and standard part are given. Finally, it proves that the standard part is the sufficient condition for closed set under the nonstandard enlarged model and saturated model.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.145