无穷个集合的交（或者并）运算总是成立的吗？为什么？ 第1页
1
qinxiang-cao 网友的相关建议:
第一：集合论（ZF）规定，对于任意一个集合S（其元素也是集合），一定能够对他的所有元素集合取并。
第二：无穷多个闭集的并集不一定是闭集，例如[1/2, 1]，[1/3, 1], ..., [1/n, 1], ...他们的并集是(0, 1]。无穷多个开集的交集不一定是开集。这都是开集和闭集的基本性质。
第三：任意（可能无穷）多个闭集的交集一定还是闭集，任意（可能无穷）多个开集的并集一定还是开集。这两条是更重要的开集和闭集的基本性质。
第四：第三种提到的性质事实上就是拓扑中对于广义的『开集』应当满足的性质，即某种意义上的开集的定义。
1
相关话题
如何估计交集测度大小？陶哲轩为什么用一个新公理代替了旧的幂集公理？
符号测度的Lebesgue分解与泛函里面的正交分解有什么关系么？
为什么数学上证明必然正难则反易——补集思想，原理出处？
如何证明空集不是任意集合的子集？
如何证明空集不是任意集合的子集？
所有集合的势都可比较大小吗？为什么？
如何评价Stein的实分析以及复分析翻译版本？
所有集合的势都可比较大小吗？为什么？
数学大牛是怎么看待悖论和无穷的？
前一个讨论
级数加括号后发散，是否之前一定发散？
下一个讨论
如何求得这个级数？
相关的话题
怎么得到这个不等式?数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
什么是实数？
这个不可测集的外侧度是多少？
零测集的子集是否可测？
如何估计交集测度大小？
HoTT为什么不比集合论弱?
无穷个集合的交（或者并）运算总是成立的吗？为什么？
如何证明空集不是任意集合的子集？
为什么规定 0 的阶乘为 1？
如何证明这个实分析有关问题？
环中任何一个非空子集都可以生成理想吗？
如何估计如下的无穷积分不等式？
有限覆盖定理和实数连续性有什么关系？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
符号测度的Lebesgue分解与泛函里面的正交分解有什么关系么？
如何证明紧致的度量空间都是第二可数空间？
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
为什么集合这个数学术语在麻将中没有被说明？
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
如何证明Osgood定理？
HoTT为什么不比集合论弱?
为什么集合这个数学术语在麻将中没有被说明？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
集合相等的定义与空集的定义的矛盾如何理解？
是否任一无穷集合都能分成两个等势的不交集合之并？
小数点后可以有无数位，为什么两个物体仍可以相互接触？