不可列个数的集合交集并集怎么定义？ 第1页
1
lljpcz 网友的相关建议:
稍微拓展一下
集合论为了规避你说的“二元算符”的问题，是这么定义交集的(并集同理。)
对任意集合A，∩A={任意x(任意y((y属于A)→(x属于y)))}
也就是说∩A就是对A的所有子集求交。
这个意义下，对每个集合A，∩A和∪A一定是存在的(ZFC内)，存在性分别由分离模式公理和并集公理保证。
这就从根本上回避了怎么遍历这个问题，也就是
在我们处理问题的时候，当我们需要对一族集合求并或者交的时候，我们只需要把这一族集合装进一个新集合里就可以了。
一般的。只要这组集合有角标(或者能给出一组角标/索引)，我们都可以用替换模式公理把它塞到一个新集合里去。然后就可以顺利的求并求交了。
尽管ZFC的这个求交求并的方法很严谨，我们也会失去一些东西，会有一些东西没法求并集交集。比如说全体集合的并，交，直觉上并是全体集合组成的“东西”(类)，而交是空集。但是在集合论里，这些都没法求。这种时候，就需要诉诸一个更大的模型了，比如一个包含V(集合论的宇宙)的模型。
当然这就是一个很大的话题了。
1
相关话题
区间 [0, 1] 内的实数，为什么我证明可以数？所有集合的势都可比较大小吗？为什么？
为什么度量空间中聚点等同于极限点？
如何定义或描述数学的全貌？
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？
能否求出n次对称群中置换的最大阶？
不可列个数的集合交集并集怎么定义？
复数是否包含实数？
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
相关的话题
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
如何证明每一个有穷的偏序都可以延拓成一个线序？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
如何理解（证明）不存在与自己的真子集等势的自然数?
如何把微信群/QQ群构造成一个阿贝尔群？
如何理解（证明）不存在与自己的真子集等势的自然数?
自然数和非负整数有什么区别？
以数学史的观点来看，集合论是如何成为数学基础的？
为什么要公理化实数，而不是从自然数导出？
不可列个数的集合交集并集怎么定义？
不可列个数的集合交集并集怎么定义？
如何把微信群/QQ群构造成一个阿贝尔群？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
在泛函和偏微等学科中，为什么要引进「弱」的概念？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
若两个正整数互质，如何证明它们的平方也互质？
在泛函和偏微等学科中，为什么要引进「弱」的概念？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
如何证明每一个有穷的偏序都可以延拓成一个线序？
质数集P与自然数集N等势吗?
零测集的子集是否可测？
集合相等的定义与空集的定义的矛盾如何理解？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
“不能被定义”是一种定义吗？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
有哪些不易察觉的错误证明？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？