点集拓扑学中集族运算的一个问题.pdfVIP

第 20卷 5期 四川文理学院学报 20 10年 09 月 Vo l. 20　No. 5　 S ichuan Un iversity of A rts and Sc ience Journa l Sep. 20 10 点集拓扑学中集族运算的一个问题 王凡彬1, 2 ( 1. 内江师范学院 数学与信息科学学院,四川 内江 641112; 2. 四川省高等学校数值仿真重点实验室 ,四川 内江 641112) 摘 　要 :运用数理逻辑的方法 ,对点集拓扑学中集族运算的两个结果 ∪Aγ = 和 ∩Aγ = X 进行了证明. 澄 γ γ ∈ ∈ 清了一些错误认识, 获得了较好的结果. 关键词 :点集拓扑学; 集族运算; 数理逻辑 中图分类号 : O 189. 11　　　　　文献标志码 : A 　　　文章编号 : 1674 - 5248 (20 10) 05 - 0001 - 02 　　 甚至读者在看 了前面 的证 明后, 可 能会认为仍然有 ∩Aγ = , 并还可能给出如下的 “证明 ”: γ 1　引　言 ∈ γ 用反证法. 设若存在 x ∈∩Aγ, 则对任意 ∈, x ∈Aγ, γ ∈ Γ Γ 设 是一指标集, 若 非空, 则集族 {A } 的并集 γ γ Γ ∈ γ 但 是空集, ∈ 不可能, 从而得到矛盾. 所以 ∩Aγ = . γ ∈ ∪Aγ和交集 ∩Aγ 的意义是十分明确. 但当 Γ= 0 时, ∪Aγ γ γ γ ∈ ∈ ∈ 这样的 “证明 ”看起来似乎无懈可击, 但实际上是错 (