无穷个集合的交（或者并）运算总是成立的吗？为什么？ 第1页
1
qinxiang-cao 网友的相关建议:
第一：集合论（ZF）规定，对于任意一个集合S（其元素也是集合），一定能够对他的所有元素集合取并。
第二：无穷多个闭集的并集不一定是闭集，例如[1/2, 1]，[1/3, 1], ..., [1/n, 1], ...他们的并集是(0, 1]。无穷多个开集的交集不一定是开集。这都是开集和闭集的基本性质。
第三：任意（可能无穷）多个闭集的交集一定还是闭集，任意（可能无穷）多个开集的并集一定还是开集。这两条是更重要的开集和闭集的基本性质。
第四：第三种提到的性质事实上就是拓扑中对于广义的『开集』应当满足的性质，即某种意义上的开集的定义。
1
相关话题
“可分度量空间”的名字是怎么来的？若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
下面这个集合可数吗？
若 A={x, x∉A}，那么 A 是 ∅ 吗？
如何证明两个有理数平方和不能为 7？
如何估计如下的无穷积分不等式？
如何证明空集不是任意集合的子集？
赋范空间和度量空间都可以定义极限，为什么要引入两个能定义极限的空间呢，区别是什么，各自有哪些应用范围？
如何证明（0，1）不是可数集？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
前一个讨论
级数加括号后发散，是否之前一定发散？
下一个讨论
如何求得这个级数？
相关的话题
站在一个无穷大的围棋/五子棋盘上的任意格点上，能够看到的格点都放上黑棋，黑棋占格点比例多少？为什么集合这个数学术语在麻将中没有被说明？
不定积分∫dx/(2 + sinx)在x = π+2kπ处，为何会这样？这是不定积分的某种“特性”吗？
如何证明函数上下极限相等，则极限存在？
符号测度的Lebesgue分解与泛函里面的正交分解有什么关系么？
为什么矩形面积等于长乘宽？
不可列个数的集合交集并集怎么定义？
数学分析中的两个反例是否有更深的背景？
为什么集合这个数学术语在麻将中没有被说明？
如何证明这个"推广的Riemann重排定理"？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
极限为0的函数为什么要单独命名为无穷小？有哪里特殊了？
如何理解（证明）不存在与自己的真子集等势的自然数?
Lp空间上的分析学在其他数学分支有哪些应用？
质数集P与自然数集N等势吗?
集合相等的定义与空集的定义的矛盾如何理解？
在集合的势的意义下，是否存在比实数集更大的全序集？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
如何证明两个有理数平方和不能为 7？
上帝悖论是否有解？
怎么求解这个极限问题？
什么是实数？
为什么集合的本身还可以是一个集合的元素？
所有集合的势都可比较大小吗？为什么？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
HoTT为什么不比集合论弱?
陶哲轩为什么用一个新公理代替了旧的幂集公理？
为什么集合的本身还可以是一个集合的元素？
如何理解（证明）不存在与自己的真子集等势的自然数?
HoTT为什么不比集合论弱?