摘要
运用数理逻辑的方法,对点集拓扑学中集族运算的两个结果∪γ∈Aγ=ф和γ∈∩фAγ=X进行了证明.澄清了一些错误认识,获得了较好的结果.
The use of methods of mathematical logic,two results ∪γ∈Aγ= and ∩γ∈ Aγ=X of set family computing in point set topology are proved.Some misconceptions have been clarified,the better results are obtained.
出处
《四川文理学院学报》
2010年第5期1-2,共2页
Sichuan University of Arts and Science Journal
基金
内江师范学院重点科研项目(09NJZ-1)
四川省数值仿真重点实验室重点科研项目
关键词
点集拓扑学
集族运算
数理逻辑
point set topology
set of family computing
mathematical logic
