无穷个集合的交（或者并）运算总是成立的吗？为什么？ 第1页
1
qinxiang-cao 网友的相关建议:
第一：集合论（ZF）规定，对于任意一个集合S（其元素也是集合），一定能够对他的所有元素集合取并。
第二：无穷多个闭集的并集不一定是闭集，例如[1/2, 1]，[1/3, 1], ..., [1/n, 1], ...他们的并集是(0, 1]。无穷多个开集的交集不一定是开集。这都是开集和闭集的基本性质。
第三：任意（可能无穷）多个闭集的交集一定还是闭集，任意（可能无穷）多个开集的并集一定还是开集。这两条是更重要的开集和闭集的基本性质。
第四：第三种提到的性质事实上就是拓扑中对于广义的『开集』应当满足的性质，即某种意义上的开集的定义。
1
相关话题
狄利克雷函数（Dirichlet Function）有什么用处？如何估计如下的无穷积分不等式？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
为什么数学上证明必然正难则反易——补集思想，原理出处？
如何理解（证明）不存在与自己的真子集等势的自然数?
有理数集和无理数集哪个大，为什么？
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？
前一个讨论
级数加括号后发散，是否之前一定发散？
下一个讨论
如何求得这个级数？
相关的话题
狄利克雷函数（Dirichlet Function）有什么用处？“可分度量空间”的名字是怎么来的？
如何证明两个有理数平方和不能为 7？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
如何证明函数上下极限相等，则极限存在？
不可列个数的集合交集并集怎么定义？
HoTT为什么不比集合论弱?
等词是否可以用属于来定义？
如何证明（0，1）不是可数集？
如何证明这个实分析有关问题？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
符号测度的Lebesgue分解与泛函里面的正交分解有什么关系么？
收敛的有理系数幂级数个数可数么？
我想证明自然数有穷可行吗？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
集合相等的定义与空集的定义的矛盾如何理解？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
是否任一无穷集合都能分成两个等势的不交集合之并？
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
质数集P与自然数集N等势吗?
请问该如何证明？
正整数和正整数中的偶数哪个多（如何证明）？
有哪些不易察觉的错误证明？
所有集合的势都可比较大小吗？为什么？
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？
复数是否包含实数？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
请问开集和闭集如何理解？